Skip to Main content Skip to Navigation


...
tel-00142675v1  Theses
Emmanuel Hainry. Modèles de calcul sur les réels, résultats de comparaison
Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006. Français
...
tel-00580582v1  Theses
Duc-Khanh Tran. Conception de Procédures de Décision par Combinaison et Saturation
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00192773v1  Theses
Eric Kow. Surface realisation: ambiguity and determinism
Other [cs.OH]. Université Henri Poincaré - Nancy I, 2007. English
...
tel-01752904v2  Theses
Romain Pechoux. Analyse de la complexité des programmes par interprétation sémantique
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2007. Français. ⟨NNT : 2007INPL084N⟩
...
tel-00338362v1  Theses
Eugen Zalinescu. Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-00338608v1  Theses
Marilisa Amoia. Reconnaissance d'implications textuelles à forte composante linguistique
Informatique [cs]. Universität des Saarlandes Saarbrücken, 2008. Français
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-00417290v1  Theses
Najah Chridi. Contributions à la vérification automatique de protocoles de groupes.
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2009. Français
...
tel-01748217v2  Theses
Luciana Benotti. Implicature as an Interactive Process
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10003⟩
...
tel-01748662v3  Theses
Alexander Kruppa. Speeding up Integer Multiplication and Factorization
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. English
...
tel-00605791v1  Theses
Octave Boussaton. Application de la théorie des jeux à l'optimisation du routage réseau - solutions algorithmiques
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-00540646v1  Theses
Nawal Guermouche. Etude des Interactions Temporisées dans la Composition de Services Web
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-00528942v1  Theses
Damien Robert. Fonctions thêta et applications à la cryptographie
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-01746351v2  Theses
Khaled Gaaloul. A Secure Framework for Dynamic Task Delegation in Workflow Management Systems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10058⟩
...
tel-01748652v2  Theses
Stéphane Weiss. Edition collaborative massive sur réseaux Pair-à-Pair
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10077⟩
...
tel-01741716v2  Theses
Paul Bedaride. Implication Textuelle et Réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10062⟩
...
tel-00543961v1  Theses
Charbel Rahhal. Wikis sémantiques distribués sur réseaux pair-à-pair
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-01746342v2  Theses
Guillaume Hoffmann. Tâches de raisonnement en logiques hybrides
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10110⟩
...
tel-01749554v2  Theses
Gaetan Bisson. Endomorphism Rings in Cryptography
Computer Science [cs]. Institut National Polytechnique de Lorraine - INPL; Technische Universiteit Eindhoven, 2011. English. ⟨NNT : 2011INPL047N⟩
...
tel-00643842v1  Theses
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
...
tel-01746193v3  Theses
Tigran Avanesov. Resolution of constraint systems for automatic composition of security-aware Web Services
Cryptography and Security [cs.CR]. Université Henri Poincaré - Nancy 1, 2011. English
...
tel-00642820v3  Theses
Jörn Franke. Coordination of Distributed Activities in Dynamic Situations. The Case of Inter-organizational Crisis Management
Library and information sciences. Université Henri Poincaré - Nancy I, 2011. English
...
tel-00749039v1  Theses
Cristian Rosa. Performance & Correctness Assessment of Distributed Systems
Modeling and Simulation. Université Henri Poincaré - Nancy I, 2011. English