 | 2009 |
|---|
| 60 |       | Peggy Cellier,
Mireille Ducassé,
Sébastien Ferré,
Olivier Ridoux:
DeLLIS: A Data Mining Process for Fault Localization.
SEKE 2009: 432-437 |
| 2008 |
|---|
| 59 |  | Olivier Bedel,
Sébastien Ferré,
Olivier Ridoux:
Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data.
ICFCA 2008: 241-257 |
| 58 | | Peggy Cellier,
Mireille Ducassé,
Sébastien Ferré,
Olivier Ridoux:
Formal Concept Analysis Enhances Fault Localization in Software.
ICFCA 2008: 273-288 |
| 57 | | Peggy Cellier,
Sébastien Ferré,
Olivier Ridoux,
Mireille Ducassé:
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy.
Int. J. Found. Comput. Sci. 19(2): 319-343 (2008) |
| 2007 |
|---|
| 56 | | Sébastien Ferré,
Olivier Ridoux:
Logical Information Systems: from Taxonomies to Logics.
DEXA Workshops 2007: 212-216 |
| 55 | | Olivier Bedel,
Sébastien Ferré,
Olivier Ridoux,
Erwan Quesseveur:
Exploring a Geographical Dataset with GEOLIS.
DEXA Workshops 2007: 540-544 |
| 54 | | Sébastien Ferré,
Olivier Ridoux:
From Description Logics to Logic Functors, and Back.
Description Logics 2007 |
| 53 | | Peggy Cellier,
Sébastien Ferré,
Olivier Ridoux,
Mireille Ducassé:
A Parameterized Algorithm for Exploring Concept Lattices.
ICFCA 2007: 114-129 |
| 2006 |
|---|
| 52 | | Peggy Cellier,
Sébastien Ferré,
Olivier Ridoux,
Mireille Ducassé:
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy.
CLA 2006: 226-231 |
| 51 | | Yoann Padioleau,
Benjamin Sigonneau,
Olivier Ridoux:
LISFS: a logical information system as a file system.
ICSE 2006: 803-806 |
| 50 | | Benjamin Sigonneau,
Olivier Ridoux:
Software engineering applications of logic file system: application to automated multi-criteria indexation of software components.
MSR 2006: 87-93 |
| 49 | | Benjamin Sigonneau,
Olivier Ridoux:
Indexation multiple et automatisée de composants logiciels.
Technique et Science Informatiques 25(1): 9-42 (2006) |
| 2005 |
|---|
| 48 | | Tristan Denmat,
Mireille Ducassé,
Olivier Ridoux:
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.
ASE 2005: 396-399 |
| 47 | | Sébastien Ferré,
Olivier Ridoux,
Benjamin Sigonneau:
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems.
ICCS 2005: 166-180 |
| 46 | | Yoann Padioleau,
Olivier Ridoux:
A Parts-of-File File System.
USENIX Annual Technical Conference, General Track 2005: 359-362 |
| 2004 |
|---|
| 45 | | Jeanne Villaneau,
Jean-Yves Antoine,
Olivier Ridoux:
Logical Approach to Natural Language Understanding in a Spoken Dialogue System.
TSD 2004: 637-644 |
| 44 | | Sébastien Ferré,
Olivier Ridoux:
Introduction to logical information systems.
Inf. Process. Manage. 40(3): 383-419 (2004) |
| 43 | | Jeanne Villaneau,
Olivier Ridoux,
Jean-Yves Antoine:
LOGUS : compréhension de l'oral spontané. Présentation et évaluation des bases formelles de LOGUS.
Revue d'Intelligence Artificielle 18(5-6): 709-742 (2004) |
| 2003 |
|---|
| 42 | | Olivier Ridoux:
Logic Information Systems for Logic Programmers.
ICLP 2003: 3-19 |
| 41 | | Catherine Belleannée,
Olivier Ridoux:
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique.
JFPLC 2003: 49-62 |
| 40 | | Yoann Padioleau,
Olivier Ridoux:
A Logic File System.
USENIX Annual Technical Conference, General Track 2003: 99-112 |
| 39 | | Catherine Belleannée,
Olivier Ridoux:
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique.
Technique et Science Informatiques 22(1): 49-62 (2003) |
| 2002 |
|---|
| 38 | | Thomas P. Jensen,
Florimond Ployette,
Olivier Ridoux:
Iteration schemes for fixed point calculation.
FICS 2002: 69-76 |
| 37 | | Sébastien Ferré,
Olivier Ridoux:
The Use of Associative Concepts in the Incremental Building of a Logical Context.
ICCS 2002: 299-313 |
| 2001 |
|---|
| 36 | | Sébastien Ferré,
Olivier Ridoux:
Searching for Objects and Properties with Logical Concept Analysis.
ICCS 2001: 187-201 |
| 35 | | Jeanne Villaneau,
Jean-Yves Antoine,
Olivier Ridoux:
Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences.
LACL 2001: 279-295 |
| 34 | | Sébastien Ferré,
Olivier Ridoux:
A Framework for Developing Embeddable Customized Logics.
LOPSTR 2001: 191-215 |
| 33 | | Olivier Ridoux,
Patrice Boizumault:
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog.
Journal of Functional and Logic Programming 2001(4): (2001) |
| 2000 |
|---|
| 32 | | Sébastien Ferré,
Olivier Ridoux:
A File System Based on Concept Analysis.
Computational Logic 2000: 1033-1047 |
| 31 | | Sébastien Ferré,
Olivier Ridoux:
A Logical Generalization of Formal Concept Analysis.
ICCS 2000: 371-384 |
| 30 | | Erwan Jahier,
Mireille Ducassé,
Olivier Ridoux:
Spécification de modèles de traces à l'aide d'une sémantique par continuations.
JFPLC 2000: 67-84 |
| 29 | | Erwan Jahier,
Mireille Ducassé,
Olivier Ridoux:
Specifying Prolog trace models with a continuation semantics.
LOPSTR 2000 |
| 28 | | Erwan Jahier,
Mireille Ducassé,
Olivier Ridoux:
Specifying Prolog Trace Models with a Continuation Semantics.
LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182 |
| 1999 |
|---|
| 27 | | Olivier Ridoux,
Patrice Boizumault,
Frédéric Malésieux:
Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG.
Fuji International Symposium on Functional and Logic Programming 1999: 267-283 |
| 26 | | Frédéric Malésieux,
Olivier Ridoux,
Patrice Boizumault:
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog.
JFPLC 1999: 55-72 |
| 25 | | Daniel Le Métayer,
Valérie-Anne Nicolas,
Olivier Ridoux:
Verification by Testing for Recursive Program Schemes.
LOPSTR 1999: 255-272 |
| 24 | | Erwan Jahier,
Mireille Ducassé,
Olivier Ridoux:
Specifying Byrd's Box Model with a Continuation Semantics.
Electr. Notes Theor. Comput. Sci. 30(4): (1999) |
| 23 | | Catherine Belleannée,
Pascal Brisset,
Olivier Ridoux:
A Pragmatic Reconstruction of lambda-Prolog.
J. Log. Program. 41(1): 67-102 (1999) |
| 1998 |
|---|
| 22 | | Olivier Ridoux:
JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France
Hermes 1998 |
| 21 | | Frédéric Malésieux,
Olivier Ridoux,
Patrice Boizumault:
Abstract Compilation of lambda-Prolog.
IJCSLP 1998: 130-144 |
| 20 | | Frédéric Malésieux,
Olivier Ridoux,
Patrice Boizumault:
Compilation abstraite de LambdaProlog.
JFPLC 1998: 287- |
| 19 | | Daniel Le Métayer,
Valérie-Anne Nicolas,
Olivier Ridoux:
Exploring the Software Development Trilogy.
IEEE Software 15(6): 75-81 (1998) |
| 1996 |
|---|
| 18 | | Olivier Ridoux:
Engineering Transformations of Attributed Grammars in LambdaProlog.
JICSLP 1996: 244-258 |
| 17 | | Pascale Louvet,
Olivier Ridoux:
Parametric Polymorphism for Typed Prolog and lambda-Prolog.
PLILP 1996: 47-61 |
| 1995 |
|---|
| 16 | | Solange Coupet-Grimal,
Olivier Ridoux:
On the Use of Advanced Logic Programming Languages in Computational Linguistics.
J. Log. Program. 24(1&2): 121-159 (1995) |
| 1994 |
|---|
| 15 | | Olivier Ridoux:
Imagining CLP(A, equiv alpha beta)
Constraint Programming 1994: 209-230 |
| 14 | | Pascal Brisset,
Olivier Ridoux:
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali.
ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994: 0- |
| 1993 |
|---|
| 13 | | Pascal Brisset,
Olivier Ridoux:
Continuations in Lambda-Prolog.
ICLP 1993: 27-43 |
| 12 | | Serge Le Huitouze,
Pascale Louvet,
Olivier Ridoux:
Logic Grammars and Lambda-Prolog.
ICLP 1993: 64-79 |
| 11 | | Serge Le Huitouze,
Pascale Louvet,
Olivier Ridoux:
Les grammaires logiques et lambda-Prolog.
JFPL 1993: 93-108 |
| 1992 |
|---|
| 10 | | Yves Bekkers,
Olivier Ridoux,
Lucien Ungaro:
Dynamic Memory Management for Sequential Logic Programming Languages.
IWMM 1992: 82-102 |
| 1991 |
|---|
| 9 | | Pascal Brisset,
Olivier Ridoux:
Naïve Reverse Can be Linear.
ICLP 1991: 857-870 |
| 1990 |
|---|
| 8 | | Olivier Ridoux,
H. Tonneau:
Une mise en oeuvre de l'unification d'expressions booléennes.
SPLT 1990: 551-570 |
| 1989 |
|---|
| 7 | | Pascal Brisset,
Olivier Ridoux:
Quelques applications du filtrage paresseux.
SPLT 1989: 479- |
| 1987 |
|---|
| 6 | | Olivier Ridoux:
Deterministic and Stochastic Modeling of Parallel Garbage Collection -- Towards Real-Time Criteria.
ISCA 1987: 128-136 |
| 5 | | L. Chevalier,
Serge Le Huitouze,
Olivier Ridoux:
Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire.
SPLT 1987: 245- |
| 1986 |
|---|
| 4 | | Yves Bekkers,
Bernard Canet,
Olivier Ridoux,
Lucien Ungaro:
MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages.
SLP 1986: 258-264 |
| 3 | | Serge Le Huitouze,
Olivier Ridoux:
Une expérience de réalisation du Gel et du Dif dans MALI.
SPLT 1986: 269-280 |
| 1984 |
|---|
| 2 | | Yves Bekkers,
Bernard Canet,
Olivier Ridoux,
Lucien Ungaro:
A Memory Management Machine for Prolog Interpreter.
ICLP 1984: 343-353 |
| 1 | | Yves Bekkers,
Bernard Canet,
Olivier Ridoux,
Lucien Ungaro:
Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG.
SPLT 1984 |
