| 2022 | SIGCSE | How to Integrate Environmental Challenges in Computing Curricula? | Anne-Laure Ligozat, Kevin Marquet, Aurlie Bugeau, Julien Lefvre, Pierre Boulet, Sylvain Bouveret, Philippe Marquet, Olivier Ridoux, Olivier Michel |
| 2012 | ICFCA | Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. | Sbastien Ferr, Pierre Allard, Olivier Ridoux |
| 2011 | SEKE | Multiple Fault Localization with Data Mining. | Peggy Cellier, Mireille Ducass, Sbastien Ferr, Olivier Ridoux |
| 2009 | SEKE | DeLLIS: A Data Mining Process for Fault Localization. | Peggy Cellier, Mireille Ducass, Sbastien Ferr, Olivier Ridoux |
| 2008 | ICFCA | Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. | Olivier Bedel, Sbastien Ferr, Olivier Ridoux |
| 2008 | ICFCA | Formal Concept Analysis Enhances Fault Localization in Software. | Peggy Cellier, Mireille Ducass, Sbastien Ferr, Olivier Ridoux |
| 2007 | ICFCA | A Parameterized Algorithm for Exploring Concept Lattices. | Peggy Cellier, Sbastien Ferr, Olivier Ridoux, Mireille Ducass |
| 2006 | ICSE | LISFS: a logical information system as a file system. | Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux |
| 2006 | MSR | Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. | Benjamin Sigonneau, Olivier Ridoux |
| 2005 | ICCS | Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. | Sbastien Ferr, Olivier Ridoux, Benjamin Sigonneau |
| 2005 | USENIX | A Parts-of-File File System. | Yoann Padioleau, Olivier Ridoux |
| 2003 | ICLP | Logic Information Systems for Logic Programmers. | Olivier Ridoux |
| 2003 | USENIX | A Logic File System. | Yoann Padioleau, Olivier Ridoux |
| 2002 | ICCS | The Use of Associative Concepts in the Incremental Building of a Logical Context. | Sbastien Ferr, Olivier Ridoux |
| 2001 | ICCS | Searching for Objects and Properties with Logical Concept Analysis. | Sbastien Ferr, Olivier Ridoux |
| 2001 | LOPSTR | A Framework for Developing Embeddable Customized Logics. | Sbastien Ferr, Olivier Ridoux |
| 2000 | ICCS | A Logical Generalization of Formal Concept Analysis. | Sbastien Ferr, Olivier Ridoux |
| 2000 | LOPSTR | Specifying Prolog trace models with a continuation semantics. | Erwan Jahier, Mireille Ducass, Olivier Ridoux |
| 2000 | LOPSTR | Specifying Prolog Trace Models with a Continuation Semantics. | Erwan Jahier, Mireille Ducass, Olivier Ridoux |
| 1999 | FLOPS | Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. | Olivier Ridoux, Patrice Boizumault, Frdric Malsieux |
| 1999 | LOPSTR | Verification by Testing for Recursive Program Schemes. | Daniel Le Mtayer, Valrie-Anne Nicolas, Olivier Ridoux |
| 1998 | ICLP | Abstract Compilation of lambda-Prolog. | Frdric Malsieux, Olivier Ridoux, Patrice Boizumault |
| 1996 | ICLP | Engineering Transformations of Attributed Grammars in LambdaProlog. | Olivier Ridoux |
| 1993 | ICLP | Continuations in Lambda-Prolog. | Pascal Brisset, Olivier Ridoux |
| 1993 | ICLP | Logic Grammars and Lambda-Prolog. | Serge Le Huitouze, Pascale Louvet, Olivier Ridoux |
| 1991 | ICLP | Nave Reverse Can be Linear. | Pascal Brisset, Olivier Ridoux |
| 1987 | ISCA | Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria. | Olivier Ridoux |
| 1984 | ICLP | A Memory Management Machine for Prolog Interpreter. | Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro |