Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (12)
  • Grenoble 1 (7)
  • Rennes 1 (7)
  • Toulouse 3 (6)
  • Grenoble INPG (4)
  • Lyon, INSA (4)
  • Paris Est (4)
  • Reims (4)
  • Toulouse, ENSAE (4)
  • Bordeaux (3)
  • Nantes (3)
  • Paris 6 (3)
  • Toulouse, INPT (3)
  • Université Paris-Saclay (ComUE) (3)
  • Aix-Marseille (2)
  • Clermont-Ferrand 2 (2)
  • Paris, CNAM (2)
  • université Paris-Saclay (2)
  • 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)
  • La Rochelle (1)
  • Lorient (1)
  • Lyon (1)
  • Montpellier (1)
  • Paris Sciences et Lettres (ComUE) (1)
  • Sorbonne Paris Cité (1)
  • Sorbonne université (1)
  • Sydney, University of New South Wales (1)
  • Télécom Bretagne (1)
  • Université Grenoble Alpes (1)
  • Université Grenoble Alpes (ComUE) (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 (57)
  • Automatique. Productique (3)
  • InformatiqueInformatique (3)
  • Programmation et systèmes (3)
  • Automatique et informatique appliquée (2)
  • Informatique et applications (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 télécommunications (1)
  • Mathématiques (1)
  • Mathématiques et Informatique (1)
  • Mathématiques. Informatique (1)
  • Robotique (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 Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (4)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (4)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • É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 Sciences du Numérique et de lu2019Ingénieur (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Euclide (La Rochelle ; 2018-....) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (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 de la communication (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (52)
  • anglais (39)

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)
  • Bouyer-Decitre Patricia (2)
  • Bozga Dorel Marius (2)
  • Bérard Béatrice (2)
  • Cordier Marie-Odile (2)
  • Jéron Thierry (2)
  • Klaudel Hanna (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)
  • André Etienne (1)
  • Asarin Eugène (1)
  • Augé-Blum Isabelle (1)
  • Bastide Rémi (1)
  • Benatallah Boualem (1)
  • Berruet Pascal (1)
  • Brihaye Thomas (1)
  • Carre menetrier Veronique (1)
  • Cavalli Ana (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)
  • Godary Karen (1)
  • Graf Susanne (1)
  • Guermouche Nawal (1)
  • Guéguen Hervé (1)
  • Haar Stefan (1)
  • Haddad Serge (1)
  • Herbreteau Frédéric (1)
  • Iosif Radu (1)
  • Issarny Valérie (1)
  • Jacquemard Florent (1)
  • Jard Claude (1)
  • Lang Frédéric (1)
  • Largouet Christine (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)
  • Monmege Benjamin (1)
  • Monteil Thierry (1)
  • Montmain Jacky (1)
  • Moreaux Patrice (1)
  • Mosbah Mohamed (1)
  • Naud Olivier (1)
  • Niel Eric (1)
  • Ober Iulian Sorin (1)
  • Oquendo Flavio (1)
  • Padois Vincent (1)
  • Percebois Christian (1)
  • Perrin Dominique (1)
  • Perrin NIcolas (1)
  • Peschanski Frédéric (1)
  • Petrucci Laure (1)
  • Philippot Alexandre (1)
  • Pouzet Marc (1)
  • Pétin Jean-François (1)
  • Rebeuf Xavier (1)
  • Revel Arnaud (1)
  • Reynier Pierre-Alain (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)
  • Termier Alexandre (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 (74)
  • Sciences de l'ingénieur (18)
  • 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

95 thèses pour "Automates temporisés"

Informatique

Soutenue le 06-06-2012
thèse soutenue

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

Accéder en ligne

...beloved Agathe for her continuous support.34RésuméLes automates temporisés sont un formalisme qui permet...

Accéder en ligne

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

Accéder en ligne

Reconnaissance de motifs dynamiques par automates temporisés à mémoire

par Clément Bertrand sous la direction de Hanna Klaudel et de Frédéric Peschanski. - université Paris-Saclay

Informatique

En préparation depuis le 01-10-2017
 thèse en cours de préparation

Résultats 1 à 10