Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

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
Nested Atomic Sections with Thread Escape: An Operational Semantics
Publié en 2013
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
Polynomial kernels for Proper Interval Completion and related problems
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Stéphane BESSY
SocCap - Detection and Characterization of Social Capitalists
Publié en 2013
Type de publication : Logiciel
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
The Unary Arithmetical Algorithm in Bimodular Number Systems
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT, Petr KURKA
Honeypot forensics for system and network SIEM design
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
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
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
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
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
Branching processes of general Petri nets
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD, Pascal WEIL
On Compatible Normal Odd Partitions in Cubic Graphs
Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
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
Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier - 01 février 2013, Toulouse, France
Publié en 2013
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, André PÉNINOU, Florence SÈDES
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
A Pseudo-Random Bit Generator Using Three Chaotic Logistic Maps
Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Michael FRANÇOIS, David DEFOUR
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 BERTHOME, 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, Emmanuel SCHANG, Brunelle MAGNANA EKOUKOU, Yannick PARMENTIER, 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
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
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
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 BERTHOME, 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 BERTHOME, 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 BERTHOME, 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
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
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
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

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