Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (212)
  • Grenoble Alpes (159)
  • Grenoble (136)
  • Sorbonne Paris Cité (71)
  • Toulouse 3 (64)
  • Lyon (60)
  • Rennes 1 (60)
  • Université de Lorraine (55)
  • Paris Sciences et Lettres (52)
  • Bordeaux (46)
  • Paris 6 (46)
  • Montpellier (43)
  • Paris Est (40)
  • Paris, CNAM (38)
  • Cachan, Ecole normale supérieure (32)
  • Côte d'Azur (30)
  • Aix-Marseille (29)
  • Ecole centrale de Lille (27)
  • Paris 1 (26)
  • Pau (26)
  • Toulouse, ISAE (25)
  • Nice (23)
  • Paris 11 (23)
  • Toulouse, INPT (23)
  • Toulouse 1 (19)
  • Dijon (18)
  • Brest (17)
  • Lorient (17)
  • Nantes (17)
  • Besançon (16)
  • Nancy 1 (16)
  • Clermont Auvergne (15)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (15)
  • Belfort-Montbéliard (14)
  • Evry, Institut national des télécommunications (14)
  • Normandie (14)
  • Orléans (14)
  • Paris Saclay (14)
  • Paris, ENST (14)
  • Clermont-Ferrand 2 (13)
  • Toulouse, INSA (12)
  • Paris, ENSAM (11)
  • Bourgogne Franche-Comté (10)
  • Lille 1 (10)
  • Bordeaux 1 (9)
  • Compiègne (9)
  • Limoges (9)
  • Lyon, INSA (9)
  • Paris 10 (8)
  • Valenciennes (8)
  • Angers (7)
  • Ecole centrale de Nantes (7)
  • Grenoble 1 (7)
  • Grenoble INPG (7)
  • Lyon 1 (7)
  • Strasbourg (7)
  • Tours (7)
  • Avignon (6)
  • CentraleSupélec (6)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (6)
  • La Rochelle (6)
  • Littoral (6)
  • Paris 3 (6)
  • Paris 7 (6)
  • Sorbonne université (6)
  • Universidade de São Paulo (Brésil) (6)
  • Artois (5)
  • Cergy-Pontoise (5)
  • Evry-Val d'Essonne (5)
  • Perpignan (5)
  • Rennes, INSA (5)
  • Troyes (5)
  • Università degli studi La Sapienza (Rome) (5)
  • Université Joseph Fourier (Grenoble) (5)
  • Université de Sherbrooke (Québec, Canada) (5)
  • Université de Yaoundé I (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • École nationale d'ingénieurs de Tunis (Tunisie) (5)
  • Institut polytechnique de Paris (4)
  • Le Mans (4)
  • Montpellier 2 (4)
  • Mulhouse (4)
  • Paris 5 (4)
  • Paris, ENMP (4)
  • Paris, Ecole normale supérieure (4)
  • Paris, Institut d'études politiques (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)
  • La Réunion (3)
  • Lille 3 (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 8 (3)
  • Paris 9 (3)
  • Poitiers (3)
  • Reims (3)
  • Rennes, Agrocampus Ouest (3)
  • Toulon (3)
  • Toulouse 2 (3)
  • Télécom Bretagne (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Universitatea politehnica (Bucarest) (3)
  • Universiteit Leiden (Leyde, Pays-Bas) (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)
  • Lille 2 (2)
  • Montpellier 3 (2)
  • Paris 2 (2)
  • Paris 4 (2)
  • Paris, EHESS (2)
  • Paris, Muséum national d'histoire naturelle (2)
  • Rennes, École normale supérieure (2)
  • Rouen, INSA (2)
  • Technische Universität (Munich, Allemagne) (2)
  • Universidad de Buenos Aires (2)
  • Universidad del País Vasco (2)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (2)
  • Universidade estadual de Campinas (Brésil) (2)
  • University of Western Sydney (2)
  • Universität Hannover (2)
  • Universität des Saarlandes (2)
  • Université Paris-Est Créteil Val de Marne (UPEC) (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é du Luxembourg (2)
  • Université libanaise (2)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (2)
  • École nationale d'ingénieurs de Sfax (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)
  • Lyon 2 (1)
  • Lyon, École normale supérieure (1)
  • Malardalen University (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • McGill university (Montréal, Canada) (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, EPHE (1)
  • Paris, INALCO (1)
  • Paris, Télécom ParisTech (1)
  • Politechnika Wrocławska (1)
  • Politecnico di Milano. Dipartimento di mathematica (Milano, Italie) (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)
  • Radboud universiteit Nijmegen (1)
  • Rennes 2 (1)
  • Rijksuniversiteit te Utrecht (1)
  • Saint-Etienne (1)
  • Saint-Etienne, EMSE (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (853)
  • Sciences économiques (39)
  • Sciences de gestion (37)
  • Physique (33)
  • Mathématiques appliquées (24)
  • Mathématiques (22)
  • Informatique et applications (20)
  • Automatique (15)
  • Mathématiques et Informatique (15)
  • Sciences et technologies industrielles (14)
  • Informatique et réseaux (13)
  • Psychologie (13)
  • Génie électrique (12)
  • Sciences et technologie industrielles (12)
  • Mathématiques et informatique (10)
  • Mécanique (10)
  • Stic (10)
  • Droit (9)
  • Nanoélectronique et nanotechnologie (9)
  • Sciences de Gestion (8)
  • Sureté de logiciel et calcul de haute performance (8)
  • Informatique et Télécommunications (7)
  • Philosophie (7)
  • Sciences appliquées (7)
  • Sciences du langage (7)
  • Automatique - productique (6)
  • Automatique et informatique industrielle (6)
  • Bioinformatique (6)
  • Electronique (6)
  • Géographie (6)
  • Nano electronique et nano technologies (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)
  • Biologie (5)
  • Chimie (5)
  • Génie Industriel : conception et production (5)
  • Génie des systèmes industriels (5)
  • Génie industriel (5)
  • Mathématiques Appliquées (5)
  • Mécanique des solides (5)
  • Neurosciences (5)
  • Réseaux, Télécommunications, Systèmes et Architecture (5)
  • Sociologie (5)
  • Systèmes automatiques et micro-électroniques (5)
  • Traitement du signal et télécommunications (5)
  • Électronique (5)
  • Études anglophones (5)
  • Automatique, génie informatique, traitement du signal et des images (4)
  • 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)
  • Electronique et communications (4)
  • Génie Industriel (4)
  • Génie civil (4)
  • Mathématiques fondamentales (4)
  • Mathématiques. Logique et fondements de l'informatique (4)
  • Micro et nano-électronique (4)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (4)
  • Réseaux, information et communications (4)
  • Sciences de l'information et de la communication (4)
  • Sciences de la terre et de l'univers, et de l'environnement (4)
  • Sciences economiques (4)
  • ATS - Automatique et Traitement de Signal (3)
  • Analyse et politique économiques (3)
  • Automatique et informatique appliquée (3)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (3)
  • Automatique, Traitement du signal et des images, Génie informatique (3)
  • Automatique, signal, productique, robotique (3)
  • Conception (3)
  • Droit privé (3)
  • Droit public (3)
  • Energie, Rayonnement, Plasma (3)
  • Epidémiologie (3)
  • Génie Electrique (3)
  • Génie industriel conception et production (3)
  • Génie informatique (3)
  • Génie mécanique, mécanique des matériaux (3)
  • Histoire (3)
  • Informatique et applications (3)
  • Informatique temps réel, robotique et automatique (3)
  • Informatique, données, IA (3)
  • Informatique, temps réel, robotique et automatique (3)
  • Informatique. Informatique fondamentale (3)
  • Intelligence artificielle (3)
  • Mathématiques et leurs interactions (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)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (3)
  • Sciences et génie des activités à risques (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)
  • Énergie nucléaire (3)
  • Sciences de l'ingénieur (2)
  • Acoustique (2)
  • Archéologie (2)
  • Aspects moléculaires et cellulaires de la biologie (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, productique, signal et image, ingénierie cognitique (2)
  • Biologie Santé (2)
  • Dynamique des fluides (2)
  • Economie (2)
  • Economie et finance (2)
  • Energie (SPI) (2)
  • Ergonomie (2)
  • Etudes anglophones (2)
  • Génie Civil (2)
  • Génie des Procédés et de l'Environnement (2)
  • Génie mécanique (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)
  • Mathematiques (2)
  • Mathématiques aux interfaces (2)
  • Mathématiques-Informatique (2)
  • Matériaux, mécanique, génie civil, électrochimie (2)
  • Mécanique et énergétique (2)
  • Mécanique numérique et Matériaux (2)
  • Mécanique-matériaux (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 agronomiques (2)
  • Sciences cognitives (2)
  • Sciences cognitives, psychologie et neurocognition (2)
  • Sciences de l'Ingénieur (2)
  • Sciences de l'ingénieur (2)
  • Sciences de la Terre et de l'Univers et de l'Environnement (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)
  • Énergétique (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)
  • 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 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 analytique (1)
  • Chimie biologie (1)
  • Chimie des substances naturelles (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (171)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (120)
  • École doctorale Informatique, télécommunications et électronique de Paris (73)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (56)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (53)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (48)
  • École doctorale Sciences pour l'Ingénieur (Lille) (45)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (42)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (39)
  • École doctorale en Informatique et Mathématiques de Lyon (37)
  • É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) (34)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (30)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (28)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (23)
  • I2S - Information, Structures, Systèmes (22)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (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) (19)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (18)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (17)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (17)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (16)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (15)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (15)
  • École doctorale terre, univers, environnement (Grenoble) (15)
  • Ecole doctorale Informatique de Paris-Sud (13)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (13)
  • École doctorale Systèmes (Toulouse) (13)
  • École doctorale d'Économie (Paris) (12)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (12)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (12)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (11)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (10)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (10)
  • École doctorale physique (Grenoble) (10)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (10)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (9)
  • École doctorale Sciences fondamentales et appliquées (Nice) (9)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (9)
  • Ecole doctorale de Dauphine (Paris) (8)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (8)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (8)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (8)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (7)
  • MATHSTIC (7)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (7)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (7)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (7)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (7)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (6)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (6)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (6)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (6)
  • École doctorale Particules, Hadrons, Énergie et Noyau : Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (6)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (6)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (6)
  • 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 Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (5)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, 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 Physique en Île-de-France (Paris) (5)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (5)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (5)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (5)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (5)
  • École doctorale chimie et science du vivant (Grenoble) (5)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (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 Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (4)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (4)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (Cergy-Pontoise, Val d'Oise) (4)
  • IAEM Lorraine (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 Droit et sciences politiques, économiques et de gestion (Nice) (4)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (4)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (4)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (4)
  • École doctorale Langage et langues (Paris) (4)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (4)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (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 pour l'ingénieur (Nantes) (4)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (4)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (4)
  • École doctorale de Sciences Po (Paris) (4)
  • École doctorale de droit (Pessac, Gironde) (4)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (4)
  • École doctorale sciences de gestion (Grenoble) (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)
  • EOS - Économie, Organisation, Société (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)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (3)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (3)
  • MATISSE (3)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (3)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (3)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (3)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (3)
  • École doctorale Aéronautique-Astronautique (Toulouse) (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 Génie électrique, électronique et télécommunications (Toulouse) (3)
  • École doctorale Matériaux, Matières, Molécules en Pays de la Loire (3MPL) (Le Mans) (3)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (3)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (3)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (3)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (3)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (3)
  • École doctorale de Physique et Astrophysique de Lyon (3)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (3)
  • EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse (2)
  • Ecole Doctorale Sciences de l'Environnement (Aix-Marseille) (2)
  • Ecole Doctorale Sociétés, Politique, Santé publique (SP2) (Bordeaux) (2)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (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)
  • Sciences Chimiques et Biologiques pour la Santé (2)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (2)
  • École Doctorale Sciences de Gestion TSM (Toulouse) (2)
  • École doctorale Biologie-Santé (Lille) (2)
  • École doctorale Archéologie (Paris) (2)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (2)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (2)
  • École doctorale Droit et Science Politique (Toulouse) (2)
  • École doctorale Euclide (La Rochelle ; 2018-....) (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 SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (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 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 et Environnements (Pessac, Gironde) (2)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (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 privé (Paris) (2)
  • École doctorale de l'Institut polytechnique de Paris (2)
  • École doctorale de l'École des hautes études en sciences sociales (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 physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (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)
  • Droit, Gestion, Sciences Economique et Politique (1)
  • Droit, Économie-Gestion, Environnement, Sociétés, Territoires (1)
  • ED SIS 488 (1)
  • ED Sciences pour l'ingénieur (n°72) (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 Juridiques et Politiques (Aix-en-Provence) (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)
  • Entreprise Économie Société (1)
  • Information, Communication, Modélisation et Simulation (1)
  • Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (1145)
  • français (841)
  • 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 (17)
  • 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)
  • Calvary Gaëlle (7)
  • Faure Jean-Marc (7)
  • Kordon Fabrice (7)
  • Lakhnech Yassine (7)
  • Le Gall Pascale (7)
  • Naccache David (7)
  • Barthe Gilles (6)
  • Baudry Benoit (6)
  • Cavalli Ana (6)
  • Dubois Catherine (6)
  • Groz Roland (6)
  • Lafourcade Pascal (6)
  • Laleau Régine (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)
  • Apvrille Ludovic (5)
  • Bhargavan Karthikeyan (5)
  • Blazy Sandrine (5)
  • Collart-Dutilleul Simon (5)
  • Comon-Lundh Hubert (5)
  • Cortier Véronique (5)
  • Dang Thao (5)
  • Delaune Stéphanie (5)
  • Dupuy-Chessa Sophie (5)
  • Filali Mamoun (5)
  • Gaaloul Walid (5)
  • Haddad Serge (5)
  • Jensen Thomas (5)
  • Lanet Jean-Louis (5)
  • Ledru Yves (5)
  • Lesage Jean-Jacques (5)
  • Loulergue Frédéric (5)
  • Mammar Amel (5)
  • Pantel Marc (5)
  • Pierre Laurence (5)
  • Rusinowitch Michaël (5)
  • Rutten Eric (5)
  • Aniorté Philippe (4)
  • Badr Youakim (4)
  • Berruet Pascal (4)
  • Bodeveix Jean-Paul (4)
  • Bousquet Lydie du (4)
  • Comyn-Wattiau Isabelle (4)
  • Delahaye David (4)
  • Frydman Claudia (4)
  • Garoche Pierre-Loïc (4)
  • Gaudel Marie-Claude (4)
  • Girard Antoine (4)
  • Girard Patrick (4)
  • Goubault-Larrecq Jean (4)
  • Goubin Louis (4)
  • Hill David R. C. (4)
  • Julliand Jacques (4)
  • Layaida Nabil (4)
  • Le Thanh Nhan (4)
  • Lefebvre Dimitri (4)
  • Legay Axel (4)
  • Leroy Xavier (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)
  • Niel Eric (4)
  • Palanque Philippe (4)
  • Paulin-Mohring Christine (4)
  • Santana Miguel (4)
  • Tata Samir (4)
  • Termier Alexandre (4)
  • Wolff Burkhart (4)
  • Alla Hassane Lotfi (3)
  • Amghar Youssef (3)
  • Andreu David (3)
  • Attali Isabelle (3)
  • Babau Jean-Philippe (3)
  • Barais Olivier (3)
  • Barbier Franck (3)
  • Bertrand Nathalie (3)
  • Bon Philippe (3)
  • Bouyer-Decitre Patricia (3)
  • Bouzeghoub Amel (3)
  • Chbeir Richard (3)
  • Choley Jean-Yves (3)
  • Coquery Emmanuel (3)
  • Craye Étienne (3)
  • Dague Philippe (3)
  • Donsez Didier (3)
  • Dony Christophe (3)
  • Fabre Jean-Charles (3)
  • Fradet Pascal (3)
  • Frappier Marc (3)
  • Genet Thomas (3)
  • Ghazel Mohamed (3)
  • Girault Alain (3)
  • Gleizes Marie-Pierre (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)
  • Klaudel Hanna (3)
  • Koukam Abder (3)
  • Kremer Steve (3)
  • Le Cardinal Julie (3)
  • Lefèvre Laurent (3)
  • Lime Didier (3)
  • Markey Nicolas (3)
  • Mateescu Radu (3)
  • Mazure Bertrand (3)
  • Monniaux David (3)
  • Monticolo Davy (3)
  • Mounier Laurent (3)
  • Moy Matthieu (3)
  • Méry Dominique (3)
  • Nicolle Christophe (3)
  • Ogier Jean-Marc (3)
  • Palma Noël de (3)
  • Pautet Laurent (3)
  • Philippot Alexandre (3)
  • Pichardie David (3)
  • Pinet François (3)
  • Pointcheval David (3)
  • Puaut Isabelle (3)
  • Quinson Martin (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)
  • Terrier François (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)
  • Zaïdi Fatiha (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)
  • Baciu Monica (2)
  • Badonnel Rémi (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)
  • Bennis-Zeitouni Karine (2)
  • Benoit Anne (2)
  • Bensrhair Abdelaziz (2)
  • Benzaken Véronique (2)
  • Berland Nicolas (2)
  • Bernard Alain (2)
  • Bernot Gilles (2)
  • Berthomieu Bernard (2)
  • Berthomé Pascal (2)
  • Bertot Yves (2)
  • Besacier Laurent (2)
  • Blanchet Bruno (2)
  • Blanco Éric (2)
  • Boldo Sylvie (2)
  • Bouajjani Ahmed (2)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1018)
  • Sciences de l'ingénieur (361)
  • Mathématiques (104)
  • Physique (99)
  • Sciences de la vie, biologie, biochimie (61)
  • Economie (59)
  • Gestion et organisation de l'entreprise (59)
  • Informatique, information, généralités (52)
  • Sciences de la terre (43)
  • Médecine et santé (40)
  • Psychologie (22)
  • Droit (22)
  • Sciences sociales, sociologie, anthropologie (17)
  • Technologie (Sciences appliquées) (17)
  • Chimie, minéralogie, cristallographie (13)
  • Linguistique générale (11)
  • Astronomie, cartographie, géodésie (11)
  • Langues et linguistique (10)
  • Philosophie, psychologie (9)
  • Science politique (9)
  • Langue anglaise. Anglo-saxon (8)
  • Fabrication industrielle (7)
  • Epistémologie, causalité, genre humain (6)
  • Education et enseignement (5)
  • Agronomie, agriculture et médecine vétérinaire (5)
  • Bibliothéconomie et sciences de l'information (4)
  • Ethnologie (4)
  • Sciences de la nature et mathématiques (4)
  • Littératures anglaise et anglo-saxonne (4)
  • Géographie et histoire (4)
  • Géographie et voyages (4)
  • Commerce, communications, transports (3)
  • Urbanisme (3)
  • Sport (3)
  • Histoire ancienne et préhistoire (3)
  • Problèmes et services sociaux (2)
  • 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)
  • 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)
  • Statistiques générales (1)
  • Administration publique. Arts et science militaires (1)
  • Langues romanes. Français (1)
  • Langues italienne, roumaine, rhéto-romane (1)
  • Langues espagnole et portugaise (1)
  • Langues helléniques. Grec classique (1)
  • Plantes. Botanique (1)
  • Animaux. Zoologie (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

1956 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