Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

Calcul de programmes parallèles avec Coq

Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michaël RUSINOWITCH
The Simultaneous Number-in-Hand Communication Model for Networks: Private Coins, Public Coins and Determinism

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pedro MONTEALEGRE-BARBA, Ivan RAPAPORT
Un nouveau modèle pour la classification non supervisée sous contraintes

Publié en 2014
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG
Large induced subgraphs via triangulations and CMSO

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Yngve VILLANGER
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
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
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 BERTHOMÉ, 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 : Chapitre d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
Treewidth and Pathwidth Parameterized by the Vertex Cover Number

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Mathieu CHAPELLE, Yngve VILLANGER
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
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
Exact Algorithms for Weak Roman Domination

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Anthony PEREZ, Mathieu CHAPELLE, Manfred COCHEFERT, Jean-François COUTURIER, Dieter KRATSCH
LNCS
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
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
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Special Issue BSB 2012

Publié en 2013
Type de publication : 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
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
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
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
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
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
Domination-like problems parameterized by tree-width

Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Mathieu CHAPELLE
A Research Survey on Large XML Data: Streaming, Selectivity Estimation and Parallelism

Publié en 2013
Type de publication : 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

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