Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

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
Secure Portable Tokens for Sensitive Questionnaires Surveys

Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN, Athanasia KATSOURAKI, Luc BOUGANIM, Paul TRAN-VAN
On the number of minimal dominating sets on some graph classes

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Jean-François COUTURIER, Romain LETOURNEUR
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
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
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
A Privacy-Preserving NFC Mobile Pass for Transport Systems

Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ghada ARFAOUI, Guillaume DABOSVILLE, Sébastien GAMBS, Patrick LACHARME, Jean-François LALANDE
⌈-Pomset pour la modélisation et la vérification de systèmes parallèles

Publié en 2014
Type de publication : Thèse
Auteur(s) : Mouhamadou Tafsir SAKHO
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation

Publié en 2014
Type de publication : Thèse
Auteur(s) : Thomas PINSARD
Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets

Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Abderrahim AIT WAKRIME
Coloriage du plan discret par jeux de tuiles déterministes

Publié en 2014
Type de publication : Thèse
Auteur(s) : Bastien LE GLOANNEC
Génération modulaire de grammaires formelles

Publié en 2014
Type de publication : Thèse
Auteur(s) : Simon PETITJEAN
Constrained clustering by constraint programming

Publié en 2014
Type de publication : Thèse
Auteur(s) : Khanh-Chuong DUONG
Comparaison et évolution de schémas XML

Publié en 2014
Type de publication : Thèse
Auteur(s) : Joshua AMAVI
Vers une méthode de maîtrise des risques dans l'informatisation de l'aide au handicap

Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Christian TOINARD, Marie-Elisabeth LABAT, Anaïs LEFEUVRE
Décrire informatiquement une langue naturelle : application à quelques langues d'Afrique

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Nicola LAMPITELLI, Brunelle MAGNANA EKOUKOU, Simon PETITJEAN, Emmanuel SCHANG
Actes du colloque international Francophonie et Langues Nationales
Computational complexity of threshold automata networks under different updating schemes

Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Eric GOLES CHACC, Pedro MONTEALEGRE
On the importance of considering social capitalism when measuring influence on Twitter

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Maximilien DANISCH, Nicolas DUGUÉ
Agent-based Modelling of the EcosystemServices Difusion through Urban Green Spaces

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Jean LOUIS YENGUE
Agent-based Modelling of the Ecosystem Services Diffusion through Urban Green Spaces

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Jean-Louis YENGUÉ
An autonomous Cloud management system for in-depth security

Publié en 2014
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
2014 IEEE 3rd International Conference on Cloud Networking (CloudNet)
Appréciation de l'intérêt du secteur minier pour les SMA pour l'analyse prospective du marché des métaux stratégiques

Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Fenintsoa ANDRIAMASINORO, Vincent LEVORATO
Constraints and Language

Publié en 2014
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Philippe BLACHE, Henning CHRISTIANSEN, Verónica DAHL, Jørgen VILLADSEN
Constraint-driven Grammar Description

Publié en 2014
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Benoît CRABBÉ, Simon PETITJEAN
Group Measures and Modeling for Social Networks

Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent LEVORATO
Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages

Publié en 2014
Type de publication : Thèse
Auteur(s) : Hélène COULLON
Privacy and Mobile Technologies: the Need to Build a Digital Culture

Publié en 2014
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Sébastien GAMBS, Brigitte JUANALS, Jean-François LALANDE, Jean-Luc MINEL, Mathilde DE SAINT LÉGER
Place-liveness of ComSA Applications

Publié en 2014
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
Exact Exponential Algorithms to Find a Tropical Connected Set of Minimum Size

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Mathieu CHAPELLE, Manfred COCHEFERT, Dieter KRATSCH, Romain LETOURNEUR
Software countermeasures for control flow integrity of smart card C codes

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Jean-François LALANDE, Karine HEYDEMANN
Implementing powerlists with Bulk Synchronous Parallel ML

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Julien TESSON, Virginia NICULESCU
A ToolBox for Conservative XML Schema Evolution and Document Adaptation

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Joshua AMAVI
Catamorphism generation and fusion using Coq

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Simon ROBILLARD
Knight tiles: particles and collisions in the realm of 4-way deterministic tilings

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Bastien LE GLOANNEC
Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Hélène COULLON
Identifying the Community Roles of Social Capitalists in the Twitter Network

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
Vitamins : Visual and In Situ Analytics for Molecular Interactive Simulation

Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Marc BAADEN, Matthieu DREHER, Nicolas FEREY, Jessica PREVOTEAU-JONQUET, Bruno RAFFIN, Mikael TRELLET
A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic

Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Michael FRANÇOIS, David DEFOUR, Christophe NEGRE
PVis - Partitions' Visualizer: extracting knowledge by visualizing a collection of partitions

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Katti FACELI, Tieme SAKATA, Andre DE CARVALHO
Query Log Driven Web Search Results Clustering

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, José G. MORENO, Gaël DIAS
Issues on Sampling Negative Examples for Predicting Prokaryotic Promoters

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Eduardo GUSMÃO
An Advanced Security-Aware Cloud Architecture

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET, Eddy CARON, Jean-François COUTURIER, Arnaud LEFRAY, Jonathan ROUZAUD-CORNABAS
Lexical Disambiguation in LTAG using Left Context

Publié en 2014
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Claire GARDENT, Guy PERRIER, Sylvain SCHMITZ
On the Number of Minimal Dominating Sets on Cobipartite and Interval Graphs

Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Jean-François COUTURIER, Romain LETOURNEUR
Protection obligatoire répartie : usage pour le calcul intensif et les postes de travail

Publié en 2014
Type de publication : Thèse
Auteur(s) : Damien GROS
Approche algorithmique pour l’amélioration des performances du système de détection d’intrusions PIGA

Publié en 2014
Type de publication : Thèse
Auteur(s) : Pierre CLAIRET
Un pass de transport anonyme et intraçable pour mobile NFC

Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Ghada ARFAOUI, Guillaume DABOSVILLE, Sébastien GAMBS, Patrick LACHARME, Jean-François LALANDE

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