Accéder directement au contenu

Olivier Ridoux

Professor at Université de Rennes
63
Documents
Affiliations actuelles
  • 490899

Domaines de recherche

Informatique [cs]

Compétences

Programmation (théories de), Logique (applications de), Systèmes d'information, Green IT

Publications

Image document

Référentiel de connaissances pour un numérique éco-responsable

Pierre Boulet , Sylvain Bouveret , Aurélie Bugeau , Frenoux Emmanuelle , Julien Lefevre
[Rapport de recherche] EcoInfo. 2020
Rapport hal-02954188v1
Image document

Data Mining for Fault Localization: towards a Global Debugging Process

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux
[Research Report] INSA RENNES; Univ Rennes, CNRS, IRISA, France. 2018
Rapport hal-02003069v1
Image document

Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics

Sébastien Ferré , Olivier Ridoux
[Research Report] RR-5871, INRIA. 2006, pp.103
Rapport inria-00070155v1
Image document

Data Mining and Cross-checking of Execution Traces: A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version)

Tristan Denmat , Mireille Ducassé , Olivier Ridoux
[Research Report] PI 1743, 2005, pp.21
Rapport inria-00000566v1
Image document

Data Mining and Cross-checking of Execution Traces : A re-intepretation of Jones, Harrold and Stasko test information visualization (Long version)

Tristan Denmat , Mireille Ducassé , Olivier Ridoux
[Research Report] RR-5661, INRIA. 2005, pp.21
Rapport inria-00070347v1
Image document

The Parts-of-file File System

Yoann Padioleau , Olivier Ridoux
[Research Report] RR-4783, INRIA. 2003
Rapport inria-00071803v1
Image document

Logic Functors : a Framework for Developing Embeddable Customized Logics

Sébastien Ferré , Olivier Ridoux
[Research Report] RR-4457, INRIA. 2002
Rapport inria-00072131v1
Image document

A Logic File System

Yoann Padioleau , Olivier Ridoux
[Research Report] RR-4656, INRIA. 2002
Rapport inria-00071929v1
Image document

Introduction to Logical Information Systems

Sébastien Ferré , Olivier Ridoux
[Research Report] RR-4540, INRIA. 2002
Rapport inria-00072048v1
Image document

A File System Based on Concept Analysis

Sébastien Ferré , Olivier Ridoux
[Research Report] RR-3942, INRIA. 2000
Rapport inria-00072708v1
Image document

Une généralisation logique de l'analyse de concepts formels

Sébastien Ferré , Olivier Ridoux
[Rapport de recherche] RR-3820, INRIA. 1999
Rapport inria-00072838v1
Image document

The Architecture of an Implementation of LambdaProlog: Prolog/Mali

Pascal Brisset , Olivier Ridoux
[Research Report] RR-2392, INRIA. 1994
Rapport inria-00074283v1
Image document

A Pragmatic Reconstruction of LambdaProlog

Catherine Belleannée , Pascal Brisset , Olivier Ridoux
[Research Report] RR-2390, INRIA. 1994
Rapport inria-00074285v1
Image document

Imagining CLP (Lambda, alphabeta)

Olivier Ridoux
[Research Report] RR-2388, INRIA. 1994
Rapport inria-00074287v1
Image document

On the use of advanced logic programming languages

Solange Coupet-Grimal , Olivier Ridoux
[Research Report] RR-2391, INRIA. 1994
Rapport inria-00074284v1
Image document

The Compilation of lambdaProlog and its execution with MALI

Pascal Brisset , Olivier Ridoux
[Research Report] RR-1831, INRIA. 1993
Rapport inria-00074841v1
Image document

Programming with MALI. The interpretation of Prolog programs

Louis Chevallier , Serge Le Huitouze , Olivier Ridoux
[Research Report] RR-1048, INRIA. 1989
Rapport inria-00075511v1
Image document

Programming with MALI -unification or ordered types

Olivier Ridoux
[Research Report] RR-1058, INRIA. 1989
Rapport inria-00075501v1
Image document

Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs Prolog

Yves Bekkers , Bernard Canet , Olivier Ridoux , Lucien Ungaro
[Rapport de recherche] RR-0280, INRIA. 1984
Rapport inria-00076278v1
Image document

Spécification d'une machine de gestion mémoire pour les interpréteurs des langages logiques.Version 1 (provisoire)

Yves Bekkers , Bernard Canet , Olivier Ridoux , Lucien Ungaro
[Rapport de recherche] RR-0283, INRIA. 1984
Rapport inria-00076275v1
Image document

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

Olivier Ridoux , Clément Morand
Extraction et Gestion des Connaissances (EGC) 2023, 2023, Lyon, France
Communication dans un congrès hal-04447919v1

Table ronde : L’innovation comme solution

Olivier Ridoux
Journées Scientifiques de l'Environnement, Mar 2022, Créteil (France), France
Communication dans un congrès hal-04048147v1
Image document

Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique

Peggy Cellier , Sébastien Ferré , Annie Foret , Olivier Ridoux
16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France
Communication dans un congrès hal-01253026v1

Segmentation of Geolocalized Trajectories using Exponential Moving Average

Soda Cissé , Peggy Cellier , Olivier Ridoux
Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées (CARI), Oct 2014, Saint Louis, Senegal
Communication dans un congrès hal-01119534v1
Image document

Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts

Sébastien Ferré , Pierre Allard , Olivier Ridoux
Int. Conf. Formal Concept Analysis, May 2012, Leuven, Belgium. pp.112-127
Communication dans un congrès hal-00779957v1

Multiple Fault Localization with Data Mining

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux
International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States
Communication dans un congrès hal-01119562v1
Image document

Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views

Pierre Allard , Sébastien Ferré , Olivier Ridoux
Concept Lattices and Their Applications, Oct 2010, Sevilla, Spain. pp.199-210
Communication dans un congrès inria-00549856v1

DeLLIS: A Data Mining Process for Fault Localization

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux
International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2009, Boston, United States
Communication dans un congrès hal-01119579v1
Image document

Formal Concept analysis enhances Fault Localization in Software

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux
Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273--288
Communication dans un congrès inria-00363593v1
Image document

Handling Spatial Relations in Logical Concept Analysis To Explore Geographical Data

Olivier Bedel , Sébastien Ferré , Olivier Ridoux
Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.241--257
Communication dans un congrès inria-00363592v1
Image document

Logical Information Systems: from Taxonomies to Logics

Sébastien Ferré , Olivier Ridoux
DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), 2007, Regensburg, Germany. pp.212--216
Communication dans un congrès inria-00363607v1
Image document

Exploring a Geographical Dataset with GEOLIS

Olivier Bedel , Sébastien Ferré , Olivier Ridoux , Erwan Quesseveur
DEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), 2007, Regensburg, Germany. pp.540--544
Communication dans un congrès inria-00363605v1
Image document

A Parameterized Algorithm for Exploring Concept Lattices

Peggy Cellier , Sébastien Ferré , Olivier Ridoux , Mireille Ducassé
Int. Conf. Formal Concept Analysis, Feb 2007, France. pp.114--129
Communication dans un congrès hal-00180601v1

An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy

Peggy Cellier , Sébastien Ferré , Olivier Ridoux , Mireille Ducassé
International Conference on Concept Lattices and Their Applications, Oct 2006, Hammamet, Tunisia
Communication dans un congrès hal-01119634v1
Image document

GEOLIS: A Logical Information System for Geographical Data

Olivier Bedel , Sébastien Ferré , Olivier Ridoux , Erwan Quesseveur
International Conference on Spatial Analysis and GEOmatics - SAGEO 2006, WEBER Christiane, GANCARSKI Pierre, Sep 2006, Strasbourg, France
Communication dans un congrès inria-00187048v1

Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization

Tristan Denmat , Mireille Ducassé , Olivier Ridoux
International Conference on Automated Software Engineering, 2005, Long Beach, United States
Communication dans un congrès hal-00756834v1
Image document

A Parts-of-file File System

Yoann Padioleau , Olivier Ridoux
USENIX 2005 Annual Technical Conference, General Track, Apr 2005, Anaheim, CA, United States
Communication dans un congrès hal-03214500v1
Image document

Logical Approach to Natural Language Understanding in a Spoken Dialogue System

Jeanne Villaneau , Jean-Yves Antoine , Olivier Ridoux
7th International Conference on Text, Speech and Dialogue, Sep 2004, Brno, Czech Republic. pp.637-644
Communication dans un congrès hal-00484116v1
Image document

A Logic File System

Yoann Padioleau , Olivier Ridoux
USENIX 2003 Annual Technical Conference, General Track, Sep 2003, San Antonio, TX, United States
Communication dans un congrès hal-03214497v1
Image document

The Art of Picopoly

Olivier Ridoux
2021
Pré-publication, Document de travail hal-03155296v1
Image document

Manifeste: Pour plus d'Interactions entre Informatique, Sciences Humaines et Sociales et Arts

Guillaume Aucher , Olivier Ridoux
Science des données et sciences humaines et sociales : atelier 4 du Data Science Symposium, Nov 2015, Rennes, France. , pp.6, 2015
Document associé à des manifestations scientifiques hal-01230651v1

Reconnaître les noms binomiaux des espèces biologiques dans un corpus ancien

Clément Morand , Olivier Ridoux
Interstices, 2023
Article dans une revue hal-04231214v1
Image document

GEOLIS: A Logical Information System for Geographical Data

Olivier Bedel , Sébastien Ferré , Olivier Ridoux , Erwan Quesseveur
Revue Internationale de Géomatique, 2008, 17 (3-4), pp.371-390
Article dans une revue inria-00363600v1

A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux
International Journal of Foundations of Computer Science, 2008, 19 (2), pp.319--343
Article dans une revue inria-00363594v1

Variabilité, limite, stabilité en informatique

Olivier Ridoux
Interstices, 2007
Article dans une revue hal-01350426v1

À propos de dualités en sciences et technologies de l'information et de la communication

Olivier Ridoux , Thierry Viéville
Interstices, 2005
Article dans une revue inria-00000457v1
Image document

Verification by Testing for Recursive Program Schemes

Daniel Le Métayer , Valérie-Anne Nicolas , Olivier Ridoux
Lecture Notes in Computer Science, 2000, 1817 (Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Selected Pa), pp.255-272. ⟨10.1007/10720327_15⟩
Article dans une revue hal-00783194v1

A pragmatic reconstruction of Lambda-Prolog

Catherine Belleannee , Pascal Brisset , Olivier Ridoux
Journal of Logic Programming, 1999, 41 (1), pp 67-102. ⟨10.1016/S0743-1066(98)10038-9⟩
Article dans une revue hal-00934033v1
Image document

Programs, Properties, and Data: Exploring the Software Development Trilogy

Daniel Le Métayer , Valérie-Anne Nicolas , Olivier Ridoux
IEEE Software, 1998, 15 (6), pp.75-81. ⟨10.1109/52.730849⟩
Article dans une revue hal-00783203v1