Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (5)
  • Grenoble 1 (5)
  • Grenoble INPG (4)
  • Toulouse 3 (2)
  • Aix-Marseille (1)
  • Besançon (1)
  • Bordeaux 1 (1)
  • Ecole Nationale des Sciences de l'Informatique (Tunisie) (1)
  • Ecole centrale de Lille (1)
  • Ecole centrale de Nantes (1)
  • Evry, Institut national des télécommunications (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Nancy 1 (1)
  • Paris Saclay (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, INPT (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (20)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique. Productique (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique et télécommunications (1)
  • Informatique fondamentale et parallélisme (1)
  • Mathématiques et Informatique (1)
  • Mathématiques. Informatique (1)
  • Micro et nano électronique (1)
  • Systèmes informatiques et systèmes embarqués (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • IAEM Lorraine (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Sifakis Joseph (5)
  • Maler Oded (4)
  • Bodeveix Jean-Paul (2)
  • Filali Mamoun (2)
  • Fribourg Laurent (2)
  • Alla Hassane Lotfi (1)
  • Ben Ahmed Samir (1)
  • Ben Hadj-Alouane Néjib (1)
  • Boniol Frédéric (1)
  • Bozga Dorel Marius (1)
  • Castanet Richard (1)
  • Cavalli Ana (1)
  • Choppy Christine (1)
  • Coulette Bernard (1)
  • Encrenaz Emmanuelle (1)
  • Frydman Claudia (1)
  • Gastin Paul (1)
  • Haar Stefan (1)
  • Hamri Maâmar El-Amine (1)
  • Jaray Jacques (1)
  • Julliand Jacques (1)
  • Le Gall Pascale (1)
  • Lime Didier (1)
  • Maraninchi Florence (1)
  • Merz Stephan (1)
  • Mountassir Hassan (1)
  • Petit Antoine (1)
  • Tagina Moncef (1)
  • Toguyeni Abdoul Karim Armand (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (23)
  • Sciences de l'ingénieur (5)
  • Mathématiques (2)
  • Informatique, information, généralités (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

30 thèses pour "Systèmes temporisés"

Informatique et applications

Soutenue en 2013
thèse soutenue

De la composition des systèmes temporisés

par Sébastien Bornot sous la direction de Joseph Sifakis - Grenoble 1

Informatique

Soutenue en 1998
thèse soutenue
Informatique

Soutenue en 1998
thèse soutenue
Informatique

Soutenue en 1994
thèse soutenue

Résultats 1 à 10