Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (32)
  • Grenoble (20)
  • Université Paris-Saclay (ComUE) (18)
  • Lyon (13)
  • Université de Lorraine (10)
  • Bordeaux (9)
  • Paris 6 (8)
  • Toulouse 3 (7)
  • Montpellier (5)
  • Nantes (4)
  • Pau (4)
  • Sorbonne Paris Cité (4)
  • Université Côte d'Azur (ComUE) (4)
  • Aix-Marseille (3)
  • Dijon (3)
  • Ecole centrale de Lille (3)
  • Paris Sciences et Lettres (3)
  • Rennes 1 (3)
  • Toulouse, ISAE (3)
  • Limoges (2)
  • Lorient (2)
  • Orléans (2)
  • Paris Est (2)
  • Sorbonne université (2)
  • Strasbourg (2)
  • Technische Universität (Darmstadt, Allemagne) (2)
  • Toulouse, INPT (2)
  • Toulouse, INSA (2)
  • AGH University of Science and Technology (Cracovie, Pologne) (1)
  • Artois (1)
  • Bourgogne Franche-Comté (1)
  • CentraleSupélec (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clermont Auvergne (1)
  • Clermont-Ferrand 2 (1)
  • Compiègne (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Instituto Nacional de Astrofisica, Optica y Electronica (Puebla, Mexique) (1)
  • Le Havre (1)
  • Littoral (1)
  • Lyon 1 (1)
  • Malardalen University (1)
  • Montpellier, Ecole nationale supérieure de chimie (1)
  • Normandie (1)
  • Paris 4 (1)
  • Paris 5 (1)
  • Paris, ENST (1)
  • Reims (1)
  • Rennes, INSA (1)
  • School of law (Berkeley, Calif.) (1)
  • Toulouse 1 (1)
  • Tours (1)
  • Troyes (1)
  • Universidad de Estado de Rio de Janeiro (Brésil) (1)
  • Universidad del País Vasco (1)
  • Universidad del País Vasco. Facultad de ciencias (1)
  • Universidade de Brasília (1)
  • Universitat Rovira i Virgili (Tarragone, Espagne) (1)
  • Universitatea Babeş-Bolyai (Cluj-Napoca, Roumanie) (1)
  • Universitatea politehnica (Bucarest) (1)
  • Universiti Malaysia Sarawak. Faculty of Engineering (1)
  • University of Twente (Enschede, The Netherlands) (1)
  • Università degli studi (Bologne, Italie) (1)
  • Università degli studi La Sapienza (Rome) (1)
  • Università degli studi di Foggia (Foggia, Italie) (1)
  • Universität des Saarlandes (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université de Balamand (Tripoli, Liban) (1)
  • Université du Luxembourg (1)
  • Université du Québec à Montréal (1)
  • Université libanaise (1)
  • Valenciennes (1)
  • Zhejiang University. Institute for Thermal Power Engineering (1)
  • École nationale d'ingénieurs de Sfax (Tunisie) (1)
  • České vysoké učení technické (Prague) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (57)
  • Chimie (5)
  • Nanophysique (4)
  • Physico-Chimie de la Matière Condensée (4)
  • Physique (4)
  • Automatique (3)
  • Génie des Procédés et de l'Environnement (3)
  • Nano electronique et nano technologies (3)
  • Réseaux, télécom, système et architecture (3)
  • Arts vivants dominante musique (2)
  • Chimie des matériaux (2)
  • Chimie et physico-chimie des matériaux (2)
  • Chimie physique (2)
  • Génie des procédés (2)
  • Informatique et applications (2)
  • Matériaux (2)
  • Matériaux, Mécanique, Génie civil, Electrochimie (2)
  • Physique et Chimie des Matériaux (2)
  • Physique et sciences de la matière. Matière condensée et nanosciences (2)
  • Sciences de la Terre. Géochimie (2)
  • Sciences des matériaux (2)
  • Sciences et technologie industrielles (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Astronomie et Astrophysique (1)
  • Automatique - productique (1)
  • Automatique et informatique industrielle (1)
  • Automatique et productique (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Biochimie. Biotechnologie (1)
  • Biologie (1)
  • Biologie Cellulaire et du Développement (1)
  • Biologie cellulaire (1)
  • Biologie, médecine et santé (1)
  • Biomatériaux composites (1)
  • Biomécanique : Unité de Recherche Biomécanique et Bio-ingénierie (UMR-7338) (1)
  • Chimie analytique (1)
  • Chimie et Physicochimie des matériaux (1)
  • Chimie physique et analytique (1)
  • Combustion (1)
  • Composition musicale (1)
  • Droit (1)
  • Electronique et communications (1)
  • Génie civil (1)
  • Génie des procédés, des produits et des molécules (1)
  • Génie des systèmes industriels (1)
  • Génie industriel conception et production (1)
  • Génie logiciel (1)
  • Informatique (STIC) (1)
  • Informatique et Télécommunications (1)
  • Ingénierie des Fonctions Biologiques (1)
  • Instrumentation et informatique de l'image (1)
  • Interactions moléculaires et cellulaires (1)
  • Mathématiques appliquées (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques et informatique temps réel (1)
  • Matériaux Céramiques et Traitements de Surface (1)
  • Matériaux céramiques et traitements de surface (1)
  • Matériaux et catalyse (1)
  • Matériaux polymères (1)
  • Matériaux, mécanique, génie civil, électrochimie (1)
  • Micro et Nanosystèmes (1)
  • Milieux denses, matériaux et composants (1)
  • Molécules et Matières condensées (1)
  • Musique : recherche en composition (1)
  • Mécanique des fluides, procédés, énergétique (1)
  • Mécanique. Énergétique, matériaux (1)
  • Nanoélectronique et nanotechnologie (1)
  • Neurosciences (1)
  • Oenologie (1)
  • Optique et Nanotechnologies (1)
  • Pharmacotechnie et biopharmacie (1)
  • Philosophie, sciences de l’environnement (1)
  • Physico-chimie de la matière condensée (1)
  • Physique de la matière (1)
  • Physique des matériaux (1)
  • Procédés (1)
  • Procédés Biotechnologiques et Alimentaires (1)
  • Pétrologie Expérimentale (1)
  • Recherche clinique (1)
  • Robotique (1)
  • Robotique et informatique (1)
  • STIC (1)
  • Science & Ingénierie des Matériaux (1)
  • Sciences chimiques (1)
  • Sciences de gestion (1)
  • Sciences de l'alimentation (1)
  • Sciences de l'architecture (1)
  • Sciences de l'univers (1)
  • Sciences de la Terre (1)
  • Sciences de la Terre et de l'univers (1)
  • Sciences de la terre et des planètes solides (1)
  • Sciences de la vie et de la santé, spécialité Biochimie (1)
  • Sciences du bois et des fibres (1)
  • Sciences du langage, linguistique. Linguistique théorique, descriptive et automatique (1)
  • Sciences et génie des matériaux (1)
  • Sciences pharmacotechniques et biopharmaceutiques (1)
  • Sciences économiques (1)
  • Structures et Matériaux (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Systèmes embarqués (1)
  • Terre solide (1)
  • Toxicologie (1)
  • Électronique (1)
  • Énergie nucléaire (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (31)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (11)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (8)
  • École doctorale Informatique, télécommunications et électronique de Paris (7)
  • École Doctorale de Chimie (Lyon) (5)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (5)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (5)
  • École doctorale physique (Grenoble) (5)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (4)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (3)
  • Sciences Chimiques Balard (3)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (3)
  • École doctorale Physique et chimie des matériaux (Paris) (3)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale des sciences chimiques (Talence, Gironde) (3)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (2)
  • École Doctorale Sciences de la Matière (Toulouse) (2)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (2)
  • École doctorale Matière, Molécules et Matériaux (Le Mans) (2)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (2)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (2)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale terre, univers, environnement (Grenoble) (2)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (1)
  • Ecole Doctorale Sciences Chimiques (Marseille) (1)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Ecole doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique (Poitiers) (1)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (1)
  • Ecole doctorale de Sciences du Langage (Paris) (1)
  • I-MEP2 - Ingénierie - Matériaux, Mécanique, Environnement, Energétique, Procédés, Production (1)
  • I2S - Information, Structures, Systèmes (1)
  • MATISSE (1)
  • SIE - Sciences, Ingénierie et Environnement (1)
  • Sciences Chimiques (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; 2015-....) (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale C2MP - Chimie mécanique matériaux physique (Lorraine) (1)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (1)
  • École doctorale Complexité du vivant (Paris) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Droit et Science Politique (Toulouse) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Particules, Hadrons, Énergie et Noyau : Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (1)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (1)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (1)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Sciences de l'environnement (Talence ; Gironde) (1)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (1)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (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 de Physique et Astrophysique de Lyon (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale normande de chimie (Caen) (1)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (7)
  • Bozga Dorel Marius (5)
  • Bolzinger Marie-Alexandrine (2)
  • Borrione Dominique (2)
  • Briançon Stéphanie (2)
  • Fribourg Laurent (2)
  • Giavitto Jean-Louis (2)
  • Girard Antoine (2)
  • Graf Susanne (2)
  • Haddad Serge (2)
  • Lochin Emmanuel (2)
  • Maler Oded (2)
  • Maraninchi Florence (2)
  • Mateescu Radu (2)
  • Mifdaoui Ahlem (2)
  • Morin-Allory Katell (2)
  • Moy Matthieu (2)
  • Plochocka-Maude Paulina (2)
  • Sifakis Joseph (2)
  • Tata Samir (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Trubert Jean-François (2)
  • Achour Zied (1)
  • Adam Pierre-Michel (1)
  • Ader Magali (1)
  • Aguiar de Madeiros Carlos (1)
  • Agón Carlos (1)
  • Aka Gérard (1)
  • Albert Vincent (1)
  • Andler Daniel (1)
  • Andreu David (1)
  • Aouad Samer (1)
  • Arias Estrada Miguel Octavio (1)
  • Arinero Richard (1)
  • Arzel Ludovic (1)
  • Assifaoui Ali (1)
  • Averous Luc (1)
  • Aymonier Cyril (1)
  • Bacchin Patrice (1)
  • Bai Jinbo (1)
  • Banquy Xavier (1)
  • Barbier Franck (1)
  • Barreau Nicolas (1)
  • Beckouët Frédéric (1)
  • Becquart Frédéric (1)
  • Bellet Daniel (1)
  • Berger Marie-Hélène (1)
  • Berry François (1)
  • Bertelle Cyrille (1)
  • Bertot Yves (1)
  • Bertrand Nathalie (1)
  • Bhattacharyya Pushpak (1)
  • Bigerelle Maxence (1)
  • Bignon Jean-Claude (1)
  • Bodeveix Jean-Paul (1)
  • Boitet Christian (1)
  • Bonjour Eric (1)
  • Bonnet Christophe (1)
  • Bordet Pierre (1)
  • Boudon Georges (1)
  • Boumaza Amine (1)
  • Bourdeaud'huy Thomas (1)
  • Bourennane El-Bay (1)
  • Bourgeois Olivier (1)
  • Bruyere Stéphanie (1)
  • Burklé-Vitzthum Valérie (1)
  • Buttard Denis (1)
  • Béchu Stéphane (1)
  • Bérardan David (1)
  • Caldeira-Pires Armando (1)
  • Calvary Gaëlle (1)
  • Carradó Adèle (1)
  • Castellon Jérôme (1)
  • Castro Mickaël (1)
  • Caurant Daniel (1)
  • Chamoin Ludovic (1)
  • Champion Eric (1)
  • Chaput Frédéric (1)
  • Charcosset Catherine (1)
  • Charpillet François (1)
  • Chen Yong (1)
  • Chi Yong (1)
  • Chiavassa Thierry (1)
  • Choudhary Veena (1)
  • Clouet Johann (1)
  • Cohen Cyril (1)
  • Coradin Thibaud (1)
  • Cottancin Emmanuel (1)
  • Couprie Pierre (1)
  • Courcot Dominique (1)
  • Cristea Valentin (1)
  • Cucu Liliana (1)
  • Cuevas Fermin (1)
  • Da Costa Patrick (1)
  • Dague Philippe (1)
  • Dahan Amy (1)
  • Dalmazzone Didier (1)
  • Damia Chantal (1)
  • Dang Thao (1)
  • Danger Grégoire (1)
  • Darnaudéry Muriel (1)
  • Dauscher Anne (1)
  • De Sainte-Catherine Myriam (1)
  • De Waele Vincent (1)
  • Deniaud Samuel (1)
  • Desainte-Catherine Myriam (1)
  • Diaconescu Ada (1)
  • Djenizian Thierry (1)
  • Doncieux Stéphane (1)
  • Donsez Didier (1)
  • Dornaika Fadi (1)
  • Duchanois Gilles (1)
  • Dufour Sylvie (1)
  • Dupont de Dinechin Benoît (1)
  • Dupuy-Chessa Sophie (1)
  • Durand Cédric (1)
  • Dutreilh-Colas Maggy (1)
  • D’Astuto Matteo (1)
  • El Kirat-Chatel Karim (1)
  • Elissalde Catherine (1)
  • Eymery Joël (1)
  • Falcone Yliès Carlo (1)
  • Farrusseng David (1)
  • Faure Alexandre (1)
  • Feller Jean-François (1)
  • Ferrage Éric (1)
  • Filali Mamoun (1)
  • Fradet Pascal (1)
  • Frehse Goran (1)
  • Fruchart Olivier (1)
  • Gadal Olivier (1)
  • Ganascia Jean-Gabriel (1)
  • Garavel Hubert (1)
  • Garrido Frederico (1)
  • Gasparrini Marta (1)
  • Gaubicher Joël (1)
  • Gechter Franck Joseph Aimé (1)
  • George Laurent (1)
  • Gerbeau-Pissot Patricia (1)
  • Ghallab Malik (1)
  • Gibet Sylvie (1)
  • Girault Alain (1)
  • Glandut Nicolas (1)
  • Gomez Montserrat (1)
  • Greige-Gerges Hélène (1)
  • Gremillard Laurent (1)
  • Grillot Frédéric (1)
  • Grimaud Régis (1)
  • Grolleau Emmanuel (1)
  • Groz Roland (1)
  • Guicheux Jérôme (1)
  • Gérard Jean-François (1)
  • Gössler Gregor (1)
  • Hardy Damien (1)
  • Harmand Souad (1)
  • Hejtmánek Jiří (1)
  • Hemforth Barbara (1)
  • Hildgen Patrice (1)
  • Horwat David (1)
  • Hugues Jérôme (1)
  • Huot Stéphane (1)
  • Ingrand Félix (1)
  • Jaegermann Wolfram (1)
  • Jalowiecki-Duhamel Louise (1)
  • Jensen Thomas (1)
  • Joly Jean-François (1)
  • Josse Michaël (1)
  • Jund Philippe (1)
  • Karoui Romdhane (1)
  • Khan Amir Azam (1)
  • Khlif Manel (1)
  • Klein Andreas (1)
  • Koga Kenneth T. (1)
  • Kossacki Piotr (1)
  • Kreisel Jens (1)
  • Kégl Balázs (1)
  • Labbani Ouassila (1)
  • Labbe Jean-Claude (1)
  • Lacoste Ana (1)
  • Lahitte Jean-François (1)
  • Lalanda Philippe (1)
  • Lang Frédéric (1)
  • Lanson Bruno (1)
  • Larrieu Jacques (1)
  • Larroque Benoît (1)
  • Latroche Michel (1)
  • Laversenne Laetitia (1)
  • Le Visage Catherine (1)
  • Lecaille Fabien (1)
  • Lefèvre Laurent (1)
  • Legay Axel (1)
  • Legros Guillaume (1)
  • Lemaignan Clément (1)
  • Lemichez Emmanuel (1)
  • Lerouge Frédéric (1)
  • Leroy Vincent (1)
  • Levrat Eric (1)
  • Linder Michel (1)
  • Lucas Patrick (1)
  • Luthon Franck (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (68)
  • Sciences de l'ingénieur (50)
  • Chimie, minéralogie, cristallographie (29)
  • Physique (19)
  • Sciences de la vie, biologie, biochimie (13)
  • Sciences de la terre (8)
  • Génie chimique, technologies alimentaires (7)
  • Mathématiques (5)
  • Médecine et santé (4)
  • Informatique, information, généralités (3)
  • Technologie (Sciences appliquées) (2)
  • Musique (2)
  • Philosophie, psychologie (1)
  • Economie (1)
  • Droit (1)
  • Linguistique générale (1)
  • Langues espagnole et portugaise (1)
  • Autres langues (1)
  • Astronomie, cartographie, géodésie (1)
  • Gestion et organisation de l'entreprise (1)
  • Architecture (1)

Domaines :

Fullscreen

...-guarantee contracts, symbolic control, compositional abstrac-tion, compositional controller synthesisAbstract : This...

Accéder en ligne

...Jovanovic, Didier Lime, and Olivier H. Roux. Integerparameter synthesis for timed automata. In Tools and...

Accéder en ligne

...Chapter 5 compositional approaches for the synthesis of controllers,made possible with over...

Accéder en ligne

...This low complexity of the compositional approach allows us to consider the syn-thesis of an...

Accéder en ligne

Résultats 1 à 10