Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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
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
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
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
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
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
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 : 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
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
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
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
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
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
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
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
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
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 BERTHOME, 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, Brunelle MAGNANA EKOUKOU, Yannick PARMENTIER, 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
Apprentissage automatique d'un chunker pour le français

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Isabelle TELLIER, Iris ESHKOL, Arnaud COURMET, Mathieu MARTINET
Branch and Learn pour l'acquisition de CSP

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Christian BESSIERE, Remi COLETTA, Frédéric KORICHE, Arnaud LALLOUET, Matthieu LOPEZ
Analyse Syntaxique par Contraintes pour les Grammaires de Propriétés à Traits

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Thi-Bich-Hanh DIEP-DAO, Yannick PARMENTIER
Describing Morphologically-rich Languages using Metagrammars: a Look at Verbs in Ikota

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Brunelle MAGNANA EKOUKOU, Yannick PARMENTIER, Simon PETITJEAN, Emmanuel SCHANG
Towards a Self-consistent Orbital Evolution for EMRIs

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alessandro D. A. M. SPALLICCI, P. RITTER, S. JUBERTIE, Sylvaine CORDIER, S. AOUDIA
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants.

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Jérôme DURAND-LOSE, Maxime SENOT
Advanced MAC in HPC systems: performance improvement

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
Classification unilatéralement-connexe prétopologique : une extension de la librairie PretopoLIB

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Coralie PETERMANN, Vincent LEVORATO, Marc BUI
Reed's conjecture on some special classes of graphs

Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE

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