Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

From Text to Databases
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Nicolas HIOT
Efficient error-correcting codes for the HQC post-quantum cryptosystem
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Carlos AGUILAR-MELCHOR, Nicolas ARAGON, Jean-Christophe DENEUVILLE, Philippe GABORIT, Jérôme LACAN, Gilles ZÉMOR
Moderate exponential-time algorithms for scheduling problems
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Vincent T’KINDT, Federico DELLA CROCE
Contraintes du premier ordre dans l’algèbre des arbres finis ou infinis
Publié en 2024
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO
On the Anonymity of Linkable Ring Signatures
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charles OLIVIER-ANCLIN
Cryptology and Network Security. CANS 2024. Lecture Notes in Computer Science, vol 14905. Springer, Singapore.
Taming Delegations in Anonymous Signatures: k-Times Anonymity for Proxy and Sanitizable Signature
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charles OLIVIER-ANCLIN
Cryptographic cryptid protocols: How to play cryptid with cheaters
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charlène JOJON, Pascal LAFOURCADE
reteLLMe: Design Rules for using Large Language Models to Protect the Privacy of Individuals in their Textual Contributions
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Adrien BOIRET, Nicolas ANCIAUX, Mariem BRAHEM, Jasmine WATISSEE, Jose MARIA DE FUENTES
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yani ZIANI, Frédéric LOULERGUE, Nikolai KOSMATOV, Daniel Gracia PÉREZ
SAT-Based Automated Completion for Reachability Analysis
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Yohan BOICHUT, Adrien BOIRET, Vincent HUGOT
A Performant Quantum-Resistant KEM for Constrained Hardware: Optimized HQC
Publié en 2024
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Ridwane AISSAOUI, Jean-Christophe DENEUVILLE, Christophe GUERBER, Alain PIROVANO
Systematic literature review: References extraction helper and automatic analysis
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Benjamin VIGNAU, Patrice CLEMENTE, Pascal BERTHOME
Interestingness measures for exploratory data analysis: a survey
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrick MARCEL, Alexandre CHANSON, Nicolas LABROCHE, Panos VASSILIADIS, Veronika PERALTA
New Trends in Database and Information Systems - ADBIS 2024 Short Papers, Workshops, Doctoral Consortium and Tutorials
Transforming Text into Knowledge with Graphs : report of the GDR MADICS DOING Action
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Genoveva VARGAS-SOLAR, Anne-Lyse MINARD
Proceedings of the 3rd International Workshop on Knowledge Graphs Analysis on a Large Scale (K-GALS@ADBIS)
PARSEME-AR: Arabic reference corpus for multiword expressions using PARSEME annotation guidelines
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Najet HADJ MOHAMED, Cherifa BEN KHELIL, Agata SAVARY, Iskander KESKES, Jean ANTOINE, Lamia BELGUITH HADRICH
Appendix of the paper "From document to program embeddings: can distributional hypothesis really be used on programming languages?
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Thibaut MARTINET, Guillaume CLEUZIOU, Matthieu EXBRAYAT, Frédéric FLOUVAT
Informatique tout-en-un MP2I-MPI
Publié en 2024
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Florent BECKER, Mathieu LIEDLOFF, Olivier BOURNEZ, Jean-Loup CARRÉ, Julien REICHERT, Gérard ROZSAVOLGYI
Continuous Authentication Leveraging Matrix Profile
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas ANCIAUX, Luis IBANEZ-LISSEN, Jose MARIA DE FUENTES, Lorena GONZALES-MANZANO
Concerto-D in Maude
Publié en 2024
Type de publication : Logiciel
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE, Farid ARFI, Hélène COULLON, Simon ROBILLARD
LAMBDA: Alignement de Points de Repère et Adaptation de Domaine Basée sur des Mélanges
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Thibaut MARTINET, Guillaume METZLER
Verified Parallel Programming in Coq with Bulk Synchronous Parallel Homomorphisms
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE, Julien TESSON
Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle
Publié en 2024
Type de publication : Thèse
Auteur(s) : Sébastien RIVAULT
Detecting $K_{2,3}$ as an Induced Minor
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mael DUMAS, Anthony PEREZ, Clément DALLARD, Claire HILAIRE, Martin MILANIČ, Nicolas TROTIGNON
Lecture Notes in Computer Science
An adaptive evolutionary multi-objective clustering based on the data properties of the base partitions
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Cristina Yassue MORIMOTO, Aurora Trinidad Ramirez POZO, Marcílio Carlos Pereira DE SOUTO
Construction automatique de bases de données pour le domaine médical : Intégration de texte et maintien de la cohérence
Publié en 2024
Type de publication : Thèse
Auteur(s) : Nicolas HIOT
Cube query interestingness: Novelty, relevance, peculiarity and surprise
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrick MARCEL, Dimos GKITSAKIS, Spyridon KALOUDIS, Eirini MOUSELLI, Veronika PERALTA, Panos VASSILIADIS
Least-Cost Firing Sequences Estimation in P-Time Labeled Petri Nets Systems
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Clément LECOMTE, Patrice BONHOMME
Extensive and Secure Data Management System with Vulnerable Extension Code
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Xinqing LI, Nicolas ANCIAUX, Iulian SANDU POPA
Mapping relational databases to RDF and its impact on privacy
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Sara TAKI, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
Towards a Matrix Profile-based detection of private activities in Teleworking Energy Consumption
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
Emotional data querying: The BI scenario
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Sandro BIMONTE, Stefano RIZZI
CEUR workshop proceedings
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE, Farid ARFI, Hélène COULLON, Simon ROBILLARD
Analog Quantum Computing for NP-Hard Combinatorial Graph Problems
Publié en 2024
Type de publication : Thèse
Auteur(s) : Arthur BRAIDA
Even-Cycle Detection in the Randomized and Quantum CONGEST Model
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Maël LUCE, Frédéric MAGNIEZ
CAA : quelles configurations pour les claviers virtuels ? Retours sur trois focus groups réalisés en structures de rééducation
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Lisa HOIRY, Cherifa BEN KHELIL, Jean-Yves ANTOINE, Mathieu THEBAUD, Samuel POUPLIN, Frédéric RAYAR, Mathieu RAYNAL
Combiner la vérification déductive avec l'analyse de forme
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Téo BERNIER, Yani ZIANI, Frédéric LOULERGUE, Nikolai KOSMATOV
Physical Ring Signature
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL
LIPIcs, Volume 291, 12th International Conference on Fun with Algorithms (FUN 2024)
Strict Self-Assembly of Discrete Self-Similar Fractal Shapes
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Florent BECKER
Lexicons Gain the Upper Hand in Arabic MWE Identification
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Najet HADJ MOHAMED, Agata SAVARY, Cherifa BEN KHELIL, Jean-Yves ANTOINE, Iskandar KESKES, Lamia Hadrich BELGUITH
Proceedings of the Joint Workshop on Multiword Expressions and Universal Dependencies (MWE-UD) @ LREC-COLING 2024
LSH SimilarityJoin Pattern in FastFlow
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien RIVAULT, Mostafa BAMHA, Sophie ROBERT, Sébastien LIMET, Nicolò TONCI, Massimo TORQUATI
A Robust Secure Communication Protocol for Wireless Sensor Networks in Industrial Environments
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Nedra AMARA, Muhammad Shoaib SHOAIB, Ahmed Junaid JUNAID, Nasir Sayed SAYED
Applying Multiple Instance Learning for Breast Cancer Lesion Detection in Mammography Images
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Nedra AMARA, Said GATTOUFI
Synergies between machine learning and reasoning - An introduction by the Kay R. Amel group
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, 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
Tight Lieb–Robinson Bound for approximation ratio in quantum annealing
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arthur BRAIDA, Ioan TODINCA, Simon MARTIEL
Évaluation éthique de l'impact du numérique : 10 ans plus tard, une typologie mise à jour pour la détermination des risques et de leurs vulnérabilités dans une perspective conséquentialiste
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Jean-Yves ANTOINE
https://members.loria.fr/KFort/files/fichiers_cours/ActesJEEthiqueEtTAL2024.pdf
DataFix
Publié en 2024
Type de publication : Logiciel
Auteur(s) : Nicolas HIOT, Jacques CHABIN, Mirian HALFELD-FERRARI, Dominique LAURENT
ArchiTXT
Publié en 2024
Type de publication : Logiciel
Auteur(s) : Nicolas HIOT, Jacques CHABIN, Mirian HALFELD-FERRARI
A passive assessment of homecare need with a Rasch model
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Pierre BOUCHET, Christian TOINARD, Sophie JACQUOT
RéoLoc : Réorganisation dynamique des caractères sur un clavier à défilement automatique ligne/colonne
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Lisa HOIRY, Frédéric RAYAR, Jean-Yves ANTOINE, Cherifa BEN KHELIL, Mathieu RAYNAL
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Publié en 2024
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Wolfgang AHRENDT, Heike WEHRHEIM

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Publications HAL du LIFO

Carte

Informations