BACK TO INDEX

Publications of Sébastien Ferré
Books and proceedings
  1. S. Ferré and S. Rudolph, editors. Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings, LNCS 5548, 2009. Springer. Keyword(s): formal concept analysis. [bibtex-entry]


Thesis
  1. S. Ferré. Syst mes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre. PhD thesis, Université de Rennes 1, October 2002. Note: Accessible en ligne depuis l'adresse http://www.irisa.fr/LIS/ferre/. [WWW] Keyword(s): machine learning, browsing, information retrieval, logic, concept analysis, concept lattice, information system. [Abstract] [bibtex-entry]


Articles in journal or book chapters
  1. G. M. Sacco and S. Ferré. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 9 - Applications and Experiences, pages 263-302. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]


  2. G. M. Sacco and S. Ferré. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 5 - Extensions to the Model, pages 113-144. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]


  3. G. M. Sacco, S. Ferré, and Y. Tzitzikas. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 3 - Comparison with Other Techniques, pages 35-74. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]


  4. G. M. Sacco, Y. Tzitzikas, and S. Ferré. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 8 - System Implementation, pages 215-262. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]


  5. M. Stefaner, S. Ferré, S. Perugini, J. Koren, and Y. Zhang. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 4 - User Interface Design, pages 75-112. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]


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


  7. O. Bedel, S. Ferré, O. Ridoux, and E. Quesseveur. GEOLIS: A Logical Information System for Geographical Data. Revue Internationale de Géomatique, 17(3-4):371-390, 2008. [PDF] Keyword(s): logical information system, geographical data, navigation. [Abstract] [bibtex-entry]


  8. P. Cellier, S. Ferré, O. Ridoux, and M. Ducassé. A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. Int. J. Foundations of Computer Science (IJFCS), 19(2):319-343, 2008. Keyword(s): algorithm, concept lattice, taxonomy. [Abstract] [bibtex-entry]


  9. S. Ferré and R. D. King. Finding Motifs in Protein Secondary Structure for Use in Function Prediction. Journal of Computational Biology, 13(3):719-731, 2006. Keyword(s): dichotomic search algorithm, flexible motifs, protein secondary structure, functional genomics. [bibtex-entry]


  10. S. Ferré and R. D. King. A dichotomic search algorithm for mining and learning in domain-specific logics. Fundamenta Informaticae -- Special Issue on Advances in Mining Graphs, Trees and Sequences, 66:1-32, 2005. [PDF] Keyword(s): logic functors, data-mining, concept analysis, logic, machine learning. [Abstract] [bibtex-entry]


  11. S. Ferré and O. Ridoux. An Introduction to Logical Information Systems. Information Processing & Management, 40(3):383-419, 2004. [PDF] [POSTSCRIPT] Keyword(s): theorem proving, deduction, representation language, query formulation, information retrieval, information system. [Abstract] [bibtex-entry]


