Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (4)
  • Paris 6 (2)
  • Sorbonne Paris Cité (2)
  • Toulouse, INPT (2)
  • Toulouse, ISAE (2)
  • Besançon (1)
  • Dijon (1)
  • East China normal university (Shanghai) (1)
  • Evry, Institut national des télécommunications (1)
  • Evry-Val d'Essonne (1)
  • Lyon 1 (1)
  • Nancy 1 (1)
  • Orléans (1)
  • Paris 11 (1)
  • Paris 13 (1)
  • Paris 7 (1)
  • Pau (1)
  • Poitiers (1)
  • Rennes 1 (1)
  • UNIVERSITE DE TUNIS EL MANAR (1)
  • Università degli studi (Milan, Italie) (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université de Paris (2019-....) (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (18)
  • Sciences appliquées (3)
  • Intelligence artificielle (2)
  • Automatique - productique (1)
  • Automatique et informatique (1)
  • Informatique et Télécommunications (1)
  • Informatique et applications (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (2)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (17)
  • anglais (10)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Klai Kais (2)
  • Touili Tayssir (2)
  • Aït-Ameur Yamine (1)
  • Belala Faiza (1)
  • Ben romdhan Haten (1)
  • Benbernou Salima (1)
  • Benzaken Véronique (1)
  • Bodeveix Jean-Paul (1)
  • Bouajjani Ahmed (1)
  • Brunel Julien (1)
  • Bétourné Claude (1)
  • Cavalli Ana (1)
  • Cerrito Serenella (1)
  • Chemouil David (1)
  • Couvreur Jean-Michel (1)
  • Estraillier Pascal (1)
  • Fariñas del Cerro Luis (1)
  • Filali Mamoun (1)
  • Ghilardi Silvio (1)
  • Girard Patrick (1)
  • Grandi Umberto (1)
  • Hacid Mohand Saïd (1)
  • Hameurlain Nabil (1)
  • He Jifeng (1)
  • Herzig Andreas (1)
  • Julliand Jacques (1)
  • Klaudel Hanna (1)
  • Kordon Fabrice (1)
  • Lorini Emiliano (1)
  • Méry Dominique (1)
  • Nicolle Christophe (1)
  • Padiou Gérard (1)
  • Peschanski Frédéric (1)
  • Rampacek Sylvain (1)
  • Ranise Silvio (1)
  • Raynal Michel (1)
  • Rusinowitch Michaël (1)
  • Thiriet Jean-Marc (1)
  • Wiels Virginie (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (20)
  • Sciences de l'ingénieur (6)
  • Informatique, information, généralités (4)

Domaines :

Fullscreen
Sureté de logiciel et calcul de haute performance

Soutenue le 03-09-2013
thèse soutenue

...pi φ ?Théorème 4 (Complexité de LTL). Dans la logique temporelle linéaire, la satisfiabilité est...

Accéder en ligne
Informatique

Soutenue le 05-07-2018
thèse soutenue
Informatique

Soutenue le 30-09-2019
thèse soutenue
Informatique

Soutenue en 1988
thèse soutenue

Résultats 1 à 10