Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

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
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
Deductive Verification of Synchronous Reactive Programs

Publié en 2025
Type de publication : Poster
Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
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
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
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 national avec comité de lecture
Auteur(s) : Nicolas ANCIAUX, Marina BUITRAGO-PEREZ, Jose MARIA DE FUENTES, Ofelia TEJERINA, Lorena GONZALEZ-MANZANO, Luis IBANEZ-LISSEN
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
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
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
Machine Learning Based-Proactive Caching for Cellular Networks

Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Nedra AMARA
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
Accumulating global channel-wise patterns via deformed-bottleneck recalibration for image classification

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent NGUYEN, Thanh Tuan NGUYEN, Thanh Phuong NGUYEN
Finding Comparison Insights in Multidimensional Datasets

Publié en 2025
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Alexandre CHANSON, Claire ANTOINE, Nicolas LABROCHE
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
Cannabidiol Has Sex-Dependent Anti-Inflammatory Effects in Long-Term Suppressed HIV-1 Adults

Publié en 2025
Type de publication : Poster
Auteur(s) : Valentin BEAUVAIS, Sophie ROBERT, Clémence COUTON, Chloé ROBIN, Alicia HARRY, Kossi AYENA, Barbara DE DIEULEVEULT, Helene KLEIN, Elodie VILLALONGA-ROSSO, Laurent HOCQUELOUX, Thierry PRAZUCK, Lucile MOLLET
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 : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Trung-anh DANG, Vincent NGUYEN, Christel VRAIN, Ngoc-Son VU
WACV 2025 Proceedings, IEEE/CVF Winter Conference on Applications of Computer Vision
Enhancing Marine Habitats Detection: A Comparative Study of Semi-Supervised Learning Methods

Publié en 2025
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Rim RAHALI, Vincent NGUYEN, Thanh NGUYEN
20th VISIGRAPP 2025: Porto, Portugal - Volume 2: VISAPP
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
Edgelet Computing: Enabling Privacy-Preserving Decentralized Data Processing at the Network Edge

Publié en 2025
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas ANCIAUX, Ludovic JAVET, Luc BOUGANIM, Philippe PUCHERAL
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
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
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
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
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 : Chapitre d'ouvrages scientifiques
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN
De représentations de documents à programmes : l'hypothèse distributionnelle peut-elle vraiment être utilisée sur les langages de programmation?

Publié en 2025
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thibaut MARTINET, Guillaume CLEUZIOU, Matthieu EXBRAYAT, Frédéric FLOUVAT
RNTI
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
Current Trends in Web Engineering

Publié en 2025
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Patrick MARCEL, Cesare PAUTASSO
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
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
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
Machines, Computations, and Universality

Publié en 2025
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Enrico FORMENTI
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
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
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
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

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