Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

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)
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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) : Marcilio PEREIRA DE SOUTO, Cristina Yassue MORIMOTO, Aurora Trinidad Ramirez POZO
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
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
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
Système de gestion de données extensif et sécurisé avec code d'extension vulnérable

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
Vers une détection des activités privées dans la consommation énergétique en télétravail basée sur le profil matriciel

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
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
reteLLMe: Design Rules for using Large Language Models to Protect the Privacy of Individuals in their Textual Contributions

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Cédric EICHLER, Adrien BOIRET, Nicolas ANCIAUX, Mariem BRAHEM, Jasmine WATISSEE, Jose 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
On Graphs Coverable by k Shortest Paths

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mael DUMAS, Florent FOUCAUD, Anthony PEREZ, Ioan TODINCA

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