Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

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
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
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
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
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
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
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
Using Implicit Calls to Improve Malware Dynamic Execution

Publié en 2016
Type de publication : Poster
Auteur(s) : Mourad LESLOUS, Jean-François LALANDE, Valérie VIET TRIEM TONG
High Level Data Structures for GPGPU Programming in a Statically Typed Language

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathias BOURGOIN, Emmanuel CHAILLOUX, Jean-Luc LAMOTTE
Web Service Composition As Minimal Unsatisfiability

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Abderrahim AIT WAKRIME, Said JABBOUR, Amine BELABED
Automating Data Warehouse Design Using Ontology

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Aadil BOUCHRA, Abderrahim AIT WAKRIME, Abderrahim SEKKAKI, Kzaz LARBI
Separating the regular from the idiosyncratic: An object-oriented lexical encoding of MWEs using XMG

Publié en 2016
Type de publication : Communications sans actes
Auteur(s) : Yannick PARMENTIER, Timm LICHTE, Simon PETITJEAN, Agata SAVARY, Jakub WASZCZUK
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre RETY, Vivien PELLETIER
Naming Game Automata Network

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Eric GOLES CHACC, Pedro MONTEALEGRE
Seeing the Unseen: Revealing Mobile Malware Hidden Communications via Energy Consumption and Artificial Intelligence

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Luca CAVIGLIONE, Mauro GAGGERO, Jean-François LALANDE, Wojciech MAZURCZYK, Marcin URBANSKI
DatShA :A Data Sharing Algebra for access control plans

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Benjamin NGUYEN, Luc BOUGANIM, Athanasia KATSOURAKI
Linear kernel for Rooted Triplet Inconsistency and other problems based on conflict packing technique

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Christophe PAUL, Stéphan THOMASSÉ
Programmation dynamique exponentielle pour des problèmes d'ordonnancement de type flowshop à 3 machines

Publié en 2016
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Lei SHANG, Christophe LENTÉ, Vincent T'KINDT
33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016)

Publié en 2016
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Nicolas OLLINGER, Heribert VOLLMER
Recherche de groupes parallèles en classification non-supervisée

Publié en 2016
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN, Teddy DEBROUTELLE, Aladine CHETOUANI, Sylvie TREUILLET, Sébastien JESSET
Extraction et Gestion de Connaissances EGC 2016
T-NET, a dynamic model for simulating daily stream temperature at the regional scale based on a network topology.

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Emmanuel MELIN, Aurélien BEAUFORT, Florence CURIE, Florentina MOATAR, Agnès DUCHARNE, Dominique THIÉRY
Faster Algorithms to Enumerate Hypergraph Transversals

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Manfred COCHEFERT, Jean-François COUTURIER, Serge GASPERS, Dieter KRATSCH
Ethique et risques pour la prise en charge du handicap

Publié en 2016
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christian TOINARD, Marie-Elisabeth LABAT
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs

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, Matthieu LEMERRE
Risques liés à la planification des emplois du temps pour la prise en charge d’enfants handicapés

Publié en 2016
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christian TOINARD, Yannick KERGOSIEN
Gestion des risques Naturels, technologiques et sanitaires (Congrès Envirorisk 2016)
Querying Semantic Graph Databases in View of Constraints and Provenance

Publié en 2016
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Thanh Binh NGUYEN
PSPACE-completeness of majority automata networks

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Eric GOLES CHACC, Pedro MONTEALEGRE, Ville SALO, Ilkka TÖRMÄ
Experiments on service composition refinement on the basis of preference-driven recommendation

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Sophie ROBERT, Cheikh BA, Thiago CERQUEIRA, Umberto Souza COSTA, Martin A. MUSICANTE
Development of a Decision Support Tool for Additive Manufacturing

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alexandre SCHNEIDER, Jean-François COUTURIER
Private and Scalable Execution of SQL Aggregates on a Secure Decentralized Architecture

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
Computing in Perfect Euclidean Frameworks

Publié en 2016
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
On QoS Web Service Composition Using Satisfiability

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Abderrahim AIT WAKRIME, Said JABBOUR
Extension paramétrée de compilateur certifié pour la programmation parallèle

Publié en 2015
Type de publication : Thèse
Auteur(s) : Sylvain DAILLER
Structuration de données par apprentissage non-supervisé : applications aux données textuelles

Publié en 2015
Type de publication : HDR
Auteur(s) : Guillaume CLEUZIOU
Minimum Unsatisfiability Based QoS Web Service Composition over the Cloud Computing

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Abderrahim AIT WAKRIME, Said JABBOUR

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