Skip to Main content Skip to Navigation

tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
tel-02095261v1  Theses
Benjamin Obando. Mathematical models for the study of granular fluids
Analysis of PDEs [math.AP]. Université de Lorraine; Universidad de Santiago de Chile, 2018. English. ⟨NNT : 2018LORR0274⟩
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-01830104v1  Theses
Alessandro Duca. Analysis of the controllability of bilinear closed quantum systems
Analysis of PDEs [math.AP]. Université Bourgogne Franche-Comté, 2018. English. ⟨NNT : 2018UBFCD004⟩
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-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
tel-01940700v2  Theses
yann A Barsamian. Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures
Computer Science [cs]. Université de Strasbourg, 2018. English
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⟩