Olivier Ridoux

70 papers A* 3A 1B 5C 9Misc 4Journal 11Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Data Mining-Based Techniques for Software Fault Localization. CoRR Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux, W. Eric Wong
2023	—	`conf`	Extraction dans des textes anciens d'entités nommées de type binômes de la classification linnéenne du vivant : une étude de cas. EGC Clément Morand, Olivier Ridoux
2022	—	`conf`	How to Integrate Environmental Challenges in Computing Curricula? SIGCSE (1) Anne-Laure Ligozat, Kevin Marquet, Aurélie Bugeau, Julien Lefèvre, Pierre Boulet, Sylvain Bouveret, Philippe Marquet, Olivier Ridoux, Olivier Michel
2016	—	`conf`	Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. EGC Peggy Cellier, Sébastien Ferré, Annie Foret, Olivier Ridoux
2015	—	`conf`	Représentation Symbolique de Trajectoires Géolocalisées. SAGEO Soda Marème Cissé, Olivier Ridoux, Peggy Cellier
2012	C	`conf`	Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. ICFCA Sébastien Ferré, Pierre Allard, Olivier Ridoux
2011	C	`conf`	Multiple Fault Localization with Data Mining. SEKE Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
2010	—	`conf`	Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. CLA Pierre Allard, Sébastien Ferré, Olivier Ridoux
2009	C	`conf`	DeLLIS: A Data Mining Process for Fault Localization. SEKE Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
2008	J	`jnl`	A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. Int. J. Found. Comput. Sci. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
2008	C	`conf`	Formal Concept Analysis Enhances Fault Localization in Software. ICFCA Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
2008	C	`conf`	Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. ICFCA Olivier Bedel, Sébastien Ferré, Olivier Ridoux
2007	C	`conf`	A Parameterized Algorithm for Exploring Concept Lattices. ICFCA Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
2007	—	`conf`	Exploring a Geographical Dataset with GEOLIS. DEXA Workshops Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur
2007	—	`conf`	From Description Logics to Logic Functors, and Back. Description Logics Sébastien Ferré, Olivier Ridoux
2007	J	`jnl`	GEOLIS: a logical information system for geographical data. Rev. Int. Géomatique Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur
2007	—	`conf`	Logical Information Systems: from Taxonomies to Logics. DEXA Workshops Sébastien Ferré, Olivier Ridoux
2006	—	`conf`	An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. CLA Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
2006	J	`jnl`	Indexation multiple et automatisée de composants logiciels. Tech. Sci. Informatiques Benjamin Sigonneau, Olivier Ridoux
2006	A*	`conf`	LISFS: a logical information system as a file system. ICSE Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux
2006	A	`conf`	Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. MSR Benjamin Sigonneau, Olivier Ridoux
2005	—	`conf`	A Parts-of-File File System. USENIX ATC, General Track Yoann Padioleau, Olivier Ridoux
2005	Misc	`conf`	Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. ICCS Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau
2005	A*	`conf`	Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. ASE Tristan Denmat, Mireille Ducassé, Olivier Ridoux
2004	J	`jnl`	Introduction to logical information systems. Inf. Process. Manag. Sébastien Ferré, Olivier Ridoux
2004	J	`jnl`	LOGUS : compréhension de l'oral spontané. Présentation et évaluation des bases formelles de LOGUS. Rev. d'Intelligence Artif. Jeanne Villaneau, Olivier Ridoux, Jean-Yves Antoine
2004	—	`conf`	Logical Approach to Natural Language Understanding in a Spoken Dialogue System. TSD Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux
2003	—	`conf`	A Logic File System. USENIX ATC, General Track Yoann Padioleau, Olivier Ridoux
2003	B	`conf`	Logic Information Systems for Logic Programmers. ICLP Olivier Ridoux
2003	J	`jnl`	Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. Tech. Sci. Informatiques Catherine Belleannée, Olivier Ridoux
2003	—	`conf`	Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. JFPLC Catherine Belleannée, Olivier Ridoux
2002	—	`conf`	Iteration schemes for fixed point calculation. FICS Thomas P. Jensen, Florimond Ployette, Olivier Ridoux
2002	—	`conf`	LOGUS : un système formel de compréhension du français parlé spontané-présentation et évaluation. TALN (Articles longs) Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux
2002	Misc	`conf`	The Use of Associative Concepts in the Incremental Building of a Logical Context. ICCS Sébastien Ferré, Olivier Ridoux
2001	C	`conf`	A Framework for Developing Embeddable Customized Logics. LOPSTR Sébastien Ferré, Olivier Ridoux
2001	—	`conf`	Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. LACL Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux
2001	Misc	`conf`	Searching for Objects and Properties with Logical Concept Analysis. ICCS Sébastien Ferré, Olivier Ridoux
2001	J	`jnl`	Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. J. Funct. Log. Program. Olivier Ridoux, Patrice Boizumault
2000	—	`conf`	A File System Based on Concept Analysis. Computational Logic Sébastien Ferré, Olivier Ridoux
2000	Misc	`conf`	A Logical Generalization of Formal Concept Analysis. ICCS Sébastien Ferré, Olivier Ridoux
2000	—	`conf`	Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) Erwan Jahier, Mireille Ducassé, Olivier Ridoux
2000	C	`conf`	Specifying Prolog trace models with a continuation semantics. LOPSTR Erwan Jahier, Mireille Ducassé, Olivier Ridoux
2000	—	`conf`	Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC Erwan Jahier, Mireille Ducassé, Olivier Ridoux
1999	J	`jnl`	A Pragmatic Reconstruction of lambda-Prolog. J. Log. Program. Catherine Belleannée, Pascal Brisset, Olivier Ridoux
1999	—	`conf`	Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. JFPLC Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
1999	—	`conf`	Specifying Byrd's Box Model with a Continuation Semantics. WLPE@ICLP Erwan Jahier, Mireille Ducassé, Olivier Ridoux
1999	—	`conf`	Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. Fuji International Symposium on Functional and Logic Programming Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux
1999	C	`conf`	Verification by Testing for Recursive Program Schemes. LOPSTR Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
1998	—	`conf`	Abstract Compilation of lambda-Prolog. IJCSLP Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
1998	—	`conf`	Compilation abstraite de LambdaProlog. JFPLC Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
1998	J	`jnl`	Exploring the Software Development Trilogy. IEEE Softw. Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
1998	—	`ed.`	JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France JFPLC Olivier Ridoux
1996	—	`conf`	Engineering Transformations of Attributed Grammars in LambdaProlog. JICSLP Olivier Ridoux
1996	—	`conf`	Parametric Polymorphism for Typed Prolog and lambda-Prolog. PLILP Pascale Louvet, Olivier Ridoux
1995	J	`jnl`	On the Use of Advanced Logic Programming Languages in Computational Linguistics. J. Log. Program. Solange Coupet-Grimal, Olivier Ridoux
1994	—	`conf`	Imagining CLP(A, equiv alpha beta) Constraint Programming Olivier Ridoux
1994	—	`conf`	The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. ILPS Workshop: Implementation Techniques for Logic Programming Languages Pascal Brisset, Olivier Ridoux
1993	B	`conf`	Continuations in Lambda-Prolog. ICLP Pascal Brisset, Olivier Ridoux
1993	—	`conf`	Les grammaires logiques et lambda-Prolog. JFPL Serge Le Huitouze, Pascale Louvet, Olivier Ridoux
1993	B	`conf`	Logic Grammars and Lambda-Prolog. ICLP Serge Le Huitouze, Pascale Louvet, Olivier Ridoux
1992	—	`conf`	Dynamic Memory Management for Sequential Logic Programming Languages. IWMM Yves Bekkers, Olivier Ridoux, Lucien Ungaro
1991	B	`conf`	Naïve Reverse Can be Linear. ICLP Pascal Brisset, Olivier Ridoux
1990	—	`conf`	Une mise en oeuvre de l'unification d'expressions booléennes. SPLT Olivier Ridoux, H. Tonneau
1989	—	`conf`	Quelques applications du filtrage paresseux. SPLT Pascal Brisset, Olivier Ridoux
1987	A*	`conf`	Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria. ISCA Olivier Ridoux
1987	—	`conf`	Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire. SPLT Louis Chevalier, Serge Le Huitouze, Olivier Ridoux
1986	—	`conf`	MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. SLP Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro
1986	—	`conf`	Une expérience de réalisation du Gel et du Dif dans MALI. SPLT Serge Le Huitouze, Olivier Ridoux
1984	B	`conf`	A Memory Management Machine for Prolog Interpreter. ICLP Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro
1984	—	`conf`	Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG. SPLT Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro