Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Comparison queries generation using mathematical programming for exploratory data analysis
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Alexandre CHANSON, Nicolas LABROCHE, Vincent T'KINDT
Using a Model-Agnostic Meta-model as a Flexible Database Migration Tool
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas HIOT, Baptiste HAUDEBOURG
New Trends in Database and Information Systems: ADBIS 2025 Short Papers, Workshops, Doctoral Consortium and Tutorials
LUMIA: linear probing for unimodal and multiModal membership inference attacks leveraging internal LLM states
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas ANCIAUX, Luis IBANEZ-LISSEN, Lorena GONZALEZ-MANZANO, Jose Maria DE FUENTES, Joaquin GARCIA-ALFARO
ESORICS 2025 : 30th European Symposium on Research in Computer Security
A phone and a web application to collect and trancribe
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Jean-yves ANTOINE, Mélanie JOUITTEAU, Alice MILLOUR, Loïc GROBOL
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) : Yannick PARMENTIER, Lucas POIROT
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
BioSkel - Towards a Framework for OMICS Applications
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Valentin BEAUVAIS, Sébastien LIMET, Sophie ROBERT, Clémence COUTON, Nicoló TONCI, Lucile MOLLET, Thierry PRAZUCK
La connaissance des sols au travers du programme Inventaire, Gestion et Conservation des Sols
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Bertrand LAROCHE, José-Luis ALMEIDA, Antonio BISPO, Hakima BOUKIR, Jean-Philippe CHENU, Ghislain GIROT, Stéphanie GUERRIER, Florence HÉLIÈS, Samir LAOUALI-ABDOU, Christine LE BAS, Sébastien LEHMANN, Emilie LEROUX, Anne RICHER-DE-FORGES, Fadhila RAMDANI, Julien ROBERT, Yohann TEMPLIER, Eugénie TIENTCHEU, Marc VOLTZ, Patricia LAVILLE
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
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
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)
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
LPASS: Linear Probes as Stepping Stones for vulnerability detection using compressed LLMs
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas ANCIAUX, Luis IBANEZ-LISSEN, Lorena GONZALEZ-MANZANO, Jose Maria DE FUENTES
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
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
Deductive Verification of Synchronous Reactive Programs
Publié en 2025
Type de publication : Poster
Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
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
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
XAI for safe AI: technical-legal misconceptions and misalignments
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas ANCIAUX, Marina BUITRAGO-PEREZ, Jose MARIA DE FUENTES, Ofelia TEJERINA, Lorena GONZALEZ-MANZANO, Luis IBANEZ-LISSEN
Conformal Prediction for LLMs in the Black-Box Model
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Lucas BIECHY, Nicolas ANCIAUX, Adrien BOIRET, Cédric EICHLER
bench-MIA: Towards automatic multi-lever benchmark construction for MIA evaluation
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Yanming LI, Cédric EICHLER, Nicolas ANCIAUX, Héber H. ARCOLEZI, José Maria DE FUENTES
I knew you knew: Differential privacy for knowledge graphs under semantic-aware attacks
Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Yasmine HAYDER, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
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) : Yannick PARMENTIER, Julien BROISIN, Christophe DECLERCQ, Sébastien JOLIVET, 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
Polynomial kernels for edge modification problems towards block and strictly chordal graphs
Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mael DUMAS, Anthony PEREZ, Ioan TODINCA, Mathis ROCTON
Determining a graph from its reconfiguration graph
Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Caroline BROSSE, Gaétan BERTHE, Brian HEARN, Jan Van Den HEUVEL, Pierre HOPPENOT, Théo PIERRON
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
Can Operations Research Bring You to the Next Level? Basics and Applications
Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrick MARCEL, Vincent T'KINDT
https://openproceedings.org/html/pages/2025_edbt.html
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
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
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
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
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
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
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
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
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
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

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