dblp.uni-trier.dewww.uni-trier.de

Olivier Ridoux Vis

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

*2009
60 Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: DeLLIS: A Data Mining Process for Fault Localization. SEKE 2009: 432-437
2008
59EEOlivier Bedel, Sébastien Ferré, Olivier Ridoux: Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. ICFCA 2008: 241-257
58EEPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux: Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288
57EEPeggy 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
56EESébastien Ferré, Olivier Ridoux: Logical Information Systems: from Taxonomies to Logics. DEXA Workshops 2007: 212-216
55EEOlivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur: Exploring a Geographical Dataset with GEOLIS. DEXA Workshops 2007: 540-544
54EESébastien Ferré, Olivier Ridoux: From Description Logics to Logic Functors, and Back. Description Logics 2007
53EEPeggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé: A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129
2006
52EEPeggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé: An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. CLA 2006: 226-231
51EEYoann Padioleau, Benjamin Sigonneau, Olivier Ridoux: LISFS: a logical information system as a file system. ICSE 2006: 803-806
50EEBenjamin Sigonneau, Olivier Ridoux: Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. MSR 2006: 87-93
49EEBenjamin Sigonneau, Olivier Ridoux: Indexation multiple et automatisée de composants logiciels. Technique et Science Informatiques 25(1): 9-42 (2006)
2005
48EETristan 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
47EESébastien Ferré, Olivier Ridoux, Benjamin Sigonneau: Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. ICCS 2005: 166-180
46EEYoann Padioleau, Olivier Ridoux: A Parts-of-File File System. USENIX Annual Technical Conference, General Track 2005: 359-362
2004
45EEJeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux: Logical Approach to Natural Language Understanding in a Spoken Dialogue System. TSD 2004: 637-644
44EESébastien Ferré, Olivier Ridoux: Introduction to logical information systems. Inf. Process. Manage. 40(3): 383-419 (2004)
43EEJeanne 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
42EEOlivier 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
40EEYoann Padioleau, Olivier Ridoux: A Logic File System. USENIX Annual Technical Conference, General Track 2003: 99-112
39EECatherine 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
37EESébastien Ferré, Olivier Ridoux: The Use of Associative Concepts in the Incremental Building of a Logical Context. ICCS 2002: 299-313
2001
36EESébastien Ferré, Olivier Ridoux: Searching for Objects and Properties with Logical Concept Analysis. ICCS 2001: 187-201
35EEJeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux: Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. LACL 2001: 279-295
34EESé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
32EESébastien Ferré, Olivier Ridoux: A File System Based on Concept Analysis. Computational Logic 2000: 1033-1047
31EESé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
29EEErwan Jahier, Mireille Ducassé, Olivier Ridoux: Specifying Prolog trace models with a continuation semantics. LOPSTR 2000
28EEErwan 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
24EEErwan 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-
19EEDaniel 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
17EEPascale 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
14EEPascal 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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)