Conference articles
  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. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Fouille de données pour la localisation de fautes dans les programmes (poster). In 2ième journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel (GDR GPL), 2010. Université de Pau et des Pays de l'Adour. [bibtex-entry]


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


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


  5. P. Cellier, M. Ducassé, S. Ferré, and O. 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]


  6. M. Ducassé and S. 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]


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


  8. P. Allard and S. Ferré. Dynamic Taxonomies for the Semantic Web. In G.M. Sacco, editor, 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]


  9. O. Bedel, S. Ferré, and O. 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]


  10. P. Cellier, M. Ducassé, S. Ferré, and O. 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]


  11. M. Ducassé and S. Ferré. Fair(er) and (almost) serene committee meetings with Logical and Formal Concept Analysis. In P. Eklund and O. Haemmerlé, editors, Int. Conf. Conceptual Structures, LNAI 5113, 2008. Springer-Verlag. [PDF] Keyword(s): formal concept analysis, logical concept analysis, social sciences. [Abstract] [Annotation] [bibtex-entry]


  12. S. Ferré. Agile Browsing of a Document Collection with Dynamic Taxonomies. In G.M. Sacco, editor, 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]


  13. O. Bedel, S. Ferré, and O. 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]


  14. P. Cellier, S. Ferré, O. Ridoux, and M. Ducassé. A Parameterized Algorithm for Exploring Concept Lattices. In S.O. Kuznetsov and S. Schmidt, editors, Int. Conf. Formal Concept Analysis, LNCS 4390, 2007. Springer. [PDF] Keyword(s): taxonomy, algorithm, concept analysis. [Abstract] [bibtex-entry]


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


  16. S. 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, LNCS 4390, 2007. Springer. [PDF] Keyword(s): suffix tree, string, logic, concept analysis. [Abstract] [bibtex-entry]


  17. S. Ferré and O. 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]


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


  19. P. Cellier, S. Ferré, O. Ridoux, and M. 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, pages 243-248, 2006. Faculté des Sciences de Tunis. [PDF] Keyword(s): taxonomy, algorithm, concept analysis. [bibtex-entry]


  20. S. 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. [PDF] Keyword(s): all i know, epistemic logic, concept analysis, logic. [bibtex-entry]


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


  22. Y. Padioleau, B. Sigonneau, O. Ridoux, and S. 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. [PDF] Keyword(s): databases, logical file system, logical information system. [Abstract] [bibtex-entry]


  23. S. 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. [PDF] [POSTSCRIPT] Keyword(s): bioinformatics, information system, logical concept analysis. [Abstract] [bibtex-entry]


  24. S. 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] [POSTSCRIPT] Keyword(s): sparse context, algorithm, lattice, associative concept, concept analysis. [bibtex-entry]


  25. S. Bars, S. Ferré, and O. Ridoux. Logic Functors for Types as Search Keys. In Int. Workshop on Isomorphisms of Types, 2002. Electronic proceedings at www.irit.fr/zeno/WIT2002/. [PDF] [POSTSCRIPT] Keyword(s): type isomorphism, logic functor, information retrieval. [bibtex-entry]


  26. S. Ferré and O. 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, 2002. Springer. [PDF] [POSTSCRIPT] Keyword(s): logic-based systems, theorem prover, composition, logic. [Abstract] [bibtex-entry]


  27. S. Ferré and O. 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. [PDF] [POSTSCRIPT] Keyword(s): context, classification, learning, information system, logic, concept analysis. [Abstract] [bibtex-entry]


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


  29. S. Ferré and O. Ridoux. Searching for Objects and Properties with Logical Concept Analysis. In H. S. Delugach and G. Stumme, editors, Int. Conf. Conceptual Structures, LNCS 2120, pages 187-201, 2001. Springer. [PDF] [POSTSCRIPT] Keyword(s): logical information system, knowledge discovery, navigation, concept analysis. [Abstract] [bibtex-entry]


  30. S. Ferré and O. Ridoux. A File System Based on Concept Analysis. In Y. Sagiv, editor, Int. Conf. Rules and Objects in Databases, LNCS 1861, pages 1033-1047, 2000. Springer. [PDF] [POSTSCRIPT] Keyword(s): file system, information system, logic, concept analysis. [Abstract] [bibtex-entry]


  31. S. Ferré and O. Ridoux. A Logical Generalization of Formal Concept Analysis. In G. Mineau and B. Ganter, editors, Int. Conf. Conceptual Structures, LNCS 1867, pages 371-384, 2000. Springer. [PDF] [POSTSCRIPT] Keyword(s): information system, context, logic, concept analysis. [Abstract] [bibtex-entry]


Internal reports
  1. S. Ferré. Navigating the Semantic Web with Logical Information Systems. internal publication 1934, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), August 2009. Keyword(s): logical information systems, semantic web, navigation, querying. [bibtex-entry]


  2. S. Ferré and O. Ridoux. Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics. Technical report, INRIA, March 2006. [WWW] Keyword(s): application developpement, type checking, theorem provers, modules and functors, components, logic. [Abstract] [bibtex-entry]


  3. S. Ferré. Incremental Concept Formation made More Efficient by the Use of Associative Concepts. Technical report, Inria, Institut National de Recherche en Informatique et en Automatique, October 2002. [WWW] Keyword(s): complexity, incremental algorithm, galois lattice, concept lattice, context. [Abstract] [bibtex-entry]


  4. S. Ferré and O. Ridoux. Introduction to Logical Information Systems. Technical report, Inria, Institut National de Recherche en Informatique et en Automatique, September 2002. [WWW] Keyword(s): theorem proving, deduction, representation language, query formulation, information retrieval, information system. [Abstract] [bibtex-entry]


  5. S. Ferré and O. Ridoux. Logic Functors : a Framework for Developing Embeddable Customized Logics. Technical report, Inria, Institut National de Recherche en Informatique et en Automatique, May 2002. [WWW] Keyword(s): software component, applied logic. [Abstract] [bibtex-entry]


  6. S. Ferré and O. Ridoux. A File System Based on Concept Analysis. Technical report, Inria, Institut National de Recherche en Informatique et en Automatique, April 2000. [WWW] Keyword(s): logic, navigation, querying, concept analysis, file system. [Abstract] [bibtex-entry]


  7. S. Ferré and O. Ridoux. Une généralisation logique de l'analyse de concepts formels. Technical report, Inria, Institut National de Recherche en Informatique et en Automatique, December 1999. Note: An english version is available at http://www.irisa.fr/LIS/ferre.[WWW] Keyword(s): browsing, querying, information system, context, logic, concept lattice, concept analysis. [Abstract] [bibtex-entry]



BACK TO INDEX



Disclaimer:

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 Dec 9 11:04:21 2010
Author: ferre.

This document was translated from BibTEX by bibtex2html