Skip to Main content Skip to Navigation


...
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-00178870v1  Theses
Doru Tanasa. Web Usage Mining: Contributions to Intersites Logs Preprocessing and Sequential Pattern Extraction with Low Support
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
...
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-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-02437183v1  Theses
Tien Duc Cao. Vers une vérification automatique des affirmations statistiques
Programming Languages [cs.PL]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX051⟩
...
tel-00012075v1  Theses
Vivien Quema. Vers l'exogiciel -- Une approche de la construction d'infrastructures logicielles radicalement configurables
Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2005. Français
...
tel-02513105v1  Theses
Julien Lepiller. Verifying Software Fault Isolation
Performance [cs.PF]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S067⟩
...
tel-02503839v1  Theses
Thibault Suzanne. Vérification par interprétation abstraite en mémoire faiblement cohérente
Cryptographie et sécurité [cs.CR]. Université Paris sciences et lettres, 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-00011939v2  Theses
Christophe Joubert. Vérification distribuée à la volée de grands espaces d'états
Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2005. Français
...
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-02431424v2  Theses
Mohamed Naoufal Mahfoudi. Unlocking wireless sensing potential in Wi-Fi and IoT networks
Networking and Internet Architecture [cs.NI]. COMUE Université Côte d'Azur (2015 - 2019), 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-02129544v2  Theses
Anca Nitulescu. Un recueil de SNARKs : sécurité quantique, extractabilité et confidentialité des données
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE014⟩
...
tel-00011698v1  Theses
Mathieu d'Aquin. Un portail sémantique pour la gestion des connaissances en cancérologie
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2005. Français
tel-01746651v1  Theses
Mathieu d' Aquin. Un portail sémantique pour la gestion des connaissances en cancérologie
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10154⟩
...
tel-00668953v1  Theses
Carlos Noguera. Un ensemble d'outils orientés modèle pour développer et valider des cadres logiciels à base d'annotations
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français
...
tel-00009757v1  Theses
Laurent Baduel. Typed Groups for the Grid
Modeling and Simulation. Université Nice Sophia Antipolis, 2005. English
...
tel-00351837v1  Theses
Pierre-yves Strub. Type Theory and Decision Procedures
Formal Languages and Automata Theory [cs.FL]. Ecole Polytechnique X, 2008. English. ⟨NNT : 2008EPXX0054⟩
tel-01746546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10119⟩
...
tel-00010546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-02881758v1  Theses
Loïc Ferreira. Tunnels sécurisés pour environnements contraints
Cryptographie et sécurité [cs.CR]. INSA de Rennes, 2019. Français. ⟨NNT : 2019ISAR0007⟩