Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

Élaboration de méthodologies de calcul en vue d’informer les consommateurs sur les dangers sanitaires et environnementaux des produits ménagers

Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Sophie ROBERT, L.P. BELZUNCES, Alain AYMARD, Nathalie BONVALLOT, Georges DE SOUSA, Guillaume KARR, Jean-Pierre LEPOITTEVIN, Christophe MINIER, Mélanie NICOLAS, Emmanuel PUSKARCZYK, Damien BOURGEOIS, Christophe YRIEIX, Nicolas BERTRAND, Isabelle BILLAULT, Isabelle DEPORTES, Jérôme HUSSON, Alexandra LEITERER, Adèle PAUL, Catherine PECQUET, Patrick ROUSSEAUX, Jean-Marc SAPORI, Pauline GUILLOU, Noémie BONNEAU, Cécilia SOLAL, Aurélie MATHIEU-HUART, Odile KERKHOF, Romy COLLET, Emmanuelle DURAND, Bruno TESTE, Anne CATALDI, Aïcha ROUABHI
Formalisation d'une analyse de région pour Frama-C/WP

Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy DAMOUR, Frédéric LOULERGUE, Allan BLANCHARD, Loïc CORRENSON
Une approche déclarative pour le clustering explicable sous contraintes

Publié en 2025
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Mathieu GUILBERT, Christel VRAIN, Thi-bich-hanh DIEP-DAO
Apprentissage d’une mesure de dissimilarité pour la stratification de patients atteints de la sclérose latérale amyotrophique

Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Guillaume TEJEDOR, Veronika PERALTA, Nicolas LABROCHE, Hélène BLASCO, Hugo ALARCAN
Techniques de calcul renforçant la vie privée : un enjeu dans l'ère de la société de surveillance

Publié en 2025
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN
Learning a Distance for the Clustering of Patients with Amyotrophic Lateral Sclerosis

Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Guillaume TEJEDOR, Veronika PERALTA, Nicolas LABROCHE, Hélène BLASCO, Hugo ALARCAN
Strict Self-Assembly of Discrete Self-Similar Fractals in the abstract Tile Assembly Model

Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Daniel HADER, Matthew PATITZ
Information extraction from social networks through text/image representation learning : Application to natural disaster management

Publié en 2025
Type de publication : Thèse
Auteur(s) : Badreddine FARAH
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
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
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
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yani ZIANI, Téo BERNIER, Frédéric LOULERGUE, Nikolai KOSMATOV, Daniel GRACIA PEREZ
Abstract geometrical computation 12: generating representation of infinite countable linear orderings

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Sufficient Conditions for Polynomial-Time Detection of Induced Minors

Publié en 2025
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
50th International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science
The Graph Coloring Game on 4 × n-Grids

Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Caroline BROSSE, Nicolas MARTINS, Nicolas NISSE, Rudini SAMPAIO
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
Consistently mapping Differential Privacy paradigms between relational databases and RDF

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sara TAKI, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
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
TELESAFE: Detecting Private/Work Boundary Crossings in Energy Consumption Trails in Telework

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, Jose MARIA DE FUENTES
Machines, Computations, and Universality

Publié en 2025
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Enrico FORMENTI
Deductively Verifying Functional Scalable Parallel Programs with Why3

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Olivia PROUST
Enabling secure data-driven applications: an approach to personal data management using trusted execution environments

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas ANCIAUX, Robin CARPENTIER, Iulian SANDU POPA
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
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
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
Construire l'appropriation des applications de collecte

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Jean-yves ANTOINE, Mélanie JOUITTEAU, Loïc GROBOL, Alice MILLOUR
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
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)
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 - Detecting Private/Work Boundary Crossings in Energy Consumption Trails in Telework

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
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
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 : Communications sans actes
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
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
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.
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

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