Skip to Main content Skip to Navigation


...
tel-01749525v2  Theses
Shahram Nourizadeh. A context-aware and QoS-aware telehomecare system
Ubiquitous Computing. Institut National Polytechnique de Lorraine, 2011. English. ⟨NNT : 2011INPL044N⟩
...
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-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-00441540v3  Theses
Tom Gundersen. A General View of Normalisation through Atomic Flows
Mathematics [math]. The University of Bath, 2009. English
...
tel-01558422v1  Theses
Noran Azmy. A Machine-Checked Proof of Correctness of Pastry
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0277⟩
...
tel-00337558v2  Theses
Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
...
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-01750224v2  Theses
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
...
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-01748252v1  Theses
Eun-Young Kang. Abstractions booléennes pour la vérification des systèmes temps-réel
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10089⟩
...
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-01750993v2  Theses
Sai Qian. Accessibility of Referents in Discourse Semantics
Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0138⟩
...
tel-01750793v2  Theses
Jano Yazbeck. Accrochage immatériel sûr et précis de véhicules automatiques
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0070⟩
...
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-00432124v2  Theses
Michael Aron. Acquisition et modélisation de données articulatoires dans un contexte multimodal
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2009. Français
...
tel-00115770v1  Theses
Georges Schutz. Adaptations et applications de modèles mixtes de réseaux de neurones à un processus industriel
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2006. Français