Skip to Main content Skip to Navigation
New interface


...
tel-03003349v1  Theses
Karine Younsi. Analyse du système Conducteur-Véhicule-Environnement par une approche multifactorielle et multivariée
Sciences de l'ingénieur [physics]. Université de Valenciennes et du Hainaut-Cambrésis, 2009. Français. ⟨NNT : 2010VALE0005⟩
...
tel-02972592v1  Theses
Xin Ye. Model checking self modifying code
Logic in Computer Science [cs.LO]. Université Paris Cité; East China normal university (Shanghai), 2019. English. ⟨NNT : 2019UNIP7010⟩
...
tel-00441484v1  Habilitation à diriger des recherches
Thomas Devogele. Système d'information géographique temporelle maritime ; Des distances linéaires à l'analyse temps réel des trajectoires
Autre [cs.OH]. Université de Bretagne occidentale - Brest, 2009
...
tel-00786827v1  Theses
Djallel Bouneffouf. Rôle de l'inférence temporelle dans la reconnaissance de l'inférence textuelle
Informatique et langage [cs.CL]. Université des Sciences et de la Technologie Houari Boumediene, 2008. Français. ⟨NNT : ⟩
...
tel-03189929v1  Habilitation à diriger des recherches
Stéphane Demri. Logiques pour la spécification et vérification
Logique en informatique [cs.LO]. Université Denis Diderot Paris 7, 2007
...
tel-00198797v1  Theses
David Meunier. Une modélisation évolutionniste du liage temporel
Informatique [cs]. Université Lumière - Lyon II, 2007. Français. ⟨NNT : ⟩
...
tel-03531755v1  Theses
Iulian Sandu Popa. Modeling, Querying and Indexing Moving Objects with Sensors on Road Networks
Computer science. Université de Versailles Saint Quentin en Yvelines, 2009. English. ⟨NNT : ⟩
...
tel-00997539v1  Theses
Hugo Alatrista-Salas. Extraction de relations spatio-temporelles à partir des données environnementales et de la santé
Base de données [cs.DB]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. Français. ⟨NNT : 2013MON20054⟩
...
tel-00004896v1  Theses
Radu Mateescu. Vérification des propriétés temporelles des programmes parallèles
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1998. Français. ⟨NNT : ⟩
...
tel-02461613v1  Habilitation à diriger des recherches
Vincent Ricordel. Outils et méthodes pour le codage vidéo perceptuel
Traitement du signal et de l'image [eess.SP]. Université de Nantes, 2020