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-04810821:1]
Carlos Aguilar-Melchor, Nicolas Aragon, Jean-Christophe Deneuville, Philippe Gaborit, Jérôme Lacan & Gilles Zémor,
Efficient error-correcting codes for the HQC post-quantum cryptosystem, Designs, Codes and Cryptography, Vol. 92(12). Pp. 4511-4530, Springer Verlag. 10. 2024.
[URL]
[hal-04653616:1]
Ismaïl Baaj, Zied Bouraoui, Antoine Cornuéjols, Thierry Denoeux, Sébastien Destercke, Didier Dubois, Marie-Jeanne Lesot, João Marques-Silva, Jérôme Mengin, Henri Prade, Steven Schockaert, Mathieu Serrurier, Olivier Strauss & Christel Vrain,
Synergies between machine learning and reasoning - An introduction by the Kay R. Amel group, International Journal of Approximate Reasoning, Vol. 171. Pp. 109206, Elsevier. 04. 2024.
[URL]
[hal-04631734:1]
Adrien Boiret, Cédric Eichler, Benjamin Nguyen & Sara Taki,
Graph rewriting primitives for semantic graph databases sanitization, Computer Science and Information Systems, Vol. 21(3). Pp. 23, ComSIS Consortium. 2024.
[URL]
[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-04611604:1]
Maël Dumas, Florent Foucaud, Anthony Perez & Ioan Todinca,
On Graphs Coverable by k Shortest Paths, SIAM Journal on Discrete Mathematics, Vol. 38(2). Pp. 1840-1862, Society for Industrial and Applied Mathematics. 06. 2024.
[URL]
[hal-04774933:1]
Jérôme Durand-Lose,
Abstract geometrical computation 12: generating representation of infinite countable linear orderings, Natural Computing, Springer Verlag. 11. 2024.
[URL]
[hal-04525593:1]
Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport & Ioan Todinca,
A Meta-Theorem for Distributed Certification, Algorithmica, Vol. 86(2). Pp. 585-612, Springer Verlag. 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-04738059:1]
Najet Hadj Mohamed, Cherifa Ben Khelil, Agata Savary, Iskander Keskes, Jean Antoine & Lamia Belguith Hadrich,
PARSEME-AR: Arabic reference corpus for multiword expressions using PARSEME annotation guidelines, Language Resources and Evaluation, Springer Verlag. 08. 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. 4:1-46, Springer Verlag. 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-04716692:1]
Franck Anaël Mbiaya, Christel Vrain, Frédéric Ros, Thi-Bich-Hanh Dao & Yves Lucas,
Dataset for image classification with knowledge, Data in Brief, Vol. 57. Pp. 110893, Elsevier. 12. 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]
[hal-04586759:1]
Nicolò Tonci, Sébastien Rivault, Mostafa Bamha, Sophie Robert, Sébastien Limet & Massimo Torquati,
LSH SimilarityJoin Pattern in FastFlow, International Journal of Parallel Programming, Springer Verlag. 05. 2024.
[URL]
[hal-04764536:1]
Benjamin Vignau, Patrice Clemente & Pascal Berthomé,
Systematic literature review: References extraction helper and automatic analysis, Software Impacts, Vol. 21. Pp. 100669, Elsevier. 09. 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]
[hal-04605772:1]
SAT-Based Automated Completion for Reachability Analysis, Yohan Boichut and Adrien Boiret and Vincent Hugot (Ed.). 06. 2024.
[URL]
[hal-04699351:1]
A Performant Quantum-Resistant KEM for Constrained Hardware: Optimized HQC, Ridwane Aissaoui and Jean-Christophe Deneuville and Christophe Guerber and Alain Pirovano (Ed.). Pp. 668-673, SCITEPRESS - Science and Technology Publications. 09. 2024.
[URL]
Thesis
[tel-04706199:1]
Arthur Braida,
Analog Quantum Computing for NP-Hard Combinatorial Graph Problems, Thèse de Doctorat. Université d'Orléans. 06. 2024.
[URL]
[tel-04546106:1]
Sofiane Elguendouze,
Explainable Artificial Intelligence approaches for Image Captioning, Thèse de Doctorat. Université d'Orléans. 01. 2024.
[URL]
[tel-04794341:1]
Nicolas Hiot,
Construction automatique de bases de données pour le domaine médical : Intégration de texte et maintien de la cohérence, Thèse de Doctorat. Université d'Orléans. 07. 2024.
[URL]
[tel-04546776:1]
Darine Rammal,
Memory safety for synchronous reactive programming, Thèse de Doctorat. Université d'Orléans. 01. 2024.
[URL]
[tel-04730569:1]
Sébastien Rivault,
Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle, Thèse de Doctorat. Université d'Orléans. 07. 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,
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization, in ICE 2024 - 17th Interaction and Concurrency Experience. Groningen, Netherlands, Electronic Proceedings in Theoretical Computer Science. Pp. 1-18. 06. 2024.
[URL]
[hal-04717714:1]
Aymeric Beauchamp, Thi-Bich-Hanh Dao, Samir Loudni & Christel Vrain,
Rule-based Constraint Elicitation For Active Constraint-Incremental Clustering, in 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'24). Herndon, VA, United States. 10. 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]
[hal-04684512:1]
Mariem Brahem, Jasmine Watissee, Cédric Eichler, Adrien Boiret, Nicolas Anciaux & Jose Maria de Fuentes,
reteLLMe: Design Rules for using Large Language Models to Protect the Privacy of Individuals in their Textual Contributions, in DPM 2024 - International Workshop on Data Privacy Management AT ESORICS. Barcelona, Spain. 09. 2024.
[URL]
[hal-04624521:1]
Xavier Bultel,
Physical Ring Signature, in 12th International Conference on Fun with Algorithms (FUN 2024). La Maddalena, Italy, Vol. 291, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. 06. 2024.
[URL]
[hal-04620483:1]
Xavier Bultel, Charlène Jojon & Pascal Lafourcade,
Cryptographic cryptid protocols: How to play cryptid with cheaters, in CANS 2024 - 23rd International Conference on Cryptology And Network Security. Cambridge, United Kingdom. 09. 2024.
[URL]
[hal-04644979:1]
Xavier Bultel & Charles Olivier-Anclin,
Taming Delegations in Anonymous Signatures: k-Times Anonymity for Proxy and Sanitizable Signature, in CANS 2024 - 23rd International Conference on Cryptology and Network Security. Cambridge, United Kingdom. 09. 2024.
[URL]
[hal-04726565:1]
Xavier Bultel & Charles Olivier-Anclin,
On the~Anonymity of~Linkable Ring Signatures, in Cryptology and Network Security (CANS 2024). Cambridge, United Kingdom, Lecture Notes in Computer Science, Vol. 14905. Pp. 212-235, Springer Nature Singapore. 09. 2024.
[URL]
[hal-04659728:1]
Clément Dallard, Maël Dumas, Claire Hilaire, Martin Milanič, Anthony Perez & Nicolas Trotignon,
Detecting $K2,3$ as~an~Induced Minor, in IWOCA 2024. Ischia, Italy, Lecture Notes in Computer Science, Vol. 14764. Pp. 151-164, Springer Nature Switzerland. 07. 2024.
[URL]
[hal-04670325:2]
Cédric Eichler, Nathan Champeil, Nicolas Anciaux, Alexandra Bensamoun, Héber Hwang Arcolezi & Jose Maria de Fuentes,
Nob-MIAs: Non-biased Membership Inference Attacks Assessment on Large Language Models with Ex-Post Dataset Construction, in WISE 2024 - 25th International Web Information Systems Engineering conference. Doha, Qatar. 12. 2024.
[URL]
[hal-04693567:1]
Pierre Fraigniaud, Maël Luce, Frédéric Magniez & Ioan Todinca,
Even-Cycle Detection in the Randomized and Quantum CONGEST Model, in PODC '24: 43rd ACM Symposium on Principles of Distributed Computing. Nantes France, France. Pp. 209-219, ACM. 06. 2024.
[URL]
[hal-04667546:1]
Najet Hadj Mohamed, Agata Savary, Cherifa Ben Khelil, Jean-Yves Antoine, Iskandar Keskes & Lamia Hadrich Belguith,
Lexicons Gain the Upper Hand in Arabic MWE Identification, in Joint Workshop on Multiword Expressions and Universal Dependencies (MWE-UD) AT LREC-COLING 2024. Torino, Italy. 05. 2024.
[URL]
[hal-04743371:1]
Mirian Halfeld Ferrari, Genoveva Vargas-Solar & Anne-Lyse Minard,
Transforming Text into Knowledge with Graphs : report of the GDR MADICS DOING Action, in 3rd International Workshop on Knowledge Graphs Analysis on a Large Scale. Bayonne - Biarritz, France, Communications in Computer and Information Science, Vol. 2186, Springer CCIS. 08. 2024.
[URL]
[hal-04663471:1]
Luis Ibanez-Lissen, Jose Maria de Fuentes, Lorena Gonzales-Manzano & Nicolas Anciaux,
Continuous Authentication Leveraging Matrix Profile, in ARES 2024 - The 19th International Conference on Availability, Reliability and Security. Vienne, Austria. 07. 2024.
[URL]
[hal-04644465:1]
Frédéric Loulergue & Jordan Ischard,
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs, in Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Crete Island, Greece, Springer. 10. 2024.
[URL]
[hal-04700208:1]
Sara Taki, Adrien Boiret, Cédric Eichler & Benjamin Nguyen,
Cohesive database neighborhoods for differential privacy: mapping relational databases to RDF, in WISE 2024 - 25th International Conference of Web Information Systems Engineering. Doha, Qatar. Pp. 11. 12. 2024.
[URL]
[hal-04722187:1]
Guillaume Toussaint, Yannick Parmentier & Claire Gardent,
Gramex: Generating Controlled Grammar Exercises from Various Sources, in NLP4CALL2024 : Natural Language Processing for Computer-assisted Language Learning. Rennes, France. 10. 2024.
[URL]
[hal-04637532:1]
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue & Daniel Gracia Pérez,
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack, in 18th International Conference on Tests and Proofs (TAP). Milan (Italie), Italy, Springer. 09. 2024.
[URL]
Unrefereed publications at Conferences or Workshops
[hal-04574228:1]
Nedra Amara & Said Gattoufi,
Applying Multiple Instance Learning for Breast Cancer Lesion Detection in Mammography Images, in 10th International Conference on Information and Communication Technologies for Ageing Well and e-Health. Angers, France. Pp. 93-97, SCITEPRESS - Science and Technology Publications. 04. 2024.
[URL]
[hal-04622131:1]
Téo Bernier, Yani Ziani, Nikolai Kosmatov & Frédéric Loulergue,
Combiner la vérification déductive avec l'analyse de forme, in Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL). Strasbourg, France. 06. 2024.
[URL]
[hal-04698436:1]
Sandro Bimonte, Patrick Marcel & Stefano Rizzi,
Emotional data querying: The BI scenario, in 32nd Symposium on Advanced Database Systems (SEBD 2024). Villasimius, Sardinia, Italy, Vol. 3741. 06. 2024.
[URL]
[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-04711565:1]
Yasmine Hayder, Adrien Boiret, Cédric Eichler & Benjamin Nguyen,
Data Privacy for Graphs with Semantic Informations, in BDA 2024 - 40èmes journées de la conférence guillemotleft Gestion de Données -- Principes, Technologies et Applications guillemotright. Orléans, France. 10. 2024.
[URL]
[hal-04616847:1]
Lisa Hoiry, Cherifa Ben Khelil, Jean-Yves Antoine, Mathieu Thebaud, Samuel Pouplin, Frédéric Rayar, Anaïs Lefeuvre-Halftermeyer & Mathieu Raynal,
CAA : quelles configurations pour les claviers virtuels ? Retours sur trois focus groups réalisés en structures de rééducation, in Conférence Handicap 2024. Paris, France. 06. 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]
[hal-04597221:1]
Clément Lecomte & Patrice Bonhomme,
Least-Cost Firing Sequences Estimation in P-Time Labeled Petri Nets Systems, in 10th International Conference on Control, Decision and Information Technologies ( Codit 2024 ). Valetta, Malta. 07. 2024.
[URL]
[hal-04597523:1]
Frédéric Loulergue & Julien Tesson,
Verified Parallel Programming in Coq with Bulk Synchronous Parallel Homomorphisms, in 17th International Symposium on High-Level Parallel Programming and Applications (HLPP). Pisa, Italy. 07. 2024.
[URL]
[hal-04732269:1]
Thibaut Martinet, Guillaume Cleuziou, Matthieu Exbrayat & Frédéric Flouvat,
From document to program embeddings: can distributional hypothesis really be used on programming languages?, in European Conference on Artificial Intelligence (ECAI). Saint-Jacques de Compostelle, Spain. 10. 2024.
[URL]
Other Publications
[hal-04574222:1]
Nedra Amara, Muhammad Shoaib Shoaib, Ahmed Junaid Junaid & Nasir Sayed Sayed,
A Robust Secure Communication Protocol for Wireless Sensor Networks in Industrial Environments. 05. 2024.
[URL]
[hal-04571345:3]
Florent Becker,
Strict Self-Assembly of Discrete Self-Similar Fractal Shapes. 05. 2024.
[URL]
[hal-04740818:1]
Jacques Chabin, Mirian Halfeld Ferrari & Nicolas Hiot,
From Text to Databases. 10. 2024.
[URL]
[hal-04666404:1]
Thibaut Martinet, Guillaume Cleuziou, Matthieu Exbrayat & Frédéric Flouvat,
Appendix of the paper ''From document to program embeddings: can distributional hypothesis really be used on programming languages?. 08. 2024.
[URL]
[hal-04646294:1]
Thibaut Martinet & Guillaume Metzler,
LAMBDA: Alignement de Points de Repère et Adaptation de Domaine Basée sur des Mélanges. 07. 2024.
[URL]
[hal-04764560:1]
Benjamin Vignau, Patrice Clemente & Pascal Berthomé,
The history of biometric authentication and identification using photoplethysmography (PPG): a twenty years systematic literature review. 11. 2024.
[URL]
Software
[hal-04556201:2]
WhyBSML 0.2, Frédéric Loulergue and Olivia Proust (Ed.), Zenodo. 2024.
[URL]
[hal-04654817:1]
Concerto-D in Maude, Farid Arfi and Hélène Coullon and Frédéric Loulergue and Jolan Philippe and Simon Robillard (Ed.), Zenodo. 07. 2024.
[URL]
[hal-04731961:1]
DataFix, Nicolas Hiot and Jacques Chabin and Mirian Halfeld Ferrari and Dominique Laurent (Ed.). 04. 2024.
[URL]
[hal-04732336:1]
ArchiTXT, Nicolas Hiot and Jacques Chabin and Mirian Halfeld Ferrari (Ed.). 04. 2024.
[URL]
2024/12/09 generated via HALLO + JabRef.