Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

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
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
TAL, numéro "Apprentissage automatique pour le TAL

Publié en 2009
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Mark STEEDMAN
Minimal Extensions of Tree Languages: Application to XML Schema Evolution

Publié en 2009
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
Petri Net Unfoldings -- Properties

Publié en 2009
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD
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
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
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
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
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
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
Exact exponential-time algorithms for finding bicliques in a graph

Publié en 2009
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Henning FERNAU, Serge GASPERS, Dieter KRATSCH, Daniel RAIBLE
Minimal interval completion through graph exploration

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Karol SUCHAN
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
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
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
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
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
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
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
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
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
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
Team-based MAC policy over Security-Enhanced Linux

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Jean-François LALANDE, Waleed SMARI
A full first-order constraint solver for decomposable theories

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Mapping Heterogeneous Distributed Applications on Clusters.

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Emmanuel MELIN, Jeremie VAUTARD, Arnaud LALLOUET
Pipelined Parallelism in Multi-Join Queries on Heterogeneous Shared Nothing Architectures

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Tree Data Decision Diagrams

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Duy Tung NGUYEN
Automation of the Volumetric Models Construction

Publié en 2008
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Christian TOINARD, Pierre-Alain FAYOLLE, Alexander PASKO, Elena KARTASHEVA, Christophe ROSENBERGER
Store-dependent and -independent Modes Regulating Ca 2+ Release-activated Ca 2+ Channel Activity of Human Orai1 and Orai3

Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Shenyuan ZHANG, J. Ashot KOZAK, Weihua JIANG, Andriy YEROMIN, Jing CHEN, Ying YU, Aubin PENNA, Wei SHEN, Victor CHI, Michael CAHALAN
Combinaison de la propagation et de la décomposabilité pour la résolution de contraintes du premier ordre

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Modélisation de problèmes d'ordonnancement avec adversaire en QCSP+

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
Correlation of system events: High performance classification of selinux activities and scenarios

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
Une architecture de bureaux graphiques distants sécurisée et distribuée

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jonathan ROUZAUD-CORNABAS
A proposal for securing a large-scale high-interaction honeypot

Publié en 2008
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
Active Intruders with Caps

Publié en 2008
Type de publication : Communications sans actes
Auteur(s) : Siva ANATHARAMAN, Hai LIN, Chris LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Data Structures and Algorithms for Pretopology: The Java Based Software Library Pretopolib

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Marc BUI
Compression vs Queryability - A Case Study

Publié en 2008
Type de publication : Conférence donnée sur invitation
Auteur(s) : Siva ANANTHARAMAN
Automating opinion analysis in film reviews : the case of statistic versus linguistic approach

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Damien POIRIER, Cécile BOTHOREL, Emilie GUIMIER DE NEEF, Marc BOULLÉ
The signal point of view: from cellular automata to 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
An efficient decision procedure for functional decomposable theories based on dual constraints

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
On Dissemination Thresholds in Regular and Irregular Graph Classes

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Ivan RAPAPORT, Karol SUCHAN, Jacques VERSTRAËTE
Combination of decomposability and propagation for solving first-order constraints in decomposable theories.

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL

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