1. Olivier Ridoux and Gilles Lesventes. Calculateurs, calculs, calculabilité, Sciences Sup. Dunod, 2008. [bibtex-entry]

1. Olivier Bedel, Sébastien Ferré, and Olivier Ridoux. Développements logiciels en géomatique -- innovations et mutualisations, chapter GEOLIS : un système d'information logique pour l'organisation et la recherche de données géolocalisées, pages 149-180. Information géographique et Aménagement du Territoire. Hermes/Lavoisier, 2012. Keyword(s): logical information systems, geographical information systems, geo-located data. [bibtex-entry]



2. Olivier Bedel, Sébastien Ferré, and Olivier Ridoux. GEOLIS: a Logical Information System to Organize and Search Geo-Located Data. In B. Bucher and F. Le Ber, editors, Innovative Software Development in GIS, Geographical Information Systems Series, pages 151-188. Wiley, 2012. Keyword(s): logical information systems, geographical information systems, geo-located data. [bibtex-entry]



3. Olivier Bedel, Sébastien Ferré, Olivier Ridoux, and Erwan 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]



4. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille 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]



5. Benjamin 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]



6. Sébastien Ferré and Olivier 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]



7. Jeanne Villaneau, Olivier 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]



8. 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]



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



10. 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]



11. 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]



12. 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]

1. Anne-Laure Ligozat, Kevin Marquet, Aurélie Bugeau, Julien Lefevre, Pierre Boulet, Sylvain Bouveret, Philippe Marquet, Olivier Ridoux, and Olivier Michel. How to Integrate Environmental Challenges in Computing Curricula?. In Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE'22), Providence, RI, USA., March 2022. ACM. [WWW] [Abstract] [bibtex-entry]



2. Guillaume Aucher, Annie Foret, JeanBaptiste Lenhof, Olivier Ridoux, Francois Schwarzentruber, and al.. Principles for a judgement editor based on Multi-BDDs. In MIning and REasoning with Legal texts at ICAIL, London, 2017. [WWW] [Abstract] [bibtex-entry]



3. Peggy Cellier, Sébastien Ferré, Annie Foret, and Olivier Ridoux. Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. In Cyril de Runz and Bruno Crémilleux, editors, Journées Francophones Extraction et Gestion des Connaissances, EGC, RNTI E-30, pages 443-448, 2016. Hermann-Éditions. [WWW] [bibtex-entry]



4. Soda Cissé, Olivier Ridoux, and Peggy Cellier. Représentation Symbolique de Trajectoires Géolocalisées. In Hajer Baazaoui Zghal, Christophe Claramunt, and Mohamed Ramzi Haddad, editors, Int. Conf. Spatial Analysis and GEOmatics (SAGEO), volume 1535 of CEUR Workshop Proceedings, pages 208-221, 2015. CEUR-WS.org. [bibtex-entry]



5. Soda Cissé, Peggy Cellier, and Olivier Ridoux. Segmentation of Geolocalized Trajectories using Exponential Moving Average. In Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées (CARI), pages 149-156, 2014. Keyword(s): geolocalized trajectories, segmentation. [Abstract] [bibtex-entry]



6. Sébastien Ferré, Pierre Allard, and Olivier Ridoux. Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. In F. Domenach, D. I. Ignatov, and J. Poelmans, editors, Int. Conf. Formal Concept Analysis, LNCS 7278, pages 112-127, 2012. Springer. Keyword(s): formal concept analysis, OLAP, cubes of concepts, multi-valued contexts. [Abstract] [bibtex-entry]



7. 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]



8. Pierre Allard, Sébastien Ferré, and Olivier 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]



9. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier 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]



10. Olivier Bedel, Sébastien Ferré, and Olivier 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]



11. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier 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]



12. Olivier Bedel, Sébastien Ferré, and Olivier 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]



13. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille 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]



14. Sébastien Ferré and Olivier 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]



