Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Joshua AMAVI
Exponential Algorithms for Scheduling Problems
Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Development Effort and Performance Trade-off in High-Level Parallel Programming
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Frédéric LOULERGUE, Joeffrey LEGAUX
Comparaison entre performances et effort de développement dans la programmation parallèle
Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Joeffrey LEGAUX
Nested Atomic Sections with Thread Escape: A Formal Definition
Publié en 2014
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
Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles
Publié en 2013
Type de publication : Thèse
Auteur(s) : Joeffrey LEGAUX
FullSWOF_Paral: Comparison of two parallelization strategies (MPI and SKELGIS) on a software designed for hydrology applications
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Stéphane CORDIER, Hélène COULLON, Olivier DELESTRE, Christian LAGUERRE, Minh Hoang LE, Daniel PIERRE, Georges SADAKA
Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic
Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Arnaud LEFRAY, Jonathan ROUZAUD-CORNABAS
Time Series Symbolization and Search for Frequent Patterns
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Van Hoan MAI
Access Control and Security Properties Requirements Specification for Clouds' SecLAs
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Asma GUESMI
A Privacy-Preserving Contactless Transport Service for NFC Smartphones
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ghada ARFAOUI, Sébastien GAMBS, Patrick LACHARME, Jean-François LALANDE, Lescuyer ROCH, Jean-Claude PAILLÈS
A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion
Publié en 2013
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
Maximal Set of XML Functional Dependencies over Multiple Systems
Publié en 2013
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Joshua AMAVI
Rôle communautaire des capitalistes sociaux dans Twitter
Publié en 2013
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
Definition of security metrics for the Cloud Computing and security-aware virtual machine placement algorithms
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Eddy CARON, Le ANH DUNG, Arnaud LEFRAY
An Unified FPT Algorithm for Width of Partition Functions
Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOME, Tom BOUVIER, Frédéric MAZOIT, Nicolas NISSE, Ronan PARDO SOARES
A Declarative Framework for Constrained Clustering
Publié en 2013
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
Learning a Markov Logic network for supervised gene regulatory network inference
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Celine BROUARD, Julie DUBOIS, David CASTEL, Marie-Anne DEBILY, Florence D'ALCHÉ-BUC
Hiding privacy leaks in Android applications using low-attention raising covert channels
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-François LALANDE, Steffen WENDZEL
XMG : eXtensible MetaGrammar
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Benoît CRABBÉ, Claire GARDENT, Joseph LE ROUX
7th International Workshop on Constraint Solving and Language Processing (CSLP'12). Selected and Revised Papers
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
Unsupervised collaborative boosting of clustering: an unifying framework for multi-view clustering, multiple consensus clusterings and alternative clustering
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques-Henri SUBLEMONTIER
Coupling Trees and Frames through XMG
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Timm LICHTE, Alexander DIEZ, Simon PETITJEAN
Post-Retrieval Clustering Using Third-Order Similarity Measures
Publié en 2013
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
Proceedings of the ESSLLI 2013 Workshop: High-level Methodologies for Grammar Engineering (HMGE'13)
Publié en 2013
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
Multiplicity within clustering: challenges and unifications
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques-Henri SUBLEMONTIER
Automatic Refinement of Service Compositions
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Sophie ROBERT, Umberto DA COSTA, Martin MUSICANTE
PIGA-Cluster: a distributed architecture integrating a shared and resilient reference monitor to enforce mandatory access control in the HPC environment
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Special Issue BSB 2012
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Marcilio PEREIRA DE SOUTO, M. KANN
Algorithmic skeleton library for scientific simulations : SkelGIS
Publié en 2013
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
Irrationality is needed to compute with signal machines with only three speeds
Publié en 2013
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérôme DURAND-LOSE
Lecture Notes in Computer Science
Modèle géométrique de calcul : fractales et barrières de complexité
Publié en 2013
Type de publication : Thèse
Auteur(s) : Maxime SENOT
Boosting collaboratif de classifieurs non supervisés : une plateforme unificatrice pour le clustering multi-vues, le consensus de clusterings multiple et la recherche de clusterings alternatifs
Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Jacques-Henri SUBLEMONTIER
Over-approximating Descendants by Synchronized Tree Languages
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
Security Enhanced Java: Mandatory Access Control for the Java Virtual Machine
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Benjamin VENELLE, Laurent CLÉVY, C. TOINARD
Security-Aware Models for Clouds
Publié en 2013
Type de publication : Poster
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Arnaud LEFRAY, Eddy CARON, Jonathan ROUZAUD-CORNABAS, Zhang HUAXI YULIN, Aline BOUSQUET
Un modèle général pour la classification non supervisée sous contraintes d'utilisateur
Publié en 2013
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
Interactive Molecular Dynamics: Scaling up to Large Systems
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Matthieu DREHER, Marc PIUZZI, Turki AHMED, Chavent MATTHIEU, Marc BAADEN, Nicolas FÉREY, Bruno RAFFIN
Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS
Publié en 2013
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, Hoang LE MINH
Mandatory access control with a multi-level reference monitor: PIGA-cluster
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
Mandatory Access Control for the Android Dalvik Virtual Machine
Publié en 2013
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, Laurent CLÉVY, Benjamin VENELLE
Domination-like problems parameterized by tree-width
Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Mathieu CHAPELLE
Modélisation des applications de visualisation scientifique interactives
Publié en 2013
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Abderrahim AIT WAKRIME
A Research Survey on Large XML Data: Streaming, Selectivity Estimation and Parallelism
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Muath ALRAMMAL, Gaétan HAINS
Conservative Type Extensions for XML Data
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
Linear vertex-kernels for several dense Ranking r-Constraint Satisfaction Problems
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ
Minimal dominating sets in graph classes: Combinatorial bounds and enumeration
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-François COUTURIER, Pinar HEGGERNES, Pim VAN ’T HOF, Dieter KRATSCH
Attacking Smartphone Privacy Using Local Covert Channels
Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Jean-François LALANDE, Steffen WENDZEL
Improving Mandatory Access Control for HPC clusters
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu BLANC, Jean-François LALANDE
Filtering XFD Toward Interoperability (short paper)
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Joshua AMAVI

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