Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

Fast exact algorithm for L(2,1)-labeling of graphs

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Konstanty JUNOSZA-SZANIAWSKI, Jan KRATOCHVIL, Peter ROSSMANITH, Pawel RZAZEWSKI
Exact and Parameterized Algorithms for Max Internal Spanning Tree

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Daniel BINKELE-RAIBLE, Henning FERNAU, Serge GASPERS
An O(n^2)-time algorithm for the minimal interval completion problem

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Christophe CRESPELLE
Programming with BSP Homomorphisms

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Joeffrey LEGAUX, Zhenjiang HU, Kiminori MATSUZAKI, Julien TESSON
Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11)

Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
An Alert Prediction Model for Cloud Infrastructure Monitoring

Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Sayanta MALLICK, Gaétan HAINS, Cheikh Sadibou DEME
Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures

Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Stéphane BETGE-BREZETZ, Aline BOUSQUET, Eddy CARON, Laurent CLÉVY, Marie-Pascale DUPONT, Guy-Bertrand KAMGA, Jean-Marc LAMBERT, Arnaud LEFRAY, Bertrand MARQUET, Jonathan ROUZAUD-CORNABAS, Lamiel TOCH, Benjamin VENELLE
A tight bound on the number of minimal dominating sets in split graph

Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Jean-François COUTURIER
The complexity of the bootstraping percolation and other problems

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Eric GOLES, Pedro MONTEALEGRE-BARBA
SocCap - Detection and Characterization of Social Capitalists

Publié en 2013
Type de publication : Logiciel
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
Colorings with few Colors: Counting, Enumeration and Combinatorial Bounds

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Artem V. PYATKIN
SPTrack: Visual Analysis of Information Flows within SELinux Policies and Attack Logs

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Patrice CLEMENTE, Bangaly KABA, Jonathan ROUZAUD-CORNABAS, Marc ALEXANDRE, Guillaume AUJAY
Classification non supervisée : de la multiplicité des données à la multiplicité des analyses

Publié en 2012
Type de publication : Thèse
Auteur(s) : Jacques-Henri SUBLEMONTIER
Analyses sécuritaires de code de carte à puce sous attaques physiques simulées

Publié en 2012
Type de publication : Thèse
Auteur(s) : Xavier KAUFFMANN-TOURKESTANSKY
Equational Abstraction Refinement for Certified Tree Regular Model Checking

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Benoit BOYER, Thomas GENET, Axel LEGAY
Osom: A method for building overlapping topological maps

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU
(Circular) backbone colouring: tree backbones in planar graphs

Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Frédéric HAVET, Andrew KING
Compression de signatures pour PIGA IDS

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Jérémy BRIFFAUT, Pierre CLAIRET
PIGA-Windows : contrôle des flux d'information avancés sur les systèmes d'exploitation Windows 7

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Damien GROS, Mathieu BLANC
Describing São Tomense Using a Tree-Adjoining Meta-Grammar

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Emmanuel SCHANG, Brunelle MAGNANA EKOUKOU, Simon PETITJEAN
Contributions à la résolution de contraintes du premier ordre

Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Khalil DJELLOUL
A Link-Based Method for Propositionalization

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH
Approximating the Throughput by Coolest First Scheduling

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christoph DÜRR, Ioannis MILIS, Julien ROBERT, Georgios ZOIS
Approximation and Online Algorithms
Describing Music with MetaGrammars

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Simon PETITJEAN
Markov Logic Network for supervised gene regulation inference: application to the ID2 regulatory network in human keratinocytes

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Christel VRAIN, Celine BROUARD, Julie DUBOIS, David CASTEL, Marie-Anne DEBILY, Florence D'ALCHÉ-BUC
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Julien TESSON
Experiments in Parallel Matrix Multiplication on Multi-Core Systems

Publié en 2012
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
Advanced protection of workflow sessions with SEWebSession

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Maxime FONDA, Stéphane MOINARD
Unconventional Computation and Natural Computation (UCNC '12)

Publié en 2012
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Nataša JONOSKA
Proceedings of the Seventh International Workshop on Constraint Solving and Language Processing (CSLP'12)

Publié en 2012
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
High level model of control flow attacks for smart card functional security

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
Repackaging Android applications for auditing access to private data

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Thomas FÉCHEROLLE, Nicolas GUILLOTEAU, Jean-François LALANDE
Compacting Security Signatures for PIGA IDS

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Jérémy BRIFFAUT, Pierre CLAIRET
FIELDS : Flow Intrusion Extrusion Largescale Detection System

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Nicolas GRENÈCHE, Quentin NARVOR
On the parameterized complexity of coloring graphs in the absence of a linear forest

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA
HoneyCloud: elastic honeypots - On-attack provisioning of high-interaction honeypots

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
Protecting resources in an open and trusted peer-to-peer network

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-François LALANDE, David RODRIGUEZ
Okm : une librairie R pour la classification recouvrante

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Léo ROUSSEAU
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Rodrigo TORRES, Anahi GAJARDO
MAC protection of the OpenNebula Cloud environment

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Z. AFOULKI, A. BOUSQUET, J. BRIFFAUT, J. ROUZAUD-CORNABAS, C. TOINARD
Weak Inclusion for Recursive XML Types

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pierre RETY, Jacques CHABIN, Joshua AMAVI
Metagrammars as Logic Programs

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Simon PETITJEAN
Towards Verified Cloud Computing Environments

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Frédéric GAVA, Nikolai KOSMATOV, Matthieu LEMERRE
Unification modulo Synchronous Distributivity

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Serdar ERBATUR, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Une librairie de squelettes algorithmiques par blocs sur structure de données 2D

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Sébastien LIMET, Hélène COULLON
Substitutions and Strongly Deterministic Tilesets

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Bastien LE GLOANNEC
Comment ajouter de la privacy after design pour les applications Android ?

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Pascal BERTHOMÉ, Jean-François LALANDE
On the Formal Verification of Computer Simulations

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
Décrire la morphologie des verbes en ikota au moyen d'une métagrammaire

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Brunelle MAGNANA EKOUKOU, Simon PETITJEAN, Emmanuel SCHANG
19e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2012) - Atelier sur le traitement automatique des langues africaines (TALAf 2012)
Contrôle d'accès mandataire pour Windows 7

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christian TOINARD, Jérémy BRIFFAUT, Damien GROS
SSTIC

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