Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (92)
  • Grenoble Alpes (84)
  • Paris Saclay (70)
  • Université de Lorraine (30)
  • Rennes 1 (27)
  • Toulouse 3 (24)
  • Paris, CNAM (22)
  • Lyon (21)
  • Bordeaux (17)
  • Paris Est (17)
  • Pau (16)
  • Lorient (15)
  • Ecole centrale de Lille (14)
  • Sorbonne Paris Cité (14)
  • Côte d'Azur (13)
  • Montpellier (13)
  • Paris Sciences et Lettres (13)
  • Paris 6 (12)
  • Paris 11 (11)
  • Toulouse, INPT (11)
  • Besançon (10)
  • Cachan, Ecole normale supérieure (10)
  • Clermont-Ferrand 2 (10)
  • Dijon (10)
  • Paris 1 (9)
  • Brest (8)
  • Clermont Auvergne (8)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (8)
  • Nice (8)
  • Orléans (8)
  • Evry, Institut national des télécommunications (7)
  • Nantes (7)
  • Toulouse, ISAE (6)
  • Universidade de São Paulo (Brésil) (6)
  • Aix-Marseille (5)
  • Compiègne (5)
  • Lille 1 (5)
  • Nancy 1 (5)
  • Paris, ENST (5)
  • Toulouse 1 (5)
  • Toulouse, INSA (5)
  • Belfort-Montbéliard (4)
  • Bordeaux 1 (4)
  • Evry-Val d'Essonne (4)
  • Grenoble 1 (4)
  • Lyon, INSA (4)
  • Normandie (4)
  • Paris 10 (4)
  • Rennes, INSA (4)
  • Valenciennes (4)
  • Bourgogne Franche-Comté (3)
  • CentraleSupélec (3)
  • Ecole centrale de Nantes (3)
  • Grenoble INPG (3)
  • La Rochelle (3)
  • Limoges (3)
  • Mulhouse (3)
  • Paris, ENSAM (3)
  • Université de Sherbrooke (Québec, Canada) (3)
  • Aix-Marseille 3 (2)
  • Avignon (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • La Réunion (2)
  • Lyon 1 (2)
  • Montpellier 2 (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 7 (2)
  • Paris, Ecole normale supérieure (2)
  • Reims (2)
  • Rouen, INSA (2)
  • Strasbourg (2)
  • Tours (2)
  • Université de Montréal (2)
  • Université de Sfax (Tunisie) (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Vandoeuvre-les-Nancy, INPL (2)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (2)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (2)
  • Aix-Marseille 1 (1)
  • Amiens (1)
  • Angers (1)
  • Bordeaux 4 (1)
  • Brno University of Technology (MAIS) (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Cergy-Pontoise (1)
  • Chennai Mathematical Institute (1)
  • Colorado state university (1)
  • Columbia university (New York) (1)
  • Corte (1)
  • Ecole Centrale de Lille (1)
  • Ecole nationale d'ingénieurs de Sfax (1)
  • Ecully, Ecole centrale de Lyon (1)
  • Flinders university of South Australia (1)
  • IMT Mines Alès (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • Jouy-en Josas, HEC (1)
  • Le Havre (1)
  • Le Mans (1)
  • Lille 3 (1)
  • Littoral (1)
  • Malardalen University (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montpellier 1 (1)
  • Montpellier 3 (1)
  • Montpellier, SupAgro (1)
  • Nancy 2 (1)
  • Nantes, Ecole nationale vétérinaire (1)
  • Oldenburg, Carl v. Ossietzky Universität (1)
  • Paris 12 (1)
  • Paris 3 (1)
  • Paris 4 (1)
  • Paris 5 (1)
  • Paris 8 (1)
  • Paris, ENMP (1)
  • Paris, Institut d'études politiques (1)
  • Poitiers (1)
  • Politecnico di Torino (1)
  • Pontifícia universidade católica do Paraná (1)
  • Prove & Run (1)
  • Rennes, Agrocampus Ouest (1)
  • Rennes, École normale supérieure (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • School of law (Berkeley, Calif.) (1)
  • Sorbonne université (1)
  • Sung Kyun Kwan university (Séoul) (1)
  • Supcom (Tunis) (1)
  • Technische Universität (Munich, Allemagne) (1)
  • Toulouse 2 (1)
  • Troyes (1)
  • Télécom Bretagne (1)
  • Universidad de Buenos Aires (1)
  • Universidad de Estado de Rio de Janeiro (Brésil) (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad de los Andes (Bogotá) (1)
  • Universidad del País Vasco (1)
  • Universidade estadual de Campinas (Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universitas Indonesia (1)
  • Universitatea politehnica (Bucarest) (1)
  • University of Auckland (1)
  • University of Western Sydney (1)
  • Università degli studi (Bologne, 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à degli studi di Milano - Bicocca (1)
  • Universität des Saarlandes (1)
  • Université Aristote (Thessalonique, Grèce) (1)
  • Université Babes-Bolyai (1)
  • Université Badji Mokhtar-Annaba (1)
  • Université Laval (Québec, Canada) (1)
  • Université Libanaise. Faculté des Sciences (Beyrouth, Liban) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Mohammed V (Rabat) (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université d'Etat de Tomsk (1)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (1)
  • Université de Sherbrooke (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université de Yaoundé I (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université du Luxembourg (1)
  • Université libanaise (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Versailles-St Quentin en Yvelines (1)
  • École Mohammadia d'ingénieurs (Rabat, Maroc) (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (446)
  • Sciences économiques (17)
  • Sciences de gestion (14)
  • Sciences et technologie industrielles (10)
  • Stic (10)
  • Informatique et applications (9)
  • Mathématiques et Informatique (9)
  • Informatique et réseaux (7)
  • Sciences et technologies industrielles (6)
  • Génie électrique (5)
  • Mathématiques (5)
  • Nanoélectronique et nanotechnologie (5)
  • Mathématiques appliquées (4)
  • Mathématiques et informatique (4)
  • Réseaux, Télécommunications, Systèmes et Architecture (4)
  • Sciences de Gestion (4)
  • Automatique (3)
  • Automatique - productique (3)
  • Automatique et informatique industrielle (3)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (3)
  • Automatique, génie informatique, traitement du signal et images (3)
  • Génie des systèmes industriels (3)
  • Génie industriel (3)
  • Génie industriel conception et production (3)
  • Micro et nano-électronique (3)
  • Nano electronique et nano technologies (3)
  • Physique (3)
  • Réseaux, télécom, système et architecture (3)
  • Sciences economiques (3)
  • Sciences pour l'ingénieur (3)
  • Systèmes automatiques et micro-électroniques (3)
  • Électronique (3)
  • Sciences de l'ingénieur (2)
  • ATS - Automatique et Traitement de Signal (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)
  • Chimie (2)
  • Droit (2)
  • Electronique (2)
  • Ergonomie (2)
  • Génie Civil (2)
  • Génie Industriel : conception et production (2)
  • Génie informatique (2)
  • Génie mécanique (2)
  • Image, information, hypermedia (2)
  • Informatique et Télécommunications (2)
  • Informatique et télécommunications (2)
  • Instrumentation et informatique de l'image (2)
  • Mathématiques Appliquées (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Matériaux, mécanique, génie civil, électrochimie (2)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (2)
  • Mécanique (2)
  • Météorologie, océanographie, physique de l'environnement (2)
  • Robotique (2)
  • Réseaux, télécoms, systèmes et architecture (2)
  • Sciences de l'univers (2)
  • Sciences et génie des activités à risques (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Sûreté de Logiciel et Calcul à Haute Performance (2)
  • Sûreté de logiciel et calcul de haute performance (2)
  • Vision pour la Robotique (2)
  • Électronique, électrotechnique, automatique (2)
  • Agrosystèmes, écosystèmes et environnement (1)
  • Anthropologie (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Astronomie et Astrophysique (1)
  • Astrophysique et Cosmologie (1)
  • Astrophysique et milieux dilués (1)
  • Automatique et Informatique appliquée (1)
  • Automatique, Génie informatique, Traitement du signal et des Images (1)
  • Automatique, Traitement du Signal et des Images, Génie informatique (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique, signal, productique, robotique (1)
  • Automatique, traitement du signal et des images (1)
  • Automatique. Automatique, génie informatique (1)
  • Automatisme signal télécommunication (1)
  • Biologie Santé (1)
  • Biologie de l'environnement, des populations, écologie (1)
  • Biologie des organismes (1)
  • Biologie des populations et ecologie (1)
  • Biotechnologies, cancérologie (1)
  • Composants et systèmes de gestion de l'énergie (1)
  • Conception (1)
  • Cosmologie (1)
  • Droit international et européen (1)
  • Droit privé (1)
  • Développement Durable (1)
  • ED MEGA Génie Civil (1)
  • Economie de la santé animale (1)
  • Economie et finance (1)
  • Electronique (STIC) (1)
  • Electronique et optoélectronique, nano et microtechnologies (1)
  • Energie (SPI) (1)
  • Etudes anglophones (1)
  • Genie electrique (1)
  • Génie Electrique (1)
  • Génie Industriel (1)
  • Génie Industriel et Environnement Management (1)
  • Génie Mécanique, Productique, Transport (1)
  • Génie informatique et automatique (1)
  • Génie mécanique. Mécanique des fluides et énergétique (1)
  • Géochimie-Géophysique (1)
  • Géographie (1)
  • Information Technology : Unité de recherche Heudyasic (UMR-7253) (1)
  • Informatique (STIC) (1)
  • Informatique appliquée (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique et mathématiques appliquées (1)
  • Informatique et télécommunication (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Automatique et informatique des systèmes industriels et humains (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Web sémantique (1)
  • Ingénierie de la conception : Unité de recherche COSTECH (EA-2223) (1)
  • Intelligence artificielle (1)
  • Langues et littératures étrangères - Didactique des langues (1)
  • Lasers, métrologie, communications/Physique (1)
  • Linguistique anglaise (1)
  • Mathématiques appliquées - combustion (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques et informatique. Informatique (1)
  • Mathématiques-Informatique (1)
  • Matériaux, Mécanique, Génie civil, Electrochimie (1)
  • Micro et Nano Electronique (1)
  • Micro et nanoélectronique (1)
  • Mécanique. Génie mécanique. Génie civil (1)
  • PCN - Sciences cognitives, psychologie et neurocognition (1)
  • Philosophie (1)
  • Philosophie, sciences de l’environnement (1)
  • Physiologie et biologie des organismes-populations-interactions (1)
  • Physique théorique (1)
  • Physique. Physique de l'Univers (1)
  • Physique/Informatique (1)
  • Production automatisée (1)
  • Productique (1)
  • Productique et informatique (1)
  • Productique, automatique et informatique industrielle (1)
  • Programmation et systèmes (1)
  • Psycholinguistique (1)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (1)
  • Santé publique. Option Biostatistique (1)
  • Science et technologie de l'information et de la communication (1)
  • Science politique (1)
  • Sciences Economiques (1)
  • Sciences agronomiques (1)
  • Sciences agronomiques, biotechnologies agro-alimentaires (1)
  • Sciences appliquées (1)
  • Sciences cognitives (1)
  • Sciences cognitives, psychologie et neurocognition (1)
  • Sciences de données (1)
  • Sciences de gestion : Ressources Humaines (1)
  • Sciences de l'architecture (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'éducation (1)
  • Sciences de l'éducation. Didactique des mathématiques (1)
  • Sciences de la Terre et de l'Univers et de l'Environnement (1)
  • Sciences de la Vie et de la Santé (1)
  • Sciences du langage - Didactique & Linguistique (1)
  • Sciences du langage : traitement automatique des langues (1)
  • Sciences et Technologies de l'Information Géographique (1)
  • Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Sciences et Technologies de l’Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Sciences et techniques (1)
  • Sciences et techniques de l'information et de la communication, informatique (1)
  • Sciences et technologie de l'information et de la communication (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences politiques (1)
  • Sciences Économiques (1)
  • Signal et images (1)
  • Sociologie (1)
  • Statistique/Modélisation en écologie, géosciences, agronomie et alimentation (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Sureté de logiciel et calcul à haute performance (1)
  • Sureté du logiciel et calcul de haute performance (1)
  • Systèmes Automatiques et Micro-Électroniques (1)
  • Systèmes Embarqués et Robotique (1)
  • Systèmes Informatiques (1)
  • Systèmes informatiques (1)
  • Systèmes informatiques critiques (1)
  • Systèmes informatiques et systèmes ambarqués (1)
  • Sûreté Logiciel et Calcul Haute Performance (1)
  • Sûreté logicielle et calcul de haute performance (1)
  • Technologies de l'information et des systèmes (1)
  • Traitement du signal et des images (1)
  • Traitement du signal et télécommunications (1)
  • [Informatique] (1)
  • Écologie fonctionnelle et sciences agronomiques (1)
  • Électronique pour objets connectés (1)
  • Électronique Électrotechnique Automatique (1)
  • Énergie nucléaire (1)
  • Études anglophones (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (120)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (46)
  • École doctorale Informatique, télécommunications et électronique (Paris) (43)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (29)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (26)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (26)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (24)
  • École doctorale Sciences pour l'Ingénieur (Lille) (21)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (19)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (19)
  • École doctorale en Informatique et Mathématiques de Lyon (18)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (16)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (16)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (14)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (13)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (12)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (12)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (11)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (9)
  • Ecole doctorale Informatique de Paris-Sud (8)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (8)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (8)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (6)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (6)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (6)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (6)
  • École doctorale Systèmes (Toulouse) (6)
  • I2S - Information, Structures, Systèmes (5)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (5)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (4)
  • École doctorale d'Économie (Paris) (4)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (4)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (4)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (3)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (3)
  • MATISSE (3)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (3)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (3)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (3)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (3)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (3)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (3)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (3)
  • École doctorale physique (Grenoble) (3)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (3)
  • École doctorale sciences économiques (Grenoble) (3)
  • École doctorale terre, univers, environnement (Grenoble) (3)
  • École doctorale Économie, organisations, société (Nanterre) (3)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (3)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (2)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (2)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (2)
  • École doctorale Abbé Grégoire (Paris) (2)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (2)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (2)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (2)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (2)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (2)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (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 (Nantes) (2)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (2)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • École doctorale sciences de gestion (Grenoble) (2)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (2)
  • École doctorale Écologie Géosciences Agronomie Alimentation (Rennes) (2)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (2)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (1)
  • Ecole Doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2000-2015 ; Paris) (1)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (1)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Economies, Espaces, Sociétés, Civilisations : pensée critique, politique et pratiques sociales (Paris) (1)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (1)
  • Entreprise Économie Société (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • IAEM Lorraine (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATHSTIC (1)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (1)
  • SIE - Sciences, Ingénierie et Environnement (1)
  • SMI - Sciences des Métiers de l'Ingénieur (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • Sciences et ingénierie (1)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (1)
  • Territoires, Temps, Sociétés et Développement (1)
  • Toulouse School of Economics (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École Doctorale Neurosciences et Cognition (NSCo) (1)
  • École Doctorale Systèmes (Toulouse) (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale Augustin Cournot (Strasbourg ; 1995-....) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (1)
  • École doctorale Droit et Science Politique (Toulouse) (1)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Euclide (La Rochelle ; 2018-....) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Littératures, cultures et sciences sociales (Caen ; ....-2011) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (1)
  • École doctorale Organisations, marchés, institutions (Créteil ; 2015-....) (1)
  • École doctorale Particules, Hadrons, Énergie, Noyau, Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (1)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (1)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences de la Terre et Environnement (Strasbourg ; 2000) (1)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (1)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (1)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (1)
  • École doctorale Sciences du Management Gestion-Organisation-Décision-Information (Paris) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences humaines et sociales (Rennes) (1)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (1)
  • École doctorale Sciences économiques et gestion (Lyon) (1)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale de Sciences Po (Paris) (1)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (1)
  • École doctorale de droit privé (Paris) (1)
  • École doctorale de philosophie (Lyon) (1)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (1)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (1)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (1)
  • École doctorale École transdisciplinaire Lettres/Sciences (Paris) (1)
  • Économie et Gestion de Montpellier (École Doctorale ; 2009-2014) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (505)
  • français (316)
  • espagnol (1)
  • portugais (1)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (12)
  • Maler Oded (8)
  • Oquendo Flavio (8)
  • Barkaoui Kamel (7)
  • Fesquet Laurent (7)
  • Aït-Ameur Yamine (6)
  • Baudry Benoit (6)
  • Bozga Dorel Marius (6)
  • Calvary Gaëlle (6)
  • Toguyeni Abdoul Karim Armand (6)
  • Dubois Catherine (5)
  • Groz Roland (5)
  • Ledru Yves (5)
  • Morin-Allory Katell (5)
  • Naccache David (5)
  • Pétrot Frédéric (5)
  • Rutten Eric (5)
  • Berruet Pascal (4)
  • Borrione Dominique (4)
  • Dang Thao (4)
  • Delaune Stéphanie (4)
  • Dupuy-Chessa Sophie (4)
  • Filali Mamoun (4)
  • Iosif Radu (4)
  • Lakhnech Yassine (4)
  • Lanet Jean-Louis (4)
  • Loulergue Frédéric (4)
  • Mosbah Mohamed (4)
  • Mountassir Hassan (4)
  • Méhaut Jean-François (4)
  • Nakagawa Elisa Yumi (4)
  • Pierre Laurence (4)
  • Alla Hassane Lotfi (3)
  • Aniorté Philippe (3)
  • Badr Youakim (3)
  • Barais Olivier (3)
  • Barbier Franck (3)
  • Bertrand Nathalie (3)
  • Bodeveix Jean-Paul (3)
  • Bousquet Lydie du (3)
  • Cavalli Ana (3)
  • Comyn-Wattiau Isabelle (3)
  • Delahaye David (3)
  • Donsez Didier (3)
  • Frydman Claudia (3)
  • Gaaloul Walid (3)
  • Gaudel Marie-Claude (3)
  • Ghazel Mohamed (3)
  • Gérard Sébastien (3)
  • Hacid Mohand Saïd (3)
  • Haddad Serge (3)
  • Hammad Ahmed (3)
  • Hill David R. C. (3)
  • Jensen Thomas (3)
  • Laleau Régine (3)
  • Madelaine Éric (3)
  • Merz Stephan (3)
  • Mounier Laurent (3)
  • Nicolaïdis Michael (3)
  • Nicolle Christophe (3)
  • Palma Noël de (3)
  • Pantel Marc (3)
  • Rastello Fabrice (3)
  • Sifakis Joseph (3)
  • Souquières Jeanine (3)
  • Sunyé Gerson (3)
  • Wolff Burkhart (3)
  • Yannou Bernard (3)
  • Abel Marie-Hélène (2)
  • Amghar Youssef (2)
  • Andreu David (2)
  • Apvrille Ludovic (2)
  • Attali Isabelle (2)
  • Baelde David (2)
  • Barthès Jean-Paul (2)
  • Benbernou Salima (2)
  • Bensrhair Abdelaziz (2)
  • Benzaken Véronique (2)
  • Berthomé Pascal (2)
  • Blanco Éric (2)
  • Blazy Sandrine (2)
  • Bon Philippe (2)
  • Bouchenak Sara (2)
  • Bouhoula Adel (2)
  • Boulanger Frédéric (2)
  • Castelluccia Claude (2)
  • Chapurlat Vincent (2)
  • Chbeir Richard (2)
  • Chouali Samir (2)
  • Collart-Dutilleul Simon (2)
  • Combarnous François (2)
  • Combemale Benoît (2)
  • Comon-Lundh Hubert (2)
  • Conchon Emmanuel (2)
  • Contejean Evelyne (2)
  • Coquery Emmanuel (2)
  • Cortier Véronique (2)
  • Cuppens Nora (2)
  • Curien Pierre-Louis (2)
  • Demazeau Yves (2)
  • Dowek Gilles (2)
  • El-Koursi El-Miloudi (2)
  • Euzenat Jérôme (2)
  • Fabre Jean-Charles (2)
  • Faure Jean-Marc (2)
  • Filliâtre Jean-Christophe (2)
  • Fiorino Humbert (2)
  • Fouque Pierre-Alain (2)
  • Frappier Marc (2)
  • Girard Antoine (2)
  • Girard Patrick (2)
  • Girault Alain (2)
  • Gleizes Marie-Pierre (2)
  • Graf Susanne (2)
  • Guillaud Xavier (2)
  • Hassenforder Michel (2)
  • Henrio Ludovic (2)
  • Huchard Marianne (2)
  • Idani Akram (2)
  • Iung Benoît (2)
  • Jmaiel Mohamed (2)
  • Juanole Guy (2)
  • Julliand Jacques (2)
  • Kolski Christophe (2)
  • Kordon Fabrice (2)
  • Lafourcade Pascal (2)
  • Lalanda Philippe (2)
  • Lang Frédéric (2)
  • Levrat Eric (2)
  • Marangozova Vania (2)
  • Marché Claude (2)
  • Markey Nicolas (2)
  • Martin Hervé (2)
  • Mateescu Radu (2)
  • Michel Pierre (2)
  • Mokdad Nadia Lynda (2)
  • Monniaux David (2)
  • Monteil Thierry (2)
  • Moy Matthieu (2)
  • Méry Dominique (2)
  • Nana Tchamnda Laurent (2)
  • Panetto Hervé (2)
  • Pau Giovanni (2)
  • Paulin-Mohring Christine (2)
  • Pautet Laurent (2)
  • Peyrard Fabrice (2)
  • Philippot Alexandre (2)
  • Pinet François (2)
  • Potet Marie-Laure (2)
  • Pottier Bernard (2)
  • Pétin Jean-François (2)
  • Quéinnec Philippe (2)
  • Raynaud Yves (2)
  • Renaudin Marc (2)
  • Riera Bernard (2)
  • Rieu Dominique (2)
  • Roose Philippe (2)
  • Salaün Gwen (2)
  • Santana Miguel (2)
  • Schnoebelen Philippe (2)
  • Si-Said Cherfi Samira (2)
  • Simon Daniel (2)
  • Stefani Jean-Bernard (2)
  • Tabourot Laurent (2)
  • Talpin Jean-Pierre (2)
  • Thiriet Jean-Marc (2)
  • Tollenaere Michel (2)
  • Traoré Mamadou Kaba (2)
  • Traoré Mamadou Kaba (2)
  • Vallespir Bruno (2)
  • Wiels Virginie (2)
  • Zacharewicz Grégory (2)
  • Abdulrab Habib (1)
  • Abiteboul Serge (1)
  • Aboutajdine Driss (1)
  • Adair Philippe (1)
  • Adouane Lounis (1)
  • Aglzim El-Hassane (1)
  • Agoulmine Nazim (1)
  • Aguiar de Madeiros Carlos (1)
  • Ahmad Adeel (1)
  • Aiguier Marc (1)
  • Akdag Herman (1)
  • Alata Eric (1)
  • Alba Winckler Marco Antonio (1)
  • Alfaro Marchant Miguel Domingo (1)
  • Allenet Benoît (1)
  • Alonso Corinne (1)
  • Ammi Chantal (1)
  • Andler Daniel (1)
  • Andrieu Jacquet Armelle (1)
  • Anquetin Sandrine (1)
  • Antoniu Gabriel (1)
  • Arenou Frédéric (1)
  • Artiba Abdelhakim (1)
  • Assayag Gérard (1)
  • Attiogbé Christian (1)
  • Aubry Alexis (1)
  • Aubry Jean-François (1)
  • Aussenac-Gilles Nathalie (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (527)
  • Sciences de l'ingénieur (146)
  • Informatique, information, généralités (27)
  • Gestion et organisation de l'entreprise (27)
  • Mathématiques (26)
  • Economie (24)
  • Physique (17)
  • Sciences de la vie, biologie, biochimie (12)
  • Médecine et santé (8)
  • Sciences sociales, sociologie, anthropologie (7)
  • Technologie (Sciences appliquées) (7)
  • Astronomie, cartographie, géodésie (5)
  • Sciences de la terre (5)
  • Psychologie (4)
  • Droit (4)
  • Education et enseignement (4)
  • Fabrication industrielle (4)
  • Linguistique générale (3)
  • Langue anglaise. Anglo-saxon (3)
  • Agronomie, agriculture et médecine vétérinaire (3)
  • Bibliothéconomie et sciences de l'information (2)
  • Philosophie, psychologie (2)
  • Chimie, minéralogie, cristallographie (2)
  • Bâtiments (2)
  • Science politique (1)
  • Commerce, communications, transports (1)
  • Ethnologie (1)
  • Langues et linguistique (1)
  • Langues romanes. Français (1)
  • Sciences de la nature et mathématiques (1)
  • Architecture (1)
  • Photographie et les photographies, art numérique (1)
  • Littératures anglaise et anglo-saxonne (1)

Domaines :

Fullscreen

...defined syntax and aformal semantics. Examples of formal specification languages are algebraic data types...

Accéder en ligne

...Quantitative Verification . . . . . . . . . . . . . . . . . . . . 11.2 High-Level Specification Languages...

Accéder en ligne

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

Accéder en ligne
Automatique, Génie informatique, Traitement du signal et des Images

Soutenue le 21-01-2013
thèse soutenue

................................................................................................................................................. 52 II.3.4 Formal Verification and Validation of DEVS models...

Accéder en ligne

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

Accéder en ligne
Informatique

Soutenue en 2005
thèse soutenue

Résultats 1 à 10