1. Olivier Ridoux and Gilles Lesventes. Calculateurs, calculs, calculabilité, Sciences Sup. Dunod, 2008. [bibtex-entry]

1. Peggy Cellier. DeLLIS : Débogage de programmes par Localisation de fautes avec un Système d'Information Logique. PhD thesis, Thèse de l'université de Rennes 1, 05 décembre 2008. Note: Coencadrée par M. Ducassé, S. Ferré et O. Ridoux. [bibtex-entry]



2. Tristan Denmat. Contraintes et abstractions pour la génération automatique de données de test. PhD thesis, Thèse de l'INSA de Rennes, 05 juin 2008. Note: Coencadrée par M. Ducassé et Anaud Gotlieb. [bibtex-entry]

1. D. Bechet, A. Dikovsky, Annie Foret, and Emmanuelle Garel. Introduction of option and iteration into pregroup grammars. In Computational Algebraic Approaches to Natural Language. Polimetrica Publisher, Italy, pp. 85-108.. 2008. Keyword(s): Pregroups, Lambek Categorial Grammars, Categorial Dependency Grammar. [Abstract] [bibtex-entry]



2. Olivier Bedel, Sébastien Ferré, Olivier Ridoux, and Erwan 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]



3. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille 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]



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

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]

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