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
...
tel-01748429v2  Theses
Szilárd Vajda. Cursive Bengali Script Recognition for Indian Postal Automation
Engineering Sciences [physics]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10083⟩
...
tel-02976390v1  Theses
Rituraj Kaushik. Data-Efficient Robot Learning using Priors from Simulators
Artificial Intelligence [cs.AI]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0105⟩
...
tel-02406821v1  Theses
Marco Voigt. Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates
Logic in Computer Science [cs.LO]. Universität des Saarlandes, 2019. English
...
tel-02427371v1  Theses
Martin Bromberger. Decision Procedures for Linear Arithmetic
Logic in Computer Science [cs.LO]. Saarland University, 2019. English
...
tel-03229010v1  Theses
Oleksii Avilov. Deep learning methods for motor imagery detection from raw EEG : applications to brain-computer interfaces
Computer Science [cs]. Université de Lorraine; Institut polytechnique de Kiev (Ukraine), 2021. English. ⟨NNT : 2021LORR0032⟩
...
tel-03086269v1  Theses
Paul Huynh. Design and Analysis of Lightweight Encryption Schemes
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0223⟩
...
tel-02949394v1  Theses
Sandra Rasoamiaramanana. Design of white-box encryption schemes for mobile applications security
Cryptography and Security [cs.CR]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0060⟩
...
tel-03541628v1  Theses
Maria Boritchev. Dialogue Modeling in a Dynamic Framework
Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩
...
tel-01412765v2  Theses
Aleksandre Maskharashvili. Discourse Modeling with Abstract Categorial Grammars
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0195⟩
...
tel-00642818v1  Theses
Mauricio Cerda. Distributed neural computation for the visual perception of motion
Computer science. Université Nancy II, 2011. English
...
tel-01751692v1  Theses
Samuel Marchal. DNS and semantic analysis for phishing detection
Other [cs.OH]. Université de Lorraine, 2015. English. ⟨NNT : 2015LORR0058⟩
...
tel-03133271v2  Theses
Diego Di Carlo. Echo-aware signal processing for audio scene analysis
Signal and Image processing. UNIVERSITÉ DE RENNES 1; INRIA - IRISA - PANAMA, 2020. English
...
tel-01417467v3  Theses
Jiří Maršík. Effects and handlers in natural language
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0322⟩
...
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-02396851v1  Theses
Joseph Lallemand. Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
...
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-01682932v1  Theses
Aybüke Özgün. Evidence in Epistemic Logic : A Topological Perspective
Logic in Computer Science [cs.LO]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0200⟩
...
tel-02499941v1  Theses
Abdulqawi Saif. Experimental Methods for the Evaluation of Big Data Systems
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0001⟩
...
tel-01403849v2  Theses
Hugo Labrande. Explicit computation of the Abel-Jacobi map and its inverse
Computational Geometry [cs.CG]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0142⟩
...
tel-01749600v1  Theses
Anass Lasram. Exploring and rendering synthesized textures
Other [cs.OH]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0183⟩
...
tel-01749193v2  Theses
Ekaterina Lebedeva. Expressing discourse dynamics through continuations
Computation and Language [cs.CL]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0025⟩
...
tel-01751818v2  Theses
Aleksey Buzmakov. Formal Concept Analysis and Pattern Structures for mining Structured Data
Artificial Intelligence [cs.AI]. Universite de Lorraine, 2015. English. ⟨NNT : 2015LORR0112⟩
...
tel-00614269v2  Theses
Atif Mashkoor. Formal Domain Engineering: From Specification to Validation
Software Engineering [cs.SE]. Université Nancy II, 2011. English
...
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-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-01750356v1  Theses
Tianxiang Lu. Formal verification of the Pastry protocol
Other [cs.OH]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0179⟩
...
tel-02963301v1  Theses
Mathias Fleury. Formalization of Logical Calculi in Isabelle/HOL
Logic in Computer Science [cs.LO]. Universität des Saarlandes Saarbrücken, 2020. English
...
tel-02387124v1  Theses
Khadija Musayeva. Generalization Performance of Margin Multi-category Classifiers
Machine Learning [cs.LG]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0096⟩
...
tel-01751063v2  Theses
Shashi Narayan. Generating and Simplifying Sentences
Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0166⟩
...
tel-01749508v2  Theses
K.C. Santosh. Graphics Recognition using Spatial Relations and Shape Analysis
Computer Vision and Pattern Recognition [cs.CV]. Institut National Polytechnique de Lorraine, 2011. English. ⟨NNT : 2011INPL096N⟩
...
tel-01740905v1  Theses
Mohamad Daher. High Integrity Personal Tracking Using Fault Tolerant Multi-Sensor Data Fusion
Automatic. Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189, 2017. English