Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

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
Apprentissage automatique pour le TAL : Préface
Publié en 2009
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Isabelle TELLIER
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
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
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
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É
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
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
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 : Ouvrage ou 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
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
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
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
Compression vs Queryability - A Case Study
Publié en 2008
Type de publication : Conférence donnée sur invitation
Auteur(s) : Siva ANANTHARAMAN
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
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
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
Placement d'applications interactives sur des architectures distribuées hétérogènes à l'aide de la programmation par contraintes
Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Emmanuel MELIN, Jeremie VAUTARD, Arnaud LALLOUET
Analyse exploratoire d'opinions cinématographiques : co-clustering de corpus textuels communautaires
Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Damien POIRIER, Cécile BOTHOREL, Marc BOULLÉ
Exact Algorithms for Treewidth and Minimum Fill-In
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Dieter KRATSCH, Yngve VILLANGER
Modeling Adversary Scheduling with QCSP+
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM
Feedback vertex set on AT-free graphs
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Dieter KRATSCH, Haiko MÜLLER
Theory of Finite or Infinite Trees Revisited
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Khalil DJELLOUL, Thi-Bich-Hanh DIEP-DAO, Thom FRUEHWIRTH
A unified FPT Algorithm for Width of Partition Functions
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOME, Nicolas NISSE
Parallel Processing of Group-By Join Queries on Shared Nothing Machines
Publié en 2008
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
On $(P_5,\overline{P_5})$-sparse graphs and other families
Publié en 2008
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Parallel LOD for static and dynamic generic geo-referenced data
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Sophie ROBERT, Simon ARVAUX, Joeffrey LEGAUX
A Comparison between Two Statistical Relational Models
Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Lorenza SAITTA
Grimage : une plate-forme d'interactions 3D sans marqueurs
Publié en 2008
Type de publication : Revue nationale sans comité de lecture
Auteur(s) : Bruno RAFFIN, Christian BLONZ
Experience and Perspectives in QBF-Based Formal Verification
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marco BENEDETTI, Hratch MANGASSARIAN
Abstract geometrical computation with accumulations: Beyond the Blum, Shub and Smale model
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
Approximation based tree regular model checking
Publié en 2008
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM, 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