Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (14)
  • Rennes 1 (8)
  • Grenoble INPG (6)
  • Toulouse 3 (6)
  • Université Joseph Fourier (Grenoble) (5)
  • Grenoble 1 (4)
  • Lyon, INSA (4)
  • Paris Est (4)
  • Reims (4)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (4)
  • Bordeaux (3)
  • Bordeaux 1 (3)
  • Nantes (3)
  • Paris 6 (3)
  • Paris Saclay (3)
  • Toulouse, INPT (3)
  • Université Paris-Saclay (ComUE) (3)
  • Belfort-Montbéliard (2)
  • Clermont-Ferrand 2 (2)
  • Ecole centrale de Lille (2)
  • Evry-Val d'Essonne (2)
  • Grenoble (2)
  • Grenoble Alpes (2)
  • Lyon (2)
  • Normandie (2)
  • Paris, CNAM (2)
  • Sorbonne Paris Cité (2)
  • Université de Lorraine (2)
  • Aix-Marseille (1)
  • Aix-Marseille 1 (1)
  • Angers (1)
  • Besançon (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Ecole Nationale des Sciences de l'Informatique (Tunisie) (1)
  • Ecole centrale de Nantes (1)
  • Ecole nationale d'ingénieurs de Tunis (1)
  • Evry, Institut national des télécommunications (1)
  • Faculté des Sciences de Tunis (1)
  • Lorient (1)
  • Montpellier (1)
  • Paris Sciences et Lettres (1)
  • Sorbonne université (1)
  • Toulouse, ISAE (1)
  • Télécom Bretagne (1)
  • University of New South Wales (1)
  • Université de Mons (1)
  • Université de Tunis El Manar (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de Yaoundé I (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (72)
  • Automatique. Productique (4)
  • Automatique (3)
  • Programmation et systèmes (3)
  • Automatique et informatique appliquée (2)
  • Automatique, signal, productique, robotique (2)
  • Informatique fondamentale et parallélisme (2)
  • Sureté de logiciel et calcul de haute performance (2)
  • Électronique, électrotechnique, automatique (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Automatique et productique (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Bioinformatique (1)
  • Informatique et applications (1)
  • Informatique et télécommunications (1)
  • Mathématiques (1)
  • Mathématiques. Informatique (1)
  • Robotique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécom, système 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)
  • Sciences et technologie industrielles (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)

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) (6)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (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 Sciences pour l'Ingénieur (Lille) (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)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (1)
  • I2S - Information, Structures, Systèmes (1)
  • SNI - Sciences du Numérique et de l'Ingénieur (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (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 mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (69)
  • anglais (43)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Maler Oded (5)
  • Fribourg Laurent (4)
  • Alla Hassane Lotfi (3)
  • Babau Jean-Philippe (3)
  • Bensalem Saddek (3)
  • Bodeveix Jean-Paul (3)
  • Boniol Frédéric (3)
  • Filali Mamoun (3)
  • Jéron Thierry (3)
  • Mourlin Fabrice (3)
  • Sifakis Joseph (3)
  • Toguyeni Abdoul Karim Armand (3)
  • Barkaoui Kamel (2)
  • Bouyer-Decitre Patricia (2)
  • Bozga Dorel Marius (2)
  • Bérard Béatrice (2)
  • Cordier Marie-Odile (2)
  • El Moudni Abdellah (2)
  • Klaudel Hanna (2)
  • Lefebvre Dimitri (2)
  • Lesage Jean-Jacques (2)
  • Lime Didier (2)
  • Niebert Peter (2)
  • Pétin Jean-François (2)
  • Robbana Riadh (2)
  • Roux Olivier F. (2)
  • Roux Olivier Henri (2)
  • Rueda Camilo (2)
  • Toumani Farouk (2)
  • Walukiewicz Igor (2)
  • Abbas-Turki Abdel Jalil (1)
  • Aiguier Marc (1)
  • André Etienne (1)
  • Asarin Eugène (1)
  • Augé-Blum Isabelle (1)
  • Bastide Rémi (1)
  • Ben Hadj-Alouane Néjib (1)
  • Benatallah Boualem (1)
  • Benrejeb Mohamed (1)
  • Bernot Gilles (1)
  • Berruet Pascal (1)
  • Bertrand Nathalie (1)
  • Brihaye Thomas (1)
  • Carre menetrier Veronique (1)
  • Cavalli Ana (1)
  • Choppy Christine (1)
  • Comet Jean-Paul (1)
  • Coulette Bernard (1)
  • Courtiat Jean-Pierre (1)
  • Crestani Didier (1)
  • Dague Philippe (1)
  • De Sainte-Catherine Myriam (1)
  • Delmas Rémi (1)
  • Desainte-Catherine Myriam (1)
  • Dhaussy Philippe (1)
  • Doyen Laurent (1)
  • Dridi Mahjoub (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)
  • Fradet Pascal (1)
  • Féraud Louis (1)
  • Gascuel Chantal (1)
  • Gastin Paul (1)
  • Georgantas Nikolaos (1)
  • Georges Jean-Philippe (1)
  • Ghazel Mohamed (1)
  • Godary Karen (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)
  • Julliand Jacques (1)
  • Lang Frédéric (1)
  • Laroussinie François (1)
  • Le Gall Pascale (1)
  • Le gall Pascale (1)
  • Lugiez Denis (1)
  • Mammeri Zoubir (1)
  • Manamanni Noureddine (1)
  • Marange Pascale (1)
  • Maraninchi Florence (1)
  • Marchand Hervé (1)
  • Marcé Lionel (1)
  • Markey Nicolas (1)
  • Massart Thierry (1)
  • Masson Pierre-Alain (1)
  • Mignotte Anne (1)
  • Monteil Thierry (1)
  • Montmain Jacky (1)
  • Moreaux Patrice (1)
  • Mosbah Mohamed (1)
  • Naud Olivier (1)
  • Niel Eric (1)
  • Nikolski Macha (1)
  • Ober Iulian Sorin (1)
  • Oquendo Flavio (1)
  • Padois Vincent (1)
  • Pagetti Claire (1)
  • Percebois Christian (1)
  • Perrin Dominique (1)
  • Peschanski Frédéric (1)
  • Petit Antoine (1)
  • Petrucci Laure (1)
  • Philippot Alexandre (1)
  • Pouzet Marc (1)
  • Rebeuf Xavier (1)
  • Rollet Antoine (1)
  • Sanlaville Éric (1)
  • Scharbarg Jean-Luc (1)
  • Schwarz Jean-Jacques (1)
  • Seguin Christel (1)
  • Sherman David James (1)
  • Simeu-Abazi Zineb (1)
  • Simonin Olivier (1)
  • Simonot-Lion Françoise (1)
  • Strecker Martin (1)
  • Sutre Grégoire (1)
  • Tagina Moncef (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 (81)
  • Sciences de l'ingénieur (25)
  • Informatique, information, généralités (7)
  • Technologie (Sciences appliquées) (6)
  • Mathématiques (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Gestion et organisation de l'entreprise (1)

Domaines :

Fullscreen

116 thèses pour Automates temporisés

Informatique

Soutenue le 06-06-2012
thèse soutenue

...´cutions est un proble`meNP-complet.Mots cle´s: Automates temporise´s, abstractions, algorithmes a` la vole...

Accéder en ligne

...` mieux comprendre le fonctionnement des al-gorithmes d’analyse.Mots-cle´s Automates temporise´s, parcours...

Accéder en ligne

...-ressons à l’enforcement à l’exécution de propriétés spécifiées par des auto-mates temporisés. Tout comme la...

Accéder en ligne
Informatique et applications

Soutenue en 2013
thèse soutenue

Résultats 1 à 10