Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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
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
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
A full first-order constraints solver for decomposable theories
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Khalil DJELLOUL
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
An Efficient Pipelined Parallel Join Algorithm on Heterogeneous Distributed Architectures
Publié en 2009
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
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
On normal partitions in cubic graphs
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
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
Extending an XML Type using Updated Data
Publié en 2009
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Béatrice BOUCHOU, Denio DUARTE, Martin A. MUSICANTE
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
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
Apprentissage automatique pour le TAL : Préface
Publié en 2009
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Isabelle TELLIER
Int. J. Fundamenta Informaticae, 91(1-2), special issue on Machines, Computations and Universality (MCU '07)
Publié en 2009
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Maurice MARGENSTERN
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
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
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
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
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
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 : Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD
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
TAL, numéro "Apprentissage automatique pour le TAL
Publié en 2009
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Mark STEEDMAN
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
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
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
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
Cellular automata, Universality of
Publié en 2009
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
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 BERTHOME, Dominique BARTH, Dominique CHIARONI, Jean-Michel FOURNEAU, Christian LAFOREST, Sandrine VIAL
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
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É
Minimal interval completion through graph exploration
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Karol SUCHAN
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
Extrapol: Dependent Types and Effects for System Security
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : David TELLER
Small Turing universal signal machines
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Kaiser and Raspaud Conjecture on Cubic Graphs with few Vertices
Publié en 2008
Type de publication : Communications sans actes
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès
Publié en 2008
Type de publication : Thèse
Auteur(s) : Barbara FILA
Proposition d'un pot-de-miel haute-interaction à large-échelle
Publié en 2008
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT
Catch me if you can Looking for type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : David TELLER, Arnaud SPIWACK, Till VAROQUAUX
Handling Left-Quadratic Rules When Completing Tree Automata
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Roméo COURBIS, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO
Unblockable QCSP+ : a special case of quantified problems
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémie VAUTARD
Collections of Compounds – How to Deal with them?
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Julie DUBOIS, Stéphane BOURG, Luc MORIN-ALLORY

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