Search - Archive ouverte HAL Access content directly

Filter your results

1 030 Results
Structure: Internal structure identifier : 300379

Context-free Tree Languages for Descendants

Pierre Réty , Julie Vuotto
5th Workshop on Rule-Based Programming (RULE'2004), 2004, Germany
Conference papers hal-00102559v1
Image document

Interface Homme-Machine Multimodale pour la Télé-Micromanipulation

Mehdi Ammi
Automatique / Robotique. Université d'Orléans, 2005. Français. ⟨NNT : ⟩
Theses tel-00012163v1

Over-approximating Descendants by Synchronized Tree Languages

Yohan Boichut , Jacques Chabin , Pierre Rety
International Conference on Rewriting Techniques and Applications, Jun 2013, Eindhoven, Netherlands
Conference papers hal-00808871v1

Controlling an iteration-wise coherence in dataflow

Sébastien Limet , Sophie Robert , Ahmed Turki
FACS, Jun 2011, Oslo, Norway. pp.1-15
Conference papers hal-00657986v1

An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS

Jonathan Rouzaud-Cornabas , Patrice Clemente , Christian Toinard
International Journal On Advances in Software, 2011, 4 (1&2), pp.34-45
Journal articles hal-00658000v1

Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence

Sébastien Limet , Sophie Robert , Ahmed Turki
CAL 2011, Jun 2011, Lille, France. pp.20-30
Conference papers hal-00658019v1

Towards Verified Cloud Computing Environments

Frédéric Loulergue , Frédéric Gava , Nikolai Kosmatov , Matthieu Lemerre
International Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain
Conference papers hal-00708821v1
Image document

Equational Abstraction Refinement for Certified Tree Regular Model Checking

Yohan Boichut , Benoit Boyer , Thomas Genet , Axel Legay
ICFEM, Nov 2012, Kyoto, Japan. pp.299-315
Conference papers hal-00759149v1
Image document

Acquisition de structures lexico-sémantiques à partir de textes : un nouveau cadre de travail fondé sur une structuration prétopologique

Guillaume Cleuziou , Gaël Dias , Vincent Levorato
EGC, Jan 2011, Brest, France. pp.107-118
Conference papers hal-00605405v1

Exact Exponential Algorithms to Find a Tropical Connected Set of Minimum Size

Mathieu Chapelle , Manfred Cochefert , Dieter Kratsch , Romain Letourneur , Mathieu Liedloff
Parameterized and Exact Computation - 9th International Symposium, Sep 2014, Wroclaw, Poland. pp.147-158, ⟨10.1007/978-3-319-13524-3_13⟩
Conference papers hal-01105083v1

Catamorphism generation and fusion using Coq

Simon Robillard
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania
Conference papers hal-01105119v1

Calcul de programmes parallèles avec Coq

Frédéric Loulergue , Wadoud Bousdira , Julien Tesson
Informatique Mathématique, CNRS Éditions, 2015, collection Alpha
Book sections hal-01107296v1

Intégration interactive de connaissances pour la visualisation de données dans un cadre semi-supervisé

Lionel Martin , Matthieu Exbrayat , Guillaume Cleuziou , Fréderic Moal
Ateliers EGC 2010 - Atelier A4 : Visualisation et extraction de connaissances, Jan 2010, Hammamet, Tunisie. pp.A4.5-A4-16
Conference papers hal-00464224v1

Proceedings of the ESSLLI 2013 Workshop: High-level Methodologies for Grammar Engineering (HMGE'13)

Denys Duchier , Yannick Parmentier
LIFO, pp.131, 2013
Proceedings hal-00851402v1

7th International Workshop on Constraint Solving and Language Processing (CSLP'12). Selected and Revised Papers

Denys Duchier , Yannick Parmentier
Denys Duchier and Yannick Parmentier. Springer, pp.179, 2013, Lecture Notes in Computer Science, Valentin Goranko and Erich Grädel and Michael Moortgat, 978-3-642-41577-7
Books hal-00851403v1

Machines, Computations and Universality (MCU '15)

Jérôme Durand-Lose , Benedek Nagy
Machines, Computations and Universality (MCU '15), Sep 2015, Famagusta, Cyprus. Springer, 2015, 978-3-319-23110-5. ⟨10.1007/978-3-319-23111-2⟩
Proceedings hal-01202856v1

Protection of a Shared HPC Cluster

Jérémy Briffaut , Mathieu Blanc , Thibault Coullet , Maxime Fonda , Christian Toinard
The Fourth International Conference on Emerging Security Information, Systems and Technologies, Jul 2010, Venice, Italy. pp.273-279
Conference papers hal-00474285v1

From decomposable to residual theories

Khalil Djelloul
Applied Mathematics and Computation, 2009, 215 (5), pp.1761
Journal articles hal-00474385v1

From exponential to almost linear decomposability of finite or infinite trees

Khalil Djelloul
ACM Symposium on applied computing (SAC), Mar 2009, United States. pp.897-902
Conference papers hal-00474386v1

Integrating Heterogeneous Simulation Codes in FlowVR Interactive Applications

Sébastien Limet , Sophie Robert , Ahmed Turki
Joint Virtual Reality Conference 2009, Dec 2009, Lyon, France
Conference papers hal-00468770v1
Image document

Une modélisation en CSP des grammaires de propriétés

Denys Duchier , Thi-Bich-Hanh Dao , Yannick Parmentier , Willy Lesaint
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.123-132
Conference papers inria-00520308v1

A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library

Noman Javed , Frédéric Loulergue
2008
Other publications hal-00469435v1

Extrapol: Dependent Types and Effects for System Security

David Teller
2008
Other publications hal-00468481v1
Image document

Towards Text-Based Recommendations

Damien Poirier , Isabelle Tellier , Françoise Fessant , Julien Schluth
RIAO 2010: 9th international conference on Adaptivity, Personalization and Fusion of Heterogeneous Information, Apr 2010, PARIS, France. pp.0-0
Conference papers hal-00470172v1

Classes Particulières de Graphes : Aspects Structurels et Algorithmiques

Soumia Ziti
2006
Other publications hal-00483325v1

Collaboration entre politiques MAC et IDS pour une approche basée sur une méta-politique

Mathieu Blanc , Jérémy Briffaut , Jean-François Lalande , Christian Toinard
Les Journées Informatique de la Région Centre, Jul 2006, Orléans, France
Conference papers hal-00461179v1

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

Jérémy Briffaut , Jonathan Rouzaud-Cornabas , Christian Toinard
Symposium sur la Sécurité des Technologies de l'Information et de la Communication 2009, Jun 2009, Rennes, France
Conference papers hal-00461281v1
Image document

Une méthode mixte d'analyse d'un réseau social: classification prétopologique et centralité d'intermédiarité

Vincent Levorato
(EGC), Jan 2010, Hammamet, Tunisie. pp.A5-77--88
Conference papers hal-00460637v1

Comparative study of invariant descriptors for face recognition

Baptiste Hemery , Christian Toinard , Christophe Rosenberger , Bruno Emile
ICSP 2006, Nov 2006, Beijing, China. ⟨10.1109/ICOSP.2006.345723⟩
Conference papers hal-00460993v1

Enforcement of security properties for dynamic MAC policies

Jérémy Briffaut , Jean-François Lalande , Christian Toinard , Mathieu Blanc
SECURWARE '09, May 2009, Athens, Glyfada, Greece. pp.114-120, ⟨10.1109/SECURWARE.2009.25⟩
Conference papers hal-00451806v1