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-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-01749331v2  Theses
Utpala Musti. Acoustic-Visual Speech Synthesis by Bimodal Unit Selection
Machine Learning [cs.LG]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0003⟩
...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-03052499v1  Theses
Simon Masson. Algorithmic of curves in the context of bilinear and post-quantum cryptography
Cryptography and Security [cs.CR]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0151⟩
...
tel-00925228v1  Theses
Razvan Barbulescu. Algorithms of discrete logarithm in finite fields
Cryptography and Security [cs.CR]. Université de Lorraine, 2013. English
...
tel-02927785v1  Theses
Erinc Merdivan. Ambient Assisted Living with Deep Learning
Automatic Control Engineering. CentraleSupélec, 2019. English. ⟨NNT : 2019CSUP0006⟩
...
tel-03428615v1  Theses
Wissem Inoubli. Analysis and Mining of Large Dynamic Graphs: case of graph clustering
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Tunis El Manar (Tunisie), 2021. English
...
tel-02433528v1  Theses
Anastasiia Tsukanova. Articulatory speech synthesis
Computation and Language [cs.CL]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0166⟩
...
tel-01748220v1  Theses
Daniel Alejandro Gorín. Automated reasoning techniques for hybrid logics
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10131⟩
...
tel-01863354v1  Theses
Younes Abid. Automated Risk Analysis on Privacy in Social Networks
Social and Information Networks [cs.SI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0088⟩
...
tel-01748248v2  Theses
Pavel Kral. Automatic Recognition of Dialogue Acts
Modeling and Simulation. Université Henri Poincaré - Nancy 1, 2007. English. ⟨NNT : 2007NAN10114⟩
...
tel-02408339v1  Theses
Jaime Garcia Guevara. Biomechanical graph matching for hepatic intra-operative image registration
Computer Vision and Pattern Recognition [cs.CV]. Universite de Lorraine, 2019. English. ⟨NNT : 2019LORR0238⟩
...
tel-01748452v1  Theses
Dong Cheng. Capability Management and Discovery in Heterogeneous Environments
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10059⟩
...
tel-02461448v1  Theses
François Pirot. Colouring sparse graphs
Computer Science [cs]. Université de Lorraine; Radboud universiteit Nijmegen, 2019. English. ⟨NNT : 2019LORR0153⟩
...
tel-01748341v1  Theses
Daniele Zucchelli. Combination methods for software verification
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10006⟩
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-01749413v2  Theses
Sheila Becker. Conceptual Approaches for Securing Networks and Systems
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0228⟩
...
tel-01746277v2  Theses
Tom Leclerc. Contributions for Advanced Service Discovery in Ad hoc Networks
Computer science. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10133⟩
...
tel-01751990v2  Theses
Victor Codocedo. Contributions to indexing and retrieval using Formal Concept Analysis
Artificial Intelligence [cs.AI]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0143⟩
...
tel-01547313v1  Theses
Jérémie Dumas. Controllable shape synthesis for digital fabrication
Modeling and Simulation. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0008⟩
...
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-01750379v3  Theses
Georgios Detorakis. Cortical plasticity, dynamic neural fields and self-organization
Computer science. Université de Lorraine, 2013. English