Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (12)
  • Grenoble 1 (7)
  • Rennes 1 (6)
  • Toulouse 3 (6)
  • Grenoble INPG (4)
  • Lyon, INSA (4)
  • Paris Est (4)
  • Paris Saclay (4)
  • Reims (4)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (4)
  • Bordeaux (3)
  • Nantes (3)
  • Paris 6 (3)
  • Toulouse, INPT (3)
  • Clermont-Ferrand 2 (2)
  • Paris, CNAM (2)
  • Aix-Marseille (1)
  • Aix-Marseille 1 (1)
  • Angers (1)
  • Bordeaux 1 (1)
  • Ecole centrale de Lille (1)
  • Ecole centrale de Nantes (1)
  • Ecole nationale d'ingénieurs de Tunis (1)
  • Evry, Institut national des télécommunications (1)
  • Evry-Val d'Essonne (1)
  • Faculté des Sciences de Tunis (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Lorient (1)
  • Lyon (1)
  • Montpellier (1)
  • Paris Sciences et Lettres (1)
  • Sydney, University of New South Wales (1)
  • Télécom Bretagne (1)
  • Université de Lorraine (1)
  • Université de Mons (1)
  • Université de Yaoundé I (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (56)
  • Automatique. Productique (3)
  • Programmation et systèmes (3)
  • Automatique et informatique appliquée (2)
  • Informatique fondamentale et parallélisme (2)
  • Sureté de logiciel et calcul de haute performance (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Automatique (1)
  • Automatique et productique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Informatique et applications (1)
  • Informatique et télécommunications (1)
  • Mathématiques (1)
  • Mathématiques. Informatique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Sciences - STS (1)
  • Sciences et techniques (1)
  • Signal, Image, Automatique (1)
  • Stic (1)
  • Systèmes informatiques et systèmes embarqués (1)
  • Traitement du signal et télécommunications (1)
  • Électronique Électrotechnique Automatique (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (6)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • I2S - Information, Structures, Systèmes (1)
  • SNI - Sciences du Numérique et de l'Ingénieur (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (49)
  • anglais (35)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Maler Oded (5)
  • Fribourg Laurent (4)
  • Babau Jean-Philippe (3)
  • Bodeveix Jean-Paul (3)
  • Boniol Frédéric (3)
  • Filali Mamoun (3)
  • Mourlin Fabrice (3)
  • Barkaoui Kamel (2)
  • Bensalem Saddek (2)
  • Bozga Dorel Marius (2)
  • Bérard Béatrice (2)
  • Cordier Marie-Odile (2)
  • Jéron Thierry (2)
  • Lime Didier (2)
  • Niebert Peter (2)
  • Roux Olivier F. (2)
  • Roux Olivier Henri (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Toumani Farouk (2)
  • Walukiewicz Igor (2)
  • Alla Hassane Lotfi (1)
  • Asarin Eugène (1)
  • Augé-Blum Isabelle (1)
  • Bastide Rémi (1)
  • Benatallah Boualem (1)
  • Berruet Pascal (1)
  • Bouyer-Decitre Patricia (1)
  • Brihaye Thomas (1)
  • Carre menetrier Veronique (1)
  • Cavalli Ana (1)
  • Conchon Sylvain (1)
  • Coulette Bernard (1)
  • Courtiat Jean-Pierre (1)
  • Crestani Didier (1)
  • Dague Philippe (1)
  • De Sainte-Catherine Myriam (1)
  • Dhaussy Philippe (1)
  • Doyen Laurent (1)
  • Encrenaz Emmanuelle (1)
  • Faure Jean-Marc (1)
  • Fernandez Jean-Claude (1)
  • Ferrier Jean-Louis (1)
  • Fotso Laure Pauline (1)
  • Fouchal Hacène (1)
  • Fraboul Christian (1)
  • Féraud Louis (1)
  • Gascuel Chantal (1)
  • Gastin Paul (1)
  • Georgantas Nikolaos (1)
  • Ghazel Mohamed (1)
  • Guermouche Nawal (1)
  • Guéguen Hervé (1)
  • Haar Stefan (1)
  • Haddad Serge (1)
  • Herbreteau Frédéric (1)
  • Issarny Valérie (1)
  • Jacquemard Florent (1)
  • Jard Claude (1)
  • Klaudel Hanna (1)
  • Lang Frédéric (1)
  • Laroussinie François (1)
  • Le Gall Pascale (1)
  • Lesage Jean-Jacques (1)
  • Lugiez Denis (1)
  • Mammeri Zoubir (1)
  • Manamanni Noureddine (1)
  • Marange Pascale (1)
  • Marchand Hervé (1)
  • Marcé Lionel (1)
  • Markey Nicolas (1)
  • Massart Thierry (1)
  • Mignotte Anne (1)
  • Monteil Thierry (1)
  • Montmain Jacky (1)
  • Moreaux Patrice (1)
  • Mosbah Mohamed (1)
  • Niel Eric (1)
  • Ober Iulian Sorin (1)
  • Oquendo Flavio (1)
  • Percebois Christian (1)
  • Perrin Dominique (1)
  • Peschanski Frédéric (1)
  • Philippot Alexandre (1)
  • Pouzet Marc (1)
  • Pétin Jean-François (1)
  • Rebeuf Xavier (1)
  • Robbana Riadh (1)
  • Rollet Antoine (1)
  • Rueda Camilo (1)
  • Scharbarg Jean-Luc (1)
  • Schwarz Jean-Jacques (1)
  • Seguin Christel (1)
  • Sifakis Joseph (1)
  • Simeu-Abazi Zineb (1)
  • Simonot-Lion Françoise (1)
  • Strecker Martin (1)
  • Terrier François (1)
  • Tripakis Stavros (1)
  • Ye Lina (1)
  • Zaïdi Fatiha (1)
  • Zezulka Frantisek (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (70)
  • Sciences de l'ingénieur (16)
  • Informatique, information, généralités (4)
  • Mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

88 thèses pour "Automates temporisés"

Informatique

Soutenue le 08-12-2017
thèse soutenue
Informatique

Soutenue le 06-06-2012
thèse soutenue

.... . . . . . . . (DR), LaBRI, CNRS & Univ. Bordeaux . . . . . . Directeur2016iiiTitle Vérification d'automates...

Accéder en ligne

...(pouvant être représentées pardes automates temporisés). Ainsi, deux mécanismes d...

Accéder en ligne
Automatique. Productique

Soutenue en 2006
thèse soutenue

Résultats 1 à 10