Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (175)
  • Grenoble Alpes (154)
  • Grenoble (136)
  • Toulouse 3 (62)
  • Sorbonne Paris Cité (59)
  • Rennes 1 (57)
  • Lyon (53)
  • Université de Lorraine (51)
  • Paris 6 (47)
  • Paris Sciences et Lettres (46)
  • Bordeaux (45)
  • Paris, CNAM (37)
  • Paris Est (36)
  • Montpellier (34)
  • Cachan, Ecole normale supérieure (32)
  • Côte d'Azur (27)
  • Aix-Marseille (25)
  • Ecole centrale de Lille (25)
  • Paris 1 (24)
  • Pau (24)
  • Nice (23)
  • Toulouse, ISAE (23)
  • Paris 11 (22)
  • Toulouse, INPT (21)
  • Toulouse 1 (19)
  • Dijon (18)
  • Brest (17)
  • Lorient (17)
  • Nantes (17)
  • Besançon (16)
  • Nancy 1 (16)
  • Belfort-Montbéliard (14)
  • Clermont Auvergne (14)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (14)
  • Evry, Institut national des télécommunications (14)
  • Paris, ENST (14)
  • Clermont-Ferrand 2 (13)
  • Orléans (13)
  • Grenoble 1 (12)
  • Normandie (12)
  • Toulouse, INSA (12)
  • Paris, ENSAM (11)
  • Bordeaux 1 (9)
  • Bourgogne Franche-Comté (9)
  • Compiègne (9)
  • Lyon, INSA (9)
  • Lille 1 (8)
  • Paris 10 (8)
  • Valenciennes (8)
  • Angers (7)
  • Grenoble INPG (7)
  • Lyon 1 (7)
  • Avignon (6)
  • CentraleSupélec (6)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (6)
  • Limoges (6)
  • Paris 3 (6)
  • Paris 7 (6)
  • Strasbourg (6)
  • Tours (6)
  • Universidade de São Paulo (Brésil) (6)
  • Artois (5)
  • Cergy-Pontoise (5)
  • Ecole centrale de Nantes (5)
  • Evry-Val d'Essonne (5)
  • La Rochelle (5)
  • Littoral (5)
  • Perpignan (5)
  • Rennes, INSA (5)
  • Troyes (5)
  • Université de Sherbrooke (Québec, Canada) (5)
  • Université de Yaoundé I (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Le Mans (4)
  • Montpellier 2 (4)
  • Mulhouse (4)
  • Paris 5 (4)
  • Paris, ENMP (4)
  • Paris, Ecole normale supérieure (4)
  • Università degli studi La Sapienza (Rome) (4)
  • École nationale d'ingénieurs de Tunis (Tunisie) (4)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (4)
  • Aix-Marseille 3 (3)
  • Châtenay-Malabry, Ecole centrale de Paris (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 8 (3)
  • Paris 9 (3)
  • Paris, Institut d'études politiques (3)
  • Poitiers (3)
  • Reims (3)
  • Rennes, Agrocampus Ouest (3)
  • Toulon (3)
  • Télécom Bretagne (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Universitatea politehnica (Bucarest) (3)
  • Université de Montréal (3)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (3)
  • Université normale de la Chine de l'Est (Shanghai) (3)
  • Versailles-St Quentin en Yvelines (3)
  • Amiens (2)
  • Bordeaux 3 (2)
  • Bordeaux 4 (2)
  • Brest, École nationale supérieure de techniques avancées Bretagne (2)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (2)
  • Colorado state university (2)
  • Ecully, Ecole centrale de Lyon (2)
  • Institute for Physical Research (Ashtarak) (2)
  • Jouy-en Josas, HEC (2)
  • La Réunion (2)
  • Lille 3 (2)
  • Montpellier 3 (2)
  • Paris 12 (2)
  • Paris 2 (2)
  • Paris 4 (2)
  • Paris, Muséum national d'histoire naturelle (2)
  • Rennes, École normale supérieure (2)
  • Rouen, INSA (2)
  • Sorbonne université (2)
  • Technische Universität (Munich, Allemagne) (2)
  • Toulouse 2 (2)
  • Universidad de Buenos Aires (2)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (2)
  • Universidade estadual de Campinas (Brésil) (2)
  • Universiteit Leiden (Leyde, Pays-Bas) (2)
  • University of Western Sydney (2)
  • Universität Hannover (2)
  • Universität des Saarlandes (2)
  • Université de Sfax (Tunisie) (2)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (2)
  • Université de Sherbrooke (2)
  • Université de Tunis El Manar (2)
  • Université libanaise (2)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (2)
  • 029910463 (1)
  • Academia de Muzică Gheorghe Dima (Cluj-Napoca) (1)
  • Aix-Marseille 1 (1)
  • Antilles (1)
  • Brno University of Technology (MAIS) (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Chennai Mathematical Institute (1)
  • Chongqing University (1)
  • Columbia university (New York) (1)
  • Corte (1)
  • Cranfield University (1)
  • Ecole Centrale de Lille (1)
  • Ecole Nationale Supérieure d'Informatique (ESI) - Alger (1)
  • Ecole centrale de Marseille (1)
  • Ecole nationale d'ingénieur de Sfax (1)
  • Ecole nationale d'ingénieurs de Sfax (1)
  • Ecole nationale d'ingénieurs de Tunis (1)
  • Flinders university of South Australia (1)
  • France. Institut de recherche biomédicale des armées (1)
  • Georgia State university (1)
  • Georgia institute of technology (1)
  • Grenoble 2 (1)
  • Háskóli Islands (1)
  • IMT Mines Alès (1)
  • Indiana university (1)
  • Institut de Patrimoine Culturel. Université Laval (Canada) (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • Karlsruher Institut für Technologie (1)
  • Le Havre (1)
  • Lille 2 (1)
  • Lyon 2 (1)
  • Lyon, École normale supérieure (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Malardalen University (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montpellier 1 (1)
  • Montpellier, SupAgro (1)
  • Nancy 2 (1)
  • Nantes, Ecole des Mines (1)
  • Nantes, Ecole nationale vétérinaire (1)
  • Natsional'nyi universytet "Kyyevo-Mohylians'ka akademiya" (Kiev) (1)
  • Northwestern Polytechnical University (Chine) (1)
  • Norwegian university of science and technology (Trondheim, Norvège) (1)
  • Oldenburg, Carl v. Ossietzky Universität (1)
  • Paris 13 (1)
  • Paris, EHESS (1)
  • Paris, EPHE (1)
  • Paris, INALCO (1)
  • Paris, Télécom ParisTech (1)
  • Politecnico di Torino (1)
  • Pontifícia universidade católica (Rio de Janeiro, Brésil) (1)
  • Pontifícia universidade católica do Paraná (1)
  • Prove & Run (1)
  • Rennes 2 (1)
  • Rijksuniversiteit te Utrecht (1)
  • Saint-Etienne (1)
  • Saint-Etienne, EMSE (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • School of law (Berkeley, Calif.) (1)
  • Seconda università degli studi (Naples, Italie) (1)
  • Sung Kyun Kwan university (Séoul) (1)
  • Supcom (Tunis) (1)
  • Tampereen teknillinen yliopisto (1)
  • Tongji university (Shanghai, Chine) (1)
  • Universidad autónoma de Madrid. Departamento de Física Teórica (1)
  • Universidad de Estado de Rio de Janeiro (Brésil) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (794)
  • Sciences économiques (37)
  • Sciences de gestion (35)
  • Physique (29)
  • Mathématiques (20)
  • Informatique et applications (19)
  • Mathématiques appliquées (19)
  • Mathématiques et Informatique (14)
  • Psychologie (13)
  • Automatique (12)
  • Informatique et réseaux (12)
  • Sciences et technologie industrielles (12)
  • Génie électrique (10)
  • Sciences et technologies industrielles (10)
  • Stic (10)
  • Mécanique (9)
  • Nanoélectronique et nanotechnologie (9)
  • Droit (8)
  • Mathématiques et informatique (8)
  • Sureté de logiciel et calcul de haute performance (8)
  • Sciences appliquées (7)
  • Sciences de Gestion (7)
  • Automatique - productique (6)
  • Automatique et informatique industrielle (6)
  • Electronique (6)
  • Géographie (6)
  • Nano electronique et nano technologies (6)
  • Philosophie (6)
  • Robotique (6)
  • Science politique (6)
  • Sciences de l'univers (6)
  • Sciences pour l'ingénieur (6)
  • Sûreté de logiciel et calcul de haute performance (6)
  • Électronique, électrotechnique, automatique (6)
  • Chimie (5)
  • Génie Industriel : conception et production (5)
  • Génie industriel (5)
  • Informatique et Télécommunications (5)
  • Mathématiques Appliquées (5)
  • Mécanique des solides (5)
  • Réseaux, Télécommunications, Systèmes et Architecture (5)
  • Sciences du langage (5)
  • Traitement du signal et télécommunications (5)
  • Électronique (5)
  • Études anglophones (5)
  • Automatique, génie informatique, traitement du signal et image (4)
  • Automatique, génie informatique, traitement du signal et images (4)
  • Automatique. Automatique, génie informatique (4)
  • Biologie (4)
  • Electronique et communications (4)
  • Génie civil (4)
  • Génie des systèmes industriels (4)
  • Micro et nano-électronique (4)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (4)
  • Neurosciences (4)
  • Réseaux, information et communications (4)
  • Sciences de la terre et de l'univers, et de l'environnement (4)
  • Sciences economiques (4)
  • Systèmes automatiques et micro-électroniques (4)
  • ATS - Automatique et Traitement de Signal (3)
  • Automatique et informatique appliquée (3)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (3)
  • Automatique, génie informatique, traitement du signal et des images (3)
  • Bioinformatique (3)
  • Conception (3)
  • Droit public (3)
  • Energie, Rayonnement, Plasma (3)
  • Epidémiologie (3)
  • Génie Industriel (3)
  • Génie industriel conception et production (3)
  • Génie informatique (3)
  • Histoire (3)
  • Informatique et applications (3)
  • Informatique temps réel, robotique et automatique (3)
  • Informatique, temps réel, robotique et automatique (3)
  • Informatique. Informatique fondamentale (3)
  • Intelligence artificielle (3)
  • Mathématiques. Logique et fondements de l'informatique (3)
  • Matériaux, Mécanique, Génie civil, Electrochimie (3)
  • Micro et nanoélectronique (3)
  • Réseaux, télécom, système et architecture (3)
  • Réseaux, télécoms, systèmes et architecture (3)
  • Sciences de l'information et de la communication (3)
  • Sciences et génie des activités à risques (3)
  • Sociologie (3)
  • Sureté de Logiciel et Calcul à Haute Performance (3)
  • Systèmes informatiques (3)
  • Sûreté de Logiciel et Calcul à Haute Performance (3)
  • Vision pour la Robotique (3)
  • Électronique Électrotechnique Automatique (3)
  • Sciences de l'ingénieur (2)
  • Acoustique (2)
  • Analyse et politique économiques (2)
  • Archéologie (2)
  • Astronomie et Astrophysique (2)
  • Automatique et informatique (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, Traitement du signal et des images, Génie Informatique (2)
  • Automatique, Traitement du signal et des images, Génie informatique (2)
  • Automatique, productique, signal et image, ingénierie cognitique (2)
  • Automatique, signal, productique, robotique (2)
  • Droit privé (2)
  • Dynamique des fluides (2)
  • Economie et finance (2)
  • Energie (SPI) (2)
  • Ergonomie (2)
  • Etudes anglophones (2)
  • Génie Civil (2)
  • Génie Electrique (2)
  • Génie des Procédés et de l'Environnement (2)
  • Génie mécanique (2)
  • Génie mécanique, mécanique des matériaux (2)
  • Image, information, hypermedia (2)
  • Informatique (STIC) (2)
  • Informatique et télécommunications (2)
  • Informatique fondamentale et parallélisme (2)
  • Ingénierie de la Cognition, de l'interaction, de l'Apprentissage et de la création (2)
  • Instrumentation et informatique de l'image (2)
  • Linguistique anglaise (2)
  • Mathématiques aux interfaces (2)
  • Mathématiques fondamentales (2)
  • Mathématiques-Informatique (2)
  • Matériaux, mécanique, génie civil, électrochimie (2)
  • Mécanique et énergétique (2)
  • Mécanique-matériaux (2)
  • Météorologie, océanographie, physique de l'environnement (2)
  • Optimisation et Sûreté des Systèmes (2)
  • Physique Quantique (2)
  • Physique de la matière condensée et du rayonnement (2)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (2)
  • Sciences (2)
  • Sciences cognitives (2)
  • Sciences de l'Ingénieur (2)
  • Sciences de la vie et de la santé (2)
  • Sciences politiques (2)
  • Structure et réactions nucléaires (2)
  • Systèmes informatiques critiques (2)
  • Technologies de l'information et des systèmes (2)
  • Traductologie (2)
  • Traitement du signal et des images (2)
  • Télécommunications (2)
  • Énergie nucléaire (2)
  • Agrosystèmes, écosystèmes et environnement (1)
  • Aménagement de l'espace, Urbanisme (1)
  • Aménagement de l'espace, urbanisme (1)
  • Anthropologie (1)
  • Architecture (1)
  • Arts (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Astronomie (1)
  • Astrophysique et Cosmologie (1)
  • Astrophysique et milieux dilues (1)
  • Astrophysique et milieux dilués (1)
  • Astrophysique, sciences de l'espace, planétologie (1)
  • Automatique et Génie mécanique, mécanique des matériaux (1)
  • Automatique et Informatique appliquée (1)
  • Automatique et productique (1)
  • Automatique et traitement du signal et des images (1)
  • Automatique, Génie Informatique et Traitement du Signal (1)
  • Automatique, Génie informatique, Traitement du signal et des Images (1)
  • Automatique, Productique et Robotique (1)
  • Automatique, Productique, Signal et Image, Ingénierie cognitique (1)
  • Automatique, Traitement du Signal et des Images, Génie informatique (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Automatique, productique (1)
  • Automatique, robotique, traitement du signal et informatique appliquée (1)
  • Automatique, traitement du signal et des images (1)
  • Automatisme signal télécommunication (1)
  • Bio-ingénierie et Mathématiques Appliquées : Unité de Recherche Biomécanique et Bio-ingénierie (UMR-7338) (1)
  • Biochimie et biologie moléculaire (1)
  • Biochimie structurale (1)
  • Biodiversité écologie environnement (1)
  • Biologie Santé (1)
  • Biologie computationnelle (1)
  • Biologie de l'environnement, des populations, écologie (1)
  • Biologie des interactions et écologie (1)
  • Biologie des organismes (1)
  • Biologie des populations et ecologie (1)
  • Biologie marine (1)
  • Biomécanique et ingénierie pour la santé (1)
  • Biomécanique et ingénierie pour la santé (AM) (1)
  • Biostatistique (1)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (1)
  • Biotechnologies, cancérologie (1)
  • Cerveau Cognition et Comportment (1)
  • Chimie Analytique et Environnement (1)
  • Chimie Physique et Chimie Analytique (1)
  • Chimie biologie (1)
  • Chimie des substances naturelles (1)
  • Chimie moléculaire (1)
  • Composants et systèmes de gestion de l'énergie (1)
  • Constituants élémentaires et physique théorique (1)
  • Cosmologie (1)
  • Didactique des langues (1)
  • Didactique des langues, cultures et civilisations nationales et étrangères (1)
  • Didactique et linguistique, Français (1)
  • Domaine STIC (1)
  • Droit international (1)
  • Droit international et européen (1)
  • Droit privé et Sciences Criminelles (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (170)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (83)
  • École doctorale Informatique, télécommunications et électronique (Paris) (70)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (53)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (51)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (45)
  • École doctorale Sciences pour l'Ingénieur (Lille) (41)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (38)
  • École doctorale en Informatique et Mathématiques de Lyon (36)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (35)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (33)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (29)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (29)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (21)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (20)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (20)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (19)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (18)
  • I2S - Information, Structures, Systèmes (16)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (16)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (16)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (15)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (14)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (13)
  • École doctorale Systèmes (Toulouse) (13)
  • École doctorale terre, univers, environnement (Grenoble) (13)
  • Ecole doctorale Informatique de Paris-Sud (12)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (12)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (11)
  • École doctorale Physique en Île-de-France (Paris) (11)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (11)
  • École doctorale d'Économie (Paris) (11)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (11)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (11)
  • École doctorale physique (Grenoble) (10)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (9)
  • Sciences et Technologies de l'Information et de la Communication (9)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (9)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (9)
  • Ecole doctorale de Dauphine (Paris) (8)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (8)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (8)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (8)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (8)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (8)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (7)
  • Sciences Mathématiques de Paris Centre (7)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (7)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (7)
  • École doctorale Sciences fondamentales et appliquées (Nice) (7)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (6)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (6)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (6)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (6)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (6)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (5)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (5)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (5)
  • Toulouse School of Economics (5)
  • École Doctorale Neurosciences et Cognition (NSCo) (5)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (5)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (5)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (5)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (5)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (5)
  • École doctorale chimie et science du vivant (Grenoble) (5)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (5)
  • École doctorale Économie, organisations, société (Nanterre) (5)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (4)
  • IAEM Lorraine (4)
  • MATHSTIC (4)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (4)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (4)
  • École doctorale Abbé Grégoire (Paris) (4)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (4)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (4)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (4)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (4)
  • École doctorale Langage et langues (Paris) (4)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (4)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (4)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (4)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (4)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (4)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (4)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (4)
  • École doctorale sciences économiques (Grenoble) (4)
  • École doctorale Énergie environnement (Perpignan) (4)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (4)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (3)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (3)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (3)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (3)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (3)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (Cergy-Pontoise, Val d'Oise) (3)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (3)
  • MATISSE (3)
  • SMI - Sciences des Métiers de l'Ingénieur (3)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (3)
  • École doctorale Carnot (Dijon ; .....-2012) (3)
  • École doctorale Cerveau, cognition, comportement (Paris) (3)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (3)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (3)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (3)
  • École doctorale Matériaux, Matières, Molécules en Pays de la Loire (3MPL) (Le Mans) (3)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Particules, Hadrons, Énergie, Noyau, Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (3)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (3)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (3)
  • École doctorale Sciences pour l'ingénieur (Nantes) (3)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (3)
  • École doctorale de Physique et Astrophysique de Lyon (3)
  • École doctorale de Sciences Po (Paris) (3)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (3)
  • École doctorale sciences de gestion (Grenoble) (3)
  • DROIT (2)
  • EOS - Économie, Organisation, Société (2)
  • Ecole Doctorale Sociétés, Politique, Santé publique (SP2) (Bordeaux) (2)
  • Ecole doctorale Economies, Espaces, Sociétés, Civilisations : pensée critique, politique et pratiques sociales (Paris) (2)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (2)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (2)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (2)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (2)
  • École Doctorale Sciences de Gestion TSM (Toulouse) (2)
  • École doctorale Archéologie (Paris) (2)
  • École doctorale Aéronautique-Astronautique (Toulouse) (2)
  • École doctorale Droit et Science Politique (Toulouse) (2)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (2)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (2)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (2)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (2)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (2)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (2)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (2)
  • École doctorale Savoirs scientifiques : Epistémologie, Histoire des sciences, Didactique des disciplines (Paris) (2)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (2)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (2)
  • École doctorale Sciences de la Terre et Environnement (Strasbourg ; 2000) (2)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (2)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (2)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (2)
  • École doctorale Sciences du Management Gestion-Organisation-Décision-Information (Paris) (2)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (2)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (2)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (2)
  • École doctorale Sciences, technologie et santé (Amiens) (2)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (2)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale de droit (Pessac, Gironde) (2)
  • École doctorale de droit privé (Paris) (2)
  • École doctorale de l'École pratique des hautes études (Paris) (2)
  • École doctorale des lettres, sciences humaines et sociales (Clermont-Ferrand) (2)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (2)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • École doctorale École transdisciplinaire Lettres/Sciences (Paris) (2)
  • École doctorale Écologie Géosciences Agronomie Alimentation (Rennes) (2)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (1)
  • Cancérologie : biologie - médecine - santé (1)
  • Droit, Gestion, Sciences Economique et Politique (1)
  • Droit, Économie-Gestion, Environnement, Sociétés, Territoires (1)
  • ED EM2PSI - Économie, Management, Mathématiques, Physique et Sciences Informatiques (1)
  • ED SIS 488 (1)
  • ED Sciences pour l'ingénieur (n°72) (1)
  • EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse (1)
  • EGAAL (1)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (1)
  • Ecole Doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2000-2015 ; Paris) (1)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (1)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (1)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (1)
  • Ecole doctorale Ondes et Matière (Orsay, Essonne ; 1998-2015) (1)
  • Ecole doctorale Physique de la Région Parisienne (....-2013) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences pour l'Ingénieur (1)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (1)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (1)
  • Entreprise Économie Société (1)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (1)
  • Information, Communication, Modélisation et Simulation (1)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • Langues, Littératures et Sciences Humaines (1)
  • Langues, Littératures, Cultures, Civilisations (1)
  • MathSTIC (Nantes) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et Informatique (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • OMI - Organisation, Marchés, Institutions (1)
  • OMI - Organisations, Marchés, Institutions (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (1033)
  • français (796)
  • null (4)
  • espagnol (3)
  • arabe (1)
  • null (1)
  • italien (1)
  • portugais (1)
  • roumain (1)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (16)
  • Aït-Ameur Yamine (12)
  • Barkaoui Kamel (12)
  • Maler Oded (10)
  • Fesquet Laurent (9)
  • Merz Stephan (9)
  • Oquendo Flavio (9)
  • Méhaut Jean-François (8)
  • Borrione Dominique (7)
  • Bozga Dorel Marius (7)
  • Kordon Fabrice (7)
  • Lakhnech Yassine (7)
  • Naccache David (7)
  • Barthe Gilles (6)
  • Baudry Benoit (6)
  • Calvary Gaëlle (6)
  • Dubois Catherine (6)
  • Faure Jean-Marc (6)
  • Groz Roland (6)
  • Morin-Allory Katell (6)
  • Pétrot Frédéric (6)
  • Schoenauer Marc (6)
  • Sifakis Joseph (6)
  • Toguyeni Abdoul Karim Armand (6)
  • Wiels Virginie (6)
  • Blazy Sandrine (5)
  • Cavalli Ana (5)
  • Comon-Lundh Hubert (5)
  • Cortier Véronique (5)
  • Dang Thao (5)
  • Delaune Stéphanie (5)
  • Dupuy-Chessa Sophie (5)
  • Filali Mamoun (5)
  • Haddad Serge (5)
  • Jensen Thomas (5)
  • Lafourcade Pascal (5)
  • Lanet Jean-Louis (5)
  • Le Gall Pascale (5)
  • Ledru Yves (5)
  • Loulergue Frédéric (5)
  • Pantel Marc (5)
  • Pierre Laurence (5)
  • Rusinowitch Michaël (5)
  • Rutten Eric (5)
  • Aniorté Philippe (4)
  • Apvrille Ludovic (4)
  • Berruet Pascal (4)
  • Bhargavan Karthikeyan (4)
  • Bodeveix Jean-Paul (4)
  • Bousquet Lydie du (4)
  • Collart-Dutilleul Simon (4)
  • Comyn-Wattiau Isabelle (4)
  • Delahaye David (4)
  • Frydman Claudia (4)
  • Gaaloul Walid (4)
  • Garoche Pierre-Loïc (4)
  • Gaudel Marie-Claude (4)
  • Girard Antoine (4)
  • Goubault-Larrecq Jean (4)
  • Hill David R. C. (4)
  • Julliand Jacques (4)
  • Laleau Régine (4)
  • Layaida Nabil (4)
  • Le Thanh Nhan (4)
  • Legay Axel (4)
  • Leroy Xavier (4)
  • Lesage Jean-Jacques (4)
  • Madelaine Éric (4)
  • Marché Claude (4)
  • Mosbah Mohamed (4)
  • Mountassir Hassan (4)
  • Muller Jean-Michel (4)
  • Nakagawa Elisa Yumi (4)
  • Nicolaïdis Michael (4)
  • Paulin-Mohring Christine (4)
  • Santana Miguel (4)
  • Termier Alexandre (4)
  • Wolff Burkhart (4)
  • Alla Hassane Lotfi (3)
  • Amghar Youssef (3)
  • Andreu David (3)
  • Attali Isabelle (3)
  • Babau Jean-Philippe (3)
  • Badr Youakim (3)
  • Barais Olivier (3)
  • Barbier Franck (3)
  • Bertrand Nathalie (3)
  • Craye Étienne (3)
  • Dague Philippe (3)
  • Donsez Didier (3)
  • Fabre Jean-Charles (3)
  • Fradet Pascal (3)
  • Frappier Marc (3)
  • Genet Thomas (3)
  • Ghazel Mohamed (3)
  • Girard Patrick (3)
  • Girault Alain (3)
  • Gleizes Marie-Pierre (3)
  • Goubin Louis (3)
  • Guillaud Xavier (3)
  • Gérard Sébastien (3)
  • Hacid Mohand Saïd (3)
  • Hammad Ahmed (3)
  • Huchard Marianne (3)
  • Iosif Radu (3)
  • Jmaiel Mohamed (3)
  • Koukam Abder (3)
  • Kremer Steve (3)
  • Lefebvre Dimitri (3)
  • Lefèvre Laurent (3)
  • Lime Didier (3)
  • Mammar Amel (3)
  • Mateescu Radu (3)
  • Mazure Bertrand (3)
  • Monniaux David (3)
  • Mounier Laurent (3)
  • Moy Matthieu (3)
  • Méry Dominique (3)
  • Nicolle Christophe (3)
  • Niel Eric (3)
  • Palanque Philippe (3)
  • Palma Noël de (3)
  • Parissis Ioannis (3)
  • Pautet Laurent (3)
  • Philippot Alexandre (3)
  • Pichardie David (3)
  • Pinet François (3)
  • Puaut Isabelle (3)
  • Quinson Martin (3)
  • Rastello Fabrice (3)
  • Rivière Alain (3)
  • Roisin Cécile (3)
  • Roux Olivier F. (3)
  • Salaün Gwen (3)
  • Sallé Patrick (3)
  • Saïs Lakhdar (3)
  • Souquières Jeanine (3)
  • Strecker Martin (3)
  • Sunyé Gerson (3)
  • Talpin Jean-Pierre (3)
  • Tchuenté Maurice (3)
  • Teytaud Olivier (3)
  • Thibon Christian (3)
  • Thiriet Jean-Marc (3)
  • Toumani Farouk (3)
  • Traoré Mamadou Kaba (3)
  • Trentesaux Damien (3)
  • Vallespir Bruno (3)
  • Viêt Triêm Tông Valérie (3)
  • Yannou Bernard (3)
  • Abel Marie-Hélène (2)
  • Adair Philippe (2)
  • Aggeri Franck (2)
  • Aglzim El-Hassane (2)
  • Allenet Benoît (2)
  • Alonso Corinne (2)
  • Aubry Jean-François (2)
  • Audemard Gilles (2)
  • Auguin Michel (2)
  • Ausbourg Bruno d' (2)
  • Baelde David (2)
  • Bard Pierre-Yves (2)
  • Barrat Jean-Louis (2)
  • Barthès Jean-Paul (2)
  • Bedouch Pierrick (2)
  • Bekrar Abdelghani (2)
  • Bellahsene Zohra (2)
  • Bellatreche Ladjel (2)
  • Benbernou Salima (2)
  • Benoit Anne (2)
  • Bensrhair Abdelaziz (2)
  • Benzaken Véronique (2)
  • Berland Nicolas (2)
  • Berthomieu Bernard (2)
  • Berthomé Pascal (2)
  • Bertot Yves (2)
  • Besacier Laurent (2)
  • Blanchet Bruno (2)
  • Blanco Éric (2)
  • Boldo Sylvie (2)
  • Bon Philippe (2)
  • Boniol Frédéric (2)
  • Bouajjani Ahmed (2)
  • Bouchenak Sara (2)
  • Bouhoula Adel (2)
  • Boulanger Frédéric (2)
  • Bouneffa Mourad (2)
  • Bourdon Jérémie (2)
  • Cabot Jordi (2)
  • Caire Raphaël (2)
  • Cances Eric (2)
  • Cassé Hugues (2)
  • Castelluccia Claude (2)
  • Cazenave Anny (2)
  • Cazin Jacques (2)
  • Chapurlat Vincent (2)
  • Chareyre Bruno (2)
  • Chbeir Richard (2)
  • Chevy Frédéric (2)
  • Choley Jean-Yves (2)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (944)
  • Sciences de l'ingénieur (339)
  • Physique (92)
  • Mathématiques (88)
  • Economie (55)
  • Gestion et organisation de l'entreprise (55)
  • Sciences de la vie, biologie, biochimie (52)
  • Informatique, information, généralités (51)
  • Sciences de la terre (41)
  • Médecine et santé (33)
  • Psychologie (21)
  • Droit (20)
  • Sciences sociales, sociologie, anthropologie (14)
  • Technologie (Sciences appliquées) (14)
  • Astronomie, cartographie, géodésie (11)
  • Chimie, minéralogie, cristallographie (11)
  • Langues et linguistique (10)
  • Science politique (9)
  • Linguistique générale (9)
  • Philosophie, psychologie (8)
  • Langue anglaise. Anglo-saxon (8)
  • Epistémologie, causalité, genre humain (6)
  • Fabrication industrielle (6)
  • Bibliothéconomie et sciences de l'information (5)
  • Education et enseignement (5)
  • Sciences de la nature et mathématiques (5)
  • Agronomie, agriculture et médecine vétérinaire (5)
  • Ethnologie (4)
  • Littératures anglaise et anglo-saxonne (4)
  • Géographie et voyages (4)
  • Commerce, communications, transports (3)
  • Urbanisme (3)
  • Géographie et histoire (3)
  • Histoire ancienne et préhistoire (3)
  • Autres langues (2)
  • Génie chimique, technologies alimentaires (2)
  • Bâtiments (2)
  • Arts. Beaux-arts et arts décoratifs (2)
  • Architecture (2)
  • Arts du spectacle, loisirs (2)
  • Sport (2)
  • Histoire et critique littéraires, rhétorique (2)
  • Littérature de langues romanes. Littérature française (2)
  • Médias d'information, journalisme, édition (1)
  • Les divers systèmes et écoles philosophiques (1)
  • Philosophie occidentale moderne et philosophies non orientales (1)
  • Administration publique. Arts et science militaires (1)
  • Problèmes et services sociaux (1)
  • Langues romanes. Français (1)
  • Langues italienne, roumaine, rhéto-romane (1)
  • Langues espagnole et portugaise (1)
  • Langues helléniques. Grec classique (1)
  • Peinture (1)
  • Photographie et les photographies, art numérique (1)
  • Musique (1)
  • Littérature américaine en anglais (1)
  • Histoire générale de la France (1)
  • Histoire générale de l'Afrique (1)
  • Histoire générale de l'Amérique du Nord (1)
  • Histoire générale de l'Amérique du Sud (1)

Domaines :

Fullscreen

1803 thèses pour Formal verification

Informatique. Modélisation et vérification

Soutenue le 10-09-2018
thèse soutenue

...IIAbstractThis thesis contributes to the formal specification and verification ofSequential Dynamic Memory...

Accéder en ligne
Informatique

Soutenue le 27-11-2013
thèse soutenue

..., vérification, monitorage. Abstract Nowadays we are witnessing the democratization of cloud services. As a...

Accéder en ligne
Nano electronique et nano technologies

Soutenue le 28-03-2018
thèse soutenue

..., Jan 2017. https://www.synopsys.com/verification/static-andverification/static-and-formal-verification.html.[78] G. Tarawneh...

Accéder en ligne

...ondemand. Nevertheless, due to the lack of an explicit and formal description of theresource perspective in...

Accéder en ligne

...early verification projects aimed at verifying properties of OSes. Howevertools for formal methods were...

Accéder en ligne

Résultats 1 à 10