Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

On-the-fly Emptiness Check of Transition-Based Streett Automata

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Alexandre DURET-LUTZ, Denis POITRENAUD
Grammar Error Detection with Best Approximated Parse

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Philippe PROST
Security properties in an open peer-to-peer network

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christian TOINARD, Jean-François LALANDE, David RODRIGUEZ
An Elementary Chromatic Reduction for Gain Graphs and Special Hyperplane Arrangements

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Raul CORDOVIL, David FORGE, Veronique VENTOS, Thomas ZASLAVSKY
How to Tackle Integer Weighted Automata Positivity

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM, Olga KOUCHNARENKO
Dedicated smart card security checking based on property driven model

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Francis CHAMBEROT, Xavier KAUFFMANN-TOURKESTANSKY
Unification Modulo Homomorphic Encryption

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Hai LIN, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
An exact algorithm for the Maximum Leaf Spanning Tree problem

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, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Daniel RAIBLE, Peter ROSSMANITH
Classification non-supervisée de données multi-représentées par une approche collaborative.

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, Lionel MARTIN, Jacques-Henri SUBLEMONTIER
A Multithreaded solving algorithm for QCSP+

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémie VAUTARD, Arnaud LALLOUET
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
Abstract Geometrical Computation and Computable Analysis

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Sort and search: Exact algorithms for generalized domination

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Fedor V. FOMIN, Petr A. GOLOVACH, Jan KRATOCHVIL, Dieter KRATSCH
Annotation fonctionnelle de corpus arborés avec des Champs Aléatoires Conditionnels

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Erwan MOREAU, Isabelle TELLIER, Antonio BALVET, Grégoire LAURENCE, Antoine ROZENKNOP, Thierry POIBEAU
Analyse relâchée à base de contraintes

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Philippe PROST
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
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
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
CoFKM : un modèle de clustering flou collaboratif pour les données multi-représentées

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, Lionel MARTIN, Jacques-Henri SUBLEMONTIER
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
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
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
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
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
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
A full first-order constraints solver for decomposable theories

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Khalil DJELLOUL
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
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
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
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
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É
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
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
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
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
Cellular automata, Universality of

Publié en 2009
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
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
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
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
Program Calculation in Coq

Publié en 2009
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Julien TESSON, Hideki HASHIMOTO, Zhenjiang HU, Masato TAKEICHI

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