Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

Who Pays Whom? Anonymous EMV-Compliant Contactless Payments
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Charles OLIVIER-ANCLIN, Ioana BOUREANU, Liqun CHEN, Christopher NEWTON, Tom CHOTHIA, Anna CLEE, Andreas KOKKINIS, Pascal LAFOURCADE
Assessing learning materials: hybrid vs Large Language Model-based generation of grammar exercises
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Lucas POIROT, Yannick PARMENTIER
Défi du GDR GPL ADaptation DYnamique et ConTinue ADDYCT
Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Jolan PHILIPPE, Jannik LAVAL, Eric CARIOU, Rabéa AMEUR-BOULIFA, Sylvain GUÉRIN, Olga KOUCHNARENKO, Nawal GUERMOUCHE
Cryptographic Commitments on Anonymizable Data
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Charlène JOJON, Benjamin NGUYEN, Céline CHEVALIER, Diandian LIU
Ensemble de correction minimal basé sur l'adéquation des contraintes en clustering
Publié en 2025
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Aymeric BEAUCHAMP, Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Samir LOUDNI
Journées Francophones de Programmation par Contraintes (Évènement affilié à PFIA 2022)
Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Martin DELACOURT, Nicolas OLLINGER, Olivier CARTON
LNCS
Making Graphs Irregular through Irregularising Walks
Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Timothée MARTINOD, Julien BENSMAIL, Romain BOURNEUF, Paul COLINOT, Samuel HUMEAU
Portage sur GPU du calcul des forces internes d'un code basé sur la méthode des éléments finis spectraux
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Tom BUDON, Sylvain JUBERTIE, Sébastien LIMET, Emmanuel MELIN, Florent DE MARTIN
Projet VÉDYSEC : Vérification Dynamique de Propriétés de Sécurité
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE, Nikolai KOSMATOV, Julien SIGNOLES
Approches formelles pour les composants et outils système
Publié en 2025
Type de publication : Conférence donnée sur invitation
Auteur(s) : Frédéric LOULERGUE
Deductive Verification of Synchronous Reactive Programs
Publié en 2025
Type de publication : Poster
Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
Langage de spécification de contexte pour vérifier formellement des propriétés de consentement sur des modèles et du code -Résumé long
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Myriam CLOUET, Thibaud ANTIGNAC, Mathilde ARNAUD, Julien SIGNOLES
Une sémantique mécanisée d'un langage FRP avec effets
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Jordan ISCHARD, Frédéric DABROWSKI, Jules CHOUQUET, Frédéric LOULERGUE
8e Atelier "Apprentissage de la pensée informatique de la maternelle à l'Université (APIMU 1000)" @ EIAH 2025
Publié en 2025
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Julien BROISIN, Christophe DECLERCQ, Sébastien JOLIVET, Yannick PARMENTIER, Yvan PETER, Yann SECQ
Energy optimization for P-time labeled Petri net systems with unobservable transitions
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Clément LECOMTE, Patrice BONHOMME
A Constrained Declarative Based Approach for Explainable Clustering
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu GUILBERT, Christel VRAIN, Thi-Bich-Hanh DIEP-DAO
Enumerating Minimal Connected Dominating Sets
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Faisal ABU-KHZAM, Henning FERNAU, Benjamin GRAS, Kevin MANN
A Mechanized Formalization of an FRP Language with Effects
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jordan ISCHARD, Frédéric DABROWSKI, Jules CHOUQUET, Frédéric LOULERGUE
Features Leverage in Graph Models for Mineral Prospectivity Mapping
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-hai-yen VU, Thi-Bich-Hanh DIEP-DAO, Vincent NGUYEN, Christel VRAIN, Hugo BREUILLARD
SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing
Functional Reactive Programming with Effects, a more permissive approach
Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Frédéric DABROWSKI, Jordan ISCHARD
Memory-efficient Continual Learning with Neural Collapse Contrastive
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Trung-anh DANG, Vincent NGUYEN, Christel VRAIN, Ngoc-Son VU
Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
Parallelizing RNA-Seq Analysis with BioSkel: A FastFlow Based Prototype
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Valentin BEAUVAIS, Sophie ROBERT, Sébastien LIMET, Nicolò TONCI
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
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
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
Machines, Computations, and Universality
Publié en 2025
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Enrico FORMENTI
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
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
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
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
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
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) : Marina SEGHIER, Alice MILLOUR, Jean-Yves ANTOINE
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) : Vivien LEONARD, Jean-Yves ANTOINE, Béatrice MARKHOFF
The Semantic Web – ISWC 2024 : 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11–15, 2024, Proceedings, Part III
Abstract geometrical computation 12: generating representation of infinite countable linear orderings
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
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 BERTHOME
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) : Guillaume TOUSSAINT, Yannick PARMENTIER, 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 : 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
A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas ANCIAUX, Sabine FRITTELLA, Benjamin NGUYEN, Baptiste JOFFROY, Guillaume SCERRI
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
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
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
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

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