Publications

The list of publications on the page is automatically extracted from HAL INRIA.
Another list is available with the possibility to filter publications by author, by year, by type, and by keyword.

Publications HAL du labo/EPI CLASSIC de la structure lis

2017

Journal articles

titre
SPARKLIS: An Expressive Query Builder for SPARQL Endpoints with Guidance in Natural Language
auteur
Sébastien Ferré
article
Open Journal Of Semantic Web, Research Online Publishing (RonPub), 2017, 0
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01485093/file/sparklis-preprint.pdf BibTex

Reports

titre
A New Road Towards Universal Logic?
auteur
Guillaume Aucher
article
[Research Report] Université de Rennes 1. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01483342/file/RR2017.pdf BibTex

2016

Journal articles

titre
Dynamic Epistemic Logic in Update Logic
auteur
Guillaume Aucher
article
Journal of Logic and Computation, Oxford University Press (OUP), 2016, 26 (6), pp.1913-1960. <10.1093/logcom/exw002>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01476249/file/JLC2016CameraReadyPart2.pdf BibTex
titre
Displaying Updates in Logic
auteur
Guillaume Aucher
article
Journal of Logic and Computation, Oxford University Press (OUP), 2016, 26 (6), pp.1865-1912. <10.1093/logcom/exw001>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01476234/file/JLC2016CameraReadyPart1.pdf BibTex
titre
Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2016, LNCS, 9510, pp.88-115
Accès au bibtex
BibTex
titre
Using Bids, Arguments and Preferences in Sensitive Multi-unit Assignments: A p-Equitable Process and a Course Allocation Case Study
auteur
Mireille Ducassé, Peggy Cellier
article
Group Decision and Negotiation, 2016, 25 (6), <10.1007/s10726-016-9483-9>
Accès au bibtex
BibTex

Conference papers

titre
Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds
auteur
Sébastien Ferré
article
International Conference on Knowledge Engineering and Knowledge Management (EKAW), Nov 2016, Bologna, Italy. Springer, LNAI 10024
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405502/file/paper-pew.pdf BibTex
titre
An RDF Design Pattern for the Structural Representation and Querying of Expressions
auteur
Sébastien Ferré
article
International Conference on Knowledge Engineering and Knowledge Management (EKAW), Nov 2016, Bologna, Italy. pp.196 – 211, 2016, LNAI 10024. <10.1007/978-3-319-49004-5_13>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405495/file/final-main.pdf BibTex
titre
FORMULIS: Dynamic Form-Based Interface For Guided Knowledge Graph Authoring
auteur
Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, Franck Partouche
article
International Conference on Knowledge Engineering and Knowledge Management, Oct 2016, Bologne, France. 2016, <http://ekaw2016.cs.unibo.it/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01443319/file/EKAW16_Formulis.pdf BibTex
titre
Simple K-star Categorial Dependency Grammars and their Inference
auteur
Denis Béchet, Annie Foret
article
The 13th International Conference on Grammatical Inference, Oct 2016, delft, Netherlands. <http://icgi2016.tudelft.nl/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01363393/file/main-ICGI-2016.pdf BibTex
titre
Graph-FCA in Practice
auteur
Sébastien Ferré, Peggy Cellier
article
International Conference on Conceptual Structures (ICCS), Jul 2016, Annecy, France. pp.107 – 121, 2016, LNAI 9717. <10.1007/978-3-319-40985-6_9>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405491/file/paper-final.pdf BibTex
titre
Bridging the Gap Between Formal Languages and Natural Languages with Zippers
auteur
Sébastien Ferré
article
Extended Semantic Web Conference (ESWC), May 2016, Heraklion, Greece. Springer, pp.269 – 284, 2016, LNAI 9678. <10.1007/978-3-319-34129-3_17>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405488/file/main-final.pdf BibTex
titre
Exploration des Données du Défi EGC 2016 à l’aide d’un Système d’Information Logique
auteur
Peggy Cellier, Sébastien Ferré, Annie Foret, Olivier Ridoux
article
16ème conférence francophone sur l’Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France. 2016, Actes de la 16ème conférence francophone sur l’Extraction et la Gestion des Connaissances (EGC 2016). <http://egc2016.univ-reims.fr>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01253026/file/main.pdf BibTex

Directions of work or proceedings

titre
Formal Grammar
auteur
Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla
article
Italy. 9804, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, 978-3-662-53041-2. <10.1007/978-3-662-53042-9>
Accès au bibtex
BibTex

Poster communications

titre
Understanding Customer Attrition at an Individual Level: a New Model in Grocery Retail Context
auteur
Clément Gautrais, Peggy Cellier, Thomas Guyet, René Quiniou, Alexandre Termier
article
International Conference on Extending Database Technology (EDBT), Mar 2016, Bordeaux, France. <10.5441/002/edbt.2016.87>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01405172/file/paper-316.pdf BibTex

2015

Journal articles

titre
Sequential pattern mining for discovering gene interactions and their contextual information from biomedical texts
auteur
Peggy Cellier, Thierry Charnois, Marc Plantevit, Christophe Rigotti, Bruno Crémilleux, Olivier Gandrillon, Jiri Klema, Jean-Luc Manguin
article
Journal of Biomedical Semantics, BioMed Central, 2015, 6, pp.1-27. <http://dx.doi.org/10.1186/s13326-015-0023-3>. <10.1186/s13326-015-0023-3>
Accès au bibtex
BibTex

Conference papers

titre
A logical information system proposal for browsing terminological resources
auteur
Annie Foret
article
Terminology and Artificial Intelligence (TIA) 2015, Nov 2015, Grenade, Spain. Terminology and Artificial Intelligence (TIA) 2015, 2015, Terminology and Artificial Intelligence (TIA) 2015. <http://www.baobabeventos.com/#!tia2015/c12u6/Home.html>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01253206/file/TIA_2015_final.pdf BibTex
titre
Safe Suggestions Based on Type Convertibility to Guide Workflow Composition
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Foundations of Intelligent Systems (ISMIS), Oct 2015, Lyon, France. LNAI 9384, 2015, <10.1007/978-3-319-25252-0_25>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252775/file/final.pdf BibTex
titre
Conception interactive d’ontologies par élimination de mondes possibles
auteur
Sébastien Ferré
article
IC2015, Jun 2015, Rennes, France. collection AFIA, 2015, collection AFIA
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01165493/file/paper.pdf BibTex
titre
A Proposal for Extending Formal Concept Analysis to Knowledge Graphs
auteur
Sébastien Ferré
article
Formal Concept Analysis, Jun 2015, Nerja, Spain. LNCS 9113, pp.271–286, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01196287/file/gfca2.pdf BibTex

Poster communications

titre
PEW : un outil d’aide à la conception d’ontologies par l’exploration des mondes possibles
auteur
Sébastien Ferré
article
IC2015, Jun 2015, Rennes, France. 2015, IC2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01169212/file/demo.pdf BibTex
titre
TermLis : un contexte d’information logique pour des ressources terminologiques
auteur
Annie Foret
article
Traitement Automatique des Langues Naturelles, Jun 2015, Caen, France. Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles, 2015, Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles. <http://www.atala.org/taln_archives/TALN/TALN-2015>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252802/file/taln-2015-demo-004.pdf BibTex

Documents associated with scientific events

titre
Manifeste: Pour plus d’Interactions entre Informatique, Sciences Humaines et Sociales et Arts
auteur
Guillaume Aucher, Olivier Ridoux
article
Science des données et sciences humaines et sociales : atelier 4 du Data Science Symposium, Nov 2015, Rennes, France. pp.6, 2015, <http://dss.irisa.fr/english-workshops/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01230651/file/ManifesteInfoSHS.pdf BibTex

2014

Journal articles

