Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

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
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É
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
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
Personalising privacy contraints in Generalization-based Anonymization Models

Publié en 2019
Type de publication : Thèse
Auteur(s) : Axel MICHEL
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
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
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
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
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
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
Integrating multiple satellite observations into a coherent dataset to monitor the full water cycle – application to the Mediterranean region

Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Victor PELLET, Filipe AIRES, Simon MUNIER, Diego FERNÁNDEZ PRIETO, Gabriel JORDÀ, Wouter Arnoud DORIGO, Jan POLCHER, Luca BROCCA
A computational account of virtual travelers in the Montagovian generative lexicon

Publié en 2019
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Richard MOOT, Christian RETORÉ
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
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
Representation and Parsing of Multiword Expressions

Publié en 2019
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Jakub WASZCZUK
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
A First Step in the Translation of Alloy to Coq

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, Salwa SOUAF
Cryptanalysis of a code-based one-time signature

Publié en 2018
Type de publication : Autres Publications
Auteur(s) : Jean-Christophe DENEUVILLE, Philippe GABORIT
Bringing a Feature Selection Metric from Machine Learning to Complex Networks

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Jean-Charles LAMIREL
Studies in Computational Intelligence
L'interrogation du web de données garantissant des réponses valides par rapport à des critères donnés

Publié en 2018
Type de publication : Thèse
Auteur(s) : Thanh Binh NGUYEN
Sentential negation and negative words in Guadeloupean Creole

Publié en 2018
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Simon PETITJEAN, Emmanuel SCHANG
Universalité et complexité des automates cellulaires coagulants

Publié en 2018
Type de publication : Thèse
Auteur(s) : Diego MALDONADO
Toward performance prediction for Multi-BSP programs in ML

Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Victor ALLOMBERT, Frédéric GAVA, Julien TESSON
Secure Joins with MapReduce

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
Interopérabilité dans l'Internet des Objets : Étude et mise en œuvre

Publié en 2018
Type de publication : Poster
Auteur(s) : Pascal BERTHOMÉ, Cédric EICHLER, Fergal MARTIN-TRICOT
Verified Programs for Frequent Itemset Mining

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Christopher WHITNEY
Interactive Bulk Synchronous Parallel Functional Programming in a Browser

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Julien TESSON
Exact algorithms for weak Roman domination

Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Anthony PEREZ, Mathieu CHAPELLE, Manfred COCHEFERT, Jean-Fraņcois COUTURIER, Dieter KRATSCH, Romain LETOURNEUR
Computing square roots of graphs with low maximum degree

Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Manfred COCHEFERT, Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA, Anthony STEWART
Classification of Ceramic Shards Based on Convolutional Neural Network

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Aladine CHETOUANI, Teddy DEBROUTELLE, Sylvie TREUILLET, Sébastien JESSET
Fast-Parallel Algorithms for Freezing Totalistic Asynchronous Cellular Automata

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Eric GOLES, Diego MALDONADO, Pedro MONTEALEGRE-BARBA
On Aperiodic Reversible Turing Machines (invited talk)

Publié en 2018
Type de publication : Conférence donnée sur invitation
Auteur(s) : Nicolas OLLINGER
Reversible Computation 10th International Conference (RC 2018)
MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models

Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Classifier Recommendation Using Data Complexity Measures

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Luis GARCIA, Ana Carolina LORENA, Tin HO
Dysregulation of apoptosis and autophagy gene expression in peripheral blood mononuclear cells of efficiently treated HIV-infected patients

Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric MOAL, Amandine SERRANO, Saïd EL HADDAD, Thierry PRAZUCK, Eric LEGAC, Chloé ROBIN, Fabienne BRULÉ-MORABITO, Stéphane CHARPENTIER, Thierry NORMAND, Alain LEGRAND, Laurent HOCQUELOUX, Lucile MOLLET
Universality in Freezing Cellular Automata

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Nicolas OLLINGER, Diego MALDONADO, Guillaume THEYSSIER
Combining Users Feedback as a Source of Knowledge for Feature Selection in Regression

Publié en 2018
Type de publication : Autres Publications
Auteur(s) : Marta SOARE, Loujain LIEKAH, Emilie MORVANT, Amaury HABRARD
A Denotational Semantics of Textually Aligned SPMD Programs

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric DABROWSKI
International Conference on High Performance Computing & Simulation
Impact of vectorization and multithreading on performance and energy consumption on Jetson boards

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Emmanuel MELIN, Naly RALIRAVAKA, Emmanuel BODÈLE, Pablo ESCOT BOCANEGRA
Parallel Programming with OCaml: A Tutorial

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathias BOURGOIN, Frédéric LOULERGUE, Victor ALLOMBERT
Strong Security Guarantees: From Alloy to Coq (Research Poster)

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Salwa SOUAF

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