Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

The transitivity problem of Turing machines
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Anahí GAJARDO, Rodrigo TORRES-AVILÉS
Practical and Privacy-Preserving TEE Migration
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ghada ARFAOUI, Jean-François LALANDE, Saïd GHAROUT, Jacques TRAORÉ
Lecture Notes in Computer Science
Learning Characteristic Rules in Geographic Information Systems
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Ansaf SALLEB-AOUISSI, Daniel CASSARD
Analysis of Human Awareness of Security and Privacy Threats in Smart Environments
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Luca CAVIGLIONE, Jean-François LALANDE, Wojciech MAZURCZYK, Steffen WENDZEL
Ontological approach for Data WareHouse design
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Aadil BOUCHRA, Abderrahim AIT WAKRIME, Kzaz LARBI, Abderrahim SEKKAKI
On the Fly Reconfiguration of Interactive Scientific Visualization Applications
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Abderrahim AIT WAKRIME
Contrôle d'accès obligatoire pour systèmes à objets : défense en profondeur des objets Java
Publié en 2015
Type de publication : Thèse
Auteur(s) : Benjamin VENELLE
Algorithmes exacts et exponentiels pour des problèmes de graphes
Publié en 2015
Type de publication : Thèse
Auteur(s) : Romain LETOURNEUR
Towards Automatic Triggering of Android Malware
Publié en 2015
Type de publication : Poster
Auteur(s) : Adrien ABRAHAM, Radoniaina ANDRIATSIMANDEFITRA RATSISAHANANA, Nicolas KISS, Jean-François LALANDE, Valérie VIET TRIEM TONG
Proceedings of the Grammar Engineering Across Frameworks (GEAF) 2015 Workshop
Publié en 2015
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Emily BENDER, Lori LEVIN, Stefan MÜLLER, Aarne RANTA
Cloud Resources Placement Based on Functional and Non-Functional Requirements
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Frédéric LOULERGUE, Pascal BERTHOME, Asma GUESMI
Analyse du capitalisme social sur Twitter
Publié en 2015
Type de publication : Thèse
Auteur(s) : Nicolas DUGUÉ
Microarchitecture-Aware Virtual Machine Placement under Information Leakage Constraints
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Arnaud LEFRAY, Eddy CARON, Jonathan ROUZAUD-CORNABAS
A case study on formal verification of the anaxagoros hypervisor paging system with frama-C
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, N. KOSMATOV, M. LEMERRE
Clustering avec la minimisation de la somme des carrés par la programmation par contraintes
Publié en 2015
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
A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOME, Saïd GHAROUT, Ghada ARFAOUI, Jean-François LALANDE, Jacques TRAORÉ, Nicolas DESMOULINS
Clustering conceptuel et relationnel en programmation par contraintes
Publié en 2015
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Willy LESAINT, Christel VRAIN
Beyond classes of graphs with “few” minimal separators : FPT results through potential maximal cliques
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Pedro MONTEALEGRE
Etude de faisabilité d'une reconnaissance automatique de motifs céramiques archéologiques par analyse d'images 2D et 3D
Publié en 2015
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Romain JANVIER, Teddy DEBROUTELLE, Aladine CHETOUANI, Sylvie TREUILLET, Sébastien JESSET, Lionel MARTIN
Introducing Freezing Cellular Automata
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Eric GOLES, Guillaume THEYSSIER
The simultaneous number-in-hand communication model on graphs: private coins, public coins and determinism
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Pedro MONTEALEGRE, Ivan RAPAPORT
An Autonomic Cloud Management System for Enforcing Security and Assurance Properties
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Jérémy BRIFFAUT, Aline BOUSQUET
Towards Scalability and Data Skew Handling in GroupBy-Joins using MapReduce Model
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
International Conference on Computational Science (ICCS'2015)
End-Vertices of Graph Search Algorithms
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Dieter KRATSCH, Daniel MEISTER
Kharon : Découvrir, comprendre et reconnaître des malware Android par suivi de flux d'information
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Radoniaina ANDRIATSIMANDEFITRA RATSISAHANANA, Thomas GENET, Laurent GUILLO, Jean-François LALANDE, David PICHARDIE, Valérie VIET TRIEM TONG
ANR LYRICS: Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Sébastien GAMBS, Jean-François LALANDE, Jacques TRAORÉ
A community role approach to assess social capitalists visibility in the Twitter network
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
Managing Personal Data with Strong Privacy Guarantees. Tutoriel
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN
An autonomous Cloud management system for in-depth security.
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET
High-level methodologies for grammar engineering. Introduction to the special issue
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
Nested atomic sections with thread escape: Compilation to threads and locks
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric DABROWSKI, Frédéric LOULERGUE, Thomas PINSARD
Gestion sécurisée de données personnelles
Publié en 2015
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN
Informatique Mathématique
Publié en 2015
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Nicolas OLLINGER
Sécurité Android: exemples de malware
Publié en 2015
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jean-François LALANDE
Scalability and Optimisation of GroupBy-Joins in MapReduce Scalability and Optimisation of GroupBy-Joins in MapReduce
Publié en 2015
Type de publication : Autres Publications
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
The SIPSim implicit parallelism model and the SkelGIS library
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Hélène COULLON
Algorithmes modérément exponentiels pour problèmes NP-difficiles
Publié en 2015
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Christophe LENTÉ, Vincent T'KINDT
The complexity of the majority rule on planar graphs
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Eric GOLES CHACC, Pedro MONTEALEGRE
Impact of missing data imputation methods on gene expression clustering and classification
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Pablo JASKOWIAK, Costa IVAN
On the kernelization of ranking r-CSPs: Linear vertex-kernels for generalizations of Feedback Arc Set and Betweenness in tournaments
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ
32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)
Publié en 2015
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Nicolas OLLINGER, Ernst MAYR
To be or not to be (anonymous)?
Publié en 2015
Type de publication : Conférence donnée sur invitation
Auteur(s) : Benjamin NGUYEN, Daniel LE MÉTAYER, Josep DOMINGO-FERRER, Mark ELLIOTT, Antoinette ROUVROY, Vincent TOUBIANA
Kernel Methods for Point Symmetry-based Clustering
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU, José G. MORENO
Towards an Era of Trust in Personal Data Management
Publié en 2015
Type de publication : Conférence donnée sur invitation
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN, Iulian SANDU-POPA
An $O(n^2)$-time algorithm for the minimal permutation completion problem
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Ioan TODINCA, Christophe CRESPELLE
QASSIT: A Pretopological Framework for the Automatic Construction of Lexical Taxonomies from Raw Texts
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Davide BUSCALDI, Vincent LEVORATO, Gaël DIAS, Christine LARGERON
Injective Colorings with Arithmetic Constraints
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Natacha ASTROMUJOFF, Mathieu CHAPELLE, Martin MATAMALA, José ZAMORA
Construction de programmes parallèles en Coq avec des homomorphismes de listes
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
Modèles fonctionnels de MapReduce en Coq
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
TrustedMR: A Trusted MapReduce System based on Tamper Resistance
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN, Quoc-Cuong TO, Philippe PUCHERAL

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