| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux |
Multiple Fault Localization with Data Mining.  |
SEKE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pierre Allard, Sébastien Ferré, Olivier Ridoux |
Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. |
CLA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux |
DeLLIS: A Data Mining Process for Fault Localization. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé |
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux |
Formal Concept Analysis Enhances Fault Localization in Software. |
ICFCA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bedel, Sébastien Ferré, Olivier Ridoux |
Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. |
ICFCA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur |
GEOLIS: a logical information system for geographical data. |
Revue Internationale de Géomatique |
2007 |
DBLP BibTeX RDF |
|
| 1 | Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé |
A Parameterized Algorithm for Exploring Concept Lattices. |
ICFCA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux |
From Description Logics to Logic Functors, and Back. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux |
Logical Information Systems: from Taxonomies to Logics. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur |
Exploring a Geographical Dataset with GEOLIS. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Sigonneau, Olivier Ridoux |
Indexation multiple et automatisée de composants logiciels. |
Technique et Science Informatiques |
2006 |
DBLP BibTeX RDF |
|
| 1 | Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé |
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. |
CLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux |
LISFS: a logical information system as a file system. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
querying and navigation, logic, file system |
| 1 | Benjamin Sigonneau, Olivier Ridoux |
Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. |
MSR |
2006 |
DBLP DOI BibTeX RDF |
logic information system, software components |
| 1 | Yoann Padioleau, Olivier Ridoux |
A Parts-of-File File System. |
USENIX Annual Technical Conference, General Track |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau |
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. |
ICCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux |
Introduction to logical information systems. |
Inf. Process. Manage. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux |
Logical Approach to Natural Language Understanding in a Spoken Dialogue System. |
TSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Belleannée, Olivier Ridoux |
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. |
Technique et Science Informatiques |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yoann Padioleau, Olivier Ridoux |
A Logic File System. |
USENIX Annual Technical Conference, General Track |
2003 |
DBLP BibTeX RDF |
|
| 1 | Catherine Belleannée, Olivier Ridoux |
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. |
JFPLC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Olivier Ridoux |
Logic Information Systems for Logic Programmers. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florimond Ployette, Olivier Ridoux |
Iteration schemes for fixed point calculation. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux |
The Use of Associative Concepts in the Incremental Building of a Logical Context. |
ICCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Ridoux, Patrice Boizumault |
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. |
Journal of Functional and Logic Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux |
Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux |
A Framework for Developing Embeddable Customized Logics. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux |
Searching for Objects and Properties with Logical Concept Analysis. |
ICCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Spécification de modèles de traces à l'aide d'une sémantique par continuations. |
JFPLC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Prolog trace models with a continuation semantics. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Prolog Trace Models with a Continuation Semantics. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux |
A Logical Generalization of Formal Concept Analysis. |
ICCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferré, Olivier Ridoux |
A File System Based on Concept Analysis. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Belleannée, Pascal Brisset, Olivier Ridoux |
A Pragmatic Reconstruction of lambda-Prolog. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Byrd's Box Model with a Continuation Semantics. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault |
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. |
JFPLC |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux |
Verification by Testing for Recursive Program Schemes. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux |
Exploring the Software Development Trilogy. |
IEEE Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault |
Compilation abstraite de LambdaProlog. |
JFPLC |
1998 |
DBLP BibTeX RDF |
|
| 1 | Olivier Ridoux (eds.) |
JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France |
JFPLC |
1998 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault |
Abstract Compilation of lambda-Prolog. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Olivier Ridoux |
Engineering Transformations of Attributed Grammars in LambdaProlog. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Pascale Louvet, Olivier Ridoux |
Parametric Polymorphism for Typed Prolog and lambda-Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
second-order -Calculus, Logic programming, polymorphism, typing |
| 1 | Solange Coupet-Grimal, Olivier Ridoux |
On the Use of Advanced Logic Programming Languages in Computational Linguistics. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Ridoux |
Imagining CLP(A, equiv alpha beta) |
Constraint Programming |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Brisset, Olivier Ridoux |
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. |
ILPS Workshop: Implementation Techniques for Logic Programming Languages |
1994 |
DBLP BibTeX RDF |
|
| 1 | Serge Le Huitouze, Pascale Louvet, Olivier Ridoux |
Les grammaires logiques et lambda-Prolog. |
JFPL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pascal Brisset, Olivier Ridoux |
Continuations in Lambda-Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Serge Le Huitouze, Pascale Louvet, Olivier Ridoux |
Logic Grammars and Lambda-Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yves Bekkers, Olivier Ridoux, Lucien Ungaro |
Dynamic Memory Management for Sequential Logic Programming Languages. |
IWMM |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Brisset, Olivier Ridoux |
Naïve Reverse Can be Linear. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Olivier Ridoux, H. Tonneau |
Une mise en oeuvre de l'unification d'expressions booléennes. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Pascal Brisset, Olivier Ridoux |
Quelques applications du filtrage paresseux. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Olivier Ridoux |
Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria. |
ISCA |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Serge Le Huitouze, Olivier Ridoux |
Une expérience de réalisation du Gel et du Dif dans MALI. |
SPLT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro |
MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. |
SLP |
1986 |
DBLP BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
| 1 | Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro |
A Memory Management Machine for Prolog Interpreter. |
ICLP |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")