default search action
Olivier Ridoux
Person information
- affiliation: IRISA Rennes
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c58]Clément Morand, Olivier Ridoux:
Extraction dans des textes anciens d'entités nommées de type binômes de la classification linnéenne du vivant : une étude de cas. EGC 2023: 417-424 - 2022
- [c57]Anne-Laure Ligozat, Kevin Marquet, Aurélie Bugeau, Julien Lefèvre, Pierre Boulet, Sylvain Bouveret, Philippe Marquet, Olivier Ridoux, Olivier Michel:
How to Integrate Environmental Challenges in Computing Curricula? SIGCSE (1) 2022: 899-905
2010 – 2019
- 2016
- [c56]Peggy Cellier, Sébastien Ferré, Annie Foret, Olivier Ridoux:
Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. EGC 2016: 443-448 - 2015
- [c55]Soda Marème Cissé, Olivier Ridoux, Peggy Cellier:
Représentation Symbolique de Trajectoires Géolocalisées. SAGEO 2015: 208-221 - 2012
- [c54]Sébastien Ferré, Pierre Allard, Olivier Ridoux:
Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. ICFCA 2012: 112-127 - 2011
- [c53]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux:
Multiple Fault Localization with Data Mining. SEKE 2011: 238-243 - 2010
- [c52]Pierre Allard, Sébastien Ferré, Olivier Ridoux:
Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. CLA 2010: 199-210
2000 – 2009
- 2009
- [c51]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux:
DeLLIS: A Data Mining Process for Fault Localization. SEKE 2009: 432-437 - 2008
- [j10]Peggy 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) - [c50]Olivier Bedel, Sébastien Ferré, Olivier Ridoux:
Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. ICFCA 2008: 241-257 - [c49]Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux:
Formal Concept Analysis Enhances Fault Localization in Software. ICFCA 2008: 273-288 - 2007
- [j9]Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur:
GEOLIS: a logical information system for geographical data. Rev. Int. Géomatique 17(3-4): 371-390 (2007) - [c48]Sébastien Ferré, Olivier Ridoux:
Logical Information Systems: from Taxonomies to Logics. DEXA Workshops 2007: 212-216 - [c47]Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur:
Exploring a Geographical Dataset with GEOLIS. DEXA Workshops 2007: 540-544 - [c46]Sébastien Ferré, Olivier Ridoux:
From Description Logics to Logic Functors, and Back. Description Logics 2007 - [c45]Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé:
A Parameterized Algorithm for Exploring Concept Lattices. ICFCA 2007: 114-129 - 2006
- [j8]Benjamin Sigonneau, Olivier Ridoux:
Indexation multiple et automatisée de composants logiciels. Tech. Sci. Informatiques 25(1): 9-42 (2006) - [c44]Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé:
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. CLA 2006: 226-231 - [c43]Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux:
LISFS: a logical information system as a file system. ICSE 2006: 803-806 - [c42]Benjamin Sigonneau, Olivier Ridoux:
Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. MSR 2006: 87-93 - 2005
- [c41]Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau:
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. ICCS 2005: 166-180 - [c40]Tristan 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 - [c39]Yoann Padioleau, Olivier Ridoux:
A Parts-of-File File System. USENIX ATC, General Track 2005: 359-362 - 2004
- [j7]Sébastien Ferré, Olivier Ridoux:
Introduction to logical information systems. Inf. Process. Manag. 40(3): 383-419 (2004) - [j6]Jeanne Villaneau, Olivier Ridoux, Jean-Yves Antoine:
LOGUS : compréhension de l'oral spontané. Présentation et évaluation des bases formelles de LOGUS. Rev. d'Intelligence Artif. 18(5-6): 709-742 (2004) - [c38]Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux:
Logical Approach to Natural Language Understanding in a Spoken Dialogue System. TSD 2004: 637-644 - 2003
- [j5]Catherine Belleannée, Olivier Ridoux:
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. Tech. Sci. Informatiques 22(1): 49-62 (2003) - [c37]Olivier Ridoux:
Logic Information Systems for Logic Programmers. ICLP 2003: 3-19 - [c36]Catherine Belleannée, Olivier Ridoux:
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. JFPLC 2003: 49-62 - [c35]Yoann Padioleau, Olivier Ridoux:
A Logic File System. USENIX ATC, General Track 2003: 99-112 - 2002
- [c34]Thomas P. Jensen, Florimond Ployette, Olivier Ridoux:
Iteration schemes for fixed point calculation. FICS 2002: 69-76 - [c33]Sébastien Ferré, Olivier Ridoux:
The Use of Associative Concepts in the Incremental Building of a Logical Context. ICCS 2002: 299-313 - [c32]Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux:
LOGUS : un système formel de compréhension du français parlé spontané-présentation et évaluation. TALN (Articles longs) 2002: 167-176 - 2001
- [j4]Olivier Ridoux, Patrice Boizumault:
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. J. Funct. Log. Program. 2001(4) (2001) - [c31]Sébastien Ferré, Olivier Ridoux:
Searching for Objects and Properties with Logical Concept Analysis. ICCS 2001: 187-201 - [c30]Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux:
Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. LACL 2001: 279-295 - [c29]Sébastien Ferré, Olivier Ridoux:
A Framework for Developing Embeddable Customized Logics. LOPSTR 2001: 191-215 - 2000
- [c28]Sébastien Ferré, Olivier Ridoux:
A File System Based on Concept Analysis. Computational Logic 2000: 1033-1047 - [c27]Sébastien Ferré, Olivier Ridoux:
A Logical Generalization of Formal Concept Analysis. ICCS 2000: 371-384 - [c26]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 - [c25]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Prolog trace models with a continuation semantics. LOPSTR 2000 - [c24]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) 2000: 165-182
1990 – 1999
- 1999
- [j3]Catherine Belleannée, Pascal Brisset, Olivier Ridoux:
A Pragmatic Reconstruction of lambda-Prolog. J. Log. Program. 41(1): 67-102 (1999) - [c23]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 - [c22]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 - [c21]Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux:
Verification by Testing for Recursive Program Schemes. LOPSTR 1999: 255-272 - [c20]Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Byrd's Box Model with a Continuation Semantics. WLPE@ICLP 1999: 308-315 - 1998
- [j2]Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux:
Exploring the Software Development Trilogy. IEEE Softw. 15(6): 75-81 (1998) - [c19]Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault:
Abstract Compilation of lambda-Prolog. IJCSLP 1998: 130-144 - [c18]Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault:
Compilation abstraite de LambdaProlog. JFPLC 1998: 287- - [e1]Olivier Ridoux:
JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France. Hermes 1998, ISBN 2-86601-691-2 [contents] - 1996
- [c17]Olivier Ridoux:
Engineering Transformations of Attributed Grammars in LambdaProlog. JICSLP 1996: 244-258 - [c16]Pascale Louvet, Olivier Ridoux:
Parametric Polymorphism for Typed Prolog and lambda-Prolog. PLILP 1996: 47-61 - 1995
- [j1]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
- [c15]Pascal Brisset, Olivier Ridoux:
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994 - [c14]Olivier Ridoux:
Imagining CLP(A, equiv alpha beta). Constraint Programming 1994: 209-230 - 1993
- [c13]Pascal Brisset, Olivier Ridoux:
Continuations in Lambda-Prolog. ICLP 1993: 27-43 - [c12]Serge Le Huitouze, Pascale Louvet, Olivier Ridoux:
Logic Grammars and Lambda-Prolog. ICLP 1993: 64-79 - [c11]Serge Le Huitouze, Pascale Louvet, Olivier Ridoux:
Les grammaires logiques et lambda-Prolog. JFPL 1993: 93-108 - 1992
- [c10]Yves Bekkers, Olivier Ridoux, Lucien Ungaro:
Dynamic Memory Management for Sequential Logic Programming Languages. IWMM 1992: 82-102 - 1991
- [c9]Pascal Brisset, Olivier Ridoux:
Naïve Reverse Can be Linear. ICLP 1991: 857-870 - 1990
- [c8]Olivier Ridoux, H. Tonneau:
Une mise en oeuvre de l'unification d'expressions booléennes. SPLT 1990: 551-570
1980 – 1989
- 1989
- [c7]Pascal Brisset, Olivier Ridoux:
Quelques applications du filtrage paresseux. SPLT 1989: 479- - 1987
- [c6]Olivier Ridoux:
Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria. ISCA 1987: 128-136 - [c5]Louis 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
- [c4]Serge Le Huitouze, Olivier Ridoux:
Une expérience de réalisation du Gel et du Dif dans MALI. SPLT 1986: 269-280 - [c3]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 - 1984
- [c2]Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro:
A Memory Management Machine for Prolog Interpreter. ICLP 1984: 343-353 - [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint