Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

Checking that Equations on Terms define a Finite Set of Equivalence Classes

Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Yohan BOICHUT, Thomas GENET
The Convex Set Forming Game

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Caroline BROSSE, Nicolas MARTINS, Nicolas NISSE, Rudini SAMPAIO
Data Provenance Auditing of Fine-Tuned Large Language Models with a Text-Preserving Technique

Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Yanming LI, Cédric EICHLER, Nicolas ANCIAUX, Seifeddine GHOZZI, Alexandra BENSAMOUN, Lorena GONZALEZ MANZANO
ELITEC : un corpus de conversations en microposts français annoté pour le liage d'entités Wikidata

Publié en 2025
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Vivien LEONARD, Béatrice BOUCHOU
Actes des 32ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN), volume 1 : articles scientifiques originaux
A revisited quadratic vertex-kernel for Minimum Fill-In

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Christophe CRESPELLE, Benjamin GRAS
Deterministic Even-Cycle Detection in Broadcast CONGEST

Publié en 2025
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
Modèle d'évaluation des besoins et de prévision d'une aide à domicile, encadré d'un point de vue éthique

Publié en 2024
Type de publication : Thèse
Auteur(s) : Pierre BOUCHET
Cohesive database neighborhoods for differential privacy: mapping relational databases to RDF

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sara TAKI, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
Web Information Systems Engineering - WISE 2024 - 25th International Conference
Nob-MIAs: Non-biased Membership Inference Attacks Assessment on Large Language Models with Ex-Post Dataset Construction

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Nicolas ANCIAUX, Nathan CHAMPEIL, Alexandra BENSAMOUN, Héber H. ARCOLEZI, José Maria DE FUENTES
Comparison Queries Generation Using Mathematical Programming for Exploratory Data Analysis

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrick MARCEL, Alexandre CHANSON, Nicolas LABROCHE, Vincent T'KINDT
Dataset for image classification with knowledge

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Franck anael MBIAYA, Christel VRAIN, Thi-bich-hanh DIEP-DAO, Frédéric ROS, Yves LUCAS
DeBrLevel - version 1.0.1

Publié en 2024
Type de publication : Logiciel
Auteur(s) : Jordan ISCHARD
Towards a logical framework for reasoning with stereotypes

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sabine FRITTELLA, Florence DUPIN DE SAINT-CYR, Francis FAUX
LNCS
Construire l'appropriation des applications de collecte

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Mélanie JOUITTEAU, Loïc GROBOL, Alice MILLOUR
Proceedings de LIFT2
Propriétés linguistiques fines et interprétation des performances des systèmes pour la reconnaissance des entités nommées

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Jean-yves ANTOINE, Marina SEGHIER, Alice MILLOUR
UFEL: a By-design Understandable and Frugal Entity Linking System for French Microposts

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Vivien LEONARD, Béatrice MARKHOFF
The Semantic Web – ISWC 2024 : 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11–15, 2024, Proceedings, Part III
Formal Methods for Synchronization in Parallel and Concurrent Programming Languages

Publié en 2024
Type de publication : HDR
Auteur(s) : Frédéric DABROWSKI
The history of biometric authentication and identification using photoplethysmography (PPG): a twenty years systematic literature review

Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Benjamin VIGNAU, Patrice CLEMENTE, Pascal BERTHOMÉ
Rule-Based Constraint Elicitation For Active Constraint-Incremental Clustering

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Aymeric BEAUCHAMP, Thi-bich-hanh DIEP-DAO, Christel VRAIN, Samir LOUDNI
IEEE Xplore
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs

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, Jordan ISCHARD
Gramex: Generating Controlled Grammar Exercises from Various Sources

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Guillaume TOUSSAINT, Claire GARDENT
Proceedings of the Natural Language Processing for Computer-assisted Language Learning workshop (NLP4CALL 2024)
Leveraging synthetic graph generation for privacy-preserving geo-distributed graph processing

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Haoying ZHANG, Cédric EICHLER, Benjamin NGUYEN, Tristan ALLARD, Shadi IBRAHIM
Data Privacy for Graphs with Semantic Informations

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Yasmine HAYDER, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
Un nouveau PET pour la collecte de données via des formulaires avec minimisation des données, précision totale et consentement éclairé

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Nicolas ANCIAUX, Sabine FRITTELLA, Benjamin NGUYEN, Baptiste JOFFROY, Guillaume SCERRI
TELESAFE – Détection des franchissements de frontière entre vie privée et vie professionnelle dans les traces de consommation d'énergie en télétravail

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
From document to program embeddings: can distributional hypothesis really be used on programming languages?

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thibaut MARTINET, Guillaume CLEUZIOU, Matthieu EXBRAYAT, Frédéric FLOUVAT
From Text to Databases

Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Nicolas HIOT
From Text to Databases: attribute grammar as database meta-model

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
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
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.
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
Secure Keyless Multi-Party Storage Scheme

Publié en 2024
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Pascal LAFOURCADE, Lola-Baie MALLORDY, Charles OLIVIER-ANCLIN, Léo ROBERT
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
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 BERTHOMÉ
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
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
Interestingness Measures for Exploratory Data Analysis: a Survey

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Alexandre CHANSON, Nicolas LABROCHE, Verónika PERLATA, Panos VASSILIADIS
A Preliminary Investigation: Strategies for Incorporating Logical Rules Into Knowledge Graph Embeddings

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Lingchen WANG
Communications in Computer and Information Science
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
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 : 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

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