• Filtres
• Sous-domaine niveau 1  ×
• collCode_s  ×
• Tous  ×

103 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 3 4	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 103 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-01202790v1  Thèse Jérôme Cantenot. Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. Autre [cs.OH]. Université de Franche-Comté, 2013. Français. <NNT : 2013BESA2042>
	tel-01124335v1  Thèse Nicolas Friot. Itérations chaotiques pour la sécurité de l'information dissimulée Autre [cs.OH]. Université de Franche-Comté, 2014. Français. <NNT : 2014BESA2035>
	tel-01037993v1  Thèse Elena Tushkanova. Schematic calculi for the analysis of decision procedures Other [cs.OH]. Université de Franche-Comté, 2013. English. <NNT : 2013BESA2009>
	inria-00099990v1  Article dans une revue Siva Anantharaman, Paliath Narendran, Michael Rusinowitch. Unification Modulo ACUI Plus Distributivity Axioms Journal of Automated Reasoning, Springer Verlag, 2004, 33 (1), pp.1-28
	hal-00690461v1  Article dans une revue Jean-Claude Charr, Raphaël Couturier, David Laiymani. A decentralized and fault tolerant convergence detection algorithm for asynchronous iterative algorithms Journal of Supercomputing, Springer Verlag, 2010, 53 (2), pp.269-292. <10.1007/s11227-009-0293-6>
	lirmm-00287659v1  Communication dans un congrès Emeric Gioan, Serge Burckel. In Situ Design of Register Operations ISVLSI'08: IEEE Computer Society Annual Symposium on Very-Large-Scale Integration, Apr 2008, Montpellier, France, IEEE Computer Society, Trends in VLSI Technology and Design, pp.4, 2008, <http://www.lirmm.fr/isvlsi2008/>
	tel-00910929v1  Thèse Elena Tushkanova. Schematic calculi for the analysis of decision procedures Other [cs.OH]. Université de Franche-Comté, 2013. English
	hal-00687582v1  Article dans une revue Jacques M. Bahi, Jean-Claude Charr, Raphaël Couturier, David Laiymani. A Parallel Algorithm to Solve Large Stiff {ODE} Systems on Grid Systems International Journal of High Performance Computing Applications, SAGE Publications, 2009, 23 (2), <10.1177/1094342009104010>
	hal-00688700v1  Article dans une revue Jacques Bahi, Jean-Claude Charr, Raphaël Couturier, David Laiymani. A Parallel Algorithm to Solve Large Stiff ODE Systems on Grid Systems International Journal of High Performance Computing Applications, SAGE Publications, 2009, 23 (2), pp.140-151. <10.1177/1094342009104010>
	hal-00688658v1  Article dans une revue Raphaël Couturier, Christophe Denis, Fabienne Jézéquel. GREMLINS: a large sparse linear solver for grid environment Parallel Computing, Elsevier, 2008, 34 (6-8), pp.380-391. <10.1016/j.parco.2007.12.002>
	inria-00071986v1  Rapport Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair. Automatic Approximation for the Verification of Cryptographic Protocols [Research Report] RR-4599, INRIA. 2002, pp.18
	inria-00071955v1  Rapport David Déharbe, Silvio Ranise. BDD-Driven First-Order Satisfiability Procedures (Extended Version) [Research Report] RR-4630, INRIA. 2002, pp.24
	inria-00071721v1  Rapport Olga Kouchnarenko, Arnaud Lanoix. Refinement and Verification of Synchronized Component-based Systems [Research Report] RR-4862, INRIA. 2003, pp.29
	inria-00071812v1  Rapport Julien Musset, Michael Rusinowitch. Computing Approximations of Linear Transition Systems [Research Report] RR-4774, INRIA. 2003, pp.20
	inria-00071870v1  Rapport Françoise Bellegarde, Célina Charlet, Olga Kouchnarenko. Using Acceleration to Compute Parameterized System Refinement [Research Report] RR-4716, INRIA. 2003, pp.18
	inria-00071889v1  Rapport Yannick Chevalier, Ralf Küsters, Michael Rusinowitch, Mathieu Turuani. An NP Decision Procedure for Protocol Insecurity with XOR [Research Report] RR-4697, INRIA. 2003, pp.22
	inria-00071714v1  Rapport Yannick Chevalier, Ralf Küsters, Michael Rusinowitch, Mathieu Turuani, Laurent Vigneron. Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions [Research Report] RR-4869, INRIA. 2003, pp.22
	inria-00071398v1  Rapport Abdessamad Imine, Pascal Molli, Gérald Oster, Michael Rusinowitch. Achieving Convergence with Operational Transformation in Distributed Groupware Systems [Research Report] RR-5188, INRIA. 2004, pp.19
	inria-00071218v1  Rapport Gérald Oster, Pascal Urso, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine. Optimistic Replication for Massive Collaborative Editing [Research Report] RR-5719, INRIA. 2005, pp.18
	inria-00071215v1  Rapport Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron. Tree Automata with Equality Constraints Modulo Equational Theories [Research Report] RR-5754, INRIA. 2005, pp.27
	inria-00071213v1  Rapport Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Proving correctness of transformation functions in collaborative editing systems [Research Report] RR-5795, INRIA. 2005, pp.45
	inria-00070731v1  Rapport Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz. A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions [Research Report] RR-5267, INRIA. 2004, pp.22
	inria-00070660v1  Rapport Véronique Cortier, Bogdan Warinschi. Computationally Sound, Automated Proofs for Security Protocols [Research Report] RR-5341, INRIA. 2004, pp.23
	inria-00070512v1  Rapport Yannick Chevalier, Michael Rusinowitch. Combining Intruder Theories [Research Report] RR-5495, INRIA. 2005, pp.37
	inria-00070335v1  Rapport Silvio Ranise, Christophe Ringeissen, Calogero Zarba. Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic [Research Report] RR-5678, INRIA. 2005, pp.39
	inria-00070291v1  Rapport Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Automatic Verification of Security Protocols Using Approximations [Research Report] RR-5727, INRIA. 2005, pp.27
	inria-00070247v1  Rapport Véronique Cortier, Xavier Goaoc, Mira Lee, Hyeon-Suk Na. A note on maximally repeated sub-patterns of a point set [Research Report] RR-5773, INRIA. 2005, pp.5
	inria-00070169v1  Rapport Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Handling Algebraic Properties in Automatic Analysis of Security Protocols [Research Report] RR-5857, INRIA. 2006, pp.18
	tel-00193300v1  Thèse Heinrich Hördegen. Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007. Français
	tel-00643842v1  Thèse Roméo Courbis. Contributions à l'analyse de systèmes par approximation d'ensembles réguliers Autre [cs.OH]. Université de Franche-Comté, 2011. Français
	1 2 3 4	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 103 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM