Skip to Main content Skip to Navigation
Help


inria-00363594v1  Journal articles
Peggy CellierMireille DucasséSébastien FerréOlivier Ridoux. A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy
International Journal of Foundations of Computer Science, World Scientific Publishing, 2008, 19 (2), pp.319--343
...
hal-00783203v1  Journal articles
Daniel Le MétayerValérie-Anne NicolasOlivier Ridoux. Programs, Properties, and Data: Exploring the Software Development Trilogy
IEEE Software, Institute of Electrical and Electronics Engineers, 1998, 15 (6), pp.75-81. ⟨10.1109/52.730849⟩
...
inria-00071803v1  Reports
Yoann PadioleauOlivier Ridoux. The Parts-of-file File System
[Research Report] RR-4783, INRIA. 2003
...
inria-00071929v1  Reports
Yoann PadioleauOlivier Ridoux. A Logic File System
[Research Report] RR-4656, INRIA. 2002
...
inria-00074287v1  Reports
Olivier Ridoux. Imagining CLP (Lambda, alphabeta)
[Research Report] RR-2388, INRIA. 1994
...
hal-00783194v1  Journal articles
Daniel Le MétayerValérie-Anne NicolasOlivier Ridoux. Verification by Testing for Recursive Program Schemes
Lecture Notes in Computer Science, Springer, 2000, 1817 (Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Selected Pa), pp.255-272. ⟨10.1007/10720327_15⟩
...
hal-00180601v1  Conference papers
Peggy CellierSébastien FerréOlivier RidouxMireille Ducassé. A Parameterized Algorithm for Exploring Concept Lattices
Int. Conf. Formal Concept Analysis, Feb 2007, France. pp.114--129
...
inria-00187048v1  Conference papers
Olivier BedelSébastien FerréOlivier RidouxErwan Quesseveur. GEOLIS: A Logical Information System for Geographical Data
International Conference on Spatial Analysis and GEOmatics - SAGEO 2006, WEBER Christiane, GANCARSKI Pierre, Sep 2006, Strasbourg, France
...
hal-01253026v1  Conference papers
Peggy CellierSébastien FerréAnnie ForetOlivier Ridoux. Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique
16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France
hal-01119634v1  Conference papers
Peggy CellierSébastien FerréOlivier RidouxMireille Ducassé. An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy
International Conference on Concept Lattices and Their Applications, Oct 2006, Hammamet, Tunisia
...
inria-00363605v1  Conference papers
Olivier BedelSébastien FerréOlivier RidouxErwan Quesseveur. Exploring a Geographical Dataset with GEOLIS
DEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), 2007, Regensburg, Germany. pp.540--544
...
inria-00363607v1  Conference papers
Sébastien FerréOlivier Ridoux. Logical Information Systems: from Taxonomies to Logics
DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), 2007, Regensburg, Germany. pp.212--216