Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

A New Approach to Enforce the Security Properties of a Clustered High-Interaction Honeypot

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS, Yacine ZEMALI
Pathwidth is NP-Hard for Weighted Trees

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Rodica MIHAI
De l'integration de la collaboration au sein du processus de clustering pour le traitement de données multi-représentées

Publié en 2009
Type de publication : Communications sans actes
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
SEC&SI: Un défi pour la réalisation d'un système d'exploitation cloisonné et sécurisé pour l'Internaute: Le Projet SPACLik

Publié en 2009
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
The Crotal SRL System : a Generic Tool Based on Tree-structured CRF

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Erwan MOREAU, Isabelle TELLIER
Problèmes d'optimisation avec des contraintes quantifiées

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO
Exact Exponential-Time Algorithms for Finding Bicliques in a Graph

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Henning FERNAU, Serge GASPERS, Dieter KRATSCH, Daniel RAIBLE
8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization
Décidabilité de contraintes du premier ordre par contraintes duales

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Enforcement of security properties for dynamic MAC policies

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE, Mathieu BLANC
Generation of role based access control security policies for Java collaborative applications

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE, Waleed SMARI
Toward a real MLS/SELinux system for end users: an empirical study

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Mathieu BLANC, Steve-William KISSI
Authorisation session management in on-demand resource provisioning in collaborative applications

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Yuri DEMCHENKO, Cees DE LAAT, Thierry DENYS
Mandatory access control implantation against potential NFS vulnerabilities

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu BLANC, Kévin GUÉRIN, Jean-François LALANDE, Vincent LE PORT
A full first-order constraints solver for decomposable theories

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Khalil DJELLOUL
Security and results of a large-scale high-interaction honeypot

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE
Classification of malicious distributed SELinux activities

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Jonathan ROUZAUD-CORNABAS
On the perfect matching index of bridgeless cubic graphs

Publié en 2009
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Interactive Physical Simulation on Multicore Architectures

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Everton HERMANN, Bruno RAFFIN, François FAURE
From exponential to almost linear decomposability of finite or infinite trees

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Regroupement de données multi-représentées : une approche par k-moyenne flou

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Gaze Based Quality Assessment of Visual Media Understanding

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean MARTINET, Adel LABLACK, Stanislas LEW, Chabane DJERABA
Parallel Computing of Catchment Basins in Large Digital Elevation Model

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Hiep-Thuan DO
A model-theoretic framework for grammaticality judgements

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Thi-bich-hanh DIEP-DAO, Jean-Philippe PROST
Computing branchwidth via efficient triangulations and blocks

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Frédéric MAZOIT
Minimal interval completion through graph exploration

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Karol SUCHAN
OKMED et WOKM : deux variantes de OKM pour la classification recouvrante

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
A Coq Library for Program Calculation

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Hideki HASHIMOTO, Zhenjiang HU, Julien TESSON, Masato TAKEICHI
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO
Extending an XML Type using Updated Data

Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Béatrice BOUCHOU, Denio DUARTE, Martin A. MUSICANTE
On odd and semi-odd linear partitions of cubic graphs

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Contraintes d'intégrité pour XML : visite guidée par une syntaxe homogène

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Béatrice BOUCHOU, Maria Adriana VIDIGAL DE LIMA ABRARO
FlowVR-SciViz: a component-based framework for interactive scientific visualization

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
On Dissemination Thresholds in Regular and Irregular Graph Classes

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Ivan RAPAPORT, Karol SUCHAN, Jacques VERSTRAËTE
An Efficient Pipelined Parallel Join Algorithm on Heterogeneous Distributed Architectures

Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Partitions versus sets : a case of duality

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Laurent LYAUDET, Frédéric MAZOIT, Stéphan THOMASSÉ
Pretopological classification based on the kolomogorov complexity

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent LEVORATO, Thanh Van LE, Marc BUI, Michel LAMURE
Mixing convergence and deflection strategies for packet routing in all-optical networks

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Dominique BARTH, Dominique CHIARONI, Jean-Michel FOURNEAU, Christian LAFOREST, Sandrine VIAL
Constructing brambles

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Mathieu CHAPELLE, Frédéric MAZOIT
Adaptation des modèles d'auto-organisation pour la classification recouvrante

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
Cellular automata, Universality of

Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
TAL, numéro "Apprentissage automatique pour le TAL

Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Mark STEEDMAN
Int. J. Fundamenta Informaticae, 91(1-2), special issue on Machines, Computations and Universality (MCU '07)

Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Maurice MARGENSTERN
Exponential time algorithms for the minimum dominating set problem on some graph classes

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Serge GASPERS, Dieter KRATSCH
Initialisation des masses dévidence par les Okm pour la théorie des fonctions de croyance. Application aux bioprocédés

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Yann PERMAL, Sébatsien DANICHERT, Sébastien REGIS
Distributed computing of efficient routing schemes in generalized chordal graphs

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
Petri Net Unfoldings -- Properties

Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD
Abstract geometrical computation 3: Black holes for classical and analog computing

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Apprentissage automatique pour le TAL : Préface

Publié en 2009
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Isabelle TELLIER
Handling Non Left-Linear Rules When Completing Tree Automata

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Roméo COURBIS, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO

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