15. Olivier Bedel, Sébastien Ferré, Olivier Ridoux, and Erwan 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]



16. Olivier Bedel, Olivier Ridoux, and Erwan 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]



17. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille 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]



18. Yoann Padioleau, Benjamin Sigonneau, and Olivier 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. Keyword(s): demo. [bibtex-entry]



19. Benjamin Sigonneau and Olivier 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]



20. 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]



21. Sébastien Ferré, Olivier Ridoux, and Benjamin 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]



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



23. Yoann Padioleau, Benjamin 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]



24. Benjamin Sigonneau and Olivier 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]



25. Yoann Padioleau and Olivier Ridoux. A Logic File System. In Proc. USENIX Annual Technical Conference, 2003. [bibtex-entry]



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



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



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



29. Sébastien Ferré and Olivier 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]



30. J. Villaneau, J.-Y. Antoine, and Olivier 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]



31. Sébastien Ferré and Olivier 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]



32. Sébastien Ferré and Olivier 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]



33. 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]



34. J. Villaneau, J.-Y. Antoine, and Olivier 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]



35. Sébastien Ferré and Olivier 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]



36. Sébastien Ferré and Olivier 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]



37. 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]



38. 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]



39. D. Le Métayer, V.-A. Nicolas, and Olivier 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]



40. 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]



41. 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]



42. Olivier 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]



43. 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]



44. 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]



45. 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]



46. 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. [WWW] [bibtex-entry]



47. 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]



48. 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. [WWW] Keyword(s): LambdaProlog, grammaires logiques, portée, représentation du contexte.. [Abstract] [bibtex-entry]



49. 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]



50. 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]



51. 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]



52. 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]

1. Guillaume Aucher, Anthony Baire, Jean Berbinau, Annie Foret, Jean-Baptiste Lenhof, Marie-Laure Morin, Olivier Ridoux, and François Schwarzentruber. Principles for a Judgement Editor Based on BDD. Research Report, Université de Rennes 1, France, November 2018. Note: Report of a collaborative project between the Cour de cassation, the University of Rennes 1, the ENS Rennes, the INRIA and the University of Torino, from 2013 to 2015.[WWW] [PDF] Keyword(s): BDD, software assistant, Law, artificial intelligence. [bibtex-entry]



2. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Data Mining for Fault Localization: towards a Global Debugging Process. Research Report, INSA RENNES ; Univ Rennes, CNRS, IRISA, France, 2018. [WWW] [PDF] [bibtex-entry]



3. Hugues Ferreboeuf, Olivier Ridoux, and others. LEAN ICT, Pour une sobriété numérique. Technical report, The SHIFT Project, France, Mars 2018. Note: Rapport de travail intermédiaire.[WWW] [PDF] Keyword(s): Green IT, IT impact, LCA. [bibtex-entry]



4. Sébastien Ferré and Olivier 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]



5. 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]



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



7. Yoann Padioleau and Olivier Ridoux. The Parts-of-file File System. Rapport de recherche 4783, INRIA, 2003. [bibtex-entry]



8. Sébastien Ferré and Olivier 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]



9. Sébastien Ferré and Olivier 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]



10. Sébastien Ferré and Olivier 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]



11. Sébastien Ferré and Olivier 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]



12. P. Brisset and O. Ridoux. The Compilation of $\lambda$Prolog and its execution with MALI. Rapport de recherche 1831, INRIA, 1993. [WWW] [bibtex-entry]



13. 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]

1. Guillaume Aucher and Olivier Ridoux. Manifest: For more Interactions between Computer Science, Human and Social Sciences and Arts. Science des données et sciences humaines et sociales : atelier 4 du Data Science Symposium, November 2015. [WWW] [PDF] Keyword(s): Art, Computer science, Human and social sciences, Interdisciplinarity research. [bibtex-entry]



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

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.

This document was translated from BibT_EX by bibtex2html