Olivier Ridoux Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Multiple Fault Localization with Data Mining. SEKE 2011: 238-243
2010
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Allard, Sébastien Ferré, Olivier Ridoux: Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. CLA 2010: 199-210
2009
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: DeLLIS: A Data Mining Process for Fault Localization. SEKE 2009: 432-437
2008
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bedel, Sébastien Ferré, Olivier Ridoux: Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. ICFCA 2008: 241-257
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux: Logical Information Systems: from Taxonomies to Logics. DEXA Workshops 2007: 212-216
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur: Exploring a Geographical Dataset with GEOLIS. DEXA Workshops 2007: 540-544
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux: From Description Logics to Logic Functors, and Back. Description Logics 2007
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé: A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur: GEOLIS: a logical information system for geographical data. Revue Internationale de Géomatique 17(3-4): 371-390 (2007)
2006
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé: An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. CLA 2006: 226-231
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoann Padioleau, Benjamin Sigonneau, Olivier Ridoux: LISFS: a logical information system as a file system. ICSE 2006: 803-806
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Sigonneau, Olivier Ridoux: Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. MSR 2006: 87-93
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Sigonneau, Olivier Ridoux: Indexation multiple et automatisée de composants logiciels. Technique et Science Informatiques 25(1): 9-42 (2006)
2005
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux, Benjamin Sigonneau: Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. ICCS 2005: 166-180
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoann Padioleau, Olivier Ridoux: A Parts-of-File File System. USENIX Annual Technical Conference, General Track 2005: 359-362
2004
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux: Logical Approach to Natural Language Understanding in a Spoken Dialogue System. TSD 2004: 637-644
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux: Introduction to logical information systems. Inf. Process. Manage. 40(3): 383-419 (2004)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeanne 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Ridoux: Logic Information Systems for Logic Programmers. ICLP 2003: 3-19
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatherine Belleannée, Olivier Ridoux: Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. JFPLC 2003: 49-62
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoann Padioleau, Olivier Ridoux: A Logic File System. USENIX Annual Technical Conference, General Track 2003: 99-112
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatherine 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas P. Jensen, Florimond Ployette, Olivier Ridoux: Iteration schemes for fixed point calculation. FICS 2002: 69-76
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux: The Use of Associative Concepts in the Incremental Building of a Logical Context. ICCS 2002: 299-313
2001
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux: Searching for Objects and Properties with Logical Concept Analysis. ICCS 2001: 187-201
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux: Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. LACL 2001: 279-295
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux: A Framework for Developing Embeddable Customized Logics. LOPSTR 2001: 191-215
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Ridoux, Patrice Boizumault: Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. Journal of Functional and Logic Programming 2001(4): (2001)
2000
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux: A File System Based on Concept Analysis. Computational Logic 2000: 1033-1047
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Ferré, Olivier Ridoux: A Logical Generalization of Formal Concept Analysis. ICCS 2000: 371-384
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé, Olivier Ridoux: Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC 2000: 67-84
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog trace models with a continuation semantics. LOPSTR 2000
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182
1999
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFré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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux: Verification by Testing for Recursive Program Schemes. LOPSTR 1999: 255-272
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Byrd's Box Model with a Continuation Semantics. Electr. Notes Theor. Comput. Sci. 30(4): 308-315 (1999)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatherine Belleannée, Pascal Brisset, Olivier Ridoux: A Pragmatic Reconstruction of lambda-Prolog. J. Log. Program. 41(1): 67-102 (1999)
1998
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Ridoux: JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France Hermes 1998
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Abstract Compilation of lambda-Prolog. IJCSLP 1998: 130-144
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Compilation abstraite de LambdaProlog. JFPLC 1998: 287-
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux: Exploring the Software Development Trilogy. IEEE Software 15(6): 75-81 (1998)
1996
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Ridoux: Engineering Transformations of Attributed Grammars in LambdaProlog. JICSLP 1996: 244-258
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascale Louvet, Olivier Ridoux: Parametric Polymorphism for Typed Prolog and lambda-Prolog. PLILP 1996: 47-61
1995
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolange 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Ridoux: Imagining CLP(A, equiv alpha beta) Constraint Programming 1994: 209-230
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Brisset, Olivier Ridoux: The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994: 0-
1993
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Brisset, Olivier Ridoux: Continuations in Lambda-Prolog. ICLP 1993: 27-43
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Le Huitouze, Pascale Louvet, Olivier Ridoux: Logic Grammars and Lambda-Prolog. ICLP 1993: 64-79
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Le Huitouze, Pascale Louvet, Olivier Ridoux: Les grammaires logiques et lambda-Prolog. JFPL 1993: 93-108
1992
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bekkers, Olivier Ridoux, Lucien Ungaro: Dynamic Memory Management for Sequential Logic Programming Languages. IWMM 1992: 82-102
1991
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Brisset, Olivier Ridoux: Naïve Reverse Can be Linear. ICLP 1991: 857-870
1990
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Ridoux, H. Tonneau: Une mise en oeuvre de l'unification d'expressions booléennes. SPLT 1990: 551-570
1989
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Brisset, Olivier Ridoux: Quelques applications du filtrage paresseux. SPLT 1989: 479-
1987
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Ridoux: Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria. ISCA 1987: 128-136
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLL. 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Le Huitouze, Olivier Ridoux: Une expérience de réalisation du Gel et du Dif dans MALI. SPLT 1986: 269-280
1984
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro: A Memory Management Machine for Prolog Interpreter. ICLP 1984: 343-353
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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

Coauthor Index

1Pierre Allard [62]
2Jean-Yves Antoine [35] [43] [45]
3Olivier Bedel [53] [56] [60]
4Yves Bekkers [1] [2] [4] [10]
5Catherine Belleannée [23] [39] [41]
6Patrice Boizumault [20] [21] [26] [27] [33]
7Pascal Brisset [7] [9] [13] [14] [23]
8Bernard Canet [1] [2] [4]
9Peggy Cellier [52] [54] [58] [59] [61] [63]
10L. Chevalier [5]
11Solange Coupet-Grimal [16]
12Tristan Denmat [48]
13Mireille Ducassé [24] [28] [29] [30] [48] [52] [54] [58] [59] [61] [63]
14Sébastien Ferré [31] [32] [34] [36] [37] [44] [47] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63]
15Serge Le Huitouze [3] [5] [11] [12]
16Erwan Jahier [24] [28] [29] [30]
17Thomas P. Jensen [38]
18Pascale Louvet [11] [12] [17]
19Frédéric Malésieux [20] [21] [26] [27]
20Daniel Le Métayer [19] [25]
21Valérie-Anne Nicolas [19] [25]
22Yoann Padioleau [40] [46] [51]
23Florimond Ployette [38]
24Erwan Quesseveur [53] [56]
25Benjamin Sigonneau [47] [49] [50] [51]
26H. Tonneau [8]
27Lucien Ungaro [1] [2] [4] [10]
28Jeanne Villaneau [35] [43] [45]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page