• Filtres
• Identifiant interne du contributeur/déposant  ×
• collCode_s  ×
• Tous  ×

40 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 40 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	inria-00073273v1  Rapport Charles Pecheur. Advanced Modelling and Verification Techniques Applied to a Cluster File System RR-3416, INRIA. 1998
	inria-00073337v1  Rapport Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing RR-3352, INRIA. 1998
	inria-00073106v1  Rapport Mihaela Sighireanu, Kenneth J. Turner. Requirement Capture, Formal Description and Verification of an Invoicing System RR-3575, INRIA. 1998
	inria-00073516v1  Rapport Mihaela Sighireanu, Radu Mateescu. Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS [Research Report] RR-3172, INRIA. 1997
	inria-00073430v1  Rapport Charles Pecheur. Specification and Verification of the Co4 Distributed Knowledge System Using LOTOS RR-3259, INRIA. 1997
	inria-00077205v1  Rapport Gregor Gössler, Joseph Sifakis. Priority Systems [Research Report] RR-5226, INRIA. 2004
	inria-00077221v1  Rapport Pierre Bessière. Survey: Probabilistic Methodology and Techniques for Artefact Conception and Development [Research Report] RR-4730, INRIA. 2003
	inria-00260980v3  Rapport Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde De Jong. Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks [Research Report] RR-6470, INRIA. 2008
	inria-00214235v2  Rapport Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry. Optimal routing for end-to-end guarantees using Network Calculus [Research Report] RR-6423, INRIA. 2008, pp.20
	inria-00177117v2  Rapport Alain Girault, Hamoudi Kalla. Revisiting the bicriteria (length,reliability) multiprocessor static scheduling problem [Research Report] RR-6319, INRIA. 2007, pp.36
	inria-00189246v2  Rapport Radu Mateescu, Pascal Poizat, Gwen Salaun. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings [Research Report] RR-6362, INRIA. 2007, pp.25
	inria-00084628v2  Rapport Radu Mateescu. CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems [Research Report] RR-5948, INRIA. 2006, pp.38
	inria-00071211v1  Rapport Gregor Gössler. Modeling and Compositional Analysis of Genetic Regulatory Networks [Research Report] RR-5801, INRIA. 2006
	inria-00072755v1  Rapport Radu Mateescu, Mihaela Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus [Research Report] RR-3899, INRIA. 2000
	inria-00072397v1  Rapport Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noël De Palma. Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications [Research Report] RR-4222, INRIA. 2001
	inria-00072396v1  Rapport Hubert Garavel, Frederic Lang. SVL : a Scripting Language for Compositional Verification [Research Report] RR-4223, INRIA. 2001
	inria-00072597v1  Rapport Hubert Garavel, César Viho, Massimo Zendri. System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specification, Model-Checking, Co-Simulation, and Test Generation [Research Report] RR-4041, INRIA. 2000
	inria-00072247v1  Rapport Hubert Garavel, Radu Mateescu, Irina Smarandache. Parallel State Space Construction for Model-Checking [Research Report] RR-4341, INRIA. 2001
	inria-00072795v1  Rapport Radu Mateescu. Efficient Diagnostic Generation for Boolean Equation Systems RR-3861, INRIA. 2000
	inria-00159564v2  Rapport Nicolas Gast, Bruno Gaujal. Balanced Labeled Trees: Density, Complexity and Mechanicity [Research Report] RR-6240, INRIA. 2007, pp.25
	inria-00106312v2  Rapport Frederic Lang. Refined Interfaces for Compositional Verification [Research Report] RR-5996, INRIA. 2006, pp.22
	inria-00070342v1  Rapport Gwen Salaün, Wendelin Serwe. Translating Hardware Process Algebras into Standard Process Algebras : Illustration with CHP and LOTOS RR-5666, INRIA. 2005, pp.25
	inria-00070339v1  Rapport Frederic Lang. Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods RR-5673, INRIA. 2005, pp.21
	inria-00070190v1  Rapport Manuel Yguel, Christopher Tay, Kamel Mekhnacha, Christian Laugier. Velocity Estimation on the Bayesian Occupancy Filter for Multi-Target Tracking [Research Report] RR-5836, INRIA. 2006, pp.17
	inria-00070484v1  Rapport Adrien Lèbre, Yves Denneulin. aIOLi : gestion des Entrées/Sorties Parallèles dans les grappes SMP [Rapport de recherche] RR-5522, INRIA. 2005, pp.13
	inria-00069920v1  Rapport Hubert Garavel, Frederic Lang, Radu Mateescu. An overview of CADP 2001 [Research Report] RT-0254, INRIA. 2001, pp.15
	inria-00071552v1  Rapport Radu Mateescu. Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones RR-5032, INRIA. 2003
	inria-00071380v1  Communication dans un congrès Anne Bouillard, Bruno Gaujal, Jean Mairesse. Throughputs in stochastic free-choice nets, existence, computations and optimizations 44-th IEEE Conference on Decision and Control, 2005, Sevilla, Spain. pp.1-19, 2006
	inria-00071388v1  Rapport Christophe Joubert, Radu Mateescu. Distributed On-the-Fly Model Checking and Test Case Generation [Research Report] RR-5880, INRIA. 2006
	inria-00071661v1  Rapport Gordon Pace, Frederic Lang, Radu Mateescu. Calculating tau-Confluence Compositionally RR-4918, INRIA. 2003
	1 2	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 40 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM