Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1799

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
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 BERTHOMÉ, 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 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 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 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
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
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
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
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
SEmantic Networks of Data: Utility and Privacy

Publié en 2019
Type de publication : Poster
Auteur(s) : Cédric EICHLER, Pascal BERTHOMÉ, Jacques CHABIN, Mirian HALFELD-FERRARI, Benjamin NGUYEN, Rachid ECHAHED, Frederic PROST
Automatic Generation of Bulk-Synchronous Parallel code

Publié en 2019
Type de publication : Thèse
Auteur(s) : Thibaut TACHON
Static Analysis for BSPlib Programs

Publié en 2019
Type de publication : Thèse
Auteur(s) : Filip JAKOBSSON
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 BERTHOMÉ, 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
SEmantic Networks of Data: Utility and Privacy

Publié en 2019
Type de publication : Communications sans actes
Auteur(s) : Cédric EICHLER, Pascal BERTHOMÉ, Jacques CHABIN, Mirian HALFELD-FERRARI, Benjamin NGUYEN, Rachid ECHAHED, Frederic PROST
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É
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
Personalising privacy contraints in Generalization-based Anonymization Models

Publié en 2019
Type de publication : Thèse
Auteur(s) : Axel MICHEL
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
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
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 BERTHOMÉ, 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
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
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
Constrained Distance Based Clustering for Satellite Image Time-Series

Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Thomas LAMPERT, Baptiste LAFABREGUE, Nicolas SERRETTE, Pierre GANÇARSKI
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 : Chapitre d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Jakub WASZCZUK
PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental

Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Yannick PARMENTIER, Gilbert BUSANA, Brigitte DENIS, Marie DUFLOT-KREMER, Sarah HIGUET, Lara KATAJA, Yves KREIS, Christophe LADURON, Christian MEYERS, Robert REUTER, Armin WEINBERGER
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

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