titre
SQUALL: The expressiveness of SPARQL 1.1 made available as a controlled natural language
auteur
Sébastien Ferré
article
Data and Knowledge Engineering, Elsevier, 2014, 94, pp.163 – 188. <10.1016/j.datak.2014.07.010>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01100300/file/main-revised.pdf BibTex
titre
Fair and Fast Convergence on Islands of Agreement in Multicriteria Group Decision Making by Logical Navigation
auteur
Mireille Ducassé, Peggy Cellier
article
Group Decision and Negotiation, INFORMS, 2014, pp.22. <10.1007/s10726-013-9372-4>
Accès au bibtex
BibTex
titre
Fouille de motifs séquentiels pour la découverte de relations entre gènes et maladies rares
auteur
Nicolas Béchet, Peggy Cellier, Thierry Charnois, Bruno Crémilleux
article
Revue des Sciences et Technologies de l’Information – Série RIA : Revue d’Intelligence Artificielle, Lavoisier, 2014, 28/2-3, pp.245-270
Accès au bibtex
BibTex

Conference papers

titre
Sparklis: a SPARQL Endpoint Explorer for Expressive Question Answering
auteur
Sébastien Ferré
article
ISWC Posters & Demonstrations Track, Oct 2014, Riva del Garda, Italy. <http://ceur-ws.org/Vol-1272/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01100319/file/demo.pdf BibTex
titre
Expressive and Scalable Query-Based Faceted Search over SPARQL Endpoints
auteur
Sébastien Ferré
article
Semantic Web (ISWC), Oct 2014, Riva del Garda, Italy. pp.438 – 453, 2014, <10.1007/978-3-319-11915-1_28>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01100313/file/main.pdf BibTex
titre
Segmentation of Geolocalized Trajectories using Exponential Moving Average
auteur
Soda Cissé, Peggy Cellier, Olivier Ridoux
article
Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées (CARI), Oct 2014, Saint Louis, Senegal. 2014
Accès au bibtex
BibTex
titre
Maximum Likelihood-based Online Adaptation of Hyper-parameters in CMA-ES
auteur
Ilya Loshchilov, Marc Schoenauer, Michèle Sebag, Nikolaus Hansen
article
Th. Bartz-Beielstein and J. Branke and B. Filipič and J. Smith. 13th International Conference on Parallel Problem Solving from Nature (PPSN 2014), Sep 2014, Ljubljana, Slovenia. Springer Verlag, 8672, pp.70-79, 2014, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01003504/file/selfCMA.pdf BibTex
titre
Fouille de données pour associer des noms de sessions aux articles scientifiques
auteur
Solen Quiniou, Peggy Cellier, Thierry Charnois
article
DEFT 2014, Jul 2014, Marseille, France. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01113464/file/deft2014_06_lina.pdf BibTex
titre
Convertibilité entre types d’entrée et de sortie pour la composition de services en bio-informatique
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00989229/file/rfia2014_submission_71.pdf BibTex
titre
Using Biddings and Motivations in Multi-unit Assignments
auteur
Mireille Ducassé, Peggy Cellier
article
Pascale Zaraté; Gregory E. Kersten; Jorge E. Hernàndez,. Group Decision and Negotiation, Jun 2014, Toulouse, France. Springer International Publishing, Lecture Notes in Business Information Processing, 180, pp.8, 2014, Group Decision and Negotiation. A Process-Oriented View. <10.1007/978-3-319-07179-4-6>
Accès au bibtex
BibTex
titre
Generating Data Converters to Help Compose Services in Bioinformatics Workflows
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Hendrick Decker et al. Int. Conf. Database and Expert Systems Applications (DEXA), 2014, Munich, Germany. Springer International Publishing, pp.15, LNCS
Accès au bibtex
BibTex
titre
Convertibility between input and output types to help compose services in bioinformatics
auteur
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé
article
Colloque africain sur la recherche en informatique et mathématiques appliquées (CARI),, 2014, Saint-Louis, Senegal
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Reconciling Expressivity and Usability in Information Access
auteur
Sébastien Ferré
article
Computer Science [cs]. Université de Rennes 1, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01100292/file/main.pdf BibTex

Preprints, Working Papers, …

titre
Online Asynchronous Distributed Regression
auteur
Gérard Biau, Ryad Zenine
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01024673/file/biauzenine.pdf BibTex

2013

Journal articles

titre
De la gestion de bases de données à la gestion de grands espaces de données
auteur
Christine Collet, Bernd Amann, Nicole Bidoit, Mohand Boughanem, Mokrane Bouzeghoub, Anne Doucet, David Gross-Amblard, Jean-Marc Petit, Mohand-Said Hacid, Genoveva Vargas-Solar
article
Revue des Sciences et Technologies de l’Information – Série ISI : Ingénierie des Systèmes d’Information, Lavoisier, 2013, 18 (4), pp.11-31. <10.3166/isi.18.4.11-31>
Accès au bibtex
BibTex
titre
Do countries falsify economic data strategically? Some evidence that they might.
auteur
Tomasz Michalski, Gilles Stoltz
article
The Review of Economics and Statistics, 2013, 95 (2), pp.591-616. <10.1162/REST_a_00274>
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00482106/file/Cheating-HAL.pdf BibTex
titre
A Primal Condition for Approachability with Partial Monitoring
auteur
Shie Mannor, Vianney Perchet, Gilles Stoltz
article
Journal of Dynamics and Games, AIMS, 2013, pp.2-27
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00772056/file/MannorPerchetStoltz-Primal-Kohlberg.pdf BibTex
titre
Forecasting electricity consumption by aggregating specialized experts
auteur
Marie Devaine, Pierre Gaillard, Yannig Goude, Gilles Stoltz
article
Machine Learning, Springer Verlag, 2013, 90 (2), pp.231-260
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00484940/file/Devaine-Goude-Stoltz-Gaillard.pdf BibTex
titre
Sparse single-index model
auteur
Pierre Alquier, Gérard Biau
article
Journal of Machine Learning Research, Journal of Machine Learning Research, 2013, 14, pp.243−280
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00556652/file/singleindex6.pdf BibTex
titre
Kullback-Leibler Upper Confidence Bounds for Optimal Sequential Allocation
auteur
Olivier Cappé, Aurélien Garivier, Odalric-Ambrym Maillard, Rémi Munos, Gilles Stoltz
article
Annals of Statistics, Institute of Mathematical Statistics, 2013, 41 (3), pp.1516-1541
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00738209/file/klucb.pdf BibTex

Conference papers

titre
squall2sparql: a Translator from Controlled English to Full SPARQL 1.1
auteur
S. Ferré
article
Elena Cabrio, Philipp Cimiano, Vanessa Lopez, Axel-Cyrille Ngonga Ngomo, Christina Unger, and Sebastian Walter. Work. Multilingual Question Answering over Linked Data (QALD-3), Sep 2013, Valencia, Spain. 2013, <http://www.clef2013.org/index.php?page=Pages/proceedings.php>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00943522/file/paper.pdf BibTex
titre
Scalewelis: a Scalable Query-based Faceted Search System on Top of SPARQL Endpoints
auteur
Joris Guyonvarc’H, Sébastien Ferré
article
Elena Cabrio, Philipp Cimiano, Vanessa Lopez, Axel-Cyrille Ngonga Ngomo, Christina Unger, and Sebastian Walter. Work. Multilingual Question Answering over Linked Data (QALD-3), Sep 2013, Valencia, Spain. 2013, <http://www.clef2013.org/index.php?page=Pages/proceedings.php>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00943528/file/paper.pdf BibTex
titre
Intensive Surrogate Model Exploitation in Self-adaptive Surrogate-assisted CMA-ES (saACM-ES)
auteur
Ilya Loshchilov, Marc Schoenauer, Michèle Sebag
article
Christian Blum and Enrique Alba. Genetic and Evolutionary Computation Conference (GECCO 2013), Jul 2013, Amsterdam, Netherlands. pp.439-446, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00818595/file/gecco2013.pdf BibTex
titre
BI-population CMA-ES Algorithms with Surrogate Models and Line Searches
auteur
Ilya Loshchilov, Marc Schoenauer, Michèle Sebag
article
Workshop Proceedings of the (GECCO) Genetic and Evolutionary Computation Conference, Jul 2013, Amsterdam, Netherlands. ACM, pp.8, 2013, Workshop Proceedings of the (GECCO) Genetic and Evolutionary Computation Conference
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00818596/file/w0306-loshchilov.pdf BibTex
titre
KL-based Control of the Learning Schedule for Surrogate Black-Box Optimization
auteur
Ilya Loshchilov, Marc Schoenauer, Michèle Sebag
article
Conférence sur l’Apprentissage Automatique, Jul 2013, Lille, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00851189/file/cap2013.pdf BibTex
titre
SQUALL: A Controlled Natural Language as Expressive as SPARQL 1.1
auteur
Sébastien Ferré
article
E. Métais and F. Meziane and M. Saraee and V. Sugumaran and S. Vadera. Int. Conf. Applications of Natural Language to Information System (NLDB), Jun 2013, Manchester, United Kingdom. Springer, LNCS 7934, pp.114-125, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00943510/file/main.pdf BibTex
titre
Representation of Complex Expressions in RDF
auteur
Sébastien Ferré
article
P. Cimiano and M. Fernández and V. Lopez and S. Schlobach and J. Völker. Extended Semantic Web Conf. (ESWC Satellite Events), May 2013, Montpellier, France. Springer, 7955, pp.273-274, 2013, LNCS
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00943516/file/poster.pdf BibTex
titre
Graph Mining under Linguistic Constraints to Explore Large Texts
auteur
Solen Quiniou, Peggy Cellier, Thierry Charnois, Dominique Legallois
article
International Conference on Intelligent Text Processing and Computational Linguistics (CICLing’13), Mar 2013, Samos, Greece. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00817068/file/cicling2013.pdf BibTex
titre
Extraction de motifs séquentiels sous contraintes multiples (poster)
auteur
Nicolas Béchet, Peggy Cellier, Thierry Charnois, Bruno Crémilleux
article
13ème Journées Francophones Extraction et Gestion de Connaissances (EGC 2013), Jan 2013, toulouse, France. 2 p., 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01024331/file/ACTN-BECHET-2013-1.pdf BibTex
titre
SDMC : un outil en ligne d’extraction de motifs séquentiels pour la fouille de textes
auteur
Nicolas Béchet, Peggy Cellier, Thierry Charnois, Bruno Crémilleux, Solen Quiniou
article
Conférence Francophone sur l’Extraction et la Gestion des Connaissances (EGC’13), Jan 2013, Toulouse, France. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00817074/file/bechet13sdmc.pdf BibTex
titre
Helping Facilitators Build on Experience When Preparing Meetings With Logical Information Systems
auteur
Mireille Ducassé
article
Groupe Decision and Negotiation, 2013, Stockholm, Sweden. 2013
Accès au bibtex
BibTex
titre
Une approche fondée sur le raisonnement à partir de cas pour la mise à jour interactive d’objets du Web sémantique
auteur
Alice Hermann, Mireille Ducassé, Sébastien Ferré, Jean Lieber
article
21ème atelier Français de Raisonnement à Partir de Cas (RàPC), 2013, Lille, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00910294/file/rpc2013_submission_1.pdf BibTex

Reports

titre
Scalable Query-based Faceted Search on top of SPARQL Endpoints for Guided and Expressive Semantic Search
auteur
Joris Guyonvarch, Sebastien Ferre, Mireille Ducassé
article
[Research Report] PI-2009, 2013, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00868460/file/main.pdf BibTex

Preprints, Working Papers, …

titre
COBRA: A Nonlinear Aggregation Strategy
auteur
Gérard Biau, Aurélie Fischer, Benjamin Guedj, James Malley
article
40 pages, 5 tables, 12 figures. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01361789/file/bfgm2013.pdf BibTex
titre
High-dimensional $p$-norms
auteur
Gérard Biau, David Mason
article
19 pages. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00879436/file/biau-mason-springer4.pdf BibTex
titre
Toric grammars: a new statistical approach to natural language modeling
auteur
Olivier Catoni, Thomas Mainguy
article
2013
Accès au bibtex
https://arxiv.org/pdf/1302.2569 BibTex
titre
Cellular Tree Classifiers
auteur
Gérard Biau, Luc Devroye
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00778520/file/articlegreedy6.pdf BibTex

2012

Journal articles

titre
Combinatorics of Boolean automata circuits dynamics
auteur
Jacques Demongeot, Mathilde Noual, Sylvain Sené
article
Discrete Applied Mathematics, Elsevier, 2012, 160 (4-5), pp.398–415. <10.1016/j.dam.2011.11.005>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00666297/file/dns12.pdf BibTex
titre
PCA-Kernel Estimation
auteur
Gérard Biau, André Mas
article
Statistics and Risk Modeling, De Gruyter, 2012, pp.29, 19-46
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00467013/file/KPCAv3.pdf BibTex
titre
Reconciling faceted search and query languages for the Semantic Web
auteur
Sébastien Ferré, Alice Hermann
article
Int. J. Metadata, Semantics and Ontologies, Inderscience Publishers, 2012, 7 (1), pp.37-54
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779925/file/main.pdf BibTex
titre
Categorial grammars with iterated types form a strict hierarchy of k-valued languages
auteur
Denis Béchet, Alexander Dikovsky, Annie Foret
article
Theoretical Computer Science, Elsevier, 2012, 450, pp.22-30. <10.1016/j.tcs.2012.04.024>
Accès au bibtex
BibTex

Conference papers

