- 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
[hal-03942522:1]
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko & Ondrej Majer, Qualitative reasoning in a two-layered framework, International Journal of Approximate Reasoning, Vol. 154. Pp. 84-108, Elsevier. 03. 2023. [URL]
[hal-04067909:1]
Hélène Coullon, Ludovic Henrio, Frédéric Loulergue & Simon Robillard, Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey, ACM Computing Surveys, Association for Computing Machinery. 05. 2023. [URL]
[hal-03942458:1]
Daniil Kozhemiachenko & Liubov Vashentseva, Non-contingency in a Paraconsistent Setting, Logic Journal of the IGPL, Oxford University Press (OUP). 01. 2023. [URL]
[hal-04065774:1]
Dara Ly, Nikolai Kosmatov, Frédéric Loulergue & Julien Signoles, Sound Runtime Assertion Checking for Memory Properties via Program Transformation, Formal Aspects of Computing, ACM. 2023. [URL]
[hal-04071808:1]
Clément Lecomte & Patrice Bonhomme, Energy Aware Strategy for Discrete Event Systems using Inhibitor P-Time Petri nets and Deep Reinforcement Learning, in IEEE 9th International Conference on Control, Decision and Information Technologies (CoDIT'23). Rome (Italy), Italy. 07. 2023. [URL]
[hal-03872184:1]
Franck Anaël Mbiaya, Christel Vrain, Frédéric Ros, Thi-Bich-Hanh Dao & Yves Lucas, Graphe de connaissances pour la classification d 'images, in Extraction et Gestion des Connaissances. Lyon, France. 01. 2023. [URL]
[hal-04008484:1]
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade & Charles Olivier-Anclin, Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside, in FC2023 - Twenty-Seventh International Conference Financial Cryptography and Data Security. Bol, Brač, Croatia. 05. 2023. [URL]
[hal-04051113:1]
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Krishna Manoorkar, Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory. 02. 2023. [URL]
[hal-03982841:1]
Jacques Chabin, Mirian Halfeld Ferrari, Nicolas Hiot & Dominique Laurent, Incremental Consistent Updating of Incomplete Databases. 02. 2023. [URL]
Revue internationale à comité de lecture
[hal-03942522:1]
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko & Ondrej Majer, Qualitative reasoning in a two-layered framework, International Journal of Approximate Reasoning, Vol. 154. Pp. 84-108, Elsevier. 03. 2023. [URL]
[hal-04067909:1]
Hélène Coullon, Ludovic Henrio, Frédéric Loulergue & Simon Robillard, Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey, ACM Computing Surveys, Association for Computing Machinery. 05. 2023. [URL]
[hal-03942458:1]
Daniil Kozhemiachenko & Liubov Vashentseva, Non-contingency in a Paraconsistent Setting, Logic Journal of the IGPL, Oxford University Press (OUP). 01. 2023. [URL]
[hal-04065774:1]
Dara Ly, Nikolai Kosmatov, Frédéric Loulergue & Julien Signoles, Sound Runtime Assertion Checking for Memory Properties via Program Transformation, Formal Aspects of Computing, ACM. 2023. [URL]
Communications avec actes dans un congrès international
[hal-04071808:1]
Clément Lecomte & Patrice Bonhomme, Energy Aware Strategy for Discrete Event Systems using Inhibitor P-Time Petri nets and Deep Reinforcement Learning, in IEEE 9th International Conference on Control, Decision and Information Technologies (CoDIT'23). Rome (Italy), Italy. 07. 2023. [URL]
Communications avec actes dans un congrès national
[hal-03872184:1]
Franck Anaël Mbiaya, Christel Vrain, Frédéric Ros, Thi-Bich-Hanh Dao & Yves Lucas, Graphe de connaissances pour la classification d 'images, in Extraction et Gestion des Connaissances. Lyon, France. 01. 2023. [URL]
Communications sans actes
[hal-04008484:1]
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade & Charles Olivier-Anclin, Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside, in FC2023 - Twenty-Seventh International Conference Financial Cryptography and Data Security. Bol, Brač, Croatia. 05. 2023. [URL]
Autres Publications
[hal-04051113:1]
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Krishna Manoorkar, Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory. 02. 2023. [URL]
[hal-03982841:1]
Jacques Chabin, Mirian Halfeld Ferrari, Nicolas Hiot & Dominique Laurent, Incremental Consistent Updating of Incomplete Databases. 02. 2023. [URL]
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 