BACK TO INDEX

Publications of Olivier Ridoux
Books and proceedings
  1. O. Ridoux and G. Lesventes. Calculateurs, calculs, calculabilité, Sciences Sup. Dunod, 2008. [bibtex-entry]


Articles in journal or book chapters
  1. O. Bedel, S. Ferré, O. Ridoux, and E. Quesseveur. GEOLIS: A Logical Information System for Geographical Data. Revue Internationale de Géomatique, 17(3-4):371-390, 2008. [PDF] Keyword(s): logical information system, geographical data, navigation. [Abstract] [bibtex-entry]


  2. P. Cellier, S. Ferré, O. Ridoux, and M. Ducassé. A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. Int. J. Foundations of Computer Science (IJFCS), 19(2):319-343, 2008. Keyword(s): algorithm, concept lattice, taxonomy. [Abstract] [bibtex-entry]


  3. B. Sigonneau and Olivier Ridoux. Indexation multiple et automatisée de composants logiciels. Technique et Science Informatiques, 2006. Note: À paraître. [PDF] [Abstract] [Annotation] [bibtex-entry]


  4. S. Ferré and O. Ridoux. An Introduction to Logical Information Systems. Information Processing & Management, 40(3):383-419, 2004. Keyword(s): information systems, information search, retrieval, query formulation, representation languages, deduction, theorem proving. [Abstract] [bibtex-entry]


  5. Jeanne Villaneau, O. Ridoux, and Jean-Yves Antoine. LOGUS : un système formel de compréhension de l'oral spontané. RIA --- Revue d'Intelligence Artificielle, (à paraître), 2004. [bibtex-entry]


  6. O. Ridoux and Patrice Boizumault. Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. Journal of Functional and Logic Programming, 2001(4), July 2001. [bibtex-entry]


  7. C. Belleannée, P. Brisset, and O. Ridoux. A Pragmatic Reconstruction of $\lambda$Prolog. J. Logic Programming, 41(1):67-102, 1999. [bibtex-entry]


  8. D. Le Métayer, V.-A. Nicolas, and O. Ridoux. Programs, Properties, and Data: Exploring the Software Development Trilogy. IEEE Software, 15(6):75-81, November/December 1998. [WWW] Keyword(s): Software engineering, testing, verification, program analysis, program learning. [Abstract] [bibtex-entry]


  9. C. Belleannée, P. Brisset, and O. Ridoux. Une reconstruction pragmatique de $\lambda$Prolog. Technique et science informatiques, 14:1131-1164, 1995. [WWW] Keyword(s): Programmation logique, LambdaProlog, lambda-calcul, quantifications, types. logic programming, LambdaProlog, lambda-calculus, quantifications, types.. [Abstract] [bibtex-entry]


  10. S. Coupet-Grimal and O. Ridoux. On the use of Advanced Logic Programming Languages in Computational Linguistics. J. Logic Programming, 24(1&2):121-159, 1995. [WWW] Keyword(s): Logic programming, computational linguistics, LambdaProlog, Prolog II, lambda-terms, rational terms.. [Abstract] [bibtex-entry]


Conference articles
  1. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Multiple Fault Localization with Data Mining. In Int. Conf. on Software Engineering & Knowledge Engineering, pages 238-243, 2011. Knowledge Systems Institute Graduate School. Keyword(s): data mining, software engineering, debugging, association rules, formal concept analysis.. [Abstract] [bibtex-entry]


  2. P. Allard, S. Ferré, and O. Ridoux. Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. In M. Kryszkiewicz and S. Obiedkov, editors, Concept Lattices and Their Applications, pages 199-210, 2010. CEUR-WS. Keyword(s): Functional Dependencies, Association Rules, FCA, OLAP, Navigation. [Abstract] [bibtex-entry]


  3. P. Cellier, M. Ducassé, S. Ferré, and O. Ridoux. DeLLIS: A Data Mining Process for Fault Localization. In Int. Conf. Software Engineering (SEKE), pages 432-437, 2009. Knowledge Systems Institute Graduate School. Keyword(s): data mining, fault localization, software. [bibtex-entry]


  4. O. Bedel, S. Ferré, and O. Ridoux. Handling Spatial Relations in Logical Concept Analysis To Explore Geographical Data. In R. Medina and S. Obiedkov, editors, Int. Conf. Formal Concept Analysis, LNAI 4933, pages 241-257, 2008. Springer. [PDF] Keyword(s): spatial relations, concept analysis, logic, geographical data, data retrieval. [Abstract] [bibtex-entry]


  5. P. Cellier, M. Ducassé, S. Ferré, and O. Ridoux. Formal Concept analysis enhances Fault Localization in Software. In R. Medina and S. Obiedkov, editors, Int. Conf. Formal Concept Analysis, LNAI 4933, pages 273-288, 2008. Springer. [PDF] Keyword(s): fault localization, formal concept analysis. [Abstract] [bibtex-entry]


  6. O. Bedel, S. Ferré, and O. Ridoux. Exploring a Geographical Dataset with GEOLIS. In DEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), pages 540-544, 2007. IEEE Computer Society. [PDF] Keyword(s): logical information system, geographical information system, information retrieval, spatial logic. [Abstract] [bibtex-entry]


  7. P. Cellier, S. Ferré, O. Ridoux, and M. Ducassé. A Parameterized Algorithm for Exploring Concept Lattices. In S.O. Kuznetsov and S. Schmidt, editors, Int. Conf. Formal Concept Analysis, LNAI 4390, pages 114-129, 2007. Springer. Keyword(s): concept analysis, algorithm, taxonomy. [Abstract] [bibtex-entry]


  8. S. Ferré and O. Ridoux. Logical Information Systems: from Taxonomies to Logics. In DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), pages 212-216, 2007. IEEE Computer Society. [PDF] Keyword(s): logical information system, taxonomy, logic. [Abstract] [bibtex-entry]


  9. O. Bedel, S. Ferré, O. Ridoux, and E. Quesseveur. GEOLIS: A Logical Information System for Geographical Data. In Int. Conf. Spatial Analysis and GEOmatics - SAGEO 2006, 2006. [PDF] Keyword(s): logical information systems, geographical data, navigation, querying. [Abstract] [bibtex-entry]


  10. O. Bedel, O. Ridoux, and E. Quesseveur. Combining Logical Information System and OpenGIS Tools for Geographical Data Exploration. In Int. Conf. Free and OpenSource Sofware for Geoinformatics, september 2006. [WWW] Keyword(s): logical information system, GIS, graphical data. [bibtex-entry]


  11. P. Cellier, S. Ferré, O. Ridoux, and M. Ducassé. An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. In S. Ben Yahia and E. Mephu Nguifo, editors, Int. Conf. Concept Lattices and Their Applications, LNAI 4932, pages 243-248, 2006. Springer. [PDF] Keyword(s): concept analysis, algorithm, taxonomy. [Abstract] [bibtex-entry]


  12. Y. Padioleau, B. Sigonneau, and O. Ridoux. LISFS: a logical information system as a file system (demo). In Leon J. Osterweil, H. Dieter Rombach, and Mary Lou Soffa, editors, Int. Conf. Software Engineering, pages 803-806, 2006. ACM. [bibtex-entry]


  13. B. Sigonneau and O. Ridoux. Software Engineering Applications of Logic File System -- Application to Automated Multi-Criteria Indexation of Software Components. In ICSE Work. Mining Software Repositories, 2006. [bibtex-entry]


  14. T. Denmat, M. Ducassé, and O. Ridoux. Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization. In T. Ellman and A. Zisman, editors, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, November 2005. ACM Press. Note: See RR-5661 for a long version of this article. Keyword(s): Software Engineering, Debugging, Artificial Intelligence, Learning, Knowledge acquisition. [Abstract] [bibtex-entry]


  15. S. Ferré, O. Ridoux, and B. Sigonneau. Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. In ICCS, LNCS 3596, pages 166-180, 2005. Springer. Keyword(s): logical concept analysis, relation, logical information system, navigation. [Abstract] [bibtex-entry]


  16. Y. Padioleau and O. Ridoux. A Parts-of-File File System. In USENIX Annual Technical Conference, General Track (Short Paper), 2005. [WWW] [Abstract] [bibtex-entry]


  17. Yoann Padioleau, B. Sigonneau, Olivier Ridoux, and Sébastien Ferré. LISFS: a Logical Information System as a File System. In Véronique Benzaken, editor, Bases de données avancées, pages 393-398, October 2005. Université de Rennes 1. [WWW] [PDF] [Abstract] [bibtex-entry]


  18. B. Sigonneau and O. Ridoux. Indexation multiple et automatisée de composants logiciels orientés objet. In AFADL --- Approches Formelles dans l'Assistance au Développement de Logiciels, 2004. [bibtex-entry]


  19. Y. Padioleau and O. Ridoux. A Logic File System. In Proc. USENIX Annual Technical Conference, 2003. [bibtex-entry]


  20. Y. Padioleau and O. Ridoux. Présentation du «Parts-of-file File System». In Proc. Conférence Française sur les Systèmes d'exploitation, 2003. [bibtex-entry]


  21. O. Ridoux. Logic Information Systems for Logic Programmers. In C. Palamidessi, editor, Proc. Int. Conf. Logic Programming, 2003. Springer-Verlag, LNCS. [bibtex-entry]


  22. S. Bars, S. Ferré, and O. Ridoux. Logic Functors for Types as Search Keys. In Int. Workshop on Isomorphisms of Types, 2002. [WWW] [bibtex-entry]


  23. S. Ferré and O. Ridoux. The Use of Associative Concepts in the Incremental Building of a Logical Context. In G. Angelova U. Priss, D. Corbett, editor, Int. Conf. Conceptual Structures, LNCS 2393, pages 299-313, 2002. Springer. Keyword(s): concept analysis, logic, information systems, learning, classification, context. [Abstract] [bibtex-entry]


  24. J. Villaneau, J.-Y. Antoine, and O. Ridoux. LOGUS : un système formel de compréhension du français parlé spontané - présentation et évaluation. In TALN'02: Traitement Automatique de la Langue Naturelle, 2002. [bibtex-entry]


  25. S. Ferré and O. Ridoux. A Framework for Developing Embeddable Customized Logics. In A. Pettorossi, editor, Int. Work. Logic-based Program Synthesis and Transformation, LNCS 2372, pages 191-215, 2001. Springer. [WWW] Keyword(s): logic, composition, theorem prover, logic-based systems. [Abstract] [bibtex-entry]


  26. S. Ferré and O. Ridoux. Searching for Objects and Properties with Logical Concept Analysis. In Harry S. Delugach and Gerd Stumme, editors, International Conference on Conceptual Structures, LNCS 2120, pages 187-201, 2001. Springer. Keyword(s): concept analysis, navigation, knowledge discovery, logical information system. [Abstract] [bibtex-entry]


  27. E. Jahier, M. Ducassé, and O. Ridoux. Specifying Prolog Trace Models with a Continuation Semantics. In K.-K. Lau, editor, Logic Based Program Synthesis and Transformation, 2001. Springer-Verlag, Lecture Notes in Computer Science 2042. [bibtex-entry]


  28. J. Villaneau, J.-Y. Antoine, and O. Ridoux. Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. In Ph. de Groote, G. Morill, and Ch. Retoré, editors, 4th Int. Conf. Logical Aspects of Computational Linguistics, 2001. [bibtex-entry]


  29. S. Ferré and O. Ridoux. A File System Based on Concept Analysis. In Yehoshua Sagiv, editor, International Conference on Rules and Objects in Databases, number 1861 of Lecture Notes in Computer Science, pages 1033-1047, July 2000. Springer. Keyword(s): concept analysis, logic, information system, file system. [Abstract] [bibtex-entry]


  30. S. Ferré and O. Ridoux. A Logical Generalization of Formal Concept Analysis. In Guy Mineau and Bernhard Ganter, editors, International Conference on Conceptual Structures, number 1867 of Lecture Notes in Computer Science, pages 371-384, August 2000. Springer. Keyword(s): concept analysis, logic, context, information system. [Abstract] [bibtex-entry]


  31. E. Jahier, M. Ducassé, and O. Ridoux. Specifying Prolog Trace Models with a Continuation Semantics. In K.-K. Lau, editor, Proc. of LOgic-based Program Synthesis and TRansformation, London, July 2000. Note: Technical Report Report Series, Department of Computer Science, University of Manchester, ISSN 1361-6161. Report number UMCS-00-6-1.[WWW] [bibtex-entry]


  32. E. Jahier, M. Ducassé, and O. Ridoux. Spécification de modèles de traces de programmes Prolog à l'aide d'une sémantique par continuation. In Touraivane, editor, Actes des Journées francophones de Programmation Logique et par Contraintes, Marseille, 2000. Hermès. [bibtex-entry]


  33. D. Le Métayer, V.-A. Nicolas, and O. Ridoux. Verification by testing for recursive program schemes. In A. Bossi, editor, LOgic-based Program Synthesis and TRansformation, 2000. Springer-Verlag, Lecture Notes in Computer Science, 1817. [bibtex-entry]


  34. E. Jahier, M. Ducassé, and O. Ridoux. Specifying trace models with a continuation semantics. In M. Ducassé, A. Kusalik, L. Naish, and G. Puebla, editors, Proc. of ICLP'99 Workshop on Logic Programming Environments, 1999. Note: LPE'99. [WWW] Keyword(s): trace models, continuation semantics, specification, validation, Logic programming. [Abstract] [bibtex-entry]


  35. D. Le Métayer, V.-A. Nicolas, and O. Ridoux. Verification by testing for recursive program schemes. In LOPSTR'99 (International Workshop on Logic Program Synthesis and Transformation), 1999. Springer-Verlag, LNCS. [WWW] Keyword(s): Software engineering, program verification, white-box testing, automated test data generation, program analysis, program schemes. [Abstract] [bibtex-entry]


  36. O. Ridoux, Patrice Boizumault, and Frédéric Malésieux. Typed static analysis: application to groundness analysis of LambdaProlog and Prolog. In A. Middeldorp and T. Sato, editors, Proc. of the Int. Symp. on Functional and Logic Programming, 1999. Springer. [bibtex-entry]


  37. P. Louvet and O. Ridoux. Parametric Polymorphism for Typed Prolog and $\lambda$Prolog. In 8th Int. Symp. Programming Languages Implementation and Logic Programming, volume 1140 of LNCS, Aachen, Germany, pages 47-61, 1996. [WWW] Keyword(s): Logic programming, typing, polymorphism, second-order lambda-calculus.. [Abstract] [bibtex-entry]


  38. O. Ridoux. Engineering Transformations of Attributed Grammars in $\lambda$Prolog. In M. Maher, editor, Joint Int. Conf. and Symp. Logic Programming, pages 244-258, 1996. MIT Press. [WWW] Keyword(s): Syntax-directed translation, grammar transformations, logic grammars, DCG, LambdaProlog.. [Abstract] [bibtex-entry]


  39. O. Ridoux. Imagining CLP$(\Lambda,\equiv_{\alpha\beta})$. In A. Podelski, editor, Constraint Programming: Basics and Trends. Selected papers of the 22nd Spring School in Theoretical Computer Science. LNCS 910, Châtillon/Seine, France, pages 209-230, 1995. [WWW] Keyword(s): CLP, LambdaProlog, lambda-calculus.. [Abstract] [bibtex-entry]


  40. P. Brisset and O. Ridoux. The Architecture of an Implementation of $\lambda$Prolog: Prolog/Mali. In ILPS'94 Workshop on Implementation Techniques for Logic Programming Languages, 1994. Note: Extended version of \citebo92b. [WWW] Keyword(s): See \citebo92b. [Abstract] [bibtex-entry]


  41. P. Brisset and O. Ridoux. Continuations in $\lambda$Prolog. In D.S. Warren, editor, 10th Int. Conf. Logic Programming, pages 27-43, 1993. MIT Press. [WWW] Keyword(s): LambdaProlog, compilation, continuation, exception handling.. [Abstract] [bibtex-entry]


  42. S. Le Huitouze, P. Louvet, and O. Ridoux. Les grammaires logiques et $\lambda$Prolog. In Journées Francophones sur la Programmation en Logique, Nîmes, France, pages 93-108, 1993. Teknea. Note: Version française de \citellr93. [WWW] Keyword(s): LambdaProlog, grammaires logiques, portée, représentation du contexte.. [Abstract] [bibtex-entry]


  43. S. Le Huitouze, P. Louvet, and O. Ridoux. Logic Grammars and $\lambda$Prolog. In D.S. Warren, editor, 10th Int. Conf. Logic Programming, pages 64-79, 1993. MIT Press. [WWW] Keyword(s): LambdaProlog, logic grammars, scope, context handling in syntactic analysis.. [Abstract] [bibtex-entry]


  44. Y. Bekkers, O. Ridoux, and L. Ungaro. Dynamic Memory Management for Sequential Logic Programming Languages. In Y. Bekkers and J. Cohen, editors, Int. Worshop on Memory Management, volume 637 of LNCS, pages 82-102, 1992. Springer-Verlag. [WWW] Keyword(s): Memory management, logic programming, garbage collection, usefulness logic.. [Abstract] [bibtex-entry]


  45. P. Brisset and O. Ridoux. The Architecture of an Implementation of $\lambda$Prolog: Prolog/Mali. In Workshop on $\lambda$Prolog, Philadelphia, 1992. [WWW] Keyword(s): LambdaProlog, implementation, compilation, memory management.. [Abstract] [bibtex-entry]


  46. P. Brisset and O. Ridoux. Naïve Reverse Can Be Linear. In K. Furukawa, editor, 8th Int. Conf. Logic Programming, pages 857-870, 1991. MIT Press. [WWW] Keyword(s): LambdaProlog, implementation, function-lists, higher-order unification.. [Abstract] [bibtex-entry]


Internal reports
  1. S. Ferré and O. Ridoux. Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics. Research Report RR-5871, Irisa, March 2006. [WWW] Keyword(s): logic, components, modules and functors, theorem provers, type checking, application developpement. [Abstract] [bibtex-entry]


  2. T. Denmat, M. Ducassé, and O. Ridoux. Data Mining and Cross-checking of Execution Traces. A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version). Research Report RR-5661, INRIA, August 2005. Note: Also Publication Interne IRISA PI-1743. [WWW] [bibtex-entry]


  3. Y. Padioleau and O. Ridoux. A Logic File System. Research Report 4656, INRIA, 2003. [WWW] Keyword(s): file system, information retrieval, applied logic. [Abstract] [bibtex-entry]


  4. Y. Padioleau and O. Ridoux. The Parts-of-file File System. Rapport de recherche 4783, INRIA, 2003. [bibtex-entry]


  5. S. Ferré and O. Ridoux. Introduction to Logical Information Systems. Research Report RR-4540, Inria, Institut National de Recherche en Informatique et en Automatique, September 2002. [WWW] Keyword(s): information system, information search and retrieval, query formulation, representation languages, deduction and theorem proving. [Abstract] [bibtex-entry]


  6. S. Ferré and O. Ridoux. Logic Functors : a Framework for Developing Embeddable Customized Logics. Technical report RR-4457, Inria, Institut National de Recherche en Informatique et en Automatique, May 2002. [WWW] Keyword(s): applied logic, software component. [Abstract] [bibtex-entry]


  7. S. Ferré and O. Ridoux. A File System Based on Concept Analysis. Technical Report RR-3942, Inria, Institut National de Recherche en Informatique et en Automatique, avril 2000. [WWW] [bibtex-entry]


  8. S. Ferré and O. Ridoux. Une généralisation logique de l'analyse de concepts logique. Technical Report RR-3820, Inria, Institut National de Recherche en Informatique et en Automatique, December 1999. [WWW] Keyword(s): concept analysis, concept lattice, logic, context, information systems, querying, browsing. [Abstract] [Annotation] [bibtex-entry]


  9. P. Brisset and O. Ridoux. The Compilation of $\lambda$Prolog and its execution with MALI. Rapport de recherche 1831, INRIA, 1993. [WWW] Keyword(s): See \citebo92a. [Abstract] [bibtex-entry]


  10. P. Brisset and O. Ridoux. The Compilation of $\lambda$Prolog and its execution with MALI. Publication Interne 687, IRISA, 1992. [WWW] Keyword(s): LambdaProlog, implementation, compilation, memory management.. [Abstract] [bibtex-entry]


Miscellaneous
  1. P. Cellier, Mireille Ducassé, Sébastien Ferré, and O. Ridoux. Fouille de données pour la localisation de fautes dans les programmes, 2010. [bibtex-entry]



BACK TO INDEX



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.



Last modified: Mon Feb 6 13:38:23 2012
Author: ferre.

This document was translated from BibTEX by bibtex2html