1. Anne-Laure Ligozat, Kevin Marquet, Aurélie Bugeau, Julien Lefevre, Pierre Boulet, Sylvain Bouveret, Philippe Marquet, Olivier Ridoux, and Olivier Michel. How to Integrate Environmental Challenges in Computing Curricula?. In Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE'22), Providence, RI, USA., March 2022. ACM. [WWW] [Abstract] [bibtex-entry]

1. Hugo Ayats, Peggy Cellier, and Sébastien Ferré. Extracting Relations in Texts with Concepts of Neighbours. In Agnès Braud, Aleksey Buzmakov, Tom Hanika, and Florence Le Ber, editors, Formal Concept Analysis, LNCS 12733, pages 155-171, 2021. Springer. [WWW] [doi:10.1007/978-3-030-77867-5_10] [Abstract] [bibtex-entry]



2. Francesco Bariatti, Peggy Cellier, and Sébastien Ferré. GraphMDL+: interleaving the generation and MDL-based selection of graph patterns. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, and Eunjee Song, editors, ACM/SIGAPP Symp. Applied Computing (SAC), pages 355-363, 2021. ACM. [WWW] [doi:10.1145/3412841.3441917] [Abstract] [bibtex-entry]



3. Shridhar B. Dandin and Mireille Ducassé. ComVisMD -- Compact 2D Visualization of Multidimensional Data: Experimenting with Two Different Datasets. In Harish et al. Sharma, editor, Intelligent Learning for Computer Vision, volume 61 of Lecture Notes on Data Engineering and Communications Technologies, pages 473-485, 2021. Springer Singapore. [WWW] Keyword(s): Tabular data, Visual representation design, Data analysis, Reasoning, Problem solving, Decision making, Data clustering, Aggregation. [Abstract] [bibtex-entry]



4. Sébastien Ferré. Adding Structure and Removing Duplicates in SPARQL Results with Nested Tables. In Further with Knowledge Graphs, pages 227-240, 2021. IOS Press. [doi:10.3233/SSW210047] [Abstract] [bibtex-entry]



5. Sébastien Ferré. Analytical Queries on Vanilla RDF Graphs with a Guided Query Builder Approach. In Troels Andreasen, Guy De Tré, Janusz Kacprzyk, Henrik Legind Larsen, Gloria Bordogna, and Slawomir Zadrozny, editors, Flexible Query Answering Systems, LNCS 12871, pages 41-53, 2021. Springer. [WWW] [doi:10.1007/978-3-030-86967-0_4] [Abstract] [bibtex-entry]

1. Francesco Bariatti, Peggy Cellier, and Sébastien Ferré. GraphMDL : sélection de motifs de graphes avec le principe MDL. In Extraction et Gestion des Connaissances (EGC), Bruxelles, Belgium, 2020. [WWW] [PDF] [Abstract] [bibtex-entry]



2. Francesco Bariatti, Peggy Cellier, and Sébastien Ferré. GraphMDL Visualizer: Interactive Visualization of Graph Patterns. In Graph Embedding and Mining (GEM), an ECML-PKDD workshop, 2020. [WWW] Keyword(s): graph mining, graph pattern, MDL principle, visualization. [Abstract] [bibtex-entry]



3. Francesco Bariatti, Peggy Cellier, and Sébastien Ferré. GraphMDL: Graph Pattern Selection based on Minimum Description Length. In Symposium on Intelligent Data Analysis (IDA), 2020. [WWW] [PDF] Keyword(s): Minimum Description Length, Graph Mining, Pattern Mining. [Abstract] [bibtex-entry]



4. Mireille Ducassé. Kartu-Verbs: A Semantic Web Base of Inflected Georgian Verb Forms to Bypass Georgian Verb Lemmatization Issues. In Zoe Gavriilidou, editor, Proceedings of XIX EURALEX Conference, 2020-2021. Euralex association. [WWW] Keyword(s): Georgian verbs, Inflected forms, Dictionary front-end, Semantic web tool, Prolog. [Abstract] [bibtex-entry]



5. Mireille Ducassé. Kartu-Verbs: A Semantic Web Base of Inflected Georgian Verb Forms to Bypass Georgian Verb Lemmatization Issues. In Zoe Gavriilidou, editor, First Proceedings of XIX EURALEX Conference, November 2020. Euralex association. [WWW] Keyword(s): Georgian verbs, Inflected forms, Dictionary front-end, Semantic web tool, Prolog. [Abstract] [bibtex-entry]



6. Sébastien Ferré. A Proposal for Nested Results in SPARQL. In K. Taylor, R. Gonçalves, F. Lecue, and J. Yan, editors, ISWC 2020 Posters, Demos, and Industry Tracks, volume 2721 of CEUR Workshop Proceedings, pages 114-119, 2020. [WWW] Keyword(s): SPARQL, nested tables. [Abstract] [bibtex-entry]



7. Sébastien Ferré. Construction guidée de requêtes analytiques sur des graphes RDF. In Atelier Web des Données, Bruxelles, Belgium, 2020. [WWW] [PDF] Keyword(s): RDF, SPARQL, analytical query, statistical query, Sparklis, query builder. [Abstract] [bibtex-entry]



8. Nicolas Fouqué, Sébastien Ferré, and Peggy Cellier. Concepts de voisins dans les graphes RDF : Une extension Jena et une interface graphique. In Antoine Cornuéjols and Etienne Cuvelier, editors, Extraction et Gestion des Connaissances (EGC), volume E-36 of RNTI, pages 483-490, 2020. Éditions RNTI. [WWW] Keyword(s): RDF, concepts de voisins. [Abstract] [bibtex-entry]



9. Clément Gautrais, Peggy Cellier, Matthijs van Leeuwen, and Alexandre Termier. Widening for MDL-Based Retail Signature Discovery. In Michael R. Berthold, Ad Feelders, and Georg Krempl, editors, Advances in Intelligent Data Analysis XVIII - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings, volume 12080 of Lecture Notes in Computer Science, pages 197-209, 2020. Springer. [bibtex-entry]



10. Priscilla Keip, Sébastien Ferré, Alain Gutierrez, Marianne Huchard, Pierre Silvie, and Pierre Martin. Practical Comparison of FCA Extensions to Model Indeterminate Value of Ternary Data. In F. J. Valverde-Albacete and M. Trnecka, editors, Int. Conf. Concept Lattices and Their Applications, volume 2668 of CEUR Workshop Proceedings, pages 197-208, 2020. CEUR-WS.org. [WWW] Keyword(s): FCA, Graph-FCA, RCA, triadic FCA, relational data. [Abstract] [bibtex-entry]



11. Aurélien Lamercerie. ARES : un extracteur d'exigences pour la modélisation de systèmes. In EGC 2020 - Extraction et Gestion des Connaissances (Atelier - Fouille de Textes - Text Mine), Bruxelles, Belgium, pages 1-4, January 2020. [WWW] [PDF] [bibtex-entry]



12. Aurélien Lamercerie. Transduction sémantique pour la modélisation de système. In PFIA 2020 - Plate-Forme de l'Intelligence Artificielle (PFIA), rencontres RJCIA, Angers, France, pages 1-6, June 2020. [WWW] [PDF] Keyword(s): System Design, semantic parsing, abstract representation, formalization. [bibtex-entry]



13. Aurélien Lamercerie and Benoît Caillaud. An Algebra of Deterministic Propositional Acceptance Automata (DPAA). In FDL 2020 - Forum on specification & Design Languages, Kiel, Germany, pages 1-8, September 2020. [WWW] [PDF] Keyword(s): Interface Theory, Automata for System Analysis, Discrete Time Reactive System, Requirements Engineering. [bibtex-entry]

1. Alex Chauvet and Annie Foret. Systèmes d'information pour les chercheurs en droit. In Colloque des Convergences du Droit et du Numérique, Actes du colloque des Convergences du droit et du numérique, Bordeaux, France, July 2019. Université de Bordeaux. [WWW] [PDF] Keyword(s): Droit, Numérique, Convergences. [bibtex-entry]



2. Sébastien Ferré. Link Prediction in Knowledge Graphs with Concepts of Nearest Neighbours. In Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J. G. Gray, Vanessa López, Armin Haller, and Karl Hammar, editors, The Semantic Web (ESWC), LNCS 11503, pages 84-100, 2019. Springer. [WWW] [doi:10.1007/978-3-030-21348-0_6] Keyword(s): semantic web, link prediction, nearest neighbours, similarity, graph pattern, concept. [bibtex-entry]



3. Sébastien Ferré. Prédiction de liens dans les graphes de connaissances avec les concepts de plus proches voisins. In Marie-Christine Rousset and Lydia Boudjeloud-Assala, editors, Extraction et Gestion des connaissances (EGC), volume E-35 of RNTI, pages 69-80, 2019. Hermann-Éditions. [WWW] Keyword(s): semantic web, link prediction, nearest neighbours, similarity, graph pattern, concept. [bibtex-entry]

1. Pegah Alizadeh, Peggy Cellier, Thierry Charnois, Bruno Crémilleux, and Albrecht Zimmermann. An Experimental Approach For Information Extraction in Multi-Party Dialogue Discourse. In Proceedings of the 19th International Conference on Computational Linguistics and Intelligent Text Processing (CiCling 2018), LNCS, 2018. Springer. [WWW] [bibtex-entry]



2. Pegah Alizadeh, Peggy Cellier, Thierry Charnois, Bruno Crémilleux, and Albrecht Zimmermann. Étude Expérimentale d'Extraction d'Information dans des Retranscriptions de Réunions. In Traitement automatique du langage naturel (TALN), Rennes, France, May 2018. Keyword(s): Topic Modeling, Information Extraction, Dialogue Texts. [bibtex-entry]



3. Carlos Bobed, Laura Douze, Sébastien Ferré, and Romaric Marcilly. PEGASE: A Knowledge Graph for Search and Exploration in Pharmacovigilance Data. In P. Cimiano and O. Corby, editors, EKAW Posters and Demonstrations, volume 2262 of CEUR Workshop Proceedings, pages 33-36, 2018. [WWW] [PDF] Keyword(s): PEGASE, Sparklis, knowledge graph. [Abstract] [bibtex-entry]



4. Carlos Bobed, Laura Douze, Sébastien Ferré, and Romaric Marcilly. Sparklis over PEGASE knowledge graph: a new tool for pharmacovigilance. In A. Waagmeester, C. J. O. Baker, A. Splendiani, O. Deniz Beyan, and M. Scott Marshall, editors, Int. Conf. Semantic Web Applications and Tools for Life Sciences (SWAT4LS), volume 2275 of CEUR Workshop Proceedings, 2018. [WWW] [PDF] Keyword(s): PEGASE, Sparklis, knowledge graph. [Abstract] [bibtex-entry]



5. Shridhar Dandin and Mireille Ducassé. ComVisMD-A Visualization Tool for Compact Display of Multidimensional Data: An illustration on Cricket Players Data. In IEEE VIS 2018 International Conference, Abstract, 2018. Note: Video previews available under https://vimeo.com/groups/vis18previews. [WWW] [Abstract] [bibtex-entry]



6. Sébastien Ferré. Answers Partitioning and Lazy Joins for Efficient Query Relaxation and Application to Similarity Search. In A. Gangemi and others, editors, Int. Conf. The Semantic Web (ESWC), LNCS 10843, pages 209-224, 2018. Springer. [WWW] [doi:10.1007/978-3-319-93417-4_14] Keyword(s): query relaxation, approximate answer, similarity search, semantic similarity, TDF, graph pattern, partition, join. [Abstract] [bibtex-entry]



7. Sébastien Ferré. Responsive and Flexible Controlled Natural Language Authoring with Zipper-Based Transformations. In B. Davis, C. M. Keet, and A. Wyner, editors, Int. Work. Controlled Natural Language (CNL), volume 304 of Frontiers in Artificial Intelligence and Applications, pages 21-30, 2018. IOS Press. [WWW] [doi:10.3233/978-1-61499-904-1-21] Keyword(s): controlled natural language, authoring, user interaction, abstract syntax, zipper, focus. [Abstract] [bibtex-entry]



8. Sébastien Ferré. What's New in SPARKLIS. In P. Cimiano and O. Corby, editors, EKAW Posters and Demonstrations, volume 2262 of CEUR Workshop Proceedings, pages 41-44, 2018. [WWW] [PDF] Keyword(s): Sparklis, demo. [Abstract] [bibtex-entry]



9. Sébastien Ferré and Peggy Cellier. How Hierarchies of Concept Graphs Can Facilitate the Interpretation of RCA Lattices?. In D. I. Ignatov and L. Nourine, editors, Int. Conf. Concept Lattices and Their Applications (CLA), CEUR 2123, pages 69-80, 2018. CEUR-WS.org. [WWW] [PDF] Keyword(s): formal concept analysis, relational concept analysis, data mining, concept graph. [Abstract] [bibtex-entry]



10. Esther Galbrun, Peggy Cellier, Nikolaj Tatti, Alexandre Termier, and Bruno Crémilleux. Mining Periodic Patterns with a MDL Criterion. In European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD), 2018. [WWW] [Abstract] [bibtex-entry]



11. Aurélien Lamercerie. Formal analysis of natural language requirements for the design of cyber-physical systems. In Conférence TALN, 2018. [WWW] [PDF] Keyword(s): Grammatical Formalism, Semantic Representation, Categorial Grammar, Require-ments Engineering, Cyber-physical System, Modal Specification. [Abstract] [bibtex-entry]



12. Son T. Mai, Sihem Amer-Yahia, Ahlame Douzal Chouakria, Ky T. Nguyen, and Anh-Duong Nguyen. Scalable Active Constrained Clustering for Temporal Data. In Int. Conf. Database Systems for Advanced Applications (DASFAA), pages 566-582, 2018. [bibtex-entry]



13. Pierre Maillot and Carlos Bobed. Measuring Structural Similarity Between RDF Graphs. In Proc. of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), SWA track, Pau (France), April 2018. ACM. [bibtex-entry]

1. Guillaume Aucher, Annie Foret, JeanBaptiste Lenhof, Olivier Ridoux, Francois Schwarzentruber, and al.. Principles for a judgement editor based on Multi-BDDs. In MIning and REasoning with Legal texts at ICAIL, London, 2017. [WWW] [Abstract] [bibtex-entry]



2. Alexis Chauvet and Annie Foret. Systèmes d'information pour les chercheurs en droit. In Colloque CDN, Convergences du droit et du numérique, Bordeaux, 2017. [WWW] [Abstract] [bibtex-entry]



3. Fabien Chevalier and Sébastien Ferré. Entering the Digital Customer Onboarding Era: How the Semantic Web Can Help. In N. Nikitina, D. Song, A. Fokoue, and P. Haase, editors, Posters & Demonstrations and Industry Tracks at Int. Semantic Web Conf., volume 1963 of CEUR Workshop Proceedings, 2017. CEUR-WS.org. [PDF] Keyword(s): semantic web. [bibtex-entry]



4. Shridhar B. Dandin and Mireille Ducassé. Compact Visualization of Database Tables: Experimenting with Cricket Players Data. In 3rd International Conference on Communication System, Pilani, India, Short paper, 2017. [Abstract] [bibtex-entry]



5. Sébastien Ferré. Concepts de plus proches voisins dans des graphes de connaissances. In 28es Journées francophones d'Ingénierie des Connaissances (IC), pages 163-174, 2017. [WWW] [PDF] Keyword(s): semantic web, knowledge graph, nearest neighbours, concept. [Abstract] [bibtex-entry]



6. Annie Foret. Traitement automatique des langues, données légales, systèmes d'information et logique. In Atelier CDN, Convergences du droit et du numérique, Bordeaux, 2017. [WWW] [Abstract] [bibtex-entry]



7. Clément Gautrais, Peggy Cellier, René Quiniou, and Alexandre Termier. Topic Signatures in Political Campaign Speeches. In , pages 2342-2347, 2017. [WWW] [doi:10.18653/v1/D17-1249] [bibtex-entry]



8. Clément Gautrais, René Quiniou, Peggy Cellier, Thomas Guyet, and Alexandre Termier. Purchase Signatures of Retail Customers. In Jinho Kim, Kyuseok Shim, Longbing Cao, Jae-Gil Lee, Xuemin Lin, and Yang-Sae Moon, editors, Advances in Knowledge Discovery and Data Mining, Cham, pages 110-121, 2017. Springer International Publishing. [WWW] [Abstract] [bibtex-entry]



9. Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, and Franck Partouche. Nested Forms with Dynamic Suggestions for Quality RDF Authoring. In Int. Conf. Database and Expert Systems Applications (DEXA), pages 35-45, 2017. [WWW] [doi:10.1007/978-3-319-64468-4_3] Keyword(s): semantic web, RDF, knowledge acquisition, form, data quality. [bibtex-entry]

1. Peggy Cellier, Sébastien Ferré, Annie Foret, and Olivier Ridoux. Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. In Cyril de Runz and Bruno Crémilleux, editors, Journées Francophones Extraction et Gestion des Connaissances, EGC, RNTI E-30, pages 443-448, 2016. Hermann-Éditions. [WWW] [bibtex-entry]



2. Sébastien Ferré. An RDF Design Pattern for the Structural Representation and Querying of Expressions. In Int. Conf. Knowledge Engineering and Knowledge Management, LNAI 10024, 2016. Springer. [WWW] Keyword(s): expression, knowledge representation, blank node, querying, RDF, Turtle, SPARQL, mathematical formulas. [Abstract] [bibtex-entry]



3. Sébastien Ferré. Bridging the Gap Between Formal Languages and Natural Languages with Zippers. In Harald Sack, Eva Blomqvist, Mathieu d'Aquin, Chiara Ghidini, Simone Paolo Ponzetto, and Christoph Lange, editors, The Semantic Web (ESWC). Latest Advances and New Domains, LNCS 9678, pages 269-284, 2016. Springer. [WWW] [doi:10.1007/978-3-319-34129-3_17] Keyword(s): semantic web, formal lamguage, natural language, zipper, Montague grammar. [Abstract] [bibtex-entry]



4. Sébastien Ferré. SPARKLIS on QALD-6 Statistical Questions. In Semantic Web Evaluation Challenge, pages 178-187, 2016. Springer. Keyword(s): semantic web, QALD, statistical questions, OLAP. [Abstract] [bibtex-entry]



5. Sébastien Ferré. Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds. In Int. Conf. Knowledge Engineering and Knowledge Management, LNAI 10024, 2016. Springer. [WWW] Keyword(s): ontology authoring, semantic web, description logics, OWL, possible world explorer. [Abstract] [bibtex-entry]



6. Sébastien Ferré and Peggy Cellier. Graph-FCA in Practice. In O. Haemmerlé, G. Stapleton, and C. Faron-Zucker, editors, Int. Conf. Conceptual Structures (ICCS) - Graph-Based Representation and Reasoning, LNCS 9717, pages 107-121, 2016. Springer. [WWW] [doi:10.1007/978-3-319-40985-6_9] Keyword(s): formal concept analysis, knowledge graph, graph pattern, algorithm. [Abstract] [bibtex-entry]



7. Clément Gautrais, Peggy Cellier, Thomas Guyet, René Quiniou, and Alexandre Termier. Understanding Customer Attrition at an Individual Level: a New Model in Grocery Retail Context. In Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016., pages 686-687, 2016. [WWW] [bibtex-entry]



8. Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, and Franck Partouche. FORMULIS: Dynamic Form-Based Interface For Guided Knowledge Graph Authoring. In 20th International Conference on Knowledge Engineering and Knowledge Management, Posters & Demonstrations, 2016. [WWW] Keyword(s): semantic web, form, knowledge authoring, user interface. [Abstract] [bibtex-entry]

1. Mouhamadou Ba, Sébastien Ferré, and Mireille Ducassé. Safe Suggestions Based on Type Convertibility to Guide Workflow Composition. In F. Esposito, O. Pivert, M.-S. Hacid, Z.W. Ras, and S. Ferilli, editors, Int. Symp. Foundations of Intelligent Systems (ISMIS), LNCS 9384, 2015. Springer. [Abstract] [bibtex-entry]



2. Nicolas Béchet, Peggy Cellier, Thierry Charnois, and Bruno Crémilleux. Sequence mining under multiple constraints. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, and Jiman Hong, editors, ACM Symposium on Applied Computing, pages 908-914, 2015. ACM. [bibtex-entry]



3. Soda Cissé, Olivier Ridoux, and Peggy Cellier. Représentation Symbolique de Trajectoires Géolocalisées. In Hajer Baazaoui Zghal, Christophe Claramunt, and Mohamed Ramzi Haddad, editors, Int. Conf. Spatial Analysis and GEOmatics (SAGEO), volume 1535 of CEUR Workshop Proceedings, pages 208-221, 2015. CEUR-WS.org. [bibtex-entry]



4. Sébastien Ferré. A Proposal for Extending Formal Concept Analysis to Knowledge Graphs. In J. Baixeries, C. Sacarea, and M. Ojeda-Aciego, editors, Int. Conf. Formal Concept Analysis (ICFCA), LNCS 9113, pages 271-286, 2015. Springer. Keyword(s): formal concept analysis, knowledge graph, Semantic Web, graph pattern, relation, projection. [Abstract] [bibtex-entry]



5. Sébastien Ferré. Conception interactive d'ontologies par élimination de mondes possibles. In Ingénierie des connaissances (IC), 2015. AFIA. [WWW] Keyword(s): Semantic Web, ontology, OWL, design, syntax/semantic gap, interaction. [Abstract] [bibtex-entry]



6. Annie Foret. A Logical Information System Proposal for Browsing Terminological Resources. In T. Poibeau and P. Faber, editors, Int. Conf. Terminology and Artificial Intelligence, volume 1495 of CEUR Workshop Proceedings, pages 51-59, 2015. CEUR-WS.org. Note: Keywords : Scientific terminology, Technological terminology, Multilingual applications, Information extraction, Textual data mining, Information retrieval, Linguistic resources, Open Data, Information Quality, Legal Information. [WWW] [Abstract] [bibtex-entry]



7. Annie Foret. A Logical Information System Proposal for Browsing Terminological Resources, Demo session. In T. Poibeau and P. Faber, editors, Int. Conf. Terminology and Artificial Intelligence, volume 1495 of CEUR Workshop Proceedings, 2015. CEUR-WS.org. [WWW] [bibtex-entry]



8. Annie Foret. TermLis : un contexte d'information logique pour des ressources terminologiques. In Conférence sur le Traitement Automatique des Langues Naturelles, pages 642-643, 2015. Association pour le Traitement Automatique des Langues. Note: Keywords:Multilingual applications, Classification, Information extraction, Textual data mining, Information retrieval, Linguistic resources, Open Data, Information Quality, Legal Information. [WWW] [Abstract] [bibtex-entry]



9. Annie Foret, Valérie Bellynck, and Christian Boitet. Akenou-Breizh, un projet de plate-forme valorisant des ressources et outils informatiques et linguistiques pour le breton. In Actes du Traitement Automatique des Langues Régionales de France et d'Europe, 2015. Association pour le Traitement Automatique des Langues. Note: Keywords : Breton, heritage language, usage language, tools and resources, contrastive studies. [WWW] [Abstract] [bibtex-entry]

1. Mouhamadou Ba, Sébastien Ferré, and Mireille Ducassé. Convertibility between input and output types to help compose services in bioinformatics. In Colloque africain sur la recherche en informatique et mathématiques appliquées (CARI), pages 141-148, 2014. [bibtex-entry]



2. Mouhamadou Ba, Sébastien Ferré, and Mireille Ducassé. Convertibilité entre types d'entrée et de sortie pour la composition de services en bio-informatique. In Conf. Reconnaissance de Formes et Intelligence Artificielle (RFIA), 2014. [bibtex-entry]



3. Mouhamadou Ba, Sébastien Ferré, and Mireille Ducassé. Generating Data Converters to Help Compose Services in Bioinformatics Workflows. In Hendrick Decker et al., editor, Int. Conf. Database and Expert Systems Applications (DEXA), LNCS 8644, pages 284-298, 2014. Springer. Keyword(s): workflow, bioinformatic, data converter, convertibility, rule system. [Abstract] [bibtex-entry]



4. Soda Cissé, Peggy Cellier, and Olivier Ridoux. Segmentation of Geolocalized Trajectories using Exponential Moving Average. In Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées (CARI), pages 149-156, 2014. Keyword(s): geolocalized trajectories, segmentation. [Abstract] [bibtex-entry]



5. Mireille Ducassé and Peggy Cellier. Using Biddings and Motivations in Multi-unit Assignments. In Pascale Zaraté, Gregory E. Kersten, and Jorge E. Hernandez, editors, Group Decision and Negotiation. A Process-Oriented View, volume 180 of Lecture Notes in Business Information Processing, pages 53-61, 2014. Springer. [WWW] [doi:10.1007/978-3-319-07179-4-6] Keyword(s): group decision support, thinkLet, formal concept analysis, logical information systems, course allocation, multi-unit assignment. [Abstract] [bibtex-entry]



6. Sébastien Ferré. Expressive and Scalable Query-Based Faceted Search over SPARQL Endpoints. In P. Mika, T. Tudorache, A. Bernstein, C. Welty, C. A. Knoblock, D. Vrandecic, P. T. Groth, N. F. Noy, K. Janowicz, and C. A. Goble, editors, The Semantic Web (ISWC), LNCS 8797, pages 438-453, 2014. Springer. Note: Nominee for the best research paper award. [WWW] Keyword(s): SPARQL endpoints, semantic search, faceted search, user interaction, SPARQL queries, query-based faceted search, expressivity, scalability, portability, usability, Sparklis. [Abstract] [bibtex-entry]



7. Sébastien Ferré. SPARKLIS: a SPARQL Endpoint Explorer for Expressive Question Answering. In M. Horridge, M. Rospocher, and J. van Ossenbruggen, editors, ISWC Posters & Demonstrations Track, volume 1272 of CEUR Workshop Proceedings, pages 45-48, 2014. CEUR-WS.org. [WWW] Keyword(s): demo, SPARQL endpoints, semantic search, faceted search, user interaction, SPARQL queries, query-based faceted search, expressivity, scalability, portability, usability, Sparklis. [Abstract] [bibtex-entry]



8. Annie Foret. On Associative Lambek Calculus Extended with Basic Proper Axioms. In C. Casadio, B. Coecke, M. Moortgat, and P. Scott, editors, Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, LNCS 8222, pages 172-187, 2014. Springer. [WWW] Keyword(s): lambek calculus, associativity. [Abstract] [bibtex-entry]



9. Annie Foret. On Harmonic CCG and Pregroup Grammars. In N. Asher and S. Soloviev, editors, Int. Conf. Logical Aspects of Computational Linguistics (LACL), LNCS 8535, pages 83-95, 2014. Springer. [WWW] Keyword(s): pregroup grammar, CCG. [Abstract] [bibtex-entry]



10. Solen Quiniou, Peggy Cellier, and Thierry Charnois. Fouille de données pour associer des noms de sessions aux articles scientifiques. In Brigitte Bigi, editor, Défi Fouille de Textes - DEFT 2014 (Atelier TALN), 2014. Laboratoire Parole et Langage. Note: ISBN: 978-2-9518233-6-5. Keyword(s): data mining, sequence mining, graph mining, paper categorisation. [Abstract] [bibtex-entry]

1. Mouhamadou Ba. Guided Composition of Tasks with Logical Information Systems - Application to Data Analysis Workflows in Bioinformatics. In P. Cimiano, O. Corcho, V. Presutti, L. Hollink, and S. Rudolph, editors, Extended Semantic Web Conf., LNCS 7882, pages 661-665, 2013. Springer. [bibtex-entry]



2. Mireille Ducassé. Helping Facilitators Build on Experience When Preparing Meetings With Logical Information Systems. In Bilyana Martinovski, editor, Group Decision and Negotiation Conference, pages 139-143, 2013. Department of Computer and Systems Sciences, Stockholm University. Note: Extended abstract. Keyword(s): Artificial Intelligence Methods in GDN, Logical information systems, Concept Analysis Application, Facilitator support, Agenda building, ThinkLets. [Abstract] [bibtex-entry]



3. Sébastien Ferré. Representation of Complex Expressions in RDF. In P. Cimiano, M. Fernández, V. Lopez, S. Schlobach, and J. Völker, editors, Extended Semantic Web Conf. (ESWC Satellite Events), LNCS 7955, pages 273-274, 2013. Springer. [PDF] Keyword(s): semantic web, RDF, blank nodes, expressions, knowledge representation, querying, query-based faceted search, mathematical search. [bibtex-entry]



4. Sébastien Ferré. SQUALL: A Controlled Natural Language as Expressive as SPARQL 1.1. In E. Métais, F. Meziane, M. Saraee, V. Sugumaran, and S. Vadera, editors, Int. Conf. Applications of Natural Language to Information System (NLDB), LNCS 7934, pages 114-125, 2013. Springer. [PDF] Keyword(s): controlled natural language, query language, update language, semantic web, SPARQL, expressivity. [Abstract] [bibtex-entry]



5. Alice Hermann, Mireille Ducassé, Sébastien Ferré, and Jean Lieber. Une approche fondée sur le raisonnement à partir de cas pour la mise à jour interactive d'objets du Web sémantique. In 21ème atelier Français de Raisonnement à Partir de Cas (RàPC), Lille, France, 2013. [WWW] Keyword(s): mise à jour d'objets, Web sémantique, RDFS, formulaire de saisie, recherche de cas par relâchement. [bibtex-entry]



6. Solen Quiniou, Peggy Cellier, Thierry Charnois, and Dominique Legallois. Graph Mining under Linguistic Constraints to Explore Large Texts. In Intelligent Text Processing and Computational Linguistics (CICLing'13), 2013. [bibtex-entry]

1. Nicolas Béchet, Peggy Cellier, Thierry Charnois, and Bruno Crémilleux. Discovering Linguistic Patterns Using Sequence Mining. In Alexander F. Gelbukh, editor, Int. Conf. on Computational Linguistics and Intelligent Text Processing (CICLing), volume 7181 of LNCS, pages 154-165, 2012. Springer. Keyword(s): data mining, sequential patterns, linguistic pattern, natural language processing. [bibtex-entry]



2. Nicolas Béchet, Peggy Cellier, Thierry Charnois, and Bruno Crémilleux. Fouille de motifs séquentiels pour la découverte de relations entre gènes et maladies rares. In S. Szulman and J. Charlet, editors, Journées francophones d'ingénierie des connaissances, pages 149-164, 2012. INSERM UMPC. [WWW] Keyword(s): data mining, sequential patterns, relationships, bioinformatics, rare disease, natural language processing. [bibtex-entry]



3. Nicolas Béchet, Peggy Cellier, Thierry Charnois, and Bruno Crémilleux. Sequential Pattern Mining to Discover Relations between Genes and Rare Diseases. In IEEE Int. Symp. on Computer-Based Medical Systems (CBMS), pages 1-6, 2012. Keyword(s): data mining, sequential patterns, relationships, bioinformatics, rare disease, natural language processing. [bibtex-entry]



4. Mireille Ducassé and Peggy Cellier. The LogicalMulticriteriaSort ThinkLet: Logical Navigation for Fair and Fast Convergence in Multicriteria Group Decision Making. In Adiel Teixeira de Almeida, Danielle Costa Morais, and Suzanna de França Dantas Daher, editors, Proceedings of the Group Decision and Negotiation Conference, pages 87-96, May 2012. Note: ISBN 978-85-415-0036-4. Keyword(s): multicriteria decision, logical information systems, formal concept analysis. [Abstract] [bibtex-entry]



5. Sébastien Ferré. Extension du langage de requêtes LISQL pour la représentation et l'exploration d'expressions mathématiques en RDF. In S. Szulman and J. Charlet, editors, Journées francophones d'ingénierie des connaissances, pages 285-300, 2012. INSERM UMPC. [WWW] Keyword(s): LISQL, query language, mathematics, RDF, semantic web, knowledge representation. [Abstract] [bibtex-entry]



6. Sébastien Ferré. SQUALL: a Controlled Natural Language for Querying and Updating RDF Graphs. In T. Kuhn and N.E. Fuchs, editors, Controlled Natural Languages, LNCS 7427, pages 11-25, 2012. Springer. Keyword(s): query language, update language, Semantic Web, RDF graphs, SPARQL, Montague grammars. [Abstract] [bibtex-entry]



7. Sébastien Ferré, Pierre Allard, and Olivier Ridoux. Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. In F. Domenach, D. I. Ignatov, and J. Poelmans, editors, Int. Conf. Formal Concept Analysis, LNCS 7278, pages 112-127, 2012. Springer. Keyword(s): formal concept analysis, OLAP, cubes of concepts, multi-valued contexts. [Abstract] [bibtex-entry]



8. Sébastien Ferré and Sebastian Rudolph. Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints. In A. ten Teije et al., editor, Int. Conf. Knowledge Engineering and Knowledge Management (EKAW), LNAI 7603, pages 42-56, 2012. Springer. Keyword(s): semantic web, ontology, exploratory search, negative constraints, possible world. [Abstract] [bibtex-entry]



9. Alice Hermann, Sébastien Ferré, and Mireille Ducassé. Aide à la création d'objets dans une base RDF(S) avec des règles de relaxation. In S. Szulman and J. Charlet, editors, Journées francophones d'ingénierie des connaissances, pages 301-316, 2012. INSERM UMPC. [WWW] Keyword(s): RDF, relaxation rules, object creation, user interaction. [Abstract] [bibtex-entry]



10. Alice Hermann, Sébastien Ferré, and Mireille Ducassé. An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs. In A. ten Teije et al., editor, Int. Conf. Knowledge Engineering and Knowledge Management (EKAW), LNAI 7603, pages 185-199, 2012. Springer. Keyword(s): semantic web, RDF, update, interactive guidance. [Abstract] [bibtex-entry]



11. Alice Hermann, Sébastien Ferré, and Mireille Ducassé. Guided Semantic Annotation of Comic Panels with Sewelis. In A. ten Teije et al., editor, Knowledge Engineering and Knowledge Management (EKAW), LNCS 7603, pages 430-433, 2012. Springer. Keyword(s): demo, semantic web, RDF, update, interactive guidance. [Abstract] [bibtex-entry]



12. Solen Quiniou, Peggy Cellier, Thierry Charnois, and Dominique Legallois. Fouille de données pour la stylistique : cas des motifs séquentiels émergents. In Actes des Journées Internationales d'Analyse Statistique des Données Textuelles, Liège, Belgique, pages 821-833, 2012. [WWW] Keyword(s): data mining, emerging sequential patterns, stylistic, linguistic pattern, natural language processing. [Abstract] [bibtex-entry]



13. Solen Quiniou, Peggy Cellier, Thierry Charnois, and Dominique Legallois. Fouille de graphes sous contraintes linguistiques pour l'exploration de grands textes. In Actes de la Conférence sur le Traitement Automatique des Langues Naturelles, Grenoble, France, pages 253-266, 2012. [WWW] Keyword(s): Graph Mining, sentence networks, textual analysis, textual navigation, natural language processing. [Abstract] [bibtex-entry]



14. Solen Quiniou, Peggy Cellier, Thierry Charnois, and Dominique Legallois. What About Sequential Data Mining Techniques to Identify Linguistic Patterns for Stylistics?. In Alexander F. Gelbukh, editor, Int. Conf. on Computational Linguistics and Intelligent Text Processing (CICLing), volume 7181 of LNCS, New Delhi, Inde, pages 166-177, March 2012. Springer. Keyword(s): data mining, sequential patterns, stylistic, linguistic pattern, natural language processing. [Abstract] [bibtex-entry]

1. Denis Béchet, Alexandre Dikovsky, and Annie Foret. Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages. In Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, volume 6807 of Lecture Notes in Computer Science, pages 42-52, 2011. Springer. [Abstract] [bibtex-entry]



2. Denis Béchet, Alexander Dikovsky, and Annie Foret. On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types. In Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, volume 6736 of Lecture Notes in Computer Science, pages 80-95, 2011. Springer. Keyword(s): Grammatical inference, Categorial grammar, Dependency grammar, Incremental learning, Iterated types.. [Abstract] [bibtex-entry]



3. Denis Béchet, Alexander Dikovsky, and Annie Foret. 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. In Conférence Francophone d'Apprentissage 2011 (CAP), Chambéry, France, 2011. [bibtex-entry]



4. Peggy Cellier, Mireille Ducassé, and Sébastien Ferré. Exploration de traces à l'aide de fouille de données. In Atelier IC Traces numériques, connaissances et cognition, 2011. [bibtex-entry]



5. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Multiple Fault Localization with Data Mining. In Int. Conf. on Software Engineering & Knowledge Engineering, pages 238-243, 2011. Knowledge Systems Institute Graduate School. Keyword(s): data mining, software engineering, debugging, association rules, formal concept analysis. [Abstract] [bibtex-entry]



6. Peggy Cellier, Sébastien Ferré, Mireille Ducassé, and Thierry Charnois. Partial orders and logical concept analysis to explore patterns extracted by data mining. In Int. Conf. on Conceptual Structures for Discovering Knowledge, pages 77-90, 2011. Springer. Keyword(s): data mining, partial order, selection of patterns, logical concept analysis, formal concept analysis. [Abstract] [bibtex-entry]



7. Mireille Ducassé, Sébastien Ferré, and Peggy Cellier. Building up Shared Knowledge with Logical Information Systems. In A. Napoli and V. Vychodil, editors, Proceedings of the 8th International Conference on Concept Lattices and their Applications, pages 31-42, October 2011. INRIA. Note: ISBN 978-2-905267-78-8. [Abstract] [bibtex-entry]



8. Sébastien Ferré and Alice Hermann. Semantic Search: Reconciling Expressive Querying and Exploratory Search. In L. Aroyo and C. Welty, editors, Int. Semantic Web Conf., LNCS 7031, pages 177-192, 2011. Springer. Keyword(s): semantic web, querying, exploratory search, expressiveness, navigation, faceted search. [Abstract] [bibtex-entry]



9. S. Ferré, A. Hermann, and M. Ducassé. Combining Faceted Search and Query Languages for the Semantic Web. In C. Salinesi and O. Pastor, editors, Semantic Search over the Web (SSW) - Advanced Information Systems Engineering Workshops - CAiSE Int. Workshops, volume 83 of LNBIP 83, pages 554-563, 2011. Springer. Note: Best paper. Keyword(s): semantic web, semantic search, user interaction, faceted search, querying. [Abstract] [bibtex-entry]



10. Alice Hermann, Sébastien Ferré, and Mireille Ducassé. Création et mise à jour guidées d'objets dans une base RDF(S). In Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2011. Presses de l'Université des Antilles et de la Guyane. [Abstract] [bibtex-entry]



11. Alice Hermann, Sébastien Ferré, and Mireille Ducassé. Guided creation and update of objects in RDF(S) bases. In Mark A. Musen and Óscar Corcho, editors, Int. Conf. Knowledge Capture (K-CAP 2011), pages 189-190, 2011. ACM Press. [Abstract] [bibtex-entry]



12. D. Legallois, Peggy Cellier, and Thierry Charnois. Calcul de réseaux phrastiques pour l analyse et la navigation textuelle. In Traitement Automatique des Langues Naturelles, 2011. Keyword(s): Sentence network, Bonds between sentences, Textual analysis, Discourse analysis. [Abstract] [bibtex-entry]

1. Pierre Allard and Sébastien Ferré. Recherche de dépendances fonctionnelles et de règles d'association avec OLAP. In S. Ben Yahia and J.-M. Petit, editors, Extraction et Gestion des Connaissances, volume RNTI-E-19 of Revue des Nouvelles Technologies de l'Information, pages 651-652, 2010. Cépaduès-Éditions. Keyword(s): association rule, functional dependency, OLAP, navigation. [Abstract] [bibtex-entry]



2. Pierre Allard, Sébastien Ferré, and Olivier Ridoux. Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. In M. Kryszkiewicz and S. Obiedkov, editors, Concept Lattices and Their Applications, pages 199-210, 2010. CEUR-WS. Keyword(s): Functional Dependencies, Association Rules, FCA, OLAP, Navigation. [Abstract] [bibtex-entry]



3. D. Bechet, A. Dikovsky, and Annie Foret. Two models of learning iterated dependencies.. In Formal Grammar, LNCS, 2010. Springer. [Abstract] [bibtex-entry]



4. Peggy Cellier and Thierry Charnois. Fouille de données séquentielle d'itemsets pour l'apprentissage de patrons linguistiques. In Traitement Automatique des Langues Naturelles (short paper), 2010. [bibtex-entry]



5. Peggy Cellier, Thierry Charnois, and Marc Plantevit. Sequential Patterns to Discover and Characterise Biological Relations. In A. F. Gelbukh, editor, Computational Linguistics and Intelligent Text Processing (CICLing), LNCS 6008, pages 537-548, 2010. Springer. [bibtex-entry]



6. Peggy Cellier, Thierry Charnois, Marc Plantevit, and Bruno Crémilleux. Recursive Sequence Mining to Discover Named Entity Relations. In Paul R. Cohen, Niall M. Adams, and Michael R. Berthold, editors, Advances in Intelligent Data Analysis IX, 9th International Symposium (IDA), LNCS 6065, pages 30-41, 2010. Springer. [bibtex-entry]



7. Sébastien Ferré. Conceptual Navigation in RDF Graphs with SPARQL-Like Queries. In L. Kwuida and B. Sertkaya, editors, Int. Conf. Formal Concept Analysis, LNCS 5986, pages 193-208, 2010. Springer. Keyword(s): conceptual navigation, semantic web, RDF, SPARQL, querying, navigation. [Abstract] [bibtex-entry]



8. Annie Foret and Sébastien Ferré. On Categorial Grammars as Logical Information Systems. In L. Kwuida and B. Sertkaya, editors, Int. Conf. Formal Concept Analysis, LNCS 5986, pages 225-240, 2010. Springer. Keyword(s): logical information systems, categoarial grammar, pregroup, browsing. [Abstract] [bibtex-entry]

1. Denis Béchet and Annie Foret. (PPQ) : a pregroup parser using majority composition. In Proc. Parsing with Categorial Grammars, ESSLLI workshop, in Bordeaux, France, 2009. [PDF] Keyword(s): parser, pregroups, Lambek categorial grammars, parsing software, XML data. [Abstract] [bibtex-entry]



2. Denis Béchet and Annie Foret. Une boîte à outils pour développer et utiliser les grammaires de prégroupe. In journée ATALA : Quels analyseurs syntaxiques pour le français ?, 2009. [PDF] [Abstract] [bibtex-entry]



3. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. DeLLIS: A Data Mining Process for Fault Localization. In Int. Conf. Software Engineering (SEKE), pages 432-437, 2009. Knowledge Systems Institute Graduate School. Keyword(s): data mining, fault localization, software. [bibtex-entry]



4. Mireille Ducassé. (C)LP Tracing and Debugging. In Patricia M. Hill and David Scott Warren, editors, 25th International Conference on Logic Programming, ICLP 2009, volume 5649 of Lecture Notes in Computer Science, pages 38, July 2009. Springer. [bibtex-entry]



5. Mireille Ducassé and Sébastien Ferré. Aide à la décision multicritère : cohérence et équité grâce à l'analyse de concepts. In Modèles et Apprentissage en Sciences Humaines et Sociales, Juin 2009. Keyword(s): Décision multicritère, aide à la décision, choix social, analyse formelle de concepts, systèmes d'information logiques, étude de cas. [Abstract] [bibtex-entry]



6. Sébastien Ferré. Efficient Browsing and Update of Complex Data Based on the Decomposition of Contexts. In S. Rudolph, F. Dau, and S. O. Kuznetsov, editors, Int. Conf. Conceptual Structures, LNCS 5662, pages 159-172, 2009. Springer. Keyword(s): software component, logical concept analysis, browsing, update. [Abstract] [bibtex-entry]

1. Pierre Allard and Sébastien Ferré. Dynamic Taxonomies for the Semantic Web. In A. M. Tjoa and R. R. Wagner, editors, DEXA Int. Work. Dynamic Taxonomies and Faceted Search (FIND), pages 382-386, 2008. IEEE Computer Society. [PDF] Keyword(s): semantic web, ontologies, logical information system, dynamic taxonomies. [Abstract] [bibtex-entry]



2. D. Bechet, A. Dikovsky, Annie Foret, and Emmanuelle Garel. Optional and Iterated Types for Pregroup Grammars. In Int. Conf. Language and Automata Theory and Applications (LATA), 2008. Note: Accepted for publication. Keyword(s): Pregroups, Lambek Categorial Grammars, Categorial Dependency Grammar. [Abstract] [bibtex-entry]



3. Olivier Bedel, Sébastien Ferré, and Olivier Ridoux. Handling Spatial Relations in Logical Concept Analysis To Explore Geographical Data. In R. Medina and S. Obiedkov, editors, Int. Conf. Formal Concept Analysis, LNAI 4933, pages 241-257, 2008. Springer. [PDF] Keyword(s): spatial relations, concept analysis, logic, geographical data, data retrieval. [Abstract] [bibtex-entry]



4. Peggy Cellier. Formal concept analysis applied to fault localization. In Robby, editor, International Conference on Software Engineering (ICSE 2008) Companion, pages 991-994, 2008. ACM. [PDF] [bibtex-entry]



5. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Formal Concept analysis enhances Fault Localization in Software. In R. Medina and S. Obiedkov, editors, Int. Conf. Formal Concept Analysis, LNAI 4933, pages 273-288, 2008. Springer. [PDF] Keyword(s): fault localization, formal concept analysis. [Abstract] [bibtex-entry]



6. Mireille Ducassé and Sébastien Ferré. Fair(er) and (almost) serene committee meetings with Logical and Formal Concept Analysis. In P. Eklund and O. Haemmerlé, editors, Proceedings of the International Conference on Conceptual Structures, LNAI 5113, pages 217-230, July 2008. Springer. [PDF] [Abstract] [Annotation] [bibtex-entry]



7. Sébastien Ferré. Agile Browsing of a Document Collection with Dynamic Taxonomies. In A. M. Tjoa and R. R. Wagner, editors, DEXA Int. Work. Dynamic Taxonomies and Faceted Search (FIND), pages 377-381, 2008. IEEE Computer Society. [PDF] Keyword(s): browsing, navigation, logical information system, dynamic taxonomies. [Abstract] [bibtex-entry]

1. Olivier Bedel, Sébastien Ferré, and Olivier Ridoux. Exploring a Geographical Dataset with GEOLIS. In DEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), pages 540-544, 2007. IEEE Computer Society. [PDF] Keyword(s): logical information system, geographical information system, information retrieval, spatial logic. [Abstract] [bibtex-entry]



2. D. Béchet and A. Foret. Fully Lexicalized Pregroup Grammars. In Proceedings of WOLLIC 2007, volume LNCS 4576, pages 12-25, 2007. Springer. [PDF] Keyword(s): Pregroups, Lambek Categorial Grammars, Simulation. [Abstract] [bibtex-entry]



3. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille Ducassé. A Parameterized Algorithm for Exploring Concept Lattices. In S.O. Kuznetsov and S. Schmidt, editors, Int. Conf. Formal Concept Analysis, LNAI 4390, pages 114-129, 2007. Springer. Keyword(s): concept analysis, algorithm, taxonomy. [Abstract] [bibtex-entry]



4. Tristan Denmat, Arnaud Gotlieb, and Mireille Ducassé. An Abstract Interpretation-based Combinator for Modelling While Loops in Constraint Programming. In C. Bessière, editor, Int. Conf. Principles and Practice of Constraint Programming (CP), LNCS 4741, September 2007. Springer-Verlag. [bibtex-entry]



5. Tristan Denmat, Arnaud Gotlieb, and Mireille Ducassé. Improving Constraint-Based Testing with Dynamic Linear Relaxations. In K. Goseva-Popstojanova and P. Runeson, editors, Int. Symp. Software Reliability Engineering (ISSRE), November 2007. IEEE Press. [bibtex-entry]



6. Pierre Deransart, Mireille Ducassé, and Gérard Ferrand. Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques. In F. Fages, editor, Actes de Troisièmes Journées Francophones de Programmation par Contraintes, 2007. HAL : http://hal.inria.fr/JFPC07. [bibtex-entry]



7. Sébastien Ferré. CAMELIS: Organizing and Browsing a Personal Photo Collection with a Logical Information System. In J. Diatta, P. Eklund, and M. Liquière, editors, Int. Conf. Concept Lattices and Their Applications, volume 331 of CEUR Workshop Proceedings ISSN 1613-0073, pages 112-123, 2007. [PDF] Keyword(s): logical information system, photo collection, organization, information retrieval. [Abstract] [bibtex-entry]



8. Sébastien Ferré. The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees. In S.O. Kuznetsov and S. Schmidt, editors, Int. Conf. Formal Concept Analysis, LNAI 4390, pages 98-113, 2007. Springer. Keyword(s): concept analysis, logic, string, suffix tree. [Abstract] [bibtex-entry]



9. Sébastien Ferré and Olivier Ridoux. Logical Information Systems: from Taxonomies to Logics. In DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), pages 212-216, 2007. IEEE Computer Society. [PDF] Keyword(s): logical information system, taxonomy, logic. [Abstract] [bibtex-entry]



10. A. Foret. Pregroup Calculus as a Logical Functor. In Proceedings of WOLLIC 2007, volume LNCS 4576, 2007. Springer. [PDF] Keyword(s): Pregroups, Lambek Categorial Grammars, Logic Functor, Cut Elimination. [Abstract] [bibtex-entry]

1. Olivier Bedel, Sébastien Ferré, Olivier Ridoux, and Erwan Quesseveur. GEOLIS: A Logical Information System for Geographical Data. In Int. Conf. Spatial Analysis and GEOmatics - SAGEO 2006, 2006. [PDF] Keyword(s): logical information systems, geographical data, navigation, querying. [Abstract] [bibtex-entry]



2. Olivier Bedel, Olivier Ridoux, and Erwan Quesseveur. Combining Logical Information System and OpenGIS Tools for Geographical Data Exploration. In Int. Conf. Free and OpenSource Sofware for Geoinformatics, september 2006. [WWW] Keyword(s): logical information system, GIS, graphical data. [bibtex-entry]



3. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille Ducassé. An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. In S. Ben Yahia and E. Mephu Nguifo, editors, Int. Conf. Concept Lattices and Their Applications, LNAI 4932, pages 243-248, 2006. Springer. [PDF] Keyword(s): concept analysis, algorithm, taxonomy. [Abstract] [bibtex-entry]



4. Sébastien Ferré. Negation, Opposition, and Possibility in Logical Concept Analysis.. In Rokia Missaoui and Jürg Schmid, editors, Int. Conf. Formal Concept Analysis, LNCS 3874, pages 130-145, 2006. Springer. Keyword(s): logic, concept analysis, epistemic logic, all i know. [bibtex-entry]



5. Yoann Padioleau, Benjamin Sigonneau, and Olivier Ridoux. LISFS: a logical information system as a file system (demo). In Leon J. Osterweil, H. Dieter Rombach, and Mary Lou Soffa, editors, Int. Conf. Software Engineering, pages 803-806, 2006. ACM. Keyword(s): demo. [bibtex-entry]



6. Eric Poupard, Denis Bechet, and Annie Foret. Categorial Grammar Acquisition from a French Treebank. In Actes de la Conférence d'APprentissage 2006 (CAP'06), 2006. Note: (Poster). [bibtex-entry]



7. Benjamin Sigonneau and Olivier Ridoux. Software Engineering Applications of Logic File System -- Application to Automated Multi-Criteria Indexation of Software Components. In ICSE Work. Mining Software Repositories, 2006. [bibtex-entry]



8. Alexandre Vautier, Marie-Odile Cordier, Mireille Ducassé, and René Quiniou. Agrégation d'alarmes faiblement structurées. In Actes de l'atelier ``Fouille de données temporelles'' associé aux 6es Journées Francophones ``Extraction et de Gestion des Connaissances'', Janvier 2006. [WWW] [Abstract] [bibtex-entry]

1. Denis Bechet, Alexandre Dikovsky, and Annie Foret. Dependency Structure Grammars. In Proceedings of the LACL 2005 Conference : Logical Aspects of Computational Linguistics, LNCS(LNAI) 3492, pages 18-34, 2005. springer. [PDF] [Abstract] [bibtex-entry]



2. Denis Bechet and Annie Foret. On Rigid NL Lambek Grammars Inference from Generalized Functor-Argument Data. In FGMOL'05, the tenth conference on Formal Grammar and the ninnth on the Mathematics of Language, Edinburgh, Scotland, 2005. Keyword(s): grammatical inference, categorial grammars, non- associative Lambek calculus, learning from positive examples, model of Gold. [Abstract] [bibtex-entry]



3. Denis Bechet and Annie Foret. k-Valued Non-Associative Lambek Grammars (without Product) Form a Strict Hierarchy of Languages. In Proceedings of the LACL 2005 Conference: Logical Aspects of Computational Linguistics, LNCS(LNAI) 3492, pages 1-17, 2005. springer. [PDF] [Abstract] [bibtex-entry]



4. T. Denmat, M. Ducassé, and O. Ridoux. Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization. In T. Ellman and A. Zisman, editors, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, November 2005. ACM Press. Note: See RR-5661 for a long version of this article. Keyword(s): Software Engineering, Debugging, Artificial Intelligence, Learning, Knowledge acquisition. [Abstract] [bibtex-entry]



5. T. Denmat, A. Gotlieb, and Mireille Ducassé. Proving or Disproving Likely Invariants with Constraint Reasoning. In A. Serebrenik, editor, Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, Sitges, SPAIN, October 2005. Note: Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508108. [WWW] Keyword(s): Software Engineering, Testing and Debugging, Program verification, Constraint and logic languages. [Abstract] [bibtex-entry]



6. Sébastien Ferré, Olivier Ridoux, and Benjamin Sigonneau. Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. In ICCS, LNCS 3596, pages 166-180, 2005. Springer. Keyword(s): logical concept analysis, relation, logical information system, navigation. [Abstract] [bibtex-entry]



7. L. Langevine and M. Ducassé. A Tracer Driver for Hybrid Execution Analyses. In Proceedings of the 6th Automated Debugging Symposium, September 2005. ACM Press. Note: See RR-5611 for a longer version of this article. [WWW] Keyword(s): Software Engineering, Debugging, Monitors, Tracing, Programming Environments. [Abstract] [bibtex-entry]



8. L. Langevine and M. Ducassé. A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. In A. Serebrenik, editor, Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, Sitges, SPAIN, October 2005. Note: Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508105. [WWW] Keyword(s): Software Engineering, Debugging, Monitors, Tracing, Programming Environments. [Abstract] [bibtex-entry]



9. Yoann Padioleau and Olivier Ridoux. A Parts-of-File File System. In USENIX Annual Technical Conference, General Track (Short Paper), 2005. [WWW] [Abstract] [bibtex-entry]



10. Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux, and Sébastien Ferré. LISFS: a Logical Information System as a File System. In Véronique Benzaken, editor, Bases de données avancées, pages 393-398, October 2005. Université de Rennes 1. [WWW] [PDF] [Abstract] [bibtex-entry]

1. D. Bechet, A. Dikovsky, A. Foret, and E. Moreau. On learning discontinuous dependencies from positive data. In Proceedings of the Formal Grammar Conference (FG 2004), August 2004. [bibtex-entry]



2. Denis Bechet and Annie Foret. On Intermediate Structures for Non-Associative Lambek Grammars and Learnability. In Proceedings of the CG 2004 Conference : Categorial Grammars An efficient tool for Natural Language Processing, June 2004. [bibtex-entry]



3. D. Bechet, A. Foret, and I. Tellier. Learnability of Pregroup Grammars. In Proceedings of the International Conference of grammatical Inference (ICGI 2004), LNAI 3264, October 2004. [bibtex-entry]



4. Sébastien Ferré and R. D. King. BLID: an Application of Logical Information Systems to Bioinformatics. In P. Eklund, editor, Int. Conf. Formal Concept Analysis, LNCS 2961, pages 47-54, 2004. Springer. Keyword(s): logical concept analysis, information system, bioinformatics. [Abstract] [bibtex-entry]



5. L. Langevine and M. Ducassé. A tracer driver to enable debugging, monitoring and visualization of CLP executions from a single tracer. In B. Demoen and V. Lifschtitz, editors, Proceedings of the International Conference on Logic Programming, pages 462-463, September 2004. Lecture Notes in Computer Science 3132, Springer-Verlag. Note: Poster. [bibtex-entry]



6. L. Langevine and M. Ducassé. Un pilote de traceur pour la PLC. Déboguer, auditer et visualiser une exécution avec un même traceur. In F. Mesnard, editor, Actes des Journées Francophones de Programmation en Logique avec Contraintes, pages 19-36, Juin 2004. HERMES Science Publications. [bibtex-entry]



7. Benjamin Sigonneau and Olivier Ridoux. Indexation multiple et automatisée de composants logiciels orientés objet. In AFADL --- Approches Formelles dans l'Assistance au Développement de Logiciels, 2004. [bibtex-entry]



8. E. Tombini, H. Debar, L. Mé, and M. Ducassé. A serial combination of anomaly and misuse IDSes applied to HTTP traffic. In D. Thomsen and C. Schuba, editors, Proceedings of the Annual Computer Security Applications Conference, December 2004. [bibtex-entry]

1. Denis Bechet and Annie Foret. Apprentissage des grammaires de Lambek rigides et d'arité bornée pour le traitement automatique des langues. In Actes de la Conférence d'APprentissage 2003 (CAP'2003), June 2003. [bibtex-entry]



2. Denis Bechet and Annie Foret. Remarques et perspectives sur les langages de prégroupe d'ordre 1/2. In ATALA, editor, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN'2003), June 2003. Note: (Poster). [bibtex-entry]



3. Denis Bechet and Annie Foret. k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures. In Proceedings of the 10th Workshop on Logic, Language, Information and Computation (WoLLIC'2003), volume 85, Electronic Notes in Theoretical Computer Science, July 2003. [bibtex-entry]



4. Denis Bechet and Annie Foret. k-valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings. In ACL, editor, Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics (ACL 2003), July 2003. [bibtex-entry]



5. P. Deransart, L. Langevine, and M. Ducassé. A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. In Proceedings of the ERCIM workshop on Constraint and Logic Programming, 2003. [bibtex-entry]



6. M. Ducassé, L. Langevine, and P. Deransart. Rigorous design of tracers: an experiment for constraint logic programming. In M. Ronsse, editor, Proceedings of the Fifth International Workshop on Automated Debugging, September 2003. CoRR cs.SE/0309027. [bibtex-entry]



7. Sébastien Ferré. The Use of Associative Concepts for Fast Incremental Concept Formation in Sparse Contexts. In B. Ganter and A. de Moor, editors, Using Conceptual Structures -- Contributions to ICCS 2003, 2003. Shaker Verlag. [PDF] Keyword(s): concept analysis, associative concept, lattice, algorithm, sparse context. [bibtex-entry]



8. Annie Foret. On the Computation of Joins for Non Associative Lambek Categorial Grammars.. In Proceedings of the 17th International Workshop on Unification Valencia, Spain, June 8-9, (UNIF'03), 2003. [bibtex-entry]



9. L. Langevine, M. Ducassé, and P. Deransart. A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation. In C. Palamidessi, editor, Proceedings of the 19th Int. Conf. in Logic Programming, December 2003. Springer-Verlag, Lecture Notes in Computer Science. [bibtex-entry]



10. Yoann Padioleau and Olivier Ridoux. A Logic File System. In Proc. USENIX Annual Technical Conference, 2003. [bibtex-entry]



11. Yoann Padioleau and Olivier Ridoux. Présentation du «Parts-of-file File System». In Proc. Conférence Française sur les Systèmes d'exploitation, 2003. [bibtex-entry]



12. Olivier Ridoux. Logic Information Systems for Logic Programmers. In C. Palamidessi, editor, Proc. Int. Conf. Logic Programming, 2003. Springer-Verlag, LNCS. [bibtex-entry]

1. Soazig Bars, Sébastien Ferré, and Olivier Ridoux. Logic Functors for Types as Search Keys. In Int. Workshop on Isomorphisms of Types, 2002. [WWW] [bibtex-entry]



2. P. Deransart, L. Langevine, and M. Ducassé. A Generic Trace Model for Finite Domain Solvers. In B. O'Sullivan, editor, Proc. of the International Workshop on User-Interaction in Constraint Satisfaction, September 2002. Cornell University. [bibtex-entry]



3. M. Ducassé and L. Langevine. Analyse automatisée de traces d'exécution de programmes CLP(FD). In M. Rueher, editor, Actes des Journées Francophones de Programmation en Logique avec Contraintes, pages 119-134, Mai 2002. HERMES science publications. [bibtex-entry]



4. M. Ducassé and L. Langevine. Automated analysis of CLP(FD) program execution traces. In P. Stuckey, editor, Proceedings of the International Conference on Logic Programming, July 2002. Lecture Notes in Computer Science 2401, Springer-Verlag. Note: Poster. Extended version available at http://www.irisa.fr/LIS/ducasse/. [bibtex-entry]



5. Sébastien Ferré and Olivier Ridoux. The Use of Associative Concepts in the Incremental Building of a Logical Context. In G. Angelova U. Priss, D. Corbett, editor, Int. Conf. Conceptual Structures, LNCS 2393, pages 299-313, 2002. Springer. Keyword(s): concept analysis, logic, information systems, learning, classification, context. [Abstract] [bibtex-entry]



6. Annie Foret and Yannick Le Nir. Lambek rigid grammars are not learnable from strings. In COLING'2002, 19th International Conference on Computational Linguistics, Taipei, Taiwan, 2002. [bibtex-entry]



7. Annie Foret and Yannick Le Nir. Les grammaires de Lambek rigides ne sont pas apprenables à partir des chaines. In CAp'2002, Conférence Francophone d'Apprentissage, Orléans, France, 2002. Presses Universitaires de Grenoble. [bibtex-entry]



8. Annie Foret and Yannick Le Nir. On limit points for some variants of rigid Lambek Grammars. In ICGI'2002, the 6th International Colloquium on Grammatical Inference, number 2484 of Lecture Notes in Artificial Intelligence, Amsterdam, the Netherlands, 2002. Springer-Verlag. [bibtex-entry]



9. L. Langevine, P. Deransart, M. Ducassé, and E. Jahier. Prototypage de traceurs CLP(FD). In M. Rueher, editor, Actes des Journées Francophones de Programmation en Logique avec Contraintes, pages 135-150, Mai 2002. HERMES science publications. [bibtex-entry]



10. B. Morin, L. Mé, H. Debar, and M. Ducassé. M2D2 : A Formal Data Model for IDS Alert Correlation. In A. Wespi et al., editor, Recent Advances in Intrusion Detection, pages 97-104, October 2002. Springer-Verlag, Lecture Notes in Computer Science 2516. [bibtex-entry]



11. Jean-Philippe Pouzol and M. Ducassé. Formal specification of intrusion signatures and detection rules. In S. Schneider, editor, Proc. of 15th IEEE Computer Security Foudations Workshop, pages 64-76, 2002. IEEE Press. [bibtex-entry]



12. J. Villaneau, J.-Y. Antoine, and Olivier Ridoux. LOGUS : un système formel de compréhension du français parlé spontané - présentation et évaluation. In TALN'02: Traitement Automatique de la Langue Naturelle, 2002. [bibtex-entry]

1. Sébastien Ferré. Complete and Incomplete Knowledge in Logical Information Systems. In Salem Benferhat and Philippe Besnard, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, LNCS 2143, pages 782-791, 2001. Springer. Keyword(s): modal logic, All I know, complete and incomplete knowledge, information system. [Abstract] [bibtex-entry]



2. Sébastien Ferré and Olivier Ridoux. A Framework for Developing Embeddable Customized Logics. In A. Pettorossi, editor, Int. Work. Logic-based Program Synthesis and Transformation, LNCS 2372, pages 191-215, 2001. Springer. [WWW] Keyword(s): logic, composition, theorem prover, logic-based systems. [Abstract] [bibtex-entry]



3. Sébastien Ferré and Olivier Ridoux. Searching for Objects and Properties with Logical Concept Analysis. In Harry S. Delugach and Gerd Stumme, editors, International Conference on Conceptual Structures, LNCS 2120, pages 187-201, 2001. Springer. Keyword(s): concept analysis, navigation, knowledge discovery, logical information system. [Abstract] [bibtex-entry]



4. Annie Foret. Conjoinability and unification in Lambek categorial grammars. In New Perspectives in Logic and Formal Linguisitics, Proceedings Vth ROMA Workshop, Roma, 2001. Bulzoni Editore. [bibtex-entry]



5. Annie Foret. Mixing deduction and substitution in Lambek categorial grammars, some investigations. In LACL'01, 4th International Conference on Logical Aspects of Computational Linguistics, number 2099 of Lecture Notes in Artificial Intelligence, Le Croisic, France, 2001. Springer-Verlag. [bibtex-entry]



6. Annie Foret. The emptiness of intersection problem for k-valued categorial grammars (classical and Lambek) is undecidable. In FGMOL'01, the sixth conference on Formal Grammar and the seventh on the Mathematics of Language, Helsinki, Finland, 2001. [bibtex-entry]



7. E. Jahier, M. Ducassé, and O. Ridoux. Specifying Prolog Trace Models with a Continuation Semantics. In K.-K. Lau, editor, Logic Based Program Synthesis and Transformation, 2001. Springer-Verlag, Lecture Notes in Computer Science 2042. [bibtex-entry]



8. L. Langevine, P. Deransart, M. Ducassé, and E. Jahier. Prototyping clp(fd) tracers: a trace model and an experimental validation environment. In T. Kusalik, editor, Proceedings of the 11th Workshop on Logic Programming Environments, 2001. Computer Research Repository, CS.PL/0111043. [bibtex-entry]



9. J.-P. Pouzol and M. Ducassé. From Declarative Signatures to Misuse IDS. In W. Lee, L. Mé, and A. Wespi, editors, Recent Advances in Intrusion Detection, Proceedings of the 4th International Symposium, pages 1-21, 2001. Springer-Verlag, Lecture Notes in Computer Science 2212. [bibtex-entry]



10. J. Villaneau, J.-Y. Antoine, and Olivier Ridoux. Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. In Ph. de Groote, G. Morill, and Ch. Retoré, editors, 4th Int. Conf. Logical Aspects of Computational Linguistics, 2001. [bibtex-entry]

1. V. Abily and M. Ducassé. Benchmarking a distributed intrusion detection system based on ASAX: Preliminary results. In H. Debar, editor, RAID 2000 (Recent Advances on Intrusion Detection), 2000. Note: Refereed extended abtract. [WWW] [bibtex-entry]



2. M. Ducassé and L. Rozé. Proof obligations of the B formal method: Local proofs ensure global consistency. In A. Bossi, editor, LOgic-based Program Synthesis and TRansformation, pages 11-30, 2000. Springer-Verlag, Lecture Notes in Computer Science, 1817. [bibtex-entry]



3. Sébastien Ferré and Olivier Ridoux. A File System Based on Concept Analysis. In Yehoshua Sagiv, editor, International Conference on Rules and Objects in Databases, number 1861 of Lecture Notes in Computer Science, pages 1033-1047, July 2000. Springer. Keyword(s): concept analysis, logic, information system, file system. [Abstract] [bibtex-entry]



4. Sébastien Ferré and Olivier Ridoux. A Logical Generalization of Formal Concept Analysis. In Guy Mineau and Bernhard Ganter, editors, International Conference on Conceptual Structures, number 1867 of Lecture Notes in Computer Science, pages 371-384, August 2000. Springer. Keyword(s): concept analysis, logic, context, information system. [Abstract] [bibtex-entry]



5. E. Jahier, M. Ducassé, and O. Ridoux. Specifying Prolog Trace Models with a Continuation Semantics. In K.-K. Lau, editor, Proc. of LOgic-based Program Synthesis and TRansformation, London, July 2000. Note: Technical Report Report Series, Department of Computer Science, University of Manchester, ISSN 1361-6161. Report number UMCS-00-6-1.[WWW] [bibtex-entry]



6. E. Jahier, M. Ducassé, and O. Ridoux. Spécification de modèles de traces de programmes Prolog à l'aide d'une sémantique par continuation. In Touraivane, editor, Actes des Journées francophones de Programmation Logique et par Contraintes, Marseille, 2000. Hermès. [bibtex-entry]



7. D. Le Métayer, V.-A. Nicolas, and Olivier Ridoux. Verification by testing for recursive program schemes. In A. Bossi, editor, LOgic-based Program Synthesis and TRansformation, 2000. Springer-Verlag, Lecture Notes in Computer Science, 1817. [bibtex-entry]



8. J.-P. Pouzol and M. Ducassé. Handling Generic Intrusion Signatures is not Trivial. In H. Debar, editor, RAID 2000 (Recent Advances on Intrusion Detection), 2000. Note: Refereed extended abtract. [WWW] [bibtex-entry]

1. M. Ducassé. An introduction to the B formal method. In A.-L. Bossi, editor, Proceedings of the 9th International Workshop on LOgic-based Program Synthesis and TRansformation, pages 23-30, September 1999. Universita' Ca' Foscari di Venezia. Note: Technical report CS-99-16, Slides. [bibtex-entry]



2. M. Ducassé. Coca: An automated Debugger for C. In Proceedings of the 21st International Conference on Software Engineering, pages 504-513, May 1999. ACM Press. [WWW] Keyword(s): Software engineering, Programming environment, Automated debugging, Trace query mechanism, Debugging language, Program behavior understanding, C Debugging tool.. [Abstract] [Annotation] [bibtex-entry]



3. E. Jahier and M. Ducassé. A generic approach to monitor program executions. In D. De Schreye, editor, Proceedings of the International Conference on Logic Programming, November 1999. MIT Press. [WWW] Keyword(s): Monitoring, Trace analysis, Flexibility, Logic programming, Mercury. [Abstract] [bibtex-entry]



4. E. Jahier and M. Ducassé. Un traceur d'exécutions de programmes ne sert pas qu'au débogage. In F. Fages, editor, Actes des Journées francophones de Programmation Logique et par Contraintes, Lyon, juin 1999. Hermès. [WWW] Keyword(s): Dynamic analysis, Trace analysis, Monitoring, Measure of test coverage, Logic programming, Mercury. [Abstract] [bibtex-entry]



5. E. Jahier, M. Ducassé, and O. Ridoux. Specifying trace models with a continuation semantics. In M. Ducassé, A. Kusalik, L. Naish, and G. Puebla, editors, Proc. of ICLP'99 Workshop on Logic Programming Environments, 1999. Note: LPE'99. [WWW] Keyword(s): trace models, continuation semantics, specification, validation, Logic programming. [Abstract] [bibtex-entry]



6. S. Mallet and M. Ducassé. Generating deductive database explanations. In D. De Schreye, editor, Proceedings of the International Conference on Logic Programming, November 1999. MIT Press. [WWW] Keyword(s): deductive databases, debugging, trace, operational semantics, multi-SLD-AL, meta-interpreter, substitution set, instrumentation. [Abstract] [bibtex-entry]



7. S. Mallet and M. Ducassé. Myrtle: A set-oriented meta-interpreter driven by a ``relational'' trace for deductive database debugging. In P. Flener, editor, LOgic-based Program Synthesis and TRansformation, pages 328-330, 1999. Springer-Verlag, LNCS 1559. Note: Résumé, version complète en RR-3598 INRIA. [bibtex-entry]



8. D. Le Métayer, V.-A. Nicolas, and O. Ridoux. Verification by testing for recursive program schemes. In LOPSTR'99 (International Workshop on Logic Program Synthesis and Transformation), 1999. Springer-Verlag, LNCS. [WWW] Keyword(s): Software engineering, program verification, white-box testing, automated test data generation, program analysis, program schemes. [Abstract] [bibtex-entry]



9. Olivier Ridoux, Patrice Boizumault, and Frédéric Malésieux. Typed static analysis: application to groundness analysis of LambdaProlog and Prolog. In A. Middeldorp and T. Sato, editors, Proc. of the Int. Symp. on Functional and Logic Programming, 1999. Springer. [bibtex-entry]

1. M. Ducassé. Teaching B at a Technical University is Possible and Rewarding. In H. Habrias and S. E. Dunn, editors, B'98, Proceedings of the Educational Session, avril 1998. Association de Pilotage des Conférences B, Nantes. Note: ISBN: 2-9512461-0-2. [WWW] Keyword(s): B formal method, teaching. [Abstract] [bibtex-entry]



2. M. Ducassé and J. Noyé. Tracing Prolog Programs by Source Instrumentation is Efficient Enough. In K. Sagonas, editor, IJCSLP'98 Post-conference workshop on Implementation Technologies for Programming Languages based on Logic., June 1998. [WWW] Keyword(s): Debugging, tracing, source to source transformation, benchmarking, Prolog. [Abstract] [bibtex-entry]



3. S. Mallet and M. Ducassé. Pilotage d'un méta-interprète ensembliste par une trace ``relationnelle'' pour le débogage de bases de données déductives. In O. Ridoux, editor, Journées francophones de Programmation Logique et programmation par Contraintes, Nantes, pages 151-165, mai 1998. JFPLC'98, Hermes. [WWW] Keyword(s): bases de données déductives, débogage, trace, sémantique opérationnelle, multi-SLD-AL, méta-interprète, ensembles de substitutions, instrumentation. [Abstract] [bibtex-entry]

1. S. Mallet and M. Ducassé. An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. In Ulrich Geske, editor, DDLP'97, Fifth International Workshop on Deductive Databases and Logic Programming, July 1997. GMD-Studien. Keyword(s): debugging, explanations, deductive databases, logic programming. [bibtex-entry]



2. S. Mallet and M. Ducassé. DDB trees: a basis for deductive database explanations. In Mariam Kamkar, editor, AADEBUG'97,Third International Workshop on Automated Debugging, Linköping, Sweden, pages 87-102, May 1997. [WWW] Keyword(s): debugging, explanations, deductive databases, logic programming. [Abstract] [bibtex-entry]

1. M. Ducassé and J. Noyé. Tracing Prolog without a tracer. In N. Fuchs and U. Geske, editors, Proceedings of the poster session at JICSLP'96, pages 223-232, September 1996. GMD- Forschungszentrum Informationstechnik GMBH, GMD-STUDIEN Nr.296, ISBN3-88457-296-2. Note: One page abstract also appears in Proc. of the JICSLP'96, MIT Press, ISBN 0-262-63173-3. [Abstract] [bibtex-entry]



2. P. Louvet and O. Ridoux. Parametric Polymorphism for Typed Prolog and $\lambda$Prolog. In 8th Int. Symp. Programming Languages Implementation and Logic Programming, volume 1140 of LNCS, Aachen, Germany, pages 47-61, 1996. [WWW] Keyword(s): Logic programming, typing, polymorphism, second-order lambda-calculus.. [Abstract] [bibtex-entry]



3. O. Ridoux. Engineering Transformations of Attributed Grammars in $\lambda$Prolog. In M. Maher, editor, Joint Int. Conf. and Symp. Logic Programming, pages 244-258, 1996. MIT Press. [WWW] Keyword(s): Syntax-directed translation, grammar transformations, logic grammars, DCG, LambdaProlog.. [Abstract] [bibtex-entry]



4. S. Schoenig and M. Ducassé. A Backward Slicing Algorithm for Prolog. In R. Cousot and D.A. Schmidt, editors, Static Analysis Symposium, Aachen, pages 317-331, September 1996. Springer-Verlag, LNCS 1145. [WWW] [Abstract] [bibtex-entry]



5. S. Schoenig and M. Ducassé. Slicing pour programmes Prolog. In Actes des journées GDR programmation'96, Orléans, Novembre 1996. Université de Bordeaux I. [WWW] [Abstract] [bibtex-entry]

1. M. Ducassé. Automated Debugging Extensions of the Opium Trace Analyser. In Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, May 1995. IRISA, Campus de Beaulieu, F-35042 Rennes cedex. [WWW] [Abstract] [bibtex-entry]



2. O. Ridoux. Imagining CLP$(\Lambda,\equiv_{\alpha\beta})$. In A. Podelski, editor, Constraint Programming: Basics and Trends. Selected papers of the 22nd Spring School in Theoretical Computer Science. LNCS 910, Châtillon/Seine, France, pages 209-230, 1995. [WWW] Keyword(s): CLP, LambdaProlog, lambda-calculus.. [Abstract] [bibtex-entry]

1. P. Brisset and O. Ridoux. The Architecture of an Implementation of $\lambda$Prolog: Prolog/Mali. In ILPS'94 Workshop on Implementation Techniques for Logic Programming Languages, 1994. [WWW] [bibtex-entry]

1. P. Brisset and O. Ridoux. Continuations in $\lambda$Prolog. In D.S. Warren, editor, 10th Int. Conf. Logic Programming, pages 27-43, 1993. MIT Press. [WWW] Keyword(s): LambdaProlog, compilation, continuation, exception handling.. [Abstract] [bibtex-entry]



2. M. Ducassé. A pragmatic survey of automated debugging. In P. Fritzson, editor, Proceedings of the First Workshop on Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Sciences, Linkoeping, Sweden, May 1993. Springer-Verlag. [WWW] [Abstract] [bibtex-entry]



3. S. Le Huitouze, P. Louvet, and O. Ridoux. Les grammaires logiques et $\lambda$Prolog. In Journées Francophones sur la Programmation en Logique, Nîmes, France, pages 93-108, 1993. Teknea. [WWW] Keyword(s): LambdaProlog, grammaires logiques, portée, représentation du contexte.. [Abstract] [bibtex-entry]



4. S. Le Huitouze, P. Louvet, and O. Ridoux. Logic Grammars and $\lambda$Prolog. In D.S. Warren, editor, 10th Int. Conf. Logic Programming, pages 64-79, 1993. MIT Press. [WWW] Keyword(s): LambdaProlog, logic grammars, scope, context handling in syntactic analysis.. [Abstract] [bibtex-entry]

1. Y. Bekkers, O. Ridoux, and L. Ungaro. Dynamic Memory Management for Sequential Logic Programming Languages. In Y. Bekkers and J. Cohen, editors, Int. Worshop on Memory Management, volume 637 of LNCS, pages 82-102, 1992. Springer-Verlag. [WWW] Keyword(s): Memory management, logic programming, garbage collection, usefulness logic.. [Abstract] [bibtex-entry]



2. P. Brisset and O. Ridoux. The Architecture of an Implementation of $\lambda$Prolog: Prolog/Mali. In Workshop on $\lambda$Prolog, Philadelphia, 1992. [WWW] Keyword(s): LambdaProlog, implementation, compilation, memory management.. [Abstract] [bibtex-entry]



3. M. Ducassé. A general trace query mechanism based on Prolog. In M. Bruynooghe and M. Wirsing, editors, International Symposium on Programming Language Implementation and Logic Programming, volume 631 of Lecture Notes in Computer Science, pages 400-414, August 1992. Springer-Verlag. [WWW] [Abstract] [bibtex-entry]



4. M. Ducassé. A trace analyser to prototype explanations. In Proceedings of JICSLP'92 Workshop on Logic Programming Environments, Washington D.C., November 1992. Note: Technical Report TR 92-143, Case Western Reserve University, Cleveland. [Abstract] [bibtex-entry]



5. M. Ducassé. Analysis of failing Prolog executions. In Actes des Journées Francophones sur la Programmation Logique, Mai 1992. [Abstract] [bibtex-entry]



6. M. Ducassé. Opium: An advanced debugging system. In G. Comyn and N. Fuchs, editors, Proceedings of the Second Logic Programming Summer School, September 1992. Esprit Network of Excellence in Computational Logic COMPULOG-NET, Springer-Verlag, LNAI 636. [WWW] [Abstract] [bibtex-entry]

1. P. Brisset and O. Ridoux. Naïve Reverse Can Be Linear. In K. Furukawa, editor, 8th Int. Conf. Logic Programming, pages 857-870, 1991. MIT Press. [WWW] Keyword(s): LambdaProlog, implementation, function-lists, higher-order unification.. [Abstract] [bibtex-entry]



2. M. Ducassé. Abstract views of Prolog executions in Opium. In V. Saraswat and K. Ueda, editors, Proceedings of the International Logic Programming Symposium, San Diego, USA, pages 18-32, October 1991. MIT Press. [WWW] [Abstract] [bibtex-entry]

1. M. Ducassé. Opium+, a Meta-debugger for Prolog. In Proceedings of the European Conference on Artificial Intelligence, Munich, pages 272-277, August 1988. [bibtex-entry]



2. M. Ducassé and A.-M. Emde. A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. In Proceedings of the 10th International Conference on Software Engineering, pages 162-171, 1988. IEEE Press. [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html