Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1802

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
The Unary Arithmetical Algorithm in Bimodular Number Systems

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT, Petr KURKA
Powerlists in Coq: Programming and Reasoning

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, Virginia NICULESCU, Simon ROBILLARD
On parsimonious edge-colouring of graphs with maximum degree three

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Sparse Square Roots

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Manfred COCHEFERT, Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA
On the (non-)existence of polynomial kernels for $P_l$-free edge modification problems

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Sylvain GUILLEMOT, Frédéric HAVET, Christophe PAUL
A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Hiep-Thuan DO
A Study of worst-case complexity for parallel machine scheduling problems based on an extension of the Sort & Search method

Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Vincent T'KINDT, Christophe LENTÉ
OSL: an algorithmic skeleton library with exceptions

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, Sylvain JUBERTIE, Joeffrey LEGAUX
Determining the L(2, 1)-span in polynomial space

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Konstanty JUNOSZA-SZANIAWSKI, Jan KRATOCHVIL, Pawel RZAZEWSKI
SocCap - Detection and Characterization of Social Capitalists

Publié en 2013
Type de publication : Logiciel
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
On minimum $({K}\_{q},k)$ stable graphs

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Honeypot forensics for system and network SIEM design

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11)

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library

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, Sylvain JUBERTIE, Joeffrey LEGAUX
On parsimonious edge-colouring of graphs with maximum degree three

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Interactive Molecular Dynamics: Scaling up to Large Systems

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Matthieu DREHER, Marc PIUZZI, Ahmed TURKI, Matthieu CHAVENT, Marc BAADEN, Nicolas FÉREY, Bruno RAFFIN
QuantMiner for Mining Quantitative Association Rules

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Ansaf SALLEB-AOUISSI, Cyril NORTET, Xiangrong KONG, Vivek RATHOD, Daniel CASSARD
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
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
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 international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Z. AFOULKI, A. BOUSQUET, J. BRIFFAUT, J. ROUZAUD-CORNABAS, C. TOINARD
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
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
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
Unconventional Computation and Natural Computation (UCNC '12)

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Nataša JONOSKA
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
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
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
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

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