Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

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
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
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
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
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
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
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É
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
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
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É
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
Fast Robber in Planar Graphs

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas NISSE, Karol SUCHAN
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
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
Unsupervised Learning of General-Specific Noun Relations from the Web

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
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
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
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
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
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract)

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent LYAUDET, Uffe FLARUP
Semantic Similarities and General-Specific Noun Relations from the web

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
Mapping General-Specific Noun Relationships to WordNet Hypernym/Hyponym Relations

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Raycho MUKELOV
Apprentissage de mesures de similarité sémantiques : étude d'une variante de la mesure InfoSimba

Publié en 2008
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS
Quantified Constraint Optimization

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
FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling

Publié en 2008
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT
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
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
Special issue on High-Level Parallel Programming and Applications

Publié en 2008
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Alexander TISKIN
An extended version of the k-means method for overlapping clustering

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

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