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

Lifo > Publications for year 2024

 Site en Français



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



Go to publications of year : 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


International Refereed Journals


[hal-04573584:1]
Arthur Braida, Simon Martiel & Ioan Todinca, Tight Lieb--Robinson Bound for approximation ratio in quantum annealing, npj Quantum Information, Vol. 10(1). Pp. 40, Nature. 04. 2024. [URL]
[hal-04577323:1]
Arthur Braida, Simon Martiel & Ioan Todinca, Avoided level crossings with exponentially closing gaps in quantum annealing, Physical Review A, Vol. 109(2). Pp. 022415, American Physical Society. 02. 2024. [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, 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-04574231:1]
Matteo Francia, Stefano Rizzi & Patrick Marcel, Explaining cube measures through Intentional Analytics, Information Systems, Vol. 121, Elsevier. 03. 2024. [URL]
[hal-04574233:1]
Dimos Gkitsakis, Spyridon Kaloudis, Eirini Mouselli, Veronika Peralta, Patrick Marcel & Panos Vassiliadis, Cube query interestingness: Novelty, relevance, peculiarity and surprise, Information Systems, Vol. 123. Pp. 102381, Elsevier. 07. 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]


Books


[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]


Thesis


[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]


International Conference or Workshop with Proceedings


[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-04572043:1]
Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe & Simon Robillard, A Maude Formalization of the Distributed Reconfiguration Language Concerto-D, in ICE 2024 - 17th Interaction and Concurrency Experience. Groningen, Netherlands, Electronic Proceedings in Theoretical Computer Science. 06. 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]


Unrefereed publications at Conferences or Workshops


[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]
[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, in 35e conférence internationale francophone sur l'interaction humain-machine. Paris, France. 03. 2024. [URL]


Other Publications


[hal-04571345:1]
Florent Becker, Strict Self-Assembly of Discrete Self-Similar Fractal Shapes. 05. 2024. [URL]



2024/05/18 generated via HALLO + JabRef.