Filter your results
- 718
- 312
- 650
- 217
- 33
- 31
- 26
- 21
- 19
- 13
- 10
- 6
- 3
- 1
- 26
- 1
- 896
- 63
- 25
- 22
- 12
- 12
- 8
- 4
- 4
- 1
- 1
- 1
- 20
- 2
- 1
- 4
- 13
- 28
- 23
- 24
- 31
- 51
- 78
- 89
- 101
- 92
- 90
- 78
- 60
- 79
- 44
- 48
- 37
- 12
- 6
- 6
- 10
- 7
- 8
- 5
- 3
- 802
- 225
- 1
- 1
- 1
- 941
- 77
- 30
- 28
- 26
- 25
- 25
- 23
- 22
- 20
- 19
- 18
- 17
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 12
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 62
- 60
- 59
- 53
- 49
- 47
- 42
- 37
- 36
- 34
- 32
- 32
- 30
- 30
- 29
- 29
- 29
- 29
- 27
- 25
- 24
- 24
- 22
- 22
- 21
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 16
- 16
- 15
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
Context-free Tree Languages for Descendants5th Workshop on Rule-Based Programming (RULE'2004), 2004, Germany
Conference papers
hal-00102559v1
|
|||
|
Interface Homme-Machine Multimodale pour la Télé-MicromanipulationAutomatique / Robotique. Université d'Orléans, 2005. Français. ⟨NNT : ⟩
Theses
tel-00012163v1
|
||
Over-approximating Descendants by Synchronized Tree LanguagesInternational Conference on Rewriting Techniques and Applications, Jun 2013, Eindhoven, Netherlands
Conference papers
hal-00808871v1
|
|||
Controlling an iteration-wise coherence in dataflowFACS, Jun 2011, Oslo, Norway. pp.1-15
Conference papers
hal-00657986v1
|
|||
An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OSInternational 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érenceCAL 2011, Jun 2011, Lille, France. pp.20-30
Conference papers
hal-00658019v1
|
|||
Towards Verified Cloud Computing EnvironmentsInternational Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain
Conference papers
hal-00708821v1
|
|||
|
Equational Abstraction Refinement for Certified Tree Regular Model CheckingICFEM, Nov 2012, Kyoto, Japan. pp.299-315
Conference papers
hal-00759149v1
|
||
|
Acquisition de structures lexico-sémantiques à partir de textes : un nouveau cadre de travail fondé sur une structuration prétopologiqueEGC, Jan 2011, Brest, France. pp.107-118
Conference papers
hal-00605405v1
|
||
Exact Exponential Algorithms to Find a Tropical Connected Set of Minimum SizeParameterized 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 Coq16th 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 CoqInformatique 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é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)LIFO, pp.131, 2013
Proceedings
hal-00851402v1
|
|||
7th International Workshop on Constraint Solving and Language Processing (CSLP'12). Selected and Revised PapersDenys 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)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 ClusterThe 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 theoriesApplied Mathematics and Computation, 2009, 215 (5), pp.1761
Journal articles
hal-00474385v1
|
|||
From exponential to almost linear decomposability of finite or infinite treesACM Symposium on applied computing (SAC), Mar 2009, United States. pp.897-902
Conference papers
hal-00474386v1
|
|||
Integrating Heterogeneous Simulation Codes in FlowVR Interactive ApplicationsJoint Virtual Reality Conference 2009, Dec 2009, Lyon, France
Conference papers
hal-00468770v1
|
|||
|
Une modélisation en CSP des grammaires de propriétésJFPC 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 Library2008
Other publications
hal-00469435v1
|
|||
Extrapol: Dependent Types and Effects for System Security2008
Other publications
hal-00468481v1
|
|||
|
Towards Text-Based RecommendationsRIAO 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 Algorithmiques2006
Other publications
hal-00483325v1
|
|||
Collaboration entre politiques MAC et IDS pour une approche basée sur une méta-politiqueLes 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 SPACLikSymposium sur la Sécurité des Technologies de l'Information et de la Communication 2009, Jun 2009, Rennes, France
Conference papers
hal-00461281v1
|
|||
|
Une méthode mixte d'analyse d'un réseau social: classification prétopologique et centralité d'intermédiarité(EGC), Jan 2010, Hammamet, Tunisie. pp.A5-77--88
Conference papers
hal-00460637v1
|
||
Comparative study of invariant descriptors for face recognitionICSP 2006, Nov 2006, Beijing, China. ⟨10.1109/ICOSP.2006.345723⟩
Conference papers
hal-00460993v1
|
|||
Enforcement of security properties for dynamic MAC policiesSECURWARE '09, May 2009, Athens, Glyfada, Greece. pp.114-120, ⟨10.1109/SECURWARE.2009.25⟩
Conference papers
hal-00451806v1
|