Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

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 BERTHOMÉ, 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 Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Saïd GHAROUT, Ghada ARFAOUI, Jean-François LALANDE, Jacques TRAORÉ, Nicolas DESMOULINS
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
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
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
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
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)
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
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
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É
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
A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing

Publié en 2015
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOMÉ, Ghada ARFAOUI, Jean-François LALANDE, Jacques TRAORÉ, Nicolas DESMOULINS, Saïd GHAROUT
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
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
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
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
Managing Personal Data with Strong Privacy Guarantees. Tutoriel

Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN
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
Towards More Precise Rewriting Approximations

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
Calcul de programmes parallèles avec Coq

Publié en 2015
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Wadoud BOUSDIRA, Julien TESSON
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
Algorithmes modérément exponentiels pour problèmes NP-difficiles

Publié en 2015
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Christophe LENTÉ, Vincent T'KINDT
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
Fixing Improper Colorings of Graphs

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Konstanty JUNOSZA-SZANIAWSKI, Pawel RZAZEWSKI
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
On finding optimal polytrees

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS, Mikko KOIVISTO, Ordyniak SEBASTIAN, Stefan SZEIDER
Large Induced Subgraphs via Triangulations and CMSO

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Yngve VILLANGER
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
Allowing each node to communicate only once in a distributed system: shared whiteboard models

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Adrian KOSOWSKI, Martin MATAMALA, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
Complexity of splits reconstruction for low-degree trees

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS, Maya STEIN, Karol SUCHAN
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
Vers une classification conceptuelle recouvrante

Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Guillaume CLEUZIOU, Bruno CRÉMILLEUX
High-performance computing: to boldly go where no human has gone before

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Waleed SMARI, Luca SPALAZZI
Modèles fonctionnels de MapReduce en Coq

Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
Domination, coloring and stability in P5-reducible graphs

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Frédéric MAFFRAY
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
A formal semantics of nested atomic sections with thread escape

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric DABROWSKI, Frédéric LOULERGUE, Thomas PINSARD

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