Skip to Main content Skip to Navigation


...
tel-00192773v1  Theses
Eric Kow. Surface realisation: ambiguity and determinism
Other [cs.OH]. Université Henri Poincaré - Nancy I, 2007. English
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-01748662v3  Theses
Alexander Kruppa. Speeding up Integer Multiplication and Factorization
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. English
...
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-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-00561299v1  Theses
Olivier Comas. Real-time Soft Tissue Modelling on GPU for Medical Simulation
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2010. English
...
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-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-00628060v1  Theses
Ahmed Ratnani. Isogeometric Analysis in Plasmas Physics and Electromagnetism
Mathematics [math]. Université de Strasbourg, 2011. English. ⟨NNT : 2011STRA6244⟩
...
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
...
tel-01746222v3  Theses
Mumtaz Ahmad. Memory optimization strategies for linear mappings and indexation-based shared documents
Discrete Mathematics [cs.DM]. Université Henri Poincaré - Nancy 1, 2011. English
...
tel-01749159v2  Theses
Cláudia Tavares. A type system for embedded rewriting programming
Software Engineering [cs.SE]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0015⟩
...
tel-01749193v2  Theses
Ekaterina Lebedeva. Expressing discourse dynamics through continuations
Computation and Language [cs.CL]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0025⟩
...
tel-01749162v2  Theses
Sabina Akhtar. Formal Verification of Distributed Algorithms using PlusCal-2
Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0014⟩
...
tel-00758118v1  Theses
Tomas Navarrete Gutierrez. A control architecture for complex systems, based on multi-agent simulation.
Multiagent Systems [cs.MA]. Université de Lorraine, 2012. English
...
tel-01749620v2  Theses
Asma Cherif. Access Control Models for Collaborative Applications
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0217⟩
...
tel-01749599v2  Theses
Hien Thi Thu Truong. A Contract-based and Trust-aware Collaboration Model
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0181⟩
...
tel-01749331v2  Theses
Utpala Musti. Acoustic-Visual Speech Synthesis by Bimodal Unit Selection
Machine Learning [cs.LG]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0003⟩
...
tel-00910929v1  Theses
Elena Tushkanova. Schematic calculi for the analysis of decision procedures
Other [cs.OH]. Université de Franche-Comté, 2013. English
...
tel-01750379v3  Theses
Georgios Detorakis. Cortical plasticity, dynamic neural fields and self-organization
Computer science. Université de Lorraine, 2013. English
...
tel-00925228v1  Theses
Razvan Barbulescu. Algorithms of discrete logarithm in finite fields
Cryptography and Security [cs.CR]. Université de Lorraine, 2013. English
...
tel-01750613v3  Theses
Dorin Maxim. Probabilistic analysis of real-time systems
Embedded Systems. Université de Lorraine, 2013. English
...
tel-01750706v2  Theses
Houari Mahfoud. Efficient Access Control to XML Data: Querying and Updating Problems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0011⟩
...
tel-00979707v1  Theses
yacine Bouzidi. Solving bivariate algebraic systems and topology of plane curves
Symbolic Computation [cs.SC]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0016⟩
...
tel-01010973v1  Theses
Ahmed yureidini. Robust blood vessel surface reconstruction for interactive simulations from patient data
Medical Imaging. Université des Sciences et Technologie de Lille - Lille I, 2014. English
...
tel-01750754v2  Theses
Martin Barrere. Vulnerability Management for Safe Configurations in Autonomic Networks and Systems
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0048⟩
...
tel-01094400v1  Theses
Elias Egho. Mining Heterogeneous Multidimensional Sequential Data
Other [cs.OH]. Université de Lorraine, 2014. English
...
tel-01097201v1  Theses
Hugo Talbot. Interactive Patient-Specific Simulation of Cardiac Electrophysiology
Computer Science [cs]. Université des Sciences et Technologies de Lille, 2014. English
...
tel-01751107v2  Theses
Valmi Dufour-Lussier. Reasoning with Qualitative Spatial and Temporal Textual Cases
Artificial Intelligence [cs.AI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0182⟩
...
tel-01750993v2  Theses
Sai Qian. Accessibility of Referents in Discourse Semantics
Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0138⟩
...
tel-01107718v1  Theses
Cyrille Wiedling. Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
Cryptography and Security [cs.CR]. Université de Lorraine, 2014. English
...
tel-01097488v1  Theses
Alexandre Bilger. Patient-specific biomechanical simulation for deep brain stimulation
Modeling and Simulation. Université des Sciences et Technologie de Lille, 2014. English
...
tel-01254439v2  Theses
Nazim Haouchine. Image-guided Simulation for Augmented Reality during Hepatic Surgery
Computer Science [cs]. Université de Lille1, 2015. English
...
tel-01133067v1  Theses
Guillaume Scerri. Proofs of security protocols revisited
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Cachan, 2015. English. ⟨NNT : ENSC-2015-no 561⟩
...
tel-01751381v2  Theses
Bao Thien Hoang. On the Polling Problem for Decentralized Social Networks
Social and Information Networks [cs.SI]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0016⟩
...
tel-01292602v1  Theses
Ta Thanh Dinh. Malicious Codes Detection in Distributed Environment
Cryptography and Security [cs.CR]. Université de Lorraine, 2015. English
...
tel-01251719v1  Theses
Jean-François Dollinger. A framework for efficient execution on GPU and CPU+GPU systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2015. English
...
tel-01241044v1  Theses
Francois Despaux. Modelling and evaluation of the end to end delay in WSN
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2015. English