Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques

Publié en 2015
Type de publication : Thèse
Auteur(s) : Abderrahim AIT WAKRIME
Enforcing Security and Assurance Properties in Cloud Environment

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET, Eddy CARON, Eva MARÍA DOMINGUEZ, Javier FRANCO, Arnaud LEFRAY, Oscar LÓPEZ, Saioa ROS, Jonathan ROUZAUD-CORNABAS, Mikel URIARTE
Algorithmes exponentiels pour l'étiquetage, la domination et l'ordonnancement

Publié en 2015
Type de publication : HDR
Auteur(s) : Mathieu LIEDLOFF
Some undecidable problems about the trace-subshift associated to a Turing machine

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Anahí GAJARDO, Rodrigo TORRES-AVILÉS
Application et assurance autonomes de propriétés de sécurité dans un environnement d’informatique en nuage

Publié en 2015
Type de publication : Thèse
Auteur(s) : Aline BOUSQUET
PARSEME – PARSing and Multiword Expressions within a European multilingual network

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Agata SAVARY, Manfred SAILER, Michael ROSNER, Victoria ROSÉN, Adam PRZEPIÓRKOWSKI, Cvetana KRSTEV, Veronika VINCZE, Beata WÓJTOWICZ, Gyri Smørdal LOSNEGAARD, Carla PARRA ESCARTÍN, Jakub WASZCZUK, Mathieu CONSTANT, Petya OSENOVA, Federico SANGATI
Design of privacy preserving cryptographic protocols for mobile contactless services

Publié en 2015
Type de publication : Thèse
Auteur(s) : Ghada ARFAOUI
Directed Louvain : maximizing modularity in directed networks

Publié en 2015
Type de publication : Autres Publications
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ
Impact of Base Partitions on Multi-objective and Traditional Ensemble Clustering Algorithms

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Jane PIANTONI, Katti FACELI, Tieme SAKATA, Julio PEREIRA
Proc. of the 22nd International Conference on Neural Information Processing (ICONIP2015)
On measuring the complexity of classification problems

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Ana LORENA
Proc. of the 22nd International Conference on Neural Information Processing (ICONIP2015)
TrustedMR: A Trusted MapReduce System based on Tamper Resistance Hardware

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
Relaxation based SaaS for Repairing Failed Queries 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, Salima BENBERNOU, Said JABBOUR
GroddDroid: a Gorilla for Triggering Malicious Behaviors

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Adrien ABRAHAM, Radoniaina ANDRIATSIMANDEFITRA, Adrien BRUNELAT, Jean-François LALANDE, Valérie VIET TRIEM TONG
TrustedMR : Un système MapReduce de confiance basé sur l'utilisation de matériel sécurisé

Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
Over-Approximating Terms Reachable by Context-Sensitive Rewriting

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
Detecting Real-World Influence Through Twitter

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Valère COSSU, Nicolas DUGUÉ, Vincent LABATUT
Comparison and Validation of Two Parallelization Approaches of FullSWOF_2D Software on a Real Case

Publié en 2015
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Hélène COULLON, Olivier DELESTRE, Abily MORGAN, Cordier FLORIAN, Gourbesville PHILIPPE
Machines, Computations and Universality (MCU '15)

Publié en 2015
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Benedek NAGY
Learning Pretopological Spaces for Lexical Taxonomy Acquisition

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS
Constrained Minimum Sum of Squares Clustering by Constraint Programming

Publié en 2015
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
An exponential dynamic programming algorithm for the 3-machine flowshop scheduling problem to minimize the makespan

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Lei SHANG, Christophe LENTÉ, Vincent T'KINDT
A reliable and evolutive web application to detect social capitalists

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Maximilien DANISCH, Florian BRIDOUX, Amélie DAVIAU, Tennessy KOLUBAKO, Simon MUNIER, Hugo DURBANO
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
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
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
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
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
Algorithmes exacts et exponentiels pour des problèmes de graphes

Publié en 2015
Type de publication : Thèse
Auteur(s) : Romain LETOURNEUR
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
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 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
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 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
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 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
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

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