A Memory Management Machine for Prolog Interpreter. - Yves Bekkers; Bernard Canet; Olivier Ridoux; Lucien Ungaro (ICLP, 1984)

Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG. - Yves Bekkers; Bernard Canet; Olivier Ridoux; Lucien Ungaro (SPLT, 1984)

Une expérience de réalisation du Gel et du Dif dans MALI. - Serge Le Huitouze; Olivier Ridoux (SPLT, 1986)

MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. - Yves Bekkers; Bernard Canet; Olivier Ridoux; Lucien Ungaro (SLP, 1986)

Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria. - Olivier Ridoux (ISCA, 1987)

Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire. - Louis Chevalier; Serge Le Huitouze; Olivier Ridoux (SPLT, 1987)

Quelques applications du filtrage paresseux. - Pascal Brisset; Olivier Ridoux (SPLT, 1989)

Une mise en oeuvre de l'unification d'expressions booléennes. - Olivier Ridoux; H. Tonneau (SPLT, 1990)

Naïve Reverse Can be Linear. - Pascal Brisset; Olivier Ridoux (ICLP, 1991)

Dynamic Memory Management for Sequential Logic Programming Languages. - Yves Bekkers; Olivier Ridoux; Lucien Ungaro (IWMM, 1992)

Continuations in Lambda-Prolog. - Pascal Brisset; Olivier Ridoux (ICLP, 1993)

Logic Grammars and Lambda-Prolog. - Serge Le Huitouze; Pascale Louvet; Olivier Ridoux (ICLP, 1993)

Les grammaires logiques et lambda-Prolog. - Serge Le Huitouze; Pascale Louvet; Olivier Ridoux (JFPL, 1993)

The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. - Pascal Brisset; Olivier Ridoux (ILPS Workshop: Implementation Techniques for Logic Programming Languages, 1994)

Imagining CLP(A, equiv alpha beta) - Olivier Ridoux (Constraint Programming, 1994)

On the Use of Advanced Logic Programming Languages in Computational Linguistics. - Solange Coupet-Grimal; Olivier Ridoux (J. Log. Program., 1995)

Engineering Transformations of Attributed Grammars in LambdaProlog. - Olivier Ridoux (JICSLP, 1996)

Parametric Polymorphism for Typed Prolog and lambda-Prolog. - Pascale Louvet; Olivier Ridoux (PLILP, 1996)

Abstract Compilation of lambda-Prolog. - Frédéric Malésieux; Olivier Ridoux; Patrice Boizumault (IJCSLP, 1998)

Compilation abstraite de LambdaProlog. - Frédéric Malésieux; Olivier Ridoux; Patrice Boizumault (JFPLC, 1998)

Exploring the Software Development Trilogy. - Daniel Le Métayer; Valérie-Anne Nicolas; Olivier Ridoux (IEEE Softw., 1998)

Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. - Olivier Ridoux; Patrice Boizumault; Frédéric Malésieux (Fuji International Symposium on Functional and Logic Programming, 1999)

Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. - Frédéric Malésieux; Olivier Ridoux; Patrice Boizumault (JFPLC, 1999)

Verification by Testing for Recursive Program Schemes. - Daniel Le Métayer; Valérie-Anne Nicolas; Olivier Ridoux (LOPSTR, 1999)

A Pragmatic Reconstruction of lambda-Prolog. - Catherine Belleannée; Pascal Brisset; Olivier Ridoux (J. Log. Program., 1999)

Specifying Byrd's Box Model with a Continuation Semantics. - Erwan Jahier; Mireille Ducassé; Olivier Ridoux (WLPE@ICLP, 1999)

A File System Based on Concept Analysis. - Sébastien Ferré; Olivier Ridoux (Computational Logic, 2000)

A Logical Generalization of Formal Concept Analysis. - Sébastien Ferré; Olivier Ridoux (ICCS, 2000)

Spécification de modèles de traces à l'aide d'une sémantique par continuations. - Erwan Jahier; Mireille Ducassé; Olivier Ridoux (JFPLC, 2000)

Specifying Prolog Trace Models with a Continuation Semantics. - Erwan Jahier; Mireille Ducassé; Olivier Ridoux (LOPSTR (LNCS 2042: Selected Papers), 2000)

Searching for Objects and Properties with Logical Concept Analysis. - Sébastien Ferré; Olivier Ridoux (ICCS, 2001)

Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. - Jeanne Villaneau; Jean-Yves Antoine; Olivier Ridoux (LACL, 2001)

A Framework for Developing Embeddable Customized Logics. - Sébastien Ferré; Olivier Ridoux (LOPSTR, 2001)

Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. - Olivier Ridoux; Patrice Boizumault (J. Funct. Log. Program., 2001)

Iteration schemes for fixed point calculation. - Thomas P. Jensen; Florimond Ployette; Olivier Ridoux (FICS, 2002)

