- Renseignements pratiques
- Enseignement
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025
[hal-04992758:1]
Machines, Computations, and Universality, Enrico Formenti and Jérôme Durand-Lose (Ed.). Nice, France, Lecture Notes in Computer Science, Vol. 15270, Springer Nature Switzerland. 06. 2024. [URL]
[hal-04973039:1]
Clément Dallard, Maël Dumas, Claire Hilaire & Anthony Perez, Sufficient Conditions for Polynomial-Time Detection of Induced Minors, in 50th International Conference on Current Trends in Theory and Practice of Computer Science. Bratislava, Slovakia, Lecture Notes in Computer Science, Vol. 15538. Pp. 195-208, Springer Nature Switzerland. 2025. [URL]
[hal-04859489:1]
Jérémy Damour, Allan Blanchard, Loïc Correnson & Frédéric Loulergue, Formalisation d'une analyse de région pour Frama-C/WP, in 36es Journées Francophones des Langages Applicatifs (JFLA 2025). Roiffé, France. 01. 2025. [URL]
[hal-04795983:1]
Jordan Ischard, Frederic Dabrowski, Jules Chouquet & Frédéric Loulergue, A Mechanized Formalization of an FRP Language with Effects, in ACM Symposium on Applied Computing (SAC), ACM (Ed.). Sicily, Italy. 03. 2025. [URL]
[hal-04917364:1]
Charles Olivier-Anclin, Ioana Boureanu, Liqun Chen, Christopher Newton, Tom Chothia, Anna Clee, Andreas Kokkinis & Pascal Lafourcade, Who Pays Whom? Anonymous EMV-Compliant Contactless Payments, in 34th USENIX Security Symposium 2025. Seattle, United States. 08. 2025. [URL]
[hal-04967663:1]
Thi Hai Yen Vu, Thi-Bich-Hanh Dao, Vincent Nguyen, Christel Vrain & Hugo Breuillard, Features Leverage in Graph Models for Mineral Prospectivity Mapping, in ACM Symposium On Applied Computing (SAC). Sicily, Italy. 03. 2025. [URL]
[hal-04995571:1]
Mathieu Guilbert, Christel Vrain & Thi-Bich-Hanh Dao, Une approche déclarative pour le clustering explicable sous contraintes, in Extraction et Gestion des Connaissances (EGC). Strasbourg, France, Vol. Extraction et Gestion des Connaissances, vol. RNTI-E-41. Pp. pp.87-98. 01. 2025. [URL]
[hal-04995593:1]
Mathieu Guilbert, Christel Vrain & Thi-Bich-Hanh Dao, A Constrained Declarative Based Approach for Explainable Clustering, in Symposium on Intelligent Data Analysis (IDA 2025). Konstanz, Germany. 05. 2025. [URL]
[hal-04966499:1]
Siva Anantharaman, Sabine Frittella & Benjamin Nguyen, Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis. 02. 2025. [URL]
[hal-04983000:1]
Frédéric Dabrowski & Jordan Ischard, FUNCTIONAL REACTIVE PROGRAMMING WITH EFFECTS, A MORE PERMISSIVE APPROACH. 03. 2025. [URL]
Direction d'ouvrages scientifiques
[hal-04992758:1]
Machines, Computations, and Universality, Enrico Formenti and Jérôme Durand-Lose (Ed.). Nice, France, Lecture Notes in Computer Science, Vol. 15270, Springer Nature Switzerland. 06. 2024. [URL]
Communications avec actes dans un congrès international
[hal-04973039:1]
Clément Dallard, Maël Dumas, Claire Hilaire & Anthony Perez, Sufficient Conditions for Polynomial-Time Detection of Induced Minors, in 50th International Conference on Current Trends in Theory and Practice of Computer Science. Bratislava, Slovakia, Lecture Notes in Computer Science, Vol. 15538. Pp. 195-208, Springer Nature Switzerland. 2025. [URL]
[hal-04859489:1]
Jérémy Damour, Allan Blanchard, Loïc Correnson & Frédéric Loulergue, Formalisation d'une analyse de région pour Frama-C/WP, in 36es Journées Francophones des Langages Applicatifs (JFLA 2025). Roiffé, France. 01. 2025. [URL]
[hal-04795983:1]
Jordan Ischard, Frederic Dabrowski, Jules Chouquet & Frédéric Loulergue, A Mechanized Formalization of an FRP Language with Effects, in ACM Symposium on Applied Computing (SAC), ACM (Ed.). Sicily, Italy. 03. 2025. [URL]
[hal-04917364:1]
Charles Olivier-Anclin, Ioana Boureanu, Liqun Chen, Christopher Newton, Tom Chothia, Anna Clee, Andreas Kokkinis & Pascal Lafourcade, Who Pays Whom? Anonymous EMV-Compliant Contactless Payments, in 34th USENIX Security Symposium 2025. Seattle, United States. 08. 2025. [URL]
[hal-04967663:1]
Thi Hai Yen Vu, Thi-Bich-Hanh Dao, Vincent Nguyen, Christel Vrain & Hugo Breuillard, Features Leverage in Graph Models for Mineral Prospectivity Mapping, in ACM Symposium On Applied Computing (SAC). Sicily, Italy. 03. 2025. [URL]
Communications sans actes
[hal-04995571:1]
Mathieu Guilbert, Christel Vrain & Thi-Bich-Hanh Dao, Une approche déclarative pour le clustering explicable sous contraintes, in Extraction et Gestion des Connaissances (EGC). Strasbourg, France, Vol. Extraction et Gestion des Connaissances, vol. RNTI-E-41. Pp. pp.87-98. 01. 2025. [URL]
[hal-04995593:1]
Mathieu Guilbert, Christel Vrain & Thi-Bich-Hanh Dao, A Constrained Declarative Based Approach for Explainable Clustering, in Symposium on Intelligent Data Analysis (IDA 2025). Konstanz, Germany. 05. 2025. [URL]
Autres Publications
[hal-04966499:1]
Siva Anantharaman, Sabine Frittella & Benjamin Nguyen, Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis. 02. 2025. [URL]
[hal-04983000:1]
Frédéric Dabrowski & Jordan Ischard, FUNCTIONAL REACTIVE PROGRAMMING WITH EFFECTS, A MORE PERMISSIVE APPROACH. 03. 2025. [URL]
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 