Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 2024

 English Version



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


Revue internationale à comité de lecture


[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, Vol. 56(1). Pp. 1-37, Association for Computing Machinery. 01. 2024. [URL]
[hal-04438047:1]
Thi-Bich-Hanh Dao & Christel Vrain, A review on declarative approaches for constrained clustering, International Journal of Approximate Reasoning. Pp. 109135, Elsevier. 02. 2024. [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, Vol. 36(1). Pp. 46, ACM. 2024. [URL]
[hal-04484340:1]
Franck Anaël Mbiaya, Christel Vrain, Frédéric Ros, Thi-Bich-Hanh Dao & Yves Lucas, Knowledge graph-based image classification, Data and Knowledge Engineering. Pp. 102285, Elsevier. 02. 2024. [URL]
[hal-04431670:1]
Cristina Yassue Morimoto, Aurora Trinidad Ramirez Pozo & Marcílio Carlos Pereira de Souto, An adaptive evolutionary multi-objective clustering based on the data properties of the base partitions, Expert Systems with Applications, Vol. 245. Pp. 123102, Elsevier. 07. 2024. [URL]


Direction d'ouvrages scientifiques


[hal-04528312:1]
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021, Wolfgang Ahrendt and Frédéric Loulergue and Heike Wehrheim (Ed.), Vol. 36(1). Pp. 1-2, Springer Verlag. 03. 2024. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-04546106:1]
Sofiane Elguendouze, Explainable Artificial Intelligence approaches for Image Captioning, Thèse de Doctorat. Université d'Orléans. 01. 2024. [URL]
[tel-04546776:1]
Darine Rammal, Memory safety for synchronous reactive programming, Thèse de Doctorat. Université d'Orléans. 01. 2024. [URL]


Communications avec actes dans un congrès international


[hal-04149000:2]
Nicolas Anciaux, Sabine Frittella, Baptiste Joffroy, Benjamin Nguyen & Guillaume Scerri, A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent, in 27th International Conference on Extending Database Technology, EDBT 2024. Paestum, Italy. 03. 2024. [URL]
[hal-04354615:1]
Téo Bernier, Yani Ziani, Nikolai Kosmatov & Frédéric Loulergue, Combining Deductive Verification with Shape Analysis, in 27th International Conference on Fundamental Approaches to Software Engineering (FASE). Luxembourg, Luxembourg, LNCS, Vol. 14573. Pp. 280-289, Springer. 2024. [URL]


Communications sans actes


[hal-04500764:1]
Pierre Bouchet, Christian Toinard & Sophie Jacquot, A passive assessment of homecare need with a Rasch model, in The 15th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2024. Orlando (Florida), United States. 03. 2024. [URL]


Autres Publications


[hal-04450137:2]
Lisa Hoiry, Frédéric Rayar, Jean-Yves Antoine, Cherifa Ben Khelil & Mathieu Raynal, RéoLoc : Réorganisation dynamique des caractères sur un clavier à défilement automatique ligne/colonne. 04. 2024. [URL]



2024/04/24 généré via HALLO + JabRef.