Olivier Ridoux

66
Documents
Affiliation actuelle
  • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)

Domaines de recherche

Informatique [cs]

Compétences

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

Publications

24
22
5
2
1
1
1
1
1
1
1
1
1
1
1
1
1
23
21
13
6
3
3
2
2
1

Publications

Image document

ICT within limits compared with fisheries within limits

Olivier Ridoux
Undone Computer Science, Université de Nantes, Inria, and LORIA Université de Lorraine, Feb 2024, Nantes (France), France
Communication dans un congrès hal-04867654 v1
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
23ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC), Jan 2023, Lyon, France
Communication dans un congrès hal-04447919 v1

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-04048147 v1
Image document

How to Integrate Environmental Challenges in Computing Curricula?

Anne-Laure Ligozat , Kevin Marquet , Aurélie Bugeau , Julien Lefèvre , Pierre Boulet et al.
SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, Mar 2022, Providence RI USA, France. pp.899-905, ⟨10.1145/3478431.3499280⟩
Communication dans un congrès hal-03606210 v1
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-01253026 v1

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-01119534 v1
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-00779957 v1

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-01119562 v1
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-00549856 v1

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-01119579 v1
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-00363593 v1
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-00363592 v1
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-00363607 v1
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-00180601 v1
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-00363605 v1

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-01119634 v1
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-00187048 v1

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-00756834 v1
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-03214500 v1
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-00484116 v1
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-03214497 v1
Image document

Data Mining‐Based Techniques for Software Fault Localization

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux , W. Eric Wong
Handbook of Software Fault Localization, 1, Wiley, Chapitre 7, 2023, Handbook of Software Fault Localization: Foundations and Advances, 9781119291824. ⟨10.1002/9781119880929.ch7⟩
Chapitre d'ouvrage hal-04403506 v1

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-04231214 v1

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-00363594 v1
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-00363600 v1

Variabilité, limite, stabilité en informatique

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

À 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-00000457 v1
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-00783194 v1

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 istex hal-00934033 v1
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-00783203 v1
Image document

The Art of Picopoly

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

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

Pierre Boulet , Sylvain Bouveret , Aurélie Bugeau , Frenoux Emmanuelle , Julien Lefevre et al.
[Rapport de recherche] EcoInfo. 2020
Rapport (rapport de recherche) hal-02954188 v1
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 (rapport de recherche) hal-02003069 v1
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 (rapport de recherche) inria-00070155 v1
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 (rapport de recherche) inria-00000566 v1
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 (rapport de recherche) inria-00070347 v1
Image document

The Parts-of-file File System

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

Logic Functors : a Framework for Developing Embeddable Customized Logics

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

Introduction to Logical Information Systems

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

A Logic File System

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

A File System Based on Concept Analysis

Sébastien Ferré , Olivier Ridoux
[Research Report] RR-3942, INRIA. 2000
Rapport (rapport de recherche) inria-00072708 v1
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 (rapport de recherche) inria-00072838 v1
Image document

A Pragmatic Reconstruction of LambdaProlog

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

Imagining CLP (Lambda, alphabeta)

Olivier Ridoux
[Research Report] RR-2388, INRIA. 1994
Rapport (rapport de recherche) inria-00074287 v1
Image document

The Architecture of an Implementation of LambdaProlog: Prolog/Mali

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

On the use of advanced logic programming languages

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

The Compilation of lambdaProlog and its execution with MALI

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

Programming with MALI -unification or ordered types

Olivier Ridoux
[Research Report] RR-1058, INRIA. 1989
Rapport (rapport de recherche) inria-00075501 v1
Image document

Programming with MALI. The interpretation of Prolog programs

Louis Chevallier , Serge Le Huitouze , Olivier Ridoux
[Research Report] RR-1048, INRIA. 1989
Rapport (rapport de recherche) inria-00075511 v1
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 (rapport de recherche) inria-00076278 v1
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 (rapport de recherche) inria-00076275 v1
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-01230651 v1