HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
...
tel-02433528v1  Theses
Anastasiia Tsukanova. Articulatory speech synthesis
Computation and Language [cs.CL]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0166⟩
...
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-02327764v1  Theses
Maxime Schmitt. Automatic Generation of Adaptive Codes
Computer Science [cs]. Université de Strasbourg, 2019. English
...
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-02461448v1  Theses
François Pirot. Colouring sparse graphs
Computer Science [cs]. Université de Lorraine; Radboud universiteit Nijmegen, 2019. English. ⟨NNT : 2019LORR0153⟩
...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
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-02396851v1  Theses
Joseph Lallemand. Electronic Voting: Definitions and Analysis Techniques
Cryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
...
tel-02735309v1  Theses
Andrii Shachykov. Neural modeling of human motor coordination inspired by biological signals aiming for parkinsonian gaits
Computer Science [cs]. Université de Lorraine; Institut polytechnique de Kiev (Ukraine), 2019. English. ⟨NNT : 2019LORR0291⟩
...
tel-01940700v2  Theses
Yann Barsamian. Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures
Computer Science [cs]. Université de Strasbourg, 2018. English
...
tel-02094910v1  Theses
Daishi Kondo. Preventing information leakage in NDN with name and flow filters
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0233⟩
...
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-02096145v1  Theses
Maxime Compastié. Software-defined Security for Distributed Clouds
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0307⟩
...
tel-02395443v1  Theses
Renaud Vilmart. ZX-Calculi for Quantum Computing and their Completeness
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