The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olivier Ridoux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  52. An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. [Citation Graph (, )][DBLP]


  53. From Description Logics to Logic Functors, and Back. [Citation Graph (, )][DBLP]


  54. Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. [Citation Graph (, )][DBLP]


  55. Formal Concept Analysis Enhances Fault Localization in Software. [Citation Graph (, )][DBLP]


  56. DeLLIS: A Data Mining Process for Fault Localization. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002