titre
Mirror Descent Meets Fixed Share (and feels no regret)
auteur
Nicolò Cesa-Bianchi, Pierre Gaillard, Gabor Lugosi, Gilles Stoltz
article
NIPS 2012, Dec 2012, Lake Tahoe, United States. 25, Paper 471, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00670514/file/CBGaLuSt-FShare--NIPS.pdf BibTex
titre
Advocatus Diaboli – Exploratory Enrichment of Ontologies with Negative Constraints
auteur
Sébastien Ferré, Sebastian Rudolph
article
A. ten Teije et al. Int. Conf. Knowledge Engineering and Knowledge Management (EKAW), Oct 2012, Galway, Ireland. Springer, pp.42-56, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779938/file/paper.pdf BibTex
titre
Guided Semantic Annotation of Comic Panels with Sewelis
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
A. ten Teije et al. Knowledge Engineering and Knowledge Management (EKAW), Oct 2012, Galway, Ireland. Springer, pp.430-433, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779929/file/main.pdf BibTex
titre
A necessary condition for boundary sensitivity of attractive non-linear stochastic cellular automata in ZxZ
auteur
Sylvain Sené
article
18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires (AUTOMATA&JAC 2012), Sep 2012, La Marana, France. pp.1–10, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00783508/file/s12.pdf BibTex
titre
SQUALL: a Controlled Natural Language for Querying and Updating RDF Graphs
auteur
Sébastien Ferré
article
T. Kuhn and N.E. Fuchs. Controlled Natural Languages, Aug 2012, Zurich, Switzerland. Springer, pp.11-25, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779946/file/squall.pdf BibTex
titre
Constraint-based reachability
auteur
Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar
article
Mohamed Faouzi Atig and Ahmed Rezine. Infinity’2012: 14th International Workshop on Verification of Infinite-State Systems, Aug 2012, Paris, France. pp.19, 2012, <http://eptcs.org/content.cgi?Infinity2012>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00786072/file/GotliebDenmatLazaar_Infinity2012201302042306.pdf BibTex
titre
Extension du langage de requêtes LISQL pour la représentation et l’exploration d’expressions mathématiques en RDF
auteur
Sébastien Ferré
article
S. Szulman and J. Charlet. Journées francophones d’ingénierie des connaissances, Jun 2012, Paris, France. pp.285-300, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779952/file/main.pdf BibTex
titre
Aide à la création d’objets dans une base RDF(S) avec des règles de relaxation
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
S. Szulman and J. Charlet. Journées francophones d’ingénierie des connaissances, Jun 2012, Paris, France. pp.301-316, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779953/file/IC2012_Papier_16.pdf BibTex
titre
Fouille de motifs séquentiels pour la découverte de relations entre gènes et maladies rares
auteur
Nicolas Béchet, Peggy Cellier, Thierry Charnois, Bruno Crémilleux
article
23es Journées Francophones d’Ingénierie des Connaissances – IC 2012, Jun 2012, Paris, France. pp.149-164, 2012, IC 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00816111/file/IC2012_51.pdf BibTex
titre
Sequential Pattern Mining to Discover Relations between Genes and Rare Diseases
auteur
Nicolas Béchet, Peggy Cellier, Thierry Charnois, Bruno Crémilleux, Marie-Christine Jaulent
article
25th IEEE International Symposium on Computer-Based Medical Systems (CBMS’12), Jun 2012, Porto, Italy. IEEE, p1-6, 2012, <10.1109/CBMS.2012.6266367>
Accès au bibtex
BibTex
titre
Fouille de données pour la stylistique : cas des motifs séquentiels émergents
auteur
Solen Quiniou, Peggy Cellier, Thierry Charnois, Dominique Legallois
article
Journées Internationales d’Analyse Statistique des Données Textuelles (JADT’12), Jun 2012, Liège, Belgique. pp.821-833, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00675586/file/jadt2012.pdf BibTex
titre
Fouille de graphes sous contraintes linguistiques pour l’exploration de grands textes
auteur
Solen Quiniou, Peggy Cellier, Thierry Charnois, Dominique Legallois
article
Conférence sur le Traitement Automatique des Langues Naturelles (TALN’12), Jun 2012, Grenoble, France. pp.253-266, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00702606/file/quiniou12bfouille.pdf BibTex
titre
Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts
auteur
Sébastien Ferré, Pierre Allard, Olivier Ridoux
article
F. Domenach and D. I. Ignatov and J. Poelmans. Int. Conf. Formal Concept Analysis, May 2012, Leuven, Belgium. Springer, pp.112-127, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779957/file/main.pdf BibTex
titre
What About Sequential Data Mining Techniques to Identify Linguistic Patterns for Stylistics?
auteur
Solen Quiniou, Peggy Cellier, Thierry Charnois, Dominique Legallois
article
International Conference on Intelligent Text Processing and Computational Linguistics (CICLing’12), Mar 2012, New Delhi, India. pp.166-177, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00675578/file/cicling2012.pdf BibTex
titre
Discovering linguistic patterns using sequence mining
auteur
Nicolas Béchet, Peggy Cellier, Thierry Charnois, Bruno Crémilleux
article
Gelbukh, Alexander F. 13th Int. Conf. on Intelligent Text Processing and Computational Linguistics (CICLing’12), Mar 2012, new delhi, India. 7181, pp.154-165, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01023109/file/ACTI-BECHET-2012-1.pdf BibTex
titre
An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
Annette ten Teije; Johanna Völker; Siegfried Handschuh; Heiner Stuckenschmidt; Mathieu d’Acquin; Andriy Nikolov; • Nathalie Aussenac-Gilles; Nathalie Hernandez EKAW – 18th International Conference on Knowledge Engineering and Knowledge Management – 2012, 2012, Galway City, Ireland. Springer, pp.185-199, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00757083/file/EKAW2012_HermannFerrA_DucassA_.pdf BibTex
titre
The LogicalMulticriteriaSort ThinkLet: Logical Navigation for Fair and Fast Convergence in Multicriteria Group Decision Making
auteur
Mireille Ducassé, Peggy Cellier
article
Adiel Teixeira de Almeida and Danielle Costa Morais and Suzanna de França Dantas Daher. Group Decision and Negotiation Conference, 2012, Recife, Brazil. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00756560/file/Ducasse_Cellier_GDN2012_final.pdf BibTex

Habilitation à diriger des recherches

titre
Sur la bio-informatique des réseaux d’automates
auteur
Sylvain Sené
article
Mathématique discrète [cs.DM]. Université d’Evry-Val d’Essonne, 2012
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00759287/file/my_hdr.pdf BibTex

Other publications

titre
Guided Semantic Annotation of Comic Panels with Sewelis
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
Demo accepted at the Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW). 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00757095/file/chp_3A10.1007_2F978-3-642-33876-2_40.pdf BibTex

Books

titre
Statistique mathématique en action
auteur
Vincent Rivoirard, Gilles Stoltz
article
Vuibert, pp.448, 2012, 978-2-311-00720-6
Accès au bibtex
BibTex

Documents associated with scientific events

titre
Ensemble forecast of analyses with uncertainty estimation
auteur
Vivien Mallet, Gilles Stoltz, Sergiy Zhuk, Alexander Nakonechniy
article
International Conference on Ensemble Methods in Geophysical Sciences, Nov 2012, Toulouse, France. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00947755/file/Mallet-IntConfMethGeoSc-2012.pdf BibTex

Reports

titre
An Affine Invariant $k$-Nearest Neighbor Regression Estimate
auteur
Gérard Biau, Luc Devroye, Vida Dujmovic, Adam Krzyzak
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00655850/file/papier5.pdf BibTex

Preprints, Working Papers, …

titre
Towards Provably Robust Watermarking
auteur
David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00682398/file/techreport.pdf BibTex
titre
Robust approachability and regret minimization in games with partial monitoring
auteur
Shie Mannor, Vianney Perchet, Gilles Stoltz
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00595695/file/Mannor-Perchet-Stoltz--Robust-Approachability--HAL.pdf BibTex
titre
An RDF Vocabulary for the Representation and Exploration of Expressions with an Illustration on Mathematical Search
auteur
Sébastien Ferré
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00812197/file/main.pdf BibTex

2011

Journal articles

titre
Immunetworks”, intersecting circuits and dynamics
auteur
Jacques Demongeot, Adrien Elena, Mathilde Noual, Sylvain Sené, Florence Thuderoz
article
Journal of Theoretical Biology, Elsevier, 2011, 280 (1), pp.19–33. <10.1016/j.jtbi.2011.03.023>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00666298/file/denst11.pdf BibTex
titre
X-Armed Bandits
auteur
Sébastien Bubeck, Rémi Munos, Gilles Stoltz, Csaba Szepesvari
article
Journal of Machine Learning Research, Journal of Machine Learning Research, 2011, 12, pp.1655-1695
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00450235/file/HOO-arXiv.pdf BibTex
titre
REACTIVE: Development of a tool for rehabilitation for stroke survivors in virtual reality
auteur
D. Dréan, Stéphane Bouilland, D. Nadalini, A. Baillet, José Lozada, Mickaël Wiertlewski, Laurent Grisoni, Géry Casiez, Frédéric Giraud, Jean-Michel Flamant
article
IRBM, Elsevier Masson, 2011, 32 (2), <10.1016/j.irbm.2011.01.025>
Accès au bibtex
BibTex
titre
Sparsity regret bounds for individual sequences in online linear regression
auteur
Sébastien Gerchinovitz
article
Journal of Machine Learning Research, Journal of Machine Learning Research, 2011, 14, pp.729-769
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00552267/file/gerchinovitz13a.pdf BibTex
titre
Robust linear least squares regression
auteur
Jean-Yves Audibert, Olivier Catoni
article
Annals of Statistics, Institute of Mathematical Statistics, 2011, 39 (5), pp.2766-2794. <10.1214/11-AOS918>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00522534/file/AoS_paper.pdf BibTex
titre
Supplement to “Robust linear least squares regression
auteur
Jean-Yves Audibert, Olivier Catoni
article
Annals of Statistics, Institute of Mathematical Statistics, 2011, 39 (5), 19 p. <10.1214/11-AOS918SUPP>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00624459/file/AOS918_supp.pdf BibTex

Conference papers

titre
Semantic Search: Reconciling Expressive Querying and Exploratory Search
auteur
Sébastien Ferré, Alice Hermann
article
L. Aroyo and C. Welty. International Semantic Web Conference, Oct 2011, Bonn, Germany. Springer, 7031, pp.177-192, 2011, LNCS
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00658302/file/main.pdf BibTex
titre
Lipschitz Bandits without the Lipschitz Constant
auteur
Sébastien Bubeck, Gilles Stoltz, Jia Yuan Yu
article
Jyrki Kivinen, Csaba Szepesvári, Esko Ukkonen, Thomas Zeugmann. ALT 2011 – 22nd International Conference on Algorithmic Learning Theory, Oct 2011, Espoo, Finland. Springer, pp.[A venir], 2011, LNCS / Lecture Notes in Artificial Intelligence
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00595692/file/ALT-Paper-16-Bubeck-Stoltz-Yu-LipBandits.pdf BibTex
titre
The singular power of the environment on stochastic nonlinear threshold Boolean automata networks
auteur
Jacques Demongeot, Sylvain Sené
article
9th International Conference on Computational Methods in Systems Biology (CMSB 2011), Sep 2011, Paris, France. pp.55–64, 2011, <10.1145/2037509.2037518>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00666582/file/ds11.pdf BibTex
titre
Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages
auteur
Denis Béchet, Alexander Dikovsky, Annie Foret
article
Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud and Denis Maurel. 16th International Conference on Implementation and Application of Automata, Jul 2011, Blois, France. Springer, 6807, pp.42-52, 2011, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-22256-6>
Accès au bibtex
BibTex
titre
A Finite-Time Analysis of Multi-armed Bandits Problems with Kullback-Leibler Divergences
auteur
Odalric-Ambrym Maillard, Rémi Munos, Gilles Stoltz
article
Sham Kakade & Ulrike von Luxburg. 24th Annual Conference on Learning Theory : COLT’11, Jul 2011, Budapest, Hungary. pp.18, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00574987/file/66-Maillard-Munos-Stoltz.pdf BibTex
titre
Multiple Fault Localization with Data Mining
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States. 2011
Accès au bibtex
BibTex
titre
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types
auteur
Denis Béchet, Alexander Dikovsky, Annie Foret
article
Sylvain Pogodalla and Jean-Philippe Prost. 6th International Conference on Logical Aspects of Computational Linguistics, Jun 2011, Montpellier, France. Springer-Verlag, 6736, pp.80-95, 2011, Lecture Notes in Artificial Intelligence (LNAI). <10.1007/978-3-642-22221-4>
Accès au bibtex
BibTex
titre
Calcul de réseaux phrastiques pour l’analyse et la navigation textuelle
auteur
Dominique Legallois, Peggy Cellier, Thierry Charnois
article
18e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2011), Jun 2011, Montpellier, France. 6 p., 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01017714/file/ACTI-LEGALLOIS-2011-1.pdf BibTex
titre
Guided Creation and Update of Objects in RDF(S) Bases
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
International Conference on Knowledge Capture, Jun 2011, Banff, Canada. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654084/file/kcap718d-hermannPS.pdf BibTex
titre
Combining Faceted Search and Query Languages for the Semantic Web
auteur
Sébastien Ferré, Alice Hermann, Mireille Ducassé
article
C. Salinesi and O. Pastor. Semantic Search over the Web (SSW) – Advanced Information Systems Engineering Workshops – CAiSE Int. Workshops, Jun 2011, London, United Kingdom. Springer, 83, pp.554-563, 2011, LNBIP
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00658310/file/main.pdf BibTex
titre
Sur les itérations dispersées et les choix itérés pour l’apprentissage incrémental des types dans les grammaires de dépendances
auteur
Denis Béchet, Alexander Dikovsky, Annie Foret
article
Conférence Francophone d’Apprentissage 2011, May 2011, Chambéry, France. Presses Universitaires des Antilles et de la Guyane, Éditions Publibook, pp.87-102, 2011
Accès au bibtex
BibTex
titre
Création et mise à jour guidées d’objets dans une base RDF(S)
auteur
Alice Hermann, Sébastien Ferré, Mireille Ducassé
article
Rencontres des Jeunes Chercheurs en Intelligence Artificielle, May 2011, Chambéry, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654093/file/main.pdf BibTex
titre
Random Boolean Networks and Attractors of their Intersecting Circuits
auteur
Jacques Demongeot, Adrien Elena, Mathilde Noual, Sylvain Sené
article
IEEE Workshops of International Conference on Advanced Information Networking and Applications (WAINA 2011), Mar 2011, Biopolis, Singapore. pp.483–487, 2011, <10.1109/WAINA.2011.154>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00666589/file/dens11.pdf BibTex
titre
Building up Shared Knowledge with Logical Information Systems
auteur
Mireille Ducassé, Sébastien Ferré, Peggy Cellier
article
Amedeo Napoli and Vilem Vychodil. 8th International Conference on Concept Lattices and their Applications, 2011, Nancy, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00756627/file/DucasseEtAlCla2011OptimiseI_.pdf BibTex
titre
Partial orders and logical concept analysis to explore patterns extracted by data mining
auteur
Peggy Cellier, Sébastien Ferré, Mireille Ducassé, Thierry Charnois
article
Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar. International Conference on Conceptual Structures, 2011, Derby, United Kingdom. Springer Berlin Heidelberg, 6828, pp.77-90, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-22688-5_6>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00779194/file/iccs11.pdf BibTex

Book sections

titre
La sépulture campaniforme de Ciry-Salsogne ” La Bouche à Vesle ” (Aisne)
auteur
Lamys Hachem, Pierre Allard, Fabien Convertini, Bruno Robert, Laure Salanova, Isabelle Sidéra, Corinne Thevenet
article
Laure Salanova & Yaramila Tchérémissinoff. Les sépultures individuelles campaniformes en France, CNRS Editions, Paris, pp.21-35, 2011, Gallia Préhistoire. Supplément ; 41
Accès au bibtex
BibTex

Other publications

titre
Camelis2 : explorer et éditer une base RDF(S) de façon expressive et interactive
auteur
Sébastien Ferré, Alice Hermann
article
Démo acceptée à la platerforme AFIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00658325/file/main.pdf BibTex
titre
Sewelis: Exploring and Editing an RDF Base in an Expressive and Interactive Way
auteur
Sébastien Ferré, Alice Hermann
article
Demo accepted at the Int. Semantic Web Conf. (ISWC). 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00658317/file/main.pdf BibTex
titre
Exploration de traces à l’aide de fouille de données
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré
article
Atelier IC : Traces numériques, connaissances et cognition. 2011
Accès au bibtex
BibTex

Reports

titre
SQUALL: a High-Level Language for Querying and Updating the Semantic Web
auteur
Sébastien Ferré
article
[Research Report] PI-1985, 2011, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00628427/file/PI-1985.pdf BibTex
titre
Adaptive and Optimal Online Linear Regression on L1-balls
auteur
Sébastien Gerchinovitz, Jia Yuan Yu
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00594399/file/GY11.pdf BibTex
titre
Semantic Faceted Search: Safe and Expressive Navigation in RDF Graphs
auteur
Sébastien Ferré, Alice Hermann, Mireille Ducassé
article
[Research Report] PI 1964, 2011, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00554093/file/PI-1964.pdf BibTex

Preprints, Working Papers, …

titre
Linear regression through PAC-Bayesian truncation
auteur
Jean-Yves Audibert, Olivier Catoni
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00522536/file/dovern2long.pdf BibTex
titre
Corrigendum to “Robust approachability and regret minimization in games with partial monitoring
auteur
Shie Mannor, Vianney Perchet, Gilles Stoltz
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00617554/file/Corrigendum-COLT-18-Mannor-Perchet-Stoltz.pdf BibTex

2010

Journal articles

titre
Aide à la décision multicritère : cohérence et équité grâce à l’analyse de concepts
auteur
Mireille Ducassé, Sébastien Ferré
article
Nouvelles perspectives en sciences sociales, Prise de parole (Ontario, Canada), 2010
Accès au bibtex
BibTex
titre
A Pregroup Toolbox for Parsing and Building Grammars of Natural Languages
auteur
Denis Béchet, Annie Foret
article
Linguistic Analysis, David R. Willingham, 2010, 36 (1-4), pp.473-482
Accès au bibtex
BibTex
titre
Homotopic Fréchet Distance Between Curves or, Walking Your Dog in the Woods in Polynomial Time
auteur
Erin Wolf Chambers, Eric Colin de Verdière, Jeff Erickson, Sylvain Lazard, Francis Lazarus, Shripad Thite
article
Computational Geometry, Elsevier, 2010, Special Issue on 24th Annual Symposium on Computational Geometry (SoCG’08), 43 (3), pp.295-311. <http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6TYS-4W6XVWR-1-1&_cdi=5626&_user=6068174&_orig=search&_coverDate=04%2F30%2F2010&_sk=999569996&view=c&wchp=dGLzVtz-zSkWz&md5=77170fe13ab0fd311adc0c72b956d4ad&ie=/sdarticle.pdf>. <10.1016/j.comgeo.2009.02.008>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00438463/file/frechet.pdf BibTex

Conference papers

titre
Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views
auteur
Pierre Allard, Sébastien Ferré, Olivier Ridoux
article
M. Kryszkiewicz and S. Obiedkov. Concept Lattices and Their Applications, Oct 2010, Sevilla, Spain. CEUR-WS, pp.199-210, 2010, <http://ceur-ws.org/Vol-672/paper18.pdf>
Accès au bibtex
BibTex
titre
Two models of learning iterated dependencies
auteur
Denis Béchet, Alexander Dikovsky, Annie Foret
article
Philippe de Groote and Mark-Jan Nederhof. 15th International Conference on Formal Grammar, Aug 2010, Copenhagen, Denmark. Springer-Verlag, 7395, pp.17-32, 2012, Lecture Notes in Computer Science (LNCS)
Accès au bibtex
BibTex
titre
Conceptual Navigation in RDF Graphs with SPARQL-Like Queries
auteur
Sébastien Ferré
article
L. Kwuida and B. Sertkaya. Int. Conf. Formal Concept Analysis, Mar 2010, Agadir, Morocco. Springer, LNCS 5986, pp.193-208, 2010, <http://www.springerlink.com/index/B3814378U028T316.pdf>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549863/file/main.pdf BibTex
titre
Recherche de dépendances fonctionnelles et de règles d’association avec OLAP
auteur
Pierre Allard, Sébastien Ferré
article
S. Ben Yahia and J.-M. Petit. Extraction et Gestion des Connaissances, Jan 2010, Hammamet, Tunisie. Cépaduès-Éditions, RNTI-E-19, pp.651-652, 2010
Accès au bibtex
BibTex

Other publications

titre
Fouille de données pour la localisation de fautes dans les programmes
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
Poster pour les 2ème journées nationales du Groupement de Recherche CNRS du Génie de la Programma.. 2010
Accès au bibtex
BibTex

Preprints, Working Papers, …

titre
Challenging the empirical mean and empirical variance: a deviation study
auteur
Olivier Catoni
article
53 pages. 2010
Accès au bibtex
https://arxiv.org/pdf/1009.2048 BibTex

2009

Journal articles

titre
A logic-based model to support alert correlation in intrusion detection
auteur
Benjamin Morin, Ludovic Mé, Hervé Debar, Mireille Ducassé
article
Information Fusion, Elsevier, 2009, 10 (4), pp.285-299. <10.1016/j.inffus.2009.01.005>
Accès au bibtex
BibTex

Conference papers

titre
A Decentralized Model-Based Diagnosis for BPEL Services
auteur
Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti
article
21st International Conference on Tools with Artificial Intelligence (ICTAI 2009), Nov 2009, Newark, NJ, United States. pp.609–616, 2009, <10.1109/ICTAI.2009.77>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00667815/file/ICTAI09.pdf BibTex
titre
Une boîte a outils pour développer et utiliser les grammaires de prégroupe
auteur
Denis Béchet, Annie Foret
article
Eric de la Clergerie et Patrick Paroubek. Journée de l’ATALA “Quels analyseurs syntaxiques pour le français ?”, Oct 2009, Paris, France. ATALA, pp.1-7, 2009
Accès au bibtex
BibTex
titre
PPQ : a pregroup parser using majority composition
auteur
Denis Béchet, Annie Foret
article
Timothy Fowler and Gerald Penn. the ESSLLI 2009 Workshop on Parsing with Categorial Grammars, Jul 2009, Bordeaux, France. pp.33-37, 2009
Accès au bibtex
BibTex
titre
DeLLIS: A Data Mining Process for Fault Localization
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2009, Boston, United States. 2009
Accès au bibtex
BibTex
titre
A Colored Petri Nets Model for Diagnosing Data Faults of BPEL Service
auteur
Yingmin Li, Tarek Melliti, Philippe Dague
article
20th International Workshop on Principles of Diagnosis (DX 2009), Jun 2009, Stockholm, Sweden. pp.267–274, 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00669175/file/dx09.pdf BibTex
titre
(C)LP Tracing and Debugging
auteur
Mireille Ducassé
article
25th International Conference on Logic Programming, 2009, Pasadena, United States. 2009
Accès au bibtex
BibTex

Books

titre
Statistique en action
auteur
Vincent Rivoirard, Gilles Stoltz
article
Gilles Stoltz and Vincent Rivoirard. Vuibert, pp.320, 2009, Mathématiques concrètes
Accès au bibtex
BibTex

Reports

titre
Navigating the Semantic Web with Logical Information Systems
auteur
Sébastien Ferré
article
[Research Report] PI 1934, 2009, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00410959/file/PI-1934.pdf BibTex

2008

Journal articles

titre
GEOLIS: A Logical Information System for Geographical Data
auteur
Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur
article
Revue Internationale de Géomatique, Lavoisier, 2008, 17 (3-4), pp.371-390
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363600/file/rig2008.pdf BibTex
titre
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2008, 19 (2), pp.319–343
Accès au bibtex
BibTex
titre
Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs.
auteur
Ludovic Langevine, Mireille Ducassé
article
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2008
Accès au bibtex
BibTex

Conference papers

titre
Walking Your Dog in the Woods in Polynomial Time
auteur
Erin Wolf Chambers, Eric Colin de Verdire, Jeff Erickson, Sylvain Lazard, Francis Lazarus, Shripad Thite
article
24th Annual Symposium on Computational Geometry – SCG’08, Jun 2008, College Park, Maryland, United States. ACM, pp.101–109, 2008, <10.1145/1377676.1377694>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336497/file/submission_105.pdf BibTex
titre
Analyses et Acquisition de Grammaires Catégorielles et de Prégroupes
auteur
Denis Béchet, Annie Foret
article
Atelier “Grammaires de prégroupes et grammaires de types” du 76ème Congrès de l’Acfas, May 2008, Quebec, Canada
Accès au bibtex
BibTex
titre
Formal Concept analysis enhances Fault Localization in Software
auteur
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
article
R. Medina and S. Obiedkov. Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273–288, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363593/file/icfca2008-cellier.pdf BibTex
titre
Optional and Iterated Types for Pregroup Grammars
auteur
Denis Béchet, Alexandre Dikovsky, Annie Foret, Emmanuelle Garel
article
2nd International Conference on Language and Automata Theory and Applications (LATA 2008), 2008, Tarragona, Spain. Springer, 5196, pp.88-100, ISBN 978-3-540-88281-7, 2008, Lecture Notes in Computer Science (LNCS)
Accès au bibtex
BibTex
titre
Fair(er) and (almost) serene committee meetings with Logical and Formal Concept Analysis
auteur
Mireille Ducassé, Sébastien Ferré
article
P. Eklund and O. Haemmerlé. Int. Conf. Conceptual Structures, 2008, Toulouse, France. Springer-Verlag, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363589/file/iccs2008.pdf BibTex
titre
Formal concept analysis applied to fault localization
auteur
Peggy Cellier
article
International Conference on Software Engineering (ICSE 2008) Companion, 2008, Leipzig, Germany. 2008
Accès au bibtex
BibTex
titre
Handling Spatial Relations in Logical Concept Analysis To Explore Geographical Data
auteur
Olivier Bedel, Sébastien Ferré, Olivier Ridoux
article
R. Medina and S. Obiedkov. Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. Springer, pp.241–257, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363592/file/icfca2008-bedel.pdf BibTex
titre
Agile Browsing of a Document Collection with Dynamic Taxonomies
auteur
Sébastien Ferré
article
A M. Tjoa and R.R. Wagner. DEXA Int. Work. Dynamic Taxonomies and Faceted Search (FIND), 2008, Turin, Italy. IEEE Computer Society, pp.377–381, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363561/file/find2008.pdf BibTex

Book sections

titre
Introduction of Option and Iteration into Pregroup Grammars
auteur
Denis Béchet, Alexandre Dikovsky, Annie Foret, Emmanuelle Garel
article
Claudia Casadio and Joachim Lambek. Computational Algebric Approaches to Morphology and Syntax, Polimetrica, Monza (Milan), Italy, pp.85-107, 2008
Accès au bibtex
BibTex

Preprints, Working Papers, …

titre
Dynamic Taxonomies for the Semantic Web
auteur
Pierre Allard, Sébastien Ferré
article
full version of a paper published at DEXA-FIND 2008. 10 pages. 2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00284992/file/AllardFerre_full.pdf BibTex

2007

Journal articles

titre
Modèles algorithmiques de l’acquisition de la syntaxe : concepts et méthodes, résultats et problèmes
auteur
Denis Bechet, Roberto Bonato, Alexandre Dikovsky, Annie Foret, Yannick Le Nir, Erwan Moreau, Christian Retoré, Isabelle Tellier
article
Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2007, 36, pp.123–152
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00354043/file/gracq_final_2007_rlv.pdf BibTex
titre
Variabilité, limite, stabilité en informatique
auteur
Olivier Ridoux
article
Interstices, INRIA, 2007, <https://interstices.info/jcms/c_25363/variabilite-limite-stabilite-en-informatique>
Accès au bibtex
BibTex
titre
Third Radiation Transfer Model Intercomparison (RAMI) exercise: Documenting progress in canopy reflectance models
auteur
Jean-Luc Widlowski, Malcolm Taberner, Bernard Pinty, Véronique Bruniquel-Pinel, Mathias Disney, Richard Fernandes, Jean-Philippe Gastellu-Etchegorry, Nadine Gobron, Andres Kuusk, Thomas Lavergne, Sylvain Leblanc, Philip Lewis, Eric Martin, Matti Mottus, Peter R.J. North, Wenhan Qin, Monica Robustelli, Nadia Rochdi, Rosario Ruiloba, Cyril Soler, Richard Thompson, Wouter Verhoef, Michel M. Verstraete, D. Xie
article
Journal of Geophysical Research, American Geophysical Union, 2007, 112 (D9), pp.D09111:1-28. <10.1029/2006JD007821>
Accès au texte intégral et bibtex
http://hal.ird.fr/ird-00405091/file/JGR2007_RAMI3_manuscript.pdf BibTex
titre
Learnability of Pregroup Grammars
auteur
Denis Béchet, Annie Foret, Isabelle Tellier
article
Studia Logica, Springer Verlag (Germany), 2007, pp.225-252
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00191112/file/bechet-foret-tellier.pdf BibTex

Conference papers

titre
Improving Constraint-Based Testing with Dynamic Linear Relaxations
auteur
Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
article
the 18th IEEE International Symposium on Software Reliability Engineering (ISSRE’07), Nov 2007, France. pp.00-00, 2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180513/file/issre07.pdf BibTex
titre
An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint Programming
auteur
Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
article
the 13th International Conference on Principles and Practice of Constraint Programming (CP’07), Sep 2007, France. pp.00-00, 2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180548/file/final.pdf BibTex
titre
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques
auteur
Pierre Deransart, Mireille Ducassé, Gérard Ferrand
article
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00151138/file/33.pdf BibTex
titre
A Parameterized Algorithm for Exploring Concept Lattices
auteur
Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
article
Int. Conf. Formal Concept Analysis, Feb 2007, France. pp.114–129, 2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00180601/file/icfca07.pdf BibTex
titre
Logical Information Systems: from Taxonomies to Logics
auteur
Sébastien Ferré, Olivier Ridoux
article
DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), 2007, Regensburg, Germany. IEEE Computer Society, pp.212–216, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363607/file/find2007.pdf BibTex
titre
CAMELIS: Organizing and Browsing a Personal Photo Collection with a Logical Information System
auteur
Sébastien Ferré
article
J. Diatta and P. Eklund and M. Liquière. Int. Conf. Concept Lattices and Their Applications, 2007, Montpellier, France. 331, pp.112–123, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363603/file/cla2007.pdf BibTex
titre
Exploring a Geographical Dataset with GEOLIS
auteur
Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur
article
DEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), 2007, Regensburg, Germany. IEEE Computer Society, pp.540–544, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00363605/file/acke2007.pdf BibTex

Directions of work or proceedings

titre
Proceedings of the 9th Information Hiding Workshop
auteur
Teddy Furon, Gwenaël Doërr, Patrick Bas, François Cayre
article
Teddy Furon and Gwenaël Doërr and Patrick Bas and François Cayre. 4567, Springer Verlag, pp.1–391, 2007
Accès au bibtex
BibTex

Reports

titre
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
auteur
Pierre Deransart, Mireille Ducassé, Gérard Ferrand
article
[Interne] RR-6229, INRIA. 2007, pp.54
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00151285/file/RR-6229.pdf BibTex

2006

Journal articles

titre
Sciences de l’information : là où le temps sous-tend tant et tant
auteur
Thierry Viéville, Christian Jutten
article
Interstices, INRIA, 2006
Accès au bibtex
BibTex
titre
k-valued non-associative Lambek grammars are learnable from generalized functor-argument structures
auteur
Denis Béchet, Annie Foret
article
Theoretical Computer Science, Elsevier, 2006, 355 (2), pp.139-152
Accès au bibtex
BibTex

Conference papers

titre
Construction automatique d’un squelette pour l’animation de personnages
auteur
Grégoire Aujay, Franck Hétroy, Francis Lazarus
article
19èmes Journées de l’Association Française d’Informatique Graphique (AFIG), Nov 2006, Bordeaux, France. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00110047/file/ahl-afig2006.pdf BibTex
titre
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy
auteur
Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
article
International Conference on Concept Lattices and Their Applications, Oct 2006, Hammamet, Tunisia. 2006
Accès au bibtex
BibTex
titre
GEOLIS: A Logical Information System for Geographical Data
auteur
Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur
article
Christiane WEBER and Pierre GANCARSKI. International Conference on Spatial Analysis and GEOmatics – SAGEO 2006, Sep 2006, Strasbourg, France. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00187048/file/sageo2006.pdf BibTex
titre
Modélisation par maillage triangulaire adaptatif de l’impact d’un futur remblai sur la répartition des écoulements d’air froid dans le vignoble de Châtenois (Alsace)
auteur
Olivier Bedel, Erwan Bocher, Hervé Quénol, Gérard Beltrando
article
XXIè colloque de l’Association Internationale de Climatologie, Sep 2006, France. pp.101-106, 2006
Accès au bibtex
BibTex
titre
Agrégation d’alarmes faiblement structurées
auteur
Alexandre Vautier, Marie-Odile Cordier, Mireille Ducassé, René Quiniou
article
Atelier Fouille de Données Temporelles, EGC 06, 2006, Lille, France. 2006
Accès au bibtex
BibTex
titre
Impact du remblai de la route nationale 59 sur les écoulements d’air froid dans le vignoble de Châtenois (Alsace)
auteur
Hervé Quénol, Olivier Bedel, Gérard Beltrando
article
Sisteme informationale geografice, 2006, Cluj, Roumanie. pp.157-162, 2006
Accès au bibtex
BibTex

Book sections

titre
Les sens de l’homme
auteur
Philippe Fuchs, Moustapha Hafez, Mohamed Benali Koudja, Nicolas Tsingos, Olivier Warusfel
article
Philippe Fuchs. Traité de la réalité virtuelle, 1 (chapitre 2, section 3), Transvalor – Presses de l’Ecole des Mines de Paris, pp.39-100, 2006, 9782911762628
Accès au bibtex
BibTex

Other publications

titre
Visualization of Internet Flow Records
auteur
Alexandre Vautier, Marie-Odile Cordier, Mireille Ducassé, René Quiniou
article
Rapport Avancement projet CURAR – CRE France Telecom R & D. 2006
Accès au bibtex
BibTex
titre
Modélisation de l’impact du futur remblai de la déviation de la RN59 sur la répartition des écoulements d’air froid dans le vignoble de Chatenois (Alsace).
auteur
Gérard Beltrando, Olivier Bedel, Hervé Quénol, Sébastien Bridier, Malika Madelin
article
Rapport d’expertise pour la Direction Départementale de l’Equipement du Bas-Rhin et le Syndicat G.. 2006
Accès au bibtex
BibTex
titre
: Evaluation de l’impact du remblai de la déviation RN59 sur le risque supplémentaire de gel dans le vignoble de Châtenois.
auteur
Gérard Beltrando, Hervé Quénol, Olivier Bedel, Sébastien Bridier
article
Rapport de synthèse pour la DDE Bas-Rhin. 21p. 2006
Accès au bibtex
BibTex

Reports

titre
Complexity of Delaunay triangulation for points on lower-dimensional~polyhedra
auteur
Nina Amenta, Dominique Attali, Olivier Devillers
article
[Research Report] RR-5986, INRIA. 2006, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098300/file/RR-5986.pdf BibTex

2005

Journal articles

titre
SIG « paysages bocagers » : un outil pour l’étude des paysages bocagers
auteur
Erwan Bocher, Régis Le Vaillant, Olivier Bedel
article
Revue Internationale de Géomatique, Lavoisier, 2005, 15 (3), pp.357-382. <http://rig.revuesonline.com/article.jsp?articleId=6732>. <10.3166/rig.15.357-382 >
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-01093224/file/APARAdV3.pdf BibTex

Conference papers

titre
Contribution d’une modélisation spatiale au programme de restauration du bocage
auteur
Erwan Bocher, Koulman Mathieu, Olivier Bedel
article
Carrefour des gestions locales de l’eau, Feb 2005, Rennes, France. 2005
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-01093264/file/Carrefour_eau_resum.pdf BibTex
titre
Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization
auteur
Tristan Denmat, Mireille Ducassé, Olivier Ridoux
article
International Conference on Automated Software Engineering, 2005, Long Beach, United States. 2005
Accès au bibtex
BibTex

2004

Journal articles

titre
Détection d’intrusions : corrélation d’alertes
auteur
Hervé Debar, Benjamin Morin, Frédéric Cuppens, Fabien Autrel, Ludovic Mé, Bernard Vivinis, Salem Benferhat, Mireille Ducassé, Rodolphe Ortalo
article
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, Lavoisier, 2004, 23, 32 p
Accès au bibtex
BibTex

Conference papers

titre
Logical Approach to Natural Language Understanding in a Spoken Dialogue System
auteur
Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux
article
7th International Conference on Text, Speech and Dialogue, Sep 2004, Brno, Czech Republic. pp.637-644, 2004
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00484116/file/04_TSD.pdf BibTex
titre
A Serial Combination of Anomaly and Misuse IDSes Applied to HTTP Traffic
auteur
Elvis Tombini, Hervé Debar, Ludovic Mé, Mireille Ducassé
article
Annual Computer Security Applications Conference 2004, Sep 2004, Beijing, China. 10 p., 2004
Accès au bibtex
BibTex
titre
On learning discontinuous dependencies from positive data
auteur
Denis Béchet, Alexandre Dikovsky, Annie Foret, Erwan Moreau
article
G. Jäger and P. Monachesi and G. Penn and S. Winter. 9th conference on Formal Grammar (FG 2004), Aug 2004, Nancy, France. pp.1–16, 2004
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00487058/file/bechet_al_fg04.pdf BibTex

2003

Journal articles

titre
Topological Quadrangulations of Closed Triangulated Surfaces using the Reeb Graph
auteur
Franck Hétroy, Dominique Attali
article
Graphical Models, Elsevier, 2003, Special issue: Discrete Topology and Geometry for Image and Object Representation, 65 (1-3), pp.131-148
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001143/file/hetroy-32.pdf BibTex

Conference papers

titre
From a Closed Piecewise Geodesic to a Constriction on a Closed Triangulated Surface
auteur
Franck Hétroy, Dominique Attali
article
J. Rokne, W. Wang, R. Klein. Pacific Graphics Conference on Computer Graphics and Applications, Oct 2003, Canmore, Alberta, Canada, France. IEEE Computer Society, pp.394-398, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001145/file/hetroyf_constriction.pdf BibTex
titre
L’analyse en composantes indépendantes: un outil puissant pour le traitement de l’information
auteur
Christian Jutten, Rémi Gribonval
article
Proc. XIXe colloque GRETSI (traitement du signal et des images), 8-11 septembre 2003, Sep 2003, Paris, France. GRETSI, Groupe d’Etudes du Traitement du Signal et des Images, I, pp.11-16, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00576205/file/ACI_SPARSE_TUTORIAL.pdf BibTex
titre
Detection of Constrictions on Closed Polyhedral Surfaces
auteur
Franck Hétroy, Dominique Attali
article
G.-P. Bonneau, S. Hahmann, C. Hansen. Eurographics/IEEE TCVG Visualisation Symposium, May 2003, Grenoble, France, France. The Eurographics Association, pp.67-74, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001144/file/hetroy_attali-vissym2003.pdf BibTex
titre
A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation
auteur
Ludovic Langevine, Mireille Ducassé
article
International Conference on Logic Programming, 2003, Mumbay, India. 2003
Accès au bibtex
BibTex

2002

Journal articles

titre
Generic Program Monitoring by Trace Analysis
auteur
Erwan Jahier, Mireille Ducassé
article
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2002
Accès au bibtex
BibTex

2000

Journal articles

titre
Verification by Testing for Recursive Program Schemes
auteur
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
article
Lecture notes in computer science, springer, 2000, 1817 (Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR’99, Selected Pa), pp.255-272. <10.1007/10720327_15>
Accès au texte intégral et bibtex
http://hal.univ-brest.fr/hal-00783194/file/LMNR00.pdf BibTex
titre
Tracing Prolog programs by source instrumentation is efficient enough
auteur
Mireille Ducassé, Jacques Noyé
article
Journal of Logic Programming, Elsevier, 2000
Accès au bibtex
BibTex

1999

Journal articles

titre
A pragmatic reconstruction of Lambda-Prolog
auteur
Catherine Belleannee, Pascal Brisset, Olivier Ridoux
article
Journal of Logic Programming, Elsevier, 1999, 41 (1), pp 67-102. <10.1016/S0743-1066(98)10038-9>
Accès au bibtex
BibTex
titre
Opium: An extendable trace analyser for Prolog.
auteur
Mireille Ducassé
article
Journal of Logic Programming, Elsevier, 1999
Accès au bibtex
BibTex

Conference papers

titre
Generating deductive database explanations
auteur
Sarah Mallet, Mireille Ducassé
article
D. De Schreye. International Conference on Logic Programming, 1999, Las Cruces, United States. MIT Press, 1999
Accès au bibtex
BibTex
titre
Coca: An automated Debugger for C
auteur
Mireille Ducassé
article
International Conference on Automated Software Engineering, 1999, Los Angeles, United States. ACM Press, 1999
Accès au bibtex
BibTex
titre
A generic approach to monitor program executions
auteur
Erwan Jahier, Mireille Ducassé
article
D. De Schreye. International Conference on Logic Programming, 1999, Las Cruces, United States. MIT Press, 1999
Accès au bibtex
BibTex

1998

Journal articles

titre
Programs, Properties, and Data: Exploring the Software Development Trilogy
auteur
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
article
IEEE Software, Institute of Electrical and Electronics Engineers, 1998, 15 (6), pp.75-81. <10.1109/52.730849>
Accès au texte intégral et bibtex
http://hal.univ-brest.fr/hal-00783203/file/LMNR98.pdf BibTex

1988

Conference papers

titre
A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques
auteur
Mireille Ducassé, Anna-Maria Emde
article
International Conference on Automated Software Engineering, 1988, Singapour, Singapore. 1988
Accès au bibtex
BibTex
titre
Opium+, a Meta-Debugger for Prolog
auteur
Mireille Ducassé
article
European Conference on Artificail Intelligence, 1988, Munich, Germany. 1988
Accès au bibtex
BibTex

Comments are closed