Skip to Main content Skip to Navigation
Help


...
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⟩
...
tel-01925851v2  Theses
Dolière Francis Somé. Web applications security and privacy
Cryptography and Security [cs.CR]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4085⟩
...
tel-00347430v1  Theses
Andreas Pusch. Visuo-proprioceptive conflicts of the hand for 3D user interaction in Augmented Reality
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2008. English
...
tel-02872028v1  Theses
Damien Crémilleux. Visualization for information system security monitoring
Cryptography and Security [cs.CR]. CentraleSupélec, 2019. English. ⟨NNT : 2019CSUP0013⟩
...
tel-02007675v1  Theses
Jérémy Wambecke. Visualisation de données temporelles personnelles
Technologies Émergeantes [cs.ET]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAM051⟩
...
tel-00343675v1  Theses
Julien Morat. Vision stéréoscopique par ordinateur pour la détection et le suivi de cibles pour une application automobile
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2008. Français
...
tel-02136801v1  Theses
Gauthier Voron. Virtualisation efficace d'architectures NUMA
Hardware Architecture [cs.AR]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS026⟩
...
tel-01897787v2  Theses
Claire Brécheteau. Vers une vision robuste de l'inférence géométrique
Géométrie métrique [math.MG]. Université Paris-Saclay, 2018. Français. ⟨NNT : 2018SACLS334⟩
...
tel-02437183v1  Theses
Tien Duc Cao. Vers une vérification automatique des affirmations statistiques
Programming Languages [cs.PL]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLX051⟩
...
tel-01953300v1  Theses
Lyes Hamidouche. Vers une dissémination efficace de données volumineuses sur des réseaux Wi-Fi denses
Informatique. Sorbonne Université, Faculté des Sciences et Ingénierie, 2018. Français
...
tel-02513105v1  Theses
Julien Lepiller. Verifying Software Fault Isolation
Performance [cs.PF]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S067⟩
...
tel-01944510v3  Theses
Alix Trieu. Verifying constant-time implementations in a verified compilation toolchain
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S099⟩
...
tel-02503839v1  Theses
Thibault Suzanne. Vérification par interprétation abstraite en mémoire faiblement cohérente
Cryptographie et sécurité [cs.CR]. PSL Research University, 2019. Français. ⟨NNT : 2019PSLEE013⟩
...
tel-02460734v1  Theses
Raphaël Jakse. Vérification interactive de propriétés à l'exécution
Informatique [cs]. CORSE - Compiler Optimization and Run-time Systems; Université Grenoble - Alpes; LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, 2019. Français
...
tel-01767989v1  Theses
Ludovic Robin. Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0019⟩
...
tel-02570591v1  Theses
Amir Teshome Wonjiga. User-centric security monitoring in cloud environments
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S080⟩
...
tel-01943728v1  Theses
Kevin Corre. User controlled trust and security level of Web real-time communications
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S029⟩
...
tel-02431424v2  Theses
Mohamed Naoufal Mahfoudi. Unlocking wireless sensing potential in Wi-Fi and IoT networks
Networking and Internet Architecture [cs.NI]. Université Côte d'Azur, 2019. English. ⟨NNT : 2019AZUR4063⟩
...
tel-00668936v1  Theses
Jérémy Dubus. Une démarche orientée modèle pour le déploiement de systèmes en environnements ouverts distribués
Calcul parallèle, distribué et partagé [cs.DC]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français
...
tel-01759840v1  Theses
Grégory Smits. Une approche par surclassement pour le contrôle d'un processus d'analyse linguistique
Intelligence artificielle [cs.AI]. Université de Caen (France), 2008. Français
...
tel-02414928v1  Theses
Sarra Habchi. Understanding Mobile-Specific Code Smells
Software Engineering [cs.SE]. Université de Lille, 2019. English
...
tel-02438652v1  Theses
Arthur Loussert. Understanding and Guiding the Computing Resource Management in a Runtime Stacking Context
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2019. English
...
tel-01881889v1  Theses
Amira Chalbi. Understanding and designing animations in the user interfaces
Human-Computer Interaction [cs.HC]. Université lille1, 2018. English