Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Enumeration and maximum number of minimal dominating sets for chordal graphs
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Petr GOLOVACH, Dieter KRATSCH, Mohamed Yosri SAYADI
Redonner du sens à l’accord interannotateurs : vers une interprétation des mesures d’accord en termes de reproductibilité de l’annotation
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Dany BREGEON, Jeanne VILLANEAU
Towards more precise rewriting approximations
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
Unification modulo Lists with Reverse, Relation with Certain Word Equations
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Peter HIBBS, Paliath NARENDRAN, Michaël RUSINOWITCH
Lecture Notes in Artificial Intelligence, LNAI, Springer-Verlag.
Formally verified software countermeasures for control-flow integrity of smart card C code
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOME, Karine HEYDEMANN, Jean-François LALANDE
Unification modulo Lists with Reverse as Solving Simple Sets of Word Equations
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Peter HIBBS, Paliath NARENDRAN, Michael RUSINOWITCH
Secure Intersection with MapReduce
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
Secure and Efficient Matrix Multiplication with MapReduce
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
Secure Strassen-Winograd Matrix Multiplication with MapReduce
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
Analysis and Automatic Processing of Discourse
Publié en 2019
Type de publication : Poster
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Manon CASSIER, Julien LONGHI, Damien NOUVEL, Agata JACKIEWICZ
Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA
Un corpus libre, évolutif et versionné en entités nommées du français
Publié en 2019
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Yoann DUPONT
Towards automatically optimizing PySke programs (poster)
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
Enumeration of Minimal Connected Dominating Sets in chordal bipartite graphs
Publié en 2019
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Benjamin GRAS
On Distributed Merlin-Arthur Decision Protocols
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Pedro MONTEALEGRE, Rotem OSHMAN, Rapaport IVAN
SEmantic Networks of Data: Utility and Privacy
Publié en 2019
Type de publication : Poster
Auteur(s) : Cédric EICHLER, Pascal BERTHOME, Jacques CHABIN, Mirian HALFELD-FERRARI, Benjamin NGUYEN, Rachid ECHAHED, Frederic PROST
PySke: Algorithmic Skeletons for Python
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
Enumeration and maximum number of maximal irredundant sets for chordal graphs
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Petr GOLOVACH, Dieter KRATSCH, Mohamed Yosri SAYADI
Static Analysis for BSPlib Programs
Publié en 2019
Type de publication : Thèse
Auteur(s) : Filip JAKOBSSON
Automatic Generation of Bulk-Synchronous Parallel code
Publié en 2019
Type de publication : Thèse
Auteur(s) : Thibaut TACHON
Reduction and Introducers in d-contexts
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alexandre BAZIN, Giacomo KAHN
On-demand Relational Concept Analysis
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alexandre BAZIN, Jessie CARBONNEL, Marianne HUCHARD, Giacomo KAHN, Priscilla KEIP, Amirouche OUZERDINE
Construction semi-automatique d'une grammaire d'arbres adjoints pour l'analyse syntaxico-sémantique de l'arabe
Publié en 2019
Type de publication : Thèse
Auteur(s) : Cherifa BEN KHELIL
Syntactic Parsing versus MWEs: What can fMRI signal tell us
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Murielle FABRE, Yoann DUPONT, Éric VILLEMONTE DE LA CLERGERIE
On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques
Publié en 2019
Type de publication : Communications sans actes
Auteur(s) : Mouna REKIK, Abderrahim AIT WAKRIME, Nasredine CHENIKI, Yacine SAM
La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Bisplit graphs satisfy the Chen-Chvátal conjecture
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Laurent BEAUDOU, Giacomo KAHN, Matthieu ROSENFELD
Sémantique distributionnelle et diachronie
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Guillaume DESAGULIER, Ilaine WANG
Industrial Internet of Things: Security of Interoperability
Publié en 2019
Type de publication : Poster
Auteur(s) : Cédric EICHLER, Pascal BERTHOME, Fergal MARTIN-TRICOT
Towards Full Proof Automation in Frama-C Using Auto-active Verification
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Constraint Games for stable and optimal allocation of demands in SDN
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Anthony PALMIERI, Arnaud LALLOUET, Luc PONS
Learning pretopological spaces to extract ego-centered communities
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaëtan CAILLAUT, Nicolas DUGUÉ
Personalising privacy contraints in Generalization-based Anonymization Models
Publié en 2019
Type de publication : Thèse
Auteur(s) : Axel MICHEL
Parallel programming with Coq: Map and reduce skeletons on trees
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
Logic against Ghosts: Comparison of Two Proof Approaches for a List Module
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Safe Usage of Registers in BSPlib
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA, Frédéric DABROWSKI, Arvid JAKOBSSON
to appear
LL-based query answering over RDF databases
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ciro MEDEIROS, Martin MUSICANTE, Umberto COSTA
Monitoring and Forecasting the Impact of the 2018 Summer Heatwave on Vegetation
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Clément ALBERGEL, Emanuel DUTRA, Bertrand BONAN, Yongjun ZHENG, Simon MUNIER, Gianpaolo BALSAMO, Patricia DE ROSNAY, Joaquin MUNOZ-SABATER, Jean-Christophe CALVET
Beyond Classes of Graphs with “Few” Minimal Separators: FPT Results Through Potential Maximal Cliques
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Pedro MONTEALEGRE
Teaching Android Mobile Security
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Jean-François LALANDE, Valérie VIET TRIEM TONG, Pierre GRAUX, Guillaume HIET, Wojciech MAZURCZYK, Habiba CHAOUI
An $O(n^2)$ time algorithm for the minimal permutation completion problem
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Ioan TODINCA, Christophe CRESPELLE
Logics for Unordered Trees with Data Constraints
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Adrien BOIRET, Vincent HUGOT, Joachim NIEHREN, Ralf TREINEN
Atelier : Sécurité informatique et protection de la vie privée : pratiques et perspectives dans les entreprises
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Benjamin NGUYEN, Françoise FESSANT, Arnaud HOURSON, Lucas LAISE
Extraction de communautés ego-centrées par apprentissage supervisé d'espaces prétopologiques.
Publié en 2019
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaëtan CAILLAUT, Nicolas DUGUÉ
Tutoriel : Anonymization Techniques : Theory and Practice
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Benjamin NGUYEN
Safe Usage of Registers in BSPlib (Preprint)
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Frédéric DABROWSKI, Wadoud BOUSDIRA, Arvid JAKOBSSON
Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Nicolas LACHICHE, Fabrizio RIGUZZI, Elena BELLODI, Riccardo ZESE
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Christel VRAIN, Zied BOURAOUI, Antoine CORNUÉJOLS, Thierry DENŒUX, Sébastien DESTERCKE, Didier DUBOIS, Romain GUILLAUME, Joao MARQUES-SILVA, Jérôme MENGIN, Henri PRADE, Steven SCHOCKAERT, Mathieu SERRURIER
Representation and Parsing of Multiword Expressions
Publié en 2019
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Jakub WASZCZUK
Personal Data Management Systems: The security and functionality standpoint
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN, Philippe BONNET, Luc BOUGANIM, Philippe PUCHERAL, Iulian SANDU-POPA, Guillaume SCERRI

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