Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

A Framework for Minimal Clustering Modification via Constraint Programming
Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Chia-Tung KUO, S. S. RAVI, Ian DAVIDSON
Profiling High Level Heterogeneous Programs
Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Mathias BOURGOIN, Emmanuel CHAILLOUX, Anastasios DOUMOULAKIS
Apprentissage d'espaces prétopologiques dans un cadre multi-instance pour la structuration de données
Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaëtan CAILLAUT
EGC 2017. Revue des Nouvelles Technologies de l'Information
Handling limits of high degree vertices in graph processing using MapReduce and Pregel
Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Private, Secure and Distributed Computation of k-cores
Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Pascal BERTHOME, Cédric EICHLER, Benjamin NGUYEN, Maria Evgenia G. ROSSI
Enumerating Minimal Tropical Connected Sets
Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Dieter KRATSCH, Mohamed Yosri SAYADI
Managing Distributed Queries under Personalized Anonymity Constraints
Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Benjamin NGUYEN, Axel MICHEL, Philippe PUCHERAL
Updating RDF/S Databases Under Constraints
Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Dominique LAURENT
Automated generation of BSP automata
Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Thibaut TACHON, Chong LI, Gaétan HAINS
Replicated Synchronization for Imperative BSP Programs
Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric DABROWSKI, Wadoud BOUSDIRA, Frédéric LOULERGUE, Arvid JAKOBSSON, Gaetan HAINS
Procedia Computer Sciences
Abstract geometrical computation 9: Exact discretization of 3-speed rational signal machines
Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE, Tom BESSON
Pre-exascale Architectures: OpenPOWER Performance and Usability Assessment for French Scientific Community
Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Gabriel HAUTREUX, Alfredo BUTTARI, Arnaud BECK, Victor CAMEO, Dimitri LECAS, Emeric BRUN, Eric BOYER, Fausto MALVAGI, Gabriel STAFFELBACH, Isabelle D’AST, Joeffrey LEGAUX, Ghislain LARTIGUE, Gilles GRASSEAU, Guillaume LATU, Juan ESCOBAR, Julien BIGOT, Julien DEROUILLAT, Matthieu HAEFELE, Nicolas RENON, Philippe PARNAUDEAU, Philippe WAUTELET, Pierre-François LAVALLÉE, Pierre KESTENER, Rémi LACROIX, Stephane REQUENA, Anthony SCEMAMA, Vincent MOUREAU, Jean-Matthieu ETANCELIN, Yann MEURDESOIF
Personalized Environment for Querying Semantic Knowledge Graphs: a MapReduce Solution
Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Mostafa BAMHA, Jacques CHABIN, Mirian HALFELD-FERRARI, Béatrice MARKHOFF, Thanh Binh NGUYEN
Calculating Parallel Programs in Coq using List Homomorphisms
Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Wadoud BOUSDIRA, Julien TESSON
Treewidth and Pathwidth parameterized by the vertex cover number
Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Mathieu CHAPELLE, Yngve VILLANGER
Detecting Local Covert Channels Using Process Activity Correlation on Android Smartphones
Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marcin URBANSKI, Wojciech MAZURCZYK, Jean-François LALANDE, Luca CAVIGLIONE
Linguistique de corpus : vues sur la constitution, l’analyse et l’outillage
Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Iris ESHKOL-TARAVELLA
Fundamenta Informaticae Special issue on Machines, Computations and Universality (MCU 2015)
Publié en 2017
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Jarkko KARI, Benedek NAGY
RDF Updates with Constraints
Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Carmem HARA, Flávio UBER
A Multi-level Optimization Strategy to Improve the Performance of Stencil Computation
Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sylvain JUBERTIE, Gauthier SORNET, Fabrice DUPROS
A Small Minimal Aperiodic Reversible Turing Machine
Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Julien CASSAIGNE, Rodrigo TORRES
Promoting multiword expressions in A* TAG parsing
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Jakub WASZCZUK, Agata SAVARY
Malware à base de canaux auxiliaires
Publié en 2016
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jean-François LALANDE
Aide à la vérification de programmes concurrents par transformation de code et de spécifications
Publié en 2016
Type de publication : Thèse
Auteur(s) : Allan BLANCHARD
XMG2: Describing Description Languages
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Simon PETITJEAN
Vers la sécurité mobile : caractérisation des attaques et contremesures
Publié en 2016
Type de publication : HDR
Auteur(s) : Jean-François LALANDE
Multi-scale modeling for software-intensive systems-of-systems architectures
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Ilhem KHLIF, Mohamed Hadj KACEM, Khalil DRIRA, Ahmed Hadj KACEM
Exécution de requêtes distribuées sous contraintes d'anonymat
Publié en 2016
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN, Axel MICHEL, Philippe PUCHERAL
Contre-mesures logicielles contre les fautes induisant des sauts
Publié en 2016
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jean-François LALANDE
Distributed Testing of Excluded Subgraphs
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Ivan RAPAPORT, Ville SALO
Interactions in Complex Systems
Publié en 2016
Type de publication : Autres Publications
Auteur(s) : Christel VRAIN, Stéphane CORDIER, Nicolas DEBARSY, Cem ERTUR, François NEMO, Déborah NOURRIT, Gérard POISSON
A Fast Parallel Algorithm for the Robust Prediction of the Two-Dimensional Strict Majority Automaton
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Eric GOLES CHACC, Pedro MONTEALEGRE
Lecture Notes in Computer Science
Attributed Graph Rewriting for Complex Event Processing Self-Management
Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Cédric EICHLER, Wilson A. HIGASHINO, Miriam CAPRETZ, Luiz F. BITTENCOURT, Thierry MONTEIL
Repetitive Branch-and-Bound using Constraint Programming for Constrained Minimum Sum-of-Squares Clustering
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Tias GUNS, Khanh-Chuong DUONG
22nd European Conference on Artificial Intelligence
A Framework for Actionable Clustering using Constraint Programming
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG, Ian DAVIDSON
22nd European Conference on Artificial Intelligence
Upper Domination: Complexity and Approximation
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Cristina BAZGAN, Ljiljana BRANKOVIC, Katrin CASEL, Henning FERNAU, Klaus JANSEN, Kim-Manuel KLEIN, Michail LAMPIS, Jérôme MONNOT, Vangelis PASCHOS
Brief Announcement: Deterministic Graph Connectivity in the Broadcast Congested Clique
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pedro MONTEALEGRE
PODC '16 Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing
Enhancing practical TAG parsing efficiency by capturing redundancy
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Jakub WASZCZUK, Agata SAVARY
A CHR-Based Solver for Weak Memory Behaviors
Publié en 2016
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
Managing distributed queries under anonymity constraints
Publié en 2016
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN, Axel MICHEL
Étude pour le calcul de bassins versants en temps réel
Publié en 2016
Type de publication : Poster
Auteur(s) : Sophie ROBERT, Sébastien LIMET, Kevin BOURGEOIS, Victor ESSAYAN, Loïc THOMAS
Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage
Publié en 2016
Type de publication : Thèse
Auteur(s) : Asma GUESMI
Algorithmic Aspects of Upper Domination: A Parameterised Perspective
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Cristina BAZGAN, Ljiljana BRANKOVIC, Katrin CASEL, Henning FERNAU, Klaus JANSEN, Kim-Manuel KLEIN, Michail LAMPIS, Jérôme MONNOT, Vangelis PASCHOS
Challenges in Android Malware Analysis
Publié en 2016
Type de publication : Revue internationale sans comité de lecture
Auteur(s) : Valérie VIET TRIEM TONG, Jean-François LALANDE, Mourad LESLOUS
ArabTAG: from a Handcrafted to a Semi-automatically Generated TAG
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Chérifa BEN KHELIL, Chiraz ZRIBI, Fériel BEN FRAJ
Shortest Processing Time First and Hadoop
Publié en 2016
Type de publication : Communications sans actes
Auteur(s) : Laurent BOBELIN, Patrick MARTINEAU, Haiwu HE
On Distance-d Independent Set and other problems in graphs with few minimal separators.
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pedro MONTEALEGRE
To appear 2016
Exact discretization of 3-speed rational signal machines
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE, Tom BESSON
Lecture Notes in Computer Science
Branch-and-bound répétitive et programmation par contraintes pour le clustering sous contraintes
Publié en 2016
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG, Tias GUNS
Kharon dataset: Android malware under a microscope
Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas KISS, Jean-François LALANDE, Mourad LESLOUS, Valérie VIET TRIEM TONG
Proceedings of the Learning from Authoritative Security Experiment Results (LASER) 2016

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