The Use of Associative Concepts in the Incremental Building of a Logical Context. - Sébastien Ferré; Olivier Ridoux (ICCS, 2002)

LOGUS : un système formel de compréhension du français parlé spontané-présentation et évaluation. - Jeanne Villaneau; Jean-Yves Antoine; Olivier Ridoux (TALN (Articles longs), 2002)

Logic Information Systems for Logic Programmers. - Olivier Ridoux (ICLP, 2003)

A Logic File System. - Yoann Padioleau; Olivier Ridoux (USENIX ATC, General Track, 2003)

Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. - Catherine Belleannée; Olivier Ridoux (Tech. Sci. Informatiques, 2003)

Logical Approach to Natural Language Understanding in a Spoken Dialogue System. - Jeanne Villaneau; Jean-Yves Antoine; Olivier Ridoux (TSD, 2004)

Introduction to logical information systems. - Sébastien Ferré; Olivier Ridoux (Inf. Process. Manag., 2004)

LOGUS : compréhension de l'oral spontané. Présentation et évaluation des bases formelles de LOGUS. - Jeanne Villaneau; Olivier Ridoux; Jean-Yves Antoine (Rev. d'Intelligence Artif., 2004)

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. - Sébastien Ferré; Olivier Ridoux; Benjamin Sigonneau (ICCS, 2005)

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. - Tristan Denmat; Mireille Ducassé; Olivier Ridoux (ASE, 2005)

A Parts-of-File File System. - Yoann Padioleau; Olivier Ridoux (USENIX ATC, General Track, 2005)

An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. - Peggy Cellier; Sébastien Ferré; Olivier Ridoux; Mireille Ducassé (CLA, 2006)

LISFS: a logical information system as a file system. - Yoann Padioleau; Benjamin Sigonneau; Olivier Ridoux (ICSE, 2006)

Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. - Benjamin Sigonneau; Olivier Ridoux (MSR, 2006)

Indexation multiple et automatisée de composants logiciels. - Benjamin Sigonneau; Olivier Ridoux (Tech. Sci. Informatiques, 2006)

Exploring a Geographical Dataset with GEOLIS. - Olivier Bedel; Sébastien Ferré; Olivier Ridoux; Erwan Quesseveur (DEXA Workshops, 2007)

Logical Information Systems: from Taxonomies to Logics. - Sébastien Ferré; Olivier Ridoux (DEXA Workshops, 2007)

From Description Logics to Logic Functors, and Back. - Sébastien Ferré; Olivier Ridoux (Description Logics, 2007)

A Parameterized Algorithm for Exploring Concept Lattices. - Peggy Cellier; Sébastien Ferré; Olivier Ridoux; Mireille Ducassé (ICFCA, 2007)

GEOLIS: a logical information system for geographical data. - Olivier Bedel; Sébastien Ferré; Olivier Ridoux; Erwan Quesseveur (Rev. Int. Géomatique, 2007)

Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. - Olivier Bedel; Sébastien Ferré; Olivier Ridoux (ICFCA, 2008)

Formal Concept Analysis Enhances Fault Localization in Software. - Peggy Cellier; Mireille Ducassé; Sébastien Ferré; Olivier Ridoux (ICFCA, 2008)

A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. - Peggy Cellier; Sébastien Ferré; Olivier Ridoux; Mireille Ducassé (Int. J. Found. Comput. Sci., 2008)

DeLLIS: A Data Mining Process for Fault Localization. - Peggy Cellier; Mireille Ducassé; Sébastien Ferré; Olivier Ridoux (SEKE, 2009)

Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. - Pierre Allard; Sébastien Ferré; Olivier Ridoux (CLA, 2010)

Multiple Fault Localization with Data Mining. - Peggy Cellier; Mireille Ducassé; Sébastien Ferré; Olivier Ridoux (SEKE, 2011)

Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. - Sébastien Ferré; Pierre Allard; Olivier Ridoux (ICFCA, 2012)

Représentation Symbolique de Trajectoires Géolocalisées. - Soda Marème Cissé; Olivier Ridoux; Peggy Cellier (SAGEO, 2015)

Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. - Peggy Cellier; Sébastien Ferré; Annie Foret; Olivier Ridoux (EGC, 2016)

How to Integrate Environmental Challenges in Computing Curricula? - Anne-Laure Ligozat; Kevin Marquet; Aurélie Bugeau; Julien Lefèvre; Pierre Boulet; Sylvain Bouveret; Philippe Marquet; Olivier Ridoux; Olivier Michel 001 (SIGCSE (1), 2022)

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. - Clément Morand; Olivier Ridoux (EGC, 2023)

Data Mining-Based Techniques for Software Fault Localization. - Peggy Cellier; Mireille Ducassé; Sébastien Ferré; Olivier Ridoux; W. Eric Wong (CoRR, 2025)