Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (90)
  • Grenoble (74)
  • Université Grenoble Alpes (ComUE) (62)
  • Université de Lorraine (61)
  • Paris 6 (57)
  • Rennes 1 (52)
  • Toulouse 3 (47)
  • Cachan, Ecole normale supérieure (40)
  • Nancy 1 (40)
  • Paris, CNAM (35)
  • Lyon (31)
  • Sorbonne Paris Cité (27)
  • Paris Est (26)
  • Bordeaux (25)
  • Grenoble 1 (24)
  • Paris 1 (23)
  • Nantes (22)
  • Paris 11 (22)
  • Montpellier (21)
  • Nice (21)
  • Paris Sciences et Lettres (ComUE) (20)
  • université Paris-Saclay (19)
  • Toulouse, INPT (18)
  • Orléans (17)
  • Paris, ENSAM (17)
  • Toulouse, ISAE (17)
  • Université Côte d'Azur (ComUE) (17)
  • Aix-Marseille (16)
  • Ecole centrale de Lille (16)
  • Besançon (14)
  • Normandie (13)
  • Pau (13)
  • Sorbonne université (12)
  • Toulouse, INSA (12)
  • Belfort-Montbéliard (11)
  • Brest (11)
  • Dijon (11)
  • Lorient (11)
  • Paris 10 (11)
  • Institut polytechnique de Paris (10)
  • Lille 1 (10)
  • Lyon, INSA (10)
  • Bordeaux 1 (9)
  • Ecole centrale de Nantes (9)
  • Bourgogne Franche-Comté (8)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (8)
  • Grenoble INPG (8)
  • Paris 7 (8)
  • Toulouse 1 (8)
  • Université Paris sciences et lettres (8)
  • Aix-Marseille 1 (7)
  • Montpellier 2 (7)
  • Paris, ENST (7)
  • Université Grenoble Alpes (7)
  • Clermont-Ferrand 2 (6)
  • Paris 3 (6)
  • Paris 5 (6)
  • Reims (6)
  • Université de Sherbrooke (Québec, Canada) (6)
  • Valenciennes (6)
  • Vandoeuvre-les-Nancy, INPL (6)
  • CentraleSupélec (5)
  • Limoges (5)
  • Avignon (4)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (4)
  • Clermont Auvergne (4)
  • Evry, Institut national des télécommunications (4)
  • Metz (4)
  • Montpellier 3 (4)
  • Mulhouse (4)
  • Nancy 2 (4)
  • Paris 2 (4)
  • Paris 8 (4)
  • Poitiers (4)
  • Toulouse 2 (4)
  • École nationale d'ingénieurs de Sfax (Tunisie) (4)
  • Artois (3)
  • Compiègne (3)
  • Evry-Val d'Essonne (3)
  • La Réunion (3)
  • Lille 2 (3)
  • Lyon 1 (3)
  • Paris 12 (3)
  • Paris 13 (3)
  • Paris 9 (3)
  • Paris, ENMP (3)
  • Paris, Institut d'études politiques (3)
  • Strasbourg (3)
  • Toulouse, ENSAE (3)
  • Tours (3)
  • Université de Montréal (3)
  • Université de Tunis El Manar (3)
  • Université de Yaoundé I (3)
  • Université du Québec à Montréal (3)
  • Versailles-St Quentin en Yvelines (3)
  • École nationale d'ingénieurs de Tunis (Tunisie) (3)
  • Amiens (2)
  • Angers (2)
  • Bordeaux 4 (2)
  • CY Cergy Paris Université (2)
  • Cergy-Pontoise (2)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • Ecole Centrale de Lille (2)
  • IMT Mines Alès (2)
  • Le Mans (2)
  • Littoral (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 4 (2)
  • Paris, AgroParisTech (2)
  • Paris, Ecole normale supérieure (2)
  • Toulon (2)
  • Troyes (2)
  • Télécom Bretagne (2)
  • Universidade de São Paulo (Brésil) (2)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (2)
  • Universiteit Leiden (Leyde, Pays-Bas) (2)
  • Università degli studi (Bologne, Italie) (2)
  • Universität des Saarlandes (2)
  • Université Badji Mokhtar-Annaba (2)
  • Université de Sfax (Tunisie) (2)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Université du Luxembourg (2)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (2)
  • Paris, ENMP (1)
  • Académie des Etudes Economiques de la Moldavie (1)
  • Aix-Marseille 3 (1)
  • Antilles-Guyane (1)
  • Bordeaux 2 (1)
  • Bordeaux 3 (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Chennai Mathematical Institute (1)
  • Corte (1)
  • East China normal university (Shanghai) (1)
  • Ecole Nationale des Sciences de l'Informatique (ENSI), Université de la Manouba Tunisie (1)
  • Ecole Nationale d’Ingénieurs de Sfax (1)
  • Ecole nationale d'ingénieurs de Sfax (1)
  • Ecole polytechnique (Montréal, Canada) (1)
  • Ecully, Ecole centrale de Lyon (1)
  • Faculté des Sciences de Tunis (1)
  • Flinders university of South Australia (1)
  • Georgia institute of technology (1)
  • Grenoble 2 (1)
  • Grenoble Alpes (1)
  • Indiana university (1)
  • Institut agronomique et vétérinaire Hassan II (Maroc) (1)
  • Institut de Patrimoine Culturel. Université Laval (Canada) (1)
  • Institut des Hautes Etudes Commerciales (Carthage, Tunisie) (1)
  • Institut supérieur de gestion (Tunis) (1)
  • Jouy-en Josas, HEC (1)
  • La Rochelle (1)
  • Le Havre (1)
  • Lille 3 (1)
  • Lille, Université des Sciences et technologies de Lille (1)
  • Lyon, École normale supérieure (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Macquarie university (Sydney, Australie) (1)
  • Marne-la-vallée, ENPC (1)
  • Montpellier, SupAgro (1)
  • Nantes, Ecole des Mines (1)
  • Oldenburg, Carl v. Ossietzky Universität (1)
  • Paris, EHESS (1)
  • Paris, EPHE (1)
  • Paris, HESAM (1)
  • Paris, INALCO (1)
  • Paris, Institut agronomique, vétérinaire et forestier de France (1)
  • Paris, Télécom ParisTech (1)
  • Perpignan (1)
  • Politecnico di Bari (1)
  • Politecnico di Bari. Dipartimento di Ingegneria Meccanica e Gestionale (Italia) (1)
  • Prove & Run (1)
  • Rennes 2 (1)
  • Rennes, Agrocampus Ouest (1)
  • Rennes, INSA (1)
  • Rennes, École normale supérieure (1)
  • Saint-Etienne, EMSE (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Supcom (Tunis) (1)
  • Tongji university (Shanghai, Chine) (1)
  • UNIVERSITE DE TUNIS EL MANAR (1)
  • Universidad de Buenos Aires (1)
  • Universidade de Sao Paulo - USP (1)
  • Universitat Pompeu Fabra (Barcelone, Espagne) (1)
  • Universitatea politehnica (Bucarest) (1)
  • University of Antwerp (1)
  • University of Auckland (1)
  • University of Madras (Inde) (1)
  • University of Minnesota (Minneapolis, Minn.) (1)
  • University of Saint Andrews (1)
  • University of Sydney (1)
  • Università degli studi (Catane, Italie) (1)
  • Università degli studi (Florence, Italie) (1)
  • Università degli studi (Milan, Italie) (1)
  • Università degli studi (Trente, Italie) (1)
  • Università degli studi (Venise, Italie) (1)
  • Università degli studi La Sapienza (Rome) (1)
  • Universität Leipzig (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Cadi Ayyad (Marrakech, Maroc) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (614)
  • Sciences de gestion (26)
  • Sciences appliquées (25)
  • Sciences économiques (15)
  • Droit public (14)
  • Génie électrique (14)
  • Informatique et applications (14)
  • Automatique (13)
  • Droit (12)
  • Mathématiques (12)
  • Sciences et technologie industrielles (12)
  • Mathématiques appliquées (11)
  • Génie industriel (10)
  • Informatique et Télécommunications (10)
  • Physique (10)
  • Psychologie (9)
  • Sciences de l'information et de la communication (9)
  • Sciences et techniques (9)
  • Sociologie (9)
  • Sciences de l'éducation (8)
  • Droit privé (7)
  • Histoire (7)
  • Philosophie (7)
  • Sciences de Gestion (7)
  • Électronique, électrotechnique, automatique (7)
  • Informatique, données, IA (6)
  • Mathématiques et Informatique (6)
  • Sciences du langage (6)
  • Stic (6)
  • Sureté de logiciel et calcul de haute performance (6)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (5)
  • Conception (5)
  • Géographie (5)
  • InformatiqueInformatique (5)
  • Sûreté de logiciel et calcul de haute performance (5)
  • Études anglophones (5)
  • ATS - Automatique et Traitement de Signal (4)
  • Automatique et informatique industrielle (4)
  • Histoire moderne et contemporaine (4)
  • Instrumentation et informatique de l'image (4)
  • Mécanique (4)
  • Électronique Électrotechnique Automatique (4)
  • Automatique et informatique appliquée (3)
  • Automatique, Traitement du Signal, Génie Informatique (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)
  • Chimie (3)
  • Electronique (3)
  • Electronique et communications (3)
  • Ergonomie (3)
  • Génie informatique (3)
  • Informatique (STIC) (3)
  • Informatique et réseaux (3)
  • Informatique et télécommunications (3)
  • Informatique, temps réel, robotique et automatique (3)
  • Mathématiques Appliquées (3)
  • Mathématiques et informatique (3)
  • Micro et nano-électronique (3)
  • Nano electronique et nano technologies (3)
  • Robotique (3)
  • Réseaux, information et communications (3)
  • Réseaux, télécoms, systèmes et architecture (3)
  • Science politique (3)
  • Sciences et technologies industrielles (3)
  • Systèmes informatiques (3)
  • Électronique (3)
  • Sciences de l'ingénieur (2)
  • Architecture (2)
  • Archéologie (2)
  • Automatique - productique (2)
  • Automatique, Traitement du Signal et des Images, Génie informatique (2)
  • Automatique, génie informatique, traitement du signal et image (2)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Automatique, signal, productique, robotique (2)
  • Automatique, traitement du signal et génie informatique (2)
  • Automatique, traitement du signal et images (2)
  • Automatique. Automatique, génie informatique (2)
  • Biologie (2)
  • Chimie analytique (2)
  • Geographie (2)
  • Génie Industriel : conception et production (2)
  • Génie des systèmes industriels (2)
  • Génie industriel conception et production (2)
  • Géosciences (2)
  • Informatique et applications (2)
  • Informatique et mathématiques (2)
  • Informatique fondamentale et parallélisme (2)
  • Informatique temps réel, robotique et automatique (2)
  • Linguistique anglaise (2)
  • Mathematiques (2)
  • Mathématiques et leurs interactions (2)
  • Microbiologie (2)
  • Microélectronique (2)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (2)
  • Mécanique et énergétique (2)
  • Mécanique, génie mécanique, génie civil (2)
  • Programmation et systèmes (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Réseaux, télécom, système et architecture (2)
  • Sciences (2)
  • Sciences cognitives, psychologie et neurocognition (2)
  • Sciences de gestion. Comptabilité, contrôle, audit (2)
  • Sciences de l'univers (2)
  • Sciences de la vie et de la santé (2)
  • Sciences du langage - linguistique (2)
  • Sciences economiques (2)
  • Sciences juridiques (2)
  • Sciences politiques (2)
  • Sciences pour l'Ingénieur (2)
  • Sciences pour l'ingénieur (2)
  • Signal, Image, Vision (2)
  • Staps (2)
  • Stic - ed em2psi (2)
  • Systèmes automatiques et micro-électroniques (2)
  • Systèmes informatiques critiques (2)
  • Technologies de l'information et des systèmes (2)
  • Traductologie (2)
  • Traitement du signal et télécommunications (2)
  • Énergie nucléaire (2)
  • Études cinématographiques et audiovisuelles (2)
  • ARN, biogenèse et structure / fonction (1)
  • Acoustique (1)
  • Administration publique (1)
  • Algorithmique (1)
  • Aménagement de l'espace, Urbanisme (1)
  • Art (1)
  • Arts (1)
  • Astrophysique et milieux dilues (1)
  • Automatique et Informatique appliquée (1)
  • Automatique et informatique (1)
  • Automatique et informatique appliquée (1)
  • Automatique et productique (1)
  • Automatique et productique, signal et image (1)
  • Automatique et traitement du signal (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Génie informatique, Traitement du signal et des Images (1)
  • Automatique, Ingénierie-Système, Nucléaire (1)
  • Automatique, Traitement du Signal et Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, productique et robotique (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique, robotique, traitement du signal et informatique appliquée (1)
  • AutomatiqueAutomatique (1)
  • Automatisme signal télécommunication (1)
  • Bio-informatique structurale (1)
  • Biodiversité écologie environnement (1)
  • Biologie Santé (1)
  • Biologie cellulaire (1)
  • Biologie cellulaire et moléculaire (1)
  • Biologie et sciences de la santé (1)
  • Biologie végétale (1)
  • Biostatistique (1)
  • Chime Physique et Chimie Analytique (1)
  • Chimie Physique et Chimie Analytique (1)
  • Chimie analytique-Metabolomique (1)
  • Chimie des substances naturelles (1)
  • Chimie et science des matériaux (1)
  • Chimie séparative, matériaux et procédés (1)
  • Chirurgie thoracique (1)
  • Didactique des sciences (1)
  • Didactique et linguistique, Français (1)
  • Doctorat STAPS (1)
  • Domaine STIC (1)
  • Droit Public (1)
  • Droit civil et financier (1)
  • Droit de l'Union européenne (1)
  • Droit de la concurrence (1)
  • Droit international (1)
  • Droit international et européen (1)
  • Droit privé et Sciences Criminelles (1)
  • Droit privé et sciences criminelles (1)
  • Droit public. Droit international public (1)
  • Droit social (1)
  • Dynamique des Fluides (1)
  • Démographie (1)
  • EERGP- Ecologie, évolution Ressources génétiques Paléontologie (1)
  • Electronique et optoélectronique, nano- et microtechnologies (1)
  • Electronique, microelectronique, optique et lasers, optoelectronique microondes robotique (1)
  • Energie (SPI) (1)
  • Energie et systèmes (1)
  • Energétique (1)
  • Epidémiologie (1)
  • Espagnol (1)
  • Ethique médicale (1)
  • Ethnologie/Anthropologie (1)
  • Etudes anglophones (1)
  • Genie industriel (1)
  • Geographie et aménagement de l'espace (1)
  • Génie Civil (1)
  • Génie Electrique (1)
  • Génie Mécanique, Productique, Transport (1)
  • Génie civil (1)
  • Génie des procédés et des produits (1)
  • Génie informatique et automatique (1)
  • Génie mécanique (1)
  • Génie mécanique - procédés de fabrication (1)
  • Génie Électrique (1)
  • Génétique humaine (1)
  • Géographie - Cergy (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (76)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (68)
  • École doctorale Informatique, télécommunications et électronique de Paris (57)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (49)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (36)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (25)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (25)
  • École doctorale Sciences pour l'Ingénieur (Lille) (25)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (22)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (22)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (20)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (19)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (18)
  • École doctorale en Informatique et Mathématiques de Lyon (18)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (17)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (15)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (12)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (12)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (12)
  • IAEM Lorraine (10)
  • École doctorale Abbé Grégoire (Paris) (10)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (10)
  • École doctorale Sciences et technologies de l'information et de la communication (10)
  • École doctorale de l'Institut polytechnique de Paris (10)
  • Ecole doctorale Informatique de Paris-Sud (9)
  • MATHSTIC (9)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (9)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (9)
  • École doctorale Systèmes (Toulouse) (9)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (8)
  • Ecole doctorale de Dauphine (Paris) (8)
  • École doctorale de droit (Pessac, Gironde) (8)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (8)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (8)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (8)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (7)
  • École doctorale Agriculture, alimentation, biologie, environnement, santé (Paris ; 2015-....) (7)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (7)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (7)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (6)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (6)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (5)
  • École doctorale Electrical, optical, bio : physics and engineering (Orsay, Essonne ; 2015-....) (5)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (5)
  • École doctorale Sciences mathématiques de Paris centre (5)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (5)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (5)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (5)
  • École doctorale sciences économiques (Grenoble) (5)
  • École doctorale terre, univers, environnement (Grenoble) (5)
  • École doctorale Économie, organisations, société (Nanterre) (5)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (5)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (5)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (4)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (4)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (4)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (4)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (4)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (4)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (4)
  • École doctorale Sciences fondamentales et appliquées (Nice) (4)
  • École doctorale Sciences sociales (Lyon) (4)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (4)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (4)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (4)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (3)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (3)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (3)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (3)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (3)
  • École Doctorale Droit et Science Politique (Nanterre) (3)
  • École doctorale Arts et médias (Paris) (3)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (3)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (3)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (3)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (3)
  • École doctorale Langage et langues (Paris) (3)
  • École doctorale Ondes et matière (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (3)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (3)
  • École doctorale Sciences de l'Homme et de la société (Sceaux, Hauts-de-Seine ; 2015-2020) (3)
  • École doctorale Sciences de l'homme et de la société (Orléans) (3)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (3)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (3)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (3)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (3)
  • École doctorale de Sciences Po (Paris) (3)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (3)
  • École doctorale physique (Grenoble) (3)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (3)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (3)
  • École doctorale sciences juridiques (Grenoble) (3)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (2)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (2)
  • Ecole doctorale Arts et Métiers (Paris) (2)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (2)
  • Ecole doctorale Sciences de l'homme et de la société (Reims, Marne) (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (2)
  • Ed Sis 488 (2)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (2)
  • École Doctorale Neurosciences et Cognition (NSCo) (2)
  • École doctorale Biologie-Santé (Lille) (2)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (2)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (Montpellier ; 2015-....) (2)
  • École doctorale Archéologie (Paris) (2)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris ; 2000-....) (2)
  • École doctorale Complexité du vivant (Paris) (2)
  • École doctorale Droit et Science Politique (Toulouse) (2)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (2)
  • École doctorale Economies, espaces, sociétés, civilisations : pensée critique, politique et pratiques sociales (Paris ; 2000-2019) (2)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (2)
  • École doctorale Gènes, Génomes, Cellules (Gif-sur-Yvette, Essonne ; 2000-2015) (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 Mathématiques, Sciences et Technologies de l'Information et de la Communication (2)
  • École doctorale Mathématiques, informatique et télécommunications (2)
  • École doctorale Organisations, marchés, institutions (Créteil ; 2015-....) (2)
  • École doctorale Particules, hadrons, énergie et noyau : instrumentation, imagerie, cosmos et simulation (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale Savoirs scientifiques : Epistémologie, histoire des sciences, didactique des disciplines (Paris ; 2000-2019) (2)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (2)
  • École doctorale Sciences du sport, de la motricité et du mouvement humain (Paris ; 2002-2015) (2)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (2)
  • École doctorale Sciences humaines et sociales (Rennes) (2)
  • École doctorale Sciences juridiques, politiques, économiques et de gestion (Malakoff, Hauts-de-Seine) (2)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (2)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (2)
  • École doctorale Sciences pour l'ingénieur (Nantes) (2)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (2)
  • École doctorale Sciences économiques, sociales, de l'aménagement et du management (Villeneuve d'Ascq, Nord) (2)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (2)
  • École doctorale Sciences, technologie et santé (Amiens) (2)
  • École doctorale Sociétés méditerranéennes et sciences humaines. ED 509 (Toulon) (2)
  • École doctorale Systèmes (2)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (2)
  • École doctorale Vie-Agro-Santé (Rennes) (2)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale d'Économie (Paris) (2)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (2)
  • École doctorale de droit privé (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 sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (2)
  • École doctorale homme, sociétés, risques, territoire (Caen) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (2)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (2)
  • ED Cognition, langage, interaction (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)
  • 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 Sciences de l'Environnement (Aix-Marseille) (1)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (1)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Georges Vedel Droit public interne, science administrative et science politique (Paris) (1)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (1)
  • Ecole doctorale Innovation Thérapeutique : du Fondamental à l'Appliqué (Châtenay-Malabry, Haut-de-Seine ; 2000-2015) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Perspectives Interculturelles : Ecrits, Médias, Espaces, Sociétés (PIEMES) (Metz-Nancy) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences du Numérique et de lu2019Ingénieur (1)
  • Ecole doctorale Sciences pour l'Ingénieur (1)
  • Ecole doctorale droit, science politique et philosophie (Rennes) (1)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (Cergy-Pontoise, Val d'Oise) (1)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (1)
  • Environnements - Santé (ES) (1)
  • Information, Communication, Modélisation et Simulation (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • Informatique, télécommunication et électronique de Paris (EDITE) (1)
  • Informatique, télécommunications et électronique de Paris (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; 2015-....) (1)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; ....-2014) (1)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; 2015-....) (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • Sciences et ingénierie (1)
  • Sciences pour l'ingénieur (1)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École Doctorale INTER-MED (Perpignan) (1)
  • École Doctorale Information, Structures, Systèmes (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Sciences de Gestion TSM (Toulouse) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; 2015-....) (1)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (Montpellier ; ....-2014) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale BioSE - Biologie, Santé, Environnement (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Cancérologie : biologie-médecine-santé (Villejuif, Val-de-Marne ; 2015-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (1032)
  • anglais (357)
  • null (4)
  • espagnol (1)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Borrione Dominique (13)
  • Merz Stephan (12)
  • Kordon Fabrice (11)
  • Aït-Ameur Yamine (9)
  • Barkaoui Kamel (8)
  • Godart Claude (8)
  • Jensen Thomas (8)
  • Dubois Catherine (7)
  • Faure Jean-Marc (7)
  • Morin-Allory Katell (7)
  • Rusinowitch Michaël (7)
  • Wiels Virginie (7)
  • Bensalem Saddek (6)
  • Courtiat Jean-Pierre (6)
  • Delahaye David (6)
  • Loulergue Frédéric (6)
  • Apvrille Ludovic (5)
  • Barthe Gilles (5)
  • Delaune Stéphanie (5)
  • Gaaloul Walid (5)
  • Greiner Alain (5)
  • Lakhnech Yassine (5)
  • Lesage Jean-Jacques (5)
  • Maler Oded (5)
  • Mateescu Radu (5)
  • Palanque Philippe (5)
  • Pierre Laurence (5)
  • Rutten Eric (5)
  • Toguyeni Abdoul Karim Armand (5)
  • Babau Jean-Philippe (4)
  • Berruet Pascal (4)
  • Blazy Sandrine (4)
  • Bozga Dorel Marius (4)
  • Collart-Dutilleul Simon (4)
  • Cortier Véronique (4)
  • Fesquet Laurent (4)
  • Filali Mamoun (4)
  • Finkel Alain (4)
  • Gastin Paul (4)
  • Gaudel Marie-Claude (4)
  • Haddad Serge (4)
  • Huchard Marianne (4)
  • Juanole Guy (4)
  • Julliand Jacques (4)
  • Kirchner Claude (4)
  • Klaudel Hanna (4)
  • Lafourcade Pascal (4)
  • Laleau Régine (4)
  • Lanet Jean-Louis (4)
  • Le Gall Pascale (4)
  • Le Métayer Daniel (4)
  • Legay Axel (4)
  • Mammar Amel (4)
  • Marion Jean-Yves (4)
  • Morel Gérard (4)
  • Mosbah Mohamed (4)
  • Méhaut Jean-François (4)
  • Méry Dominique (4)
  • Naccache David (4)
  • Niel Eric (4)
  • Oquendo Flavio (4)
  • Pacalet Renaud (4)
  • Panetto Hervé (4)
  • Pantel Marc (4)
  • Pétrot Frédéric (4)
  • Roucoules Lionel (4)
  • Roux Olivier Henri (4)
  • Alla Hassane Lotfi (3)
  • Andreu David (3)
  • Attiogbé Christian (3)
  • Azéma Pierre (3)
  • Bertot Yves (3)
  • Bhargavan Karthikeyan (3)
  • Bodeveix Jean-Paul (3)
  • Bon Philippe (3)
  • Boulanger Frédéric (3)
  • Calvary Gaëlle (3)
  • Cavalli Ana (3)
  • Chailloux Emmanuel (3)
  • Chapurlat Vincent (3)
  • Charoy François (3)
  • Chbeir Richard (3)
  • Choppy Christine (3)
  • Cohen Albert (3)
  • Comon-Lundh Hubert (3)
  • Craye Étienne (3)
  • Dang Thao (3)
  • Diaz Michel (3)
  • Dowek Gilles (3)
  • Falcone Yliès Carlo (3)
  • Frappier Marc (3)
  • Fribourg Laurent (3)
  • Frydman Claudia (3)
  • Garavel Hubert (3)
  • Garoche Pierre-Loïc (3)
  • Giorgetti Alain (3)
  • Girard Patrick (3)
  • Gruer Juan Pablo (3)
  • Guillaud Xavier (3)
  • Guéguen Hervé (3)
  • Jmaiel Mohamed (3)
  • Jéron Thierry (3)
  • Kouchnarenko Olga (3)
  • Lamouri Samir (3)
  • Leroy Xavier (3)
  • Lescanne Pierre (3)
  • Levrat Eric (3)
  • Madelaine Éric (3)
  • Mauny Michel (3)
  • Monticolo Davy (3)
  • Moreau Pierre-Etienne (3)
  • Mountassir Hassan (3)
  • Mourlin Fabrice (3)
  • Paillet Jean-Luc (3)
  • Paulin-Mohring Christine (3)
  • Peschanski Frédéric (3)
  • Philippot Alexandre (3)
  • Potet Marie-Laure (3)
  • Quinson Martin (3)
  • Rivière Alain (3)
  • Robbana Riadh (3)
  • Roux Olivier (3)
  • Roux Olivier F. (3)
  • Sifakis Joseph (3)
  • Souquières Jeanine (3)
  • Talpin Jean-Pierre (3)
  • Terrier François (3)
  • Abba Gabriel (2)
  • Amghar Youssef (2)
  • Assayag Gérard (2)
  • Attali Isabelle (2)
  • Audemard Gilles (2)
  • Auguin Michel (2)
  • Barais Olivier (2)
  • Barakat Georges (2)
  • Bardin Sébastien (2)
  • Berthomieu Bernard (2)
  • Berthomé Pascal (2)
  • Bertrand Nathalie (2)
  • Blanchet Bruno (2)
  • Boniol Frédéric (2)
  • Bouajjani Ahmed (2)
  • Bouhoula Adel (2)
  • Bourke Timothy (2)
  • Bousquet Lydie du (2)
  • Bruguière Jean-Michel (2)
  • Bérard Béatrice (2)
  • Canteaut Anne (2)
  • Cappelletti Laurent (2)
  • Carre menetrier Veronique (2)
  • Chartron Ghislaine (2)
  • Chevrier Vincent (2)
  • Chihani Zakaria (2)
  • Chouali Samir (2)
  • Colas Frederic (2)
  • Coquery Emmanuel (2)
  • Criqui Patrick (2)
  • Crolard Tristan (2)
  • Dal Zilio Silvano (2)
  • Dantan Jean-Yves (2)
  • Dassisti Michele (2)
  • Dekeyser Jean-Luc (2)
  • Demri Stéphane P. (2)
  • Divoux Thierry (2)
  • Drira Khalil (2)
  • Dubois Philippe (2)
  • Duc Guillaume (2)
  • Dupuy-Chessa Sophie (2)
  • El-Koursi El-Miloudi (2)
  • Estraillier Pascal (2)
  • Favre Wilfrid (2)
  • Fernandez Jean-Claude (2)
  • Fiorino Humbert (2)
  • Gabsi Mohamed Khémis (2)
  • Galmiche Didier (2)
  • Gava Frédéric (2)
  • Gechter Franck Joseph Aimé (2)
  • Genet Thomas (2)
  • Ghazel Mohamed (2)
  • Giambiasi Norbert (2)
  • Ginhac Dominique (2)
  • Girard Antoine (2)
  • Girault Alain (2)
  • Girault Claude (2)
  • Gomes Samuel (2)
  • Goubault-Larrecq Jean (2)
  • Goubin Louis (2)
  • Grard Loïc (2)
  • Gressier-Soudan Eric (2)
  • Gribonval Rémi (2)
  • Gruson François (2)
  • Guiochet Jérémie (2)
  • Gzara Lilia (2)
  • Gérard Sébastien (2)
  • Hacid Mohand Saïd (2)
  • Hadj Kacem Ahmed (2)
  • Hassenforder Michel (2)
  • Henrio Ludovic (2)
  • Hoblos Ghaleb (2)
  • Iung Benoît (2)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen

1401 thèses pour Verification formelle

Informatique. Modélisation et vérification

Soutenue le 10-09-2018
thèse soutenue

...-plete specifications for all list based SDMA by applying several refinementsteps, while they focus on the verification...

Accéder en ligne
Informatique

Soutenue le 27-11-2013
thèse soutenue

...protocolerepre´sente un inte´reˆt certain pour eˆtre analyse´ par des techniques de ve´rification formelle...

Accéder en ligne

Apprentissage automatique avec vérification formelle

par Ritam Raha sous la direction de Jérôme Leroux, Nathanaël Fijalkow et de Guillermo Alberto Perez mejia. - Bordeaux

Informatique

En préparation depuis le 05-06-2020
 thèse en cours de préparation

Vérification formelle de services web

par Amrita Suresh sous la direction de Alain Finkel et de Benedikt Bollig. - université Paris-Saclay

Informatique

En préparation depuis le 30-09-2019
 thèse en cours de préparation

Vérification formelle et filtres numériques

par Diane Gallois-Wong sous la direction de Sylvie Boldo et de Thibault Hilaire. - université Paris-Saclay

Informatique

En préparation depuis le 01-10-2017
 thèse en cours de préparation
Informatique

Soutenue en 2010
thèse soutenue
Informat.

Soutenue en 1999
thèse soutenue

Résultats 1 à 10