Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nice (26)
  • Grenoble (17)
  • Grenoble Alpes (13)
  • Paris 6 (7)
  • Côte d'Azur (6)
  • Paris, ENMP (5)
  • Toulouse 3 (5)
  • Aix-Marseille (4)
  • Paris 7 (4)
  • Paris Saclay (4)
  • Rennes 1 (4)
  • Bordeaux (3)
  • Lyon (3)
  • Paris, CNAM (3)
  • Paris, ENST (3)
  • Toulouse, ISAE (3)
  • ENSMP (2)
  • Lille 1 (2)
  • Montpellier (2)
  • Nantes (2)
  • Paris 11 (2)
  • Paris Est (2)
  • Paris Sciences et Lettres (2)
  • Sorbonne université (2)
  • Toulon (2)
  • Toulouse 1 (2)
  • Université de Lorraine (2)
  • Paris, ENMP (1)
  • Aix-Marseille 1 (1)
  • Amiens (1)
  • Antilles (1)
  • Besançon (1)
  • Bourgogne Franche-Comté (1)
  • Cachan, Ecole normale supérieure (1)
  • CentraleSupélec (1)
  • Clermond-Ferrand 2 (1)
  • Corte (1)
  • Ecole Centrale de Lille (1)
  • Ecole centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble INPG (1)
  • Institut national de la recherche scientifique (Québec, province) (1)
  • La Rochelle (1)
  • Le Mans (1)
  • Lorient (1)
  • Montpellier 3 (1)
  • Normandie (1)
  • Paris 1 (1)
  • Paris 10 (1)
  • Paris 13 (1)
  • Paris 3 (1)
  • Paris 4 (1)
  • Pau (1)
  • Rennes, INSA (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 2 (1)
  • Toulouse, INSA (1)
  • Universidade de Lisboa (1)
  • Universitatea politehnica (Bucarest) (1)
  • Università degli studi (Pavie, Italie) (1)
  • Università degli studi (Pise, Italie) (1)
  • Université Louis Pasteur (Strasbourg) (1)
  • Université du Luxembourg (1)
  • Vrije universiteit Brussel (1970-....) (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 (58)
  • Sciences appliquées (19)
  • Droit public (4)
  • Histoire (4)
  • Sciences et techniques (4)
  • Sciences de l'univers (3)
  • Terre, océan, espace (3)
  • Droit (2)
  • Géographie (2)
  • Sciences de l'environnement (2)
  • Sciences de l'ingénieur (2)
  • Sciences de l'éducation (2)
  • Sciences pour l'ingénieur (2)
  • Électronique (2)
  • Aménagement de l'espace, Urbanisme (1)
  • Aménagement de l’espace, urbanisme (1)
  • Aménagement, Urbanisme, Dynamique des espaces (1)
  • Anthropologie (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, traitement du signal et des images (1)
  • Automatique-Productique (1)
  • Composition musicale (1)
  • Contrôle, optimisation, prospective (1)
  • Cultures et langues régionales (1)
  • Environnement et archéologie (1)
  • Ethnologie (1)
  • Geographie et aménagement de l'espace (1)
  • Géochimie (1)
  • Géographie, aménagement et urbanisme (1)
  • Géophysique (1)
  • Géosciences de l'Environnement (1)
  • Histoire artistique et culturelle (1)
  • Histoire de l'Art, Histoire de l'Architecture (1)
  • Histoire de l'art (1)
  • Histoire et archéologie des mondes anciens et médiévaux (1)
  • Histoire, textes et documents (1)
  • Informatique (STIC) (1)
  • Informatique Temps réel, robotique, automatique (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et applications (1)
  • Informatique et réseaux (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Langue, littérature et civilisation italienne (1)
  • Langue, littérature et civilisation italiennes (1)
  • Mathématiques et Informatique (1)
  • Mécanique des fluides, modélisation numérique (1)
  • Océanographie (1)
  • Photonique et Systèmes Optoélectroniques (1)
  • Productique, automatique et informatique industrielle (1)
  • Productique, automatique et informatique industrielles (1)
  • Réseaux, télécom, système et architecture (1)
  • Réseaux, télécommunications, système et architecture (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sciences agronomiques (1)
  • Sciences de gestion (1)
  • Sciences de l'Information et de la Communication (1)
  • Sciences de la planète et de l'univers (1)
  • Sciences de la terre (1)
  • Sciences et techniques. Physique (1)
  • Sciences et technologie industrielles (1)
  • Sciences économiques (1)
  • Sciences. Informatique (1)
  • Stic (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes Automatiques et Micro-Électroniques (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (24)
  • École doctorale Informatique, télécommunications et électronique de Paris (8)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (4)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • École doctorale Sciences fondamentales et appliquées (Nice) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (3)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (2)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (2)
  • École doctorale Droit et Science Politique (Toulouse) (2)
  • École doctorale Lettres, sciences humaines et sociales (Nice ; 1992-2016) (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale de l'École pratique des hautes études (Paris) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2015-....) (1)
  • Ecole doctorale Modélisation et Instrumentation en Physique, Energie, Géosciences et Environnement (Orsay, Essonne ; 2010-2015) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • I2S - Information, Structures, Systèmes (1)
  • MATHSTIC (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Sciences de l'homme, du Politique et du Territoire (1)
  • Territoires, Temps, Sociétés et Développement (1)
  • Université de Corse (1975-....). Ecole doctorale "Environnement et société" (ED 377) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Droit, Gestion, Economie et Politique (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Histoire de l'art (Paris) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mer et Sciences. ED 548 (Toulon) (1)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (1)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Sciences juridiques, politiques, économiques et de gestion (Malakoff, Hauts-de-Seine) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Sciences sociales (Lyon) (1)
  • École doctorale Sociétés méditerranéennes et sciences humaines. ED 509 (Toulon) (1)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (1)
  • École doctorale en Sciences humaines et sociales (Amiens) (1)
  • École doctorale pluridisciplinaire (Pointe-à-Pitre ; 19..-2015) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (122)
  • anglais (45)
  • italien (1)
  • portugais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Berry Gérard (7)
  • André Charles (5)
  • Rutten Eric (5)
  • Franchi-Zannettacci Paul (4)
  • Simone Robert de (4)
  • Bensalem Saddek (3)
  • Bozga Dorel Marius (3)
  • Sifakis Joseph (3)
  • BERRY G. (2)
  • Donsez Didier (2)
  • Giavitto Jean-Louis (2)
  • Lang Frédéric (2)
  • Maraninchi Florence (2)
  • Moy Matthieu (2)
  • Pautet Laurent (2)
  • Talpin Jean-Pierre (2)
  • Alla Hassane Lotfi (1)
  • Almuneau Guilhem (1)
  • Amadio Roberto (1)
  • Andreu David (1)
  • Andreu-Boussut Vincent (1)
  • Aubourg Charles (1)
  • Auguin Michel (1)
  • Ausbourg Bruno d' (1)
  • Badr Youakim (1)
  • Barkaoui Kamel (1)
  • Baudry Benoit (1)
  • Belmont Alain (1)
  • Ben Hadj-Alouane Néjib (1)
  • Ben Mahmoud Mohamed Slim (1)
  • Bernet Matthias (1)
  • Bernot Gilles (1)
  • Berruet Pascal (1)
  • Berry Gérard (1)
  • Berthelot Gérard (1)
  • Bertho-Lavenir Catherine (1)
  • Berthomieu Bernard (1)
  • Bertrand Gilles (1)
  • Binder Didier (1)
  • Bissy Arnaud de (1)
  • Blanchet Dominique (1)
  • Bley Daniel (1)
  • Boeri Fernand (1)
  • Bon Philippe (1)
  • Borde Etienne (1)
  • Boudouresque Charles-François (1)
  • Boulanger Frédéric (1)
  • Bouquet Fabrice (1)
  • Bourret Christian (1)
  • Boursier Jean-Yves (1)
  • Boussinot Frédéric (1)
  • Cabanis Bruno (1)
  • Calvary Gaëlle (1)
  • Campredon Robert (1)
  • Cassé Hugues (1)
  • Chailloux Emmanuel (1)
  • Codognet Philippe (1)
  • Collart-Dutilleul Simon (1)
  • Copard Yoann (1)
  • Cot Norbert (1)
  • Cousineau Guy (1)
  • Craye Étienne (1)
  • Cristea Valentin (1)
  • Curt Thomas (1)
  • Dabbous Walid (1)
  • Dang Thao (1)
  • David René (1)
  • De Sainte-Catherine Myriam (1)
  • Degoffe Michel (1)
  • Dekeyser Jean-Luc (1)
  • Derrien Steven (1)
  • Desainte-Catherine Myriam (1)
  • Desbois Henri (1)
  • Diogo Maria Paula (1)
  • Djellouli Yamna (1)
  • Dufourd Jean-François (1)
  • Dupuy-Chessa Sophie (1)
  • Durand Irène (1)
  • ESPIAU B. (1)
  • El Hadji Gamatié Abdoulaye (1)
  • Felici Isabelle (1)
  • Francour Patrice (1)
  • Frehse Goran (1)
  • Garavel Hubert (1)
  • Gascuel Didier (1)
  • Genitrini Antoine (1)
  • Gentina Jean-Claude (1)
  • Girardon Jean (1)
  • Girault Alain (1)
  • Girault Claude (1)
  • Gressier-Soudan Eric (1)
  • Guillon Jean-Marie (1)
  • Guégan Jean-François (1)
  • Gérard Sébastien (1)
  • Gössler Gregor (1)
  • Hammad Ahmed (1)
  • Heinzmann Gerhard (1)
  • Horlait Éric (1)
  • Hugues Jérôme (1)
  • Hély-Alleaume Christelle (1)
  • Jeannet Bertrand (1)
  • Jenn Éric (1)
  • Jensen Thomas (1)
  • Jeuffroy Marie-Hélène (1)
  • Jorand Dominique (1)
  • Kahn G. (1)
  • Klein Richard (1)
  • Lacroix Yves (1)
  • Laidié Yan (1)
  • Laignel Benoît (1)
  • Lamarche Juliette (1)
  • Larrieu Nicolas (1)
  • Le Guernic Paul (1)
  • Leca Antoine (1)
  • Lecussan Bernard (1)
  • Lefort Isabelle (1)
  • Louis Georges (1)
  • Maler Oded (1)
  • Mammeri Zoubir (1)
  • Massu Claude (1)
  • Mateescu Radu (1)
  • Migeon Sébastien (1)
  • Molinatti Grégoire (1)
  • Monfroy Éric (1)
  • Monniaux David (1)
  • Monnier François (1)
  • Munier-Kordon Alix (1)
  • Ménez Jean (1)
  • Münch Philippe (1)
  • Navet Nicolas (1)
  • Nivat Maurice (1)
  • O'Connor Martin (1)
  • Oquendo Flavio (1)
  • Pagel Maurice (1)
  • Palanque Philippe (1)
  • Palma Noël de (1)
  • Panajotov Krassimir (1)
  • Perli Antonello (1)
  • Peschanski Frédéric (1)
  • Peureux Fabien (1)
  • Pierre Laurence (1)
  • Pierson Patricia (1)
  • Pin Christian (1)
  • Pissaloux Jean-Luc (1)
  • Poitras Claire (1)
  • Poulot Monique (1)
  • Pradelle Dominique (1)
  • Prairat Eirick (1)
  • Puaut Isabelle (1)
  • Pulou Jacques (1)
  • Pupin Jean-Pierre (1)
  • Pétin Jean-François (1)
  • Rapp Lucien (1)
  • Raymond Pascal (1)
  • Riccardi Carla (1)
  • Rodriguez Jean Baptiste (1)
  • Roux Olivier (1)
  • Roux Olivier Henri (1)
  • Roy Valérie (1)
  • Rubino Jean-Loup (1)
  • Rueda Camilo (1)
  • Salaün Gwen (1)
  • Savy Michel (1)
  • Seguin Christel (1)
  • Senizergues Géraud (1)
  • Serpentini Antoine-Laurent (1)
  • Serrano Manuel (1)
  • Simonin Olivier (1)
  • Simonneaux Laurence (1)
  • Smida Ali (1)
  • Soria Michèle (1)
  • Sotin Pascal (1)
  • Texier Simon (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Tournie Eric (1)
  • Tozzi Carlo (1)
  • Tricart Pierre (1)
  • Tuppen John N. (1)
  • Turco Guy (1)
  • Varaschin Denis (1)
  • Verdier François (1)
  • Verfaillie Gérard (1)
  • Verlaque Marc (1)
  • Vernadat François B. (1)
  • Vinet Freddy (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (67)
  • Sciences de l'ingénieur (44)
  • Sciences de la terre (12)
  • Droit (6)
  • Technologie (Sciences appliquées) (6)
  • Sciences de la nature et mathématiques (5)
  • Géographie et histoire (5)
  • Urbanisme (3)
  • Histoire moderne et contemporaine de l'Europe (3)
  • Informatique, information, généralités (2)
  • Economie (2)
  • Education et enseignement (2)
  • Commerce, communications, transports (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Architecture (2)
  • Géographie et voyages (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Ethnologie (1)
  • Langues et linguistique (1)
  • Mathématiques (1)
  • Astronomie, cartographie, géodésie (1)
  • Physique (1)
  • Chimie, minéralogie, cristallographie (1)
  • Gestion et organisation de l'entreprise (1)
  • Arts. Beaux-arts et arts décoratifs (1)
  • Histoire et critique littéraires, rhétorique (1)
  • Littérature italienne (1)
  • Histoire ancienne et préhistoire (1)
  • Histoire générale de la France (1)

Domaines :

Fullscreen

163 thèses pour "Esterel"

Sciences appliquées

Soutenue en 1991
thèse soutenue

Verification automatique de programmes esterel

par VALERIE LECOMPTE sous la direction de Maurice Nivat - Paris 7

Sciences appliquées

Soutenue en 1989
thèse soutenue

Le systeme esterel v2

par PHILIPPE COURONNE sous la direction de Gérard Berry - Paris 7

Sciences appliquées

Soutenue en 1989
thèse soutenue

Execution de taches asynchrones depuis esterel

par PARIS, JEAN-PIERRE sous la direction de Gérard Berry - Nice

Sciences appliquées

Soutenue en 1992
thèse soutenue
Informatique

Soutenue en 2004
thèse soutenue

Compilation du langage esterel en systemes d'equations booleennes

par FREDERIC MIGNARD sous la direction de G. BERRY - Paris, ENMP

Sciences appliquées

Soutenue en 1994
thèse soutenue
Sciences appliquées

Soutenue en 1995
thèse soutenue

Résultats 1 à 10