Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1628

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
LazyPred: On-Demand Prediction for Graph Querying

Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Lingchen WANG, Cristina DUTRA DE AGUIAR, Martin A. MUSICANTE
Lazy Prediction in Querying Graph Databases

Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Lingchen WANG, Cristina DUTRA DE AGUIAR, Martin A. MUSICANTE
Bridging Textual Data and Conceptual Models: A Model-Agnostic Structuring Approach

Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Nicolas HIOT
ArchiTXT

Publié en 2025
Type de publication : Logiciel
Auteur(s) : Nicolas HIOT, Jacques CHABIN, Mirian HALFELD-FERRARI
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
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
Synchronous Versus Asynchronous Tile-Based Self-Assembly

Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Phillip DRAKE, Matthew PATITZ, Trent ROGERS
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
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, Jose-Luis ALMEIDA FALCON, 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 C RICHER-DE-FORGES, Fadhila RAMDANI, Julien ROBERT, Yohann TEMPLIER, Eugénie TIENTCHEU, Marc VOLTZ, Patricia LAVILLE
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
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
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
Deductive Verification of Synchronous Reactive Programs

Publié en 2025
Type de publication : Poster
Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
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
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
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
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
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
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
Apprentissage d’une mesure pour la stratification de patients atteints de la sclérose latérale amyotrophique

Publié en 2025
Type de publication : Poster
Auteur(s) : Patrick MARCEL, Guillaume TEJEDOR, Veronika PERALTA, Nicolas LABROCHE, Hélène BLASCO, Hugo ALARCAN
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
Effective Computation of Generalized Abelian Complexity for Pisot Type Substitutive Sequences

Publié en 2025
Type de publication : Autres Publications
Auteur(s) : Jean-Michel COUVREUR, Martin DELACOURT, Nicolas OLLINGER, Pierre POPOLI, Jeffrey SHALLIT, Manon STIPULANTI
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
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

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