Skip to Main content Skip to Navigation


...
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-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-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-01754477v3  Theses
Mehwish Alam. Interactive Knowledge Discovery over Web of Data
Information Retrieval [cs.IR]. Loria & Inria Grand Est, 2015. English. ⟨NNT : 2015LORR0158⟩
...
tel-01252938v1  Theses
Mihai Andries. Object and human tracking, and robot control through a load sensing floor
Artificial Intelligence [cs.AI]. Université de Lorraine, 2015. English
...
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-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-01591108v1  Theses
Haniel Barbosa. New techniques for instantiation and proof production in SMT solving
Artificial Intelligence [cs.AI]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0091⟩
...
tel-00925228v1  Theses
Razvan Barbulescu. Algorithms of discrete logarithm in finite fields
Cryptography and Security [cs.CR]. Université de Lorraine, 2013. 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-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. 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-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-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-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-02427371v1  Theses
Martin Bromberger. Decision Procedures for Linear Arithmetic
Logic in Computer Science [cs.LO]. Saarland University, 2019. English
...
tel-01273964v1  Theses
Tomasz Buchert. Managing large-scale, distributed systems research experiments with control-flows
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2016. English
...
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-02315651v1  Theses
Paul Chaignon. Software Datapaths for Multi-Tenant Packet Processing
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0062⟩
...
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-02096145v1  Theses
Maxime Compastié. Software-defined Security for Distributed Clouds
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0307⟩
...
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
...
tel-01750379v3  Theses
Georgios Detorakis. Cortical plasticity, dynamic neural fields and self-organization
Computer science. Université de Lorraine, 2013. 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-01547313v1  Theses
Jérémie Dumas. Controllable shape synthesis for digital fabrication
Modeling and Simulation. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0008⟩
...
tel-03704004v1  Theses
Semyon Efremov. Parametrized growth and procedural noise for mechanical metamaterial design
Computational Geometry [cs.CG]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0046⟩
...
tel-01094400v1  Theses
Elias Egho. Mining Heterogeneous Multidimensional Sequential Data
Other [cs.OH]. Université de Lorraine, 2014. English
...
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-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-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-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⟩