Publications about 'design'
  1. M. Ducassé. An extendable trace analyser to support automated debugging. PhD thesis, University of Rennes I, France, June 1992. Note: European Doctorate. [Abstract] [bibtex-entry]

Articles in journal or book chapters
  1. Shridhar B. Dandin and Mireille Ducassé. ComVisMD-Compact 2D Visualization of Multidimensional Data: Experimenting with Two Different Datasets. In H. Sharma et al., editor, Intelligent Learning for Computer Vision, volume 61 of Lecture Notes on Data Engineering and Communications Technologies. Springer Nature Singapore Pte Ltd, 2021. [WWW] Keyword(s): Tabular data, Visual representation design, Data analysis, Reasoning, Problem solving, Decision making, Data clustering, Aggregation. [bibtex-entry]

  2. Sébastien Ferré, Mehdi Kaytoue, Marianne Huchard, Sergei O. Kuznetsov, and Amedeo Napoli. A guided tour of artificial intelligence research, volume II, chapter Formal Concept Analysis: from knowledge discovery to knowledge processing (Chapter 13), pages 411-445. Springer, 2020. [WWW] Keyword(s): formal concept analysis, relational concept analysis, Graph-FCA. [Abstract] [bibtex-entry]

  3. Sébastien Ferré. Camelis: a logical information system to organize and browse a collection of documents. Int. J. General Systems, 38(4):379-403, 2009. Keyword(s): information retrieval, browsing, logical concept analysis, annotation. [Abstract] [bibtex-entry]

  4. B. Morin, Ludovic Mé, Hervé Debar, and Mireille Ducassé. A Logic-based model to support alert correlation in intrusion detection. Information Fusion, 10(4):285-299, October 2009. Keyword(s): Intrusion detection, Alert correlation, Data model. [Abstract] [bibtex-entry]

  5. Ludovic Langevine and Mireille Ducassé. Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs. Theory and Practice of Logic Programming, Cambridge University Press, 8(5-6), Sep-Nov 2008. [WWW] [bibtex-entry]

  6. M. Ducassé and A.-M. Emde. Opium: a debugging environment for Prolog development and debugging research. ACM Software Engineering Notes, 16(1):54-59, January 1991. Note: Demonstration presented at the Fourth Symposium on Software Development Environments. Keyword(s): demo. [Abstract] [bibtex-entry]

Conference articles
  1. 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]

  2. 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]

  3. 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]

  4. 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]

  5. 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]

  6. 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]

  7. 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]

  8. 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]

  9. 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]

  10. 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]

  11. 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]

  12. 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]

  13. 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]

  14. 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]

  15. 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]

  16. 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]

  17. 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]

  18. 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]

  19. 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]

  20. 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]

  21. 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]

  22. 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]

Internal reports
  1. Sébastien Ferré. A SPARQL 1.1 Query Builder for the Data Analytics of Vanilla RDF Graphs. Research Report, IRISA, team SemLIS, 2018. [WWW] [PDF] Keyword(s): RDF, SPARQL, OLAP, natural language interface, data analytics, query builder, expressivity. [Abstract] [bibtex-entry]

  2. Sébastien Ferré. SQUALL: a High-Level Language for Querying and Updating the Semantic Web. Research Report, IRISA, 2011. [WWW] Keyword(s): Semantic Web, controlled natural language, query language, update language, expressiveness, Montague grammar. [Abstract] [bibtex-entry]

  1. Annie Foret. Logical Information Systems for Linguistic Data: TermLis, 2017. [WWW] [PDF] [Abstract] [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.

Last modified: Thu Apr 8 17:20:28 2021
Author: ferre.

This document was translated from BibTEX by bibtex2html