Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (75)
  • Université Grenoble Alpes (ComUE) (62)
  • Grenoble (54)
  • Rennes 1 (42)
  • Université de Lorraine (37)
  • Cachan, Ecole normale supérieure (30)
  • Toulouse 3 (24)
  • Nancy 1 (22)
  • Paris, CNAM (20)
  • Paris Est (19)
  • Paris 11 (17)
  • Paris Sciences et Lettres (ComUE) (16)
  • Lyon (15)
  • Ecole centrale de Lille (14)
  • Toulouse, ISAE (14)
  • Besançon (12)
  • Lorient (12)
  • Université Côte d'Azur (ComUE) (12)
  • Evry, Institut national des télécommunications (11)
  • Montpellier (11)
  • Paris 6 (11)
  • Toulouse, INPT (11)
  • Bordeaux (10)
  • Nantes (10)
  • Pau (10)
  • Sorbonne université (10)
  • Orléans (9)
  • Sorbonne Paris Cité (9)
  • Toulouse, INSA (9)
  • université Paris-Saclay (9)
  • Bordeaux 1 (7)
  • Institut polytechnique de Paris (7)
  • Brest (6)
  • Nice (6)
  • Bourgogne Franche-Comté (5)
  • CentraleSupélec (5)
  • Clermont-Ferrand 2 (5)
  • Rennes, INSA (5)
  • Universidade de São Paulo (Brésil) (5)
  • Université de Sherbrooke (Québec, Canada) (5)
  • Valenciennes (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Clermont Auvergne (4)
  • Compiègne (4)
  • Lille 1 (4)
  • Lyon, INSA (4)
  • Toulouse 2 (4)
  • Aix-Marseille (3)
  • Ecole centrale de Nantes (3)
  • Evry-Val d'Essonne (3)
  • Limoges (3)
  • Lyon 1 (3)
  • Mulhouse (3)
  • Paris 7 (3)
  • Paris, ENSAM (3)
  • Paris, ENST (3)
  • Reims (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Université de Sfax (Tunisie) (3)
  • Université de Sherbrooke (3)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • Dijon (2)
  • Ecole nationale des Mines d'Albi-Carmaux (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (2)
  • Montpellier 2 (2)
  • Nancy 2 (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 1 (2)
  • Paris 10 (2)
  • Paris, Ecole normale supérieure (2)
  • Poitiers (2)
  • Rennes, École normale supérieure (2)
  • Strasbourg (2)
  • Tours (2)
  • Università degli studi (Bologne, Italie) (2)
  • Universität des Saarlandes (2)
  • Université Grenoble Alpes (2)
  • Université Paris sciences et lettres (2)
  • Université de Tunis El Manar (2)
  • Université de Yaoundé I (2)
  • Université du Luxembourg (2)
  • Université normale de la Chine de l'Est (Shanghai) (2)
  • École nationale d'ingénieurs de Tunis (Tunisie) (2)
  • Aix-Marseille 3 (1)
  • Angers (1)
  • Belfort-Montbéliard (1)
  • Boǧaziçi üniversitesi (Istanbul) (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Brno University of Technology (MAIS) (1)
  • Cergy-Pontoise (1)
  • Chambéry (1)
  • Chennai Mathematical Institute (1)
  • Colorado state university (1)
  • Corte (1)
  • Ecole Nationale d'Ingénieurs de Sousse-ENISo (Tunisie) (1)
  • Ecole centrale de Marseille (1)
  • Elizabeth (1)
  • Flinders university of South Australia (1)
  • Georgia institute of technology (1)
  • Grenoble 1 (1)
  • Grenoble 2 (1)
  • Grenoble Alpes (1)
  • Grenoble INPG (1)
  • Institute of Software, Chinese Academy of Sciences (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • L'Université des Sciences et de la Technologie Houari Boumediene (1)
  • La Réunion (1)
  • Le Havre (1)
  • Le Mans (1)
  • Lille 3 (1)
  • Littoral (1)
  • Lyon, École normale supérieure (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Malardalen University (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Oldenburg, Carl v. Ossietzky Universität (1)
  • PONTIFICIA UNIVERSIDAD CATOLICA DEL PERU (1)
  • Paris 12 (1)
  • Paris 13 (1)
  • Paris 3 (1)
  • Paris 4 (1)
  • Paris 5 (1)
  • Paris 8 (1)
  • Paris 9 (1)
  • Paris, EHESS (1)
  • Paris, ENMP (1)
  • Perpignan (1)
  • Prove & Run (1)
  • Rennes 2 (1)
  • Rijksuniversiteit te Utrecht (1)
  • Saint-Etienne, EMSE (1)
  • Supcom (Tunis) (1)
  • Toulon (1)
  • Toulouse 1 (1)
  • Tsinghua University (Pékin) (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad de Zaragoza (Espagne) (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universitatea politehnica (Bucarest) (1)
  • University de Rennes 1 (1)
  • Università degli studi (Milan, Italie) (1)
  • Università degli studi (Trente, Italie) (1)
  • Université A. Mira (Bejaïa, Algérie) (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Badji Mokhtar-Annaba (1)
  • Université Ibn Zohr (Agadir) (1)
  • Université Libanaise (Liban) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université d'Etat de Tomsk (1)
  • Université de Djibouti (1)
  • Université de Montréal (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université libre de Bruxelles (1970-....) (1)
  • Univerza na Primorskem (Koper, Republika Slovenija) (1)
  • Versailles-St Quentin en Yvelines (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (522)
  • Automatique (15)
  • Informatique et applications (7)
  • Sciences et technologie industrielles (7)
  • Stic (7)
  • Mathématiques et Informatique (6)
  • Sciences de gestion (6)
  • Informatique et Télécommunications (5)
  • Informatique, données, IA (5)
  • Nanoélectronique et nanotechnologie (5)
  • Robotique (5)
  • Sciences du langage (5)
  • Sciences et technologies industrielles (5)
  • Sureté de logiciel et calcul de haute performance (5)
  • Sûreté de logiciel et calcul de haute performance (5)
  • Automatique et informatique industrielle (4)
  • Automatique, génie informatique, traitement du signal et des images (4)
  • Automatique, génie informatique, traitement du signal et images (3)
  • Génie industriel (3)
  • Informatique (STIC) (3)
  • Informatique et réseaux (3)
  • InformatiqueInformatique (3)
  • Intelligence artificielle (3)
  • Mathématiques et informatique (3)
  • Nano electronique et nano technologies (3)
  • Réseaux, télécom, système et architecture (3)
  • Sciences économiques (3)
  • Sureté de Logiciel et Calcul à Haute Performance (3)
  • Systèmes automatiques et micro-électroniques (3)
  • Électronique Électrotechnique Automatique (3)
  • ATS - Automatique et Traitement de Signal (2)
  • Automatique et informatique (2)
  • Automatique et informatique appliquée (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (2)
  • Automatique, Traitement du signal et des images, Génie informatique (2)
  • Automatique. Automatique, génie informatique (2)
  • Electronique (2)
  • Génie Industriel (2)
  • Génie industriel conception et production (2)
  • Génie informatique (2)
  • Mathématiques Appliquées (2)
  • Mathématiques appliquées (2)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (2)
  • Philosophie (2)
  • Psychologie (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Réseaux, information et communications (2)
  • Réseaux, télécoms, systèmes et architecture (2)
  • Systèmes embarqués (2)
  • Systèmes informatiques (2)
  • Sûreté de Logiciel et Calcul à Haute Performance (2)
  • Acoustique et aéroacoustique (1)
  • Agrosystèmes, Ecosystèmes et Environnement (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Automatique et Informatique (1)
  • Automatique et productique (1)
  • Automatique productique (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatisme signal télécommunication (1)
  • Biologie cellulaire (1)
  • Biomécanique (1)
  • Biomécanique : Unité de Recherche Biomécanique et Bio-ingénierie (UMR-7338) (1)
  • Biomécanique et ingénierie pour la santé (1)
  • Biomécanique et physiologie du mouvement (1)
  • Conception (1)
  • Domaine STIC (1)
  • Droit et économie de la santé (1)
  • Ecologie, biodiversité et évolution (1)
  • Electronique (STIC) (1)
  • Electronique et Architecture de Systèmes (1)
  • Electronique, électrotechnique, automatique (1)
  • Energie (SPI) (1)
  • Génie Industriel et Informatique (1)
  • Génie des systèmes industriels (1)
  • Génie informatique et automatique (1)
  • Génie logiciel (1)
  • Génie électrique (1)
  • Géographie (1)
  • Géographie et Aménagement (1)
  • Histoire contemporaine (1)
  • Histoire des religions et anthropologie religieuse (1)
  • Informatique et Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Informatique et Télécommunication (1)
  • Informatique et génie industriel (1)
  • Informatique et télécommunication (1)
  • Informatique linguistique (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique, données et IA (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Systèmes et communications (1)
  • Ingénierie pour la santé, la cognition et l'environnement (1)
  • Instrumentation et informatique de l'image (1)
  • Langue Vivante d'Anglais (1)
  • Linguistique (1)
  • Mathématiques (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques et applications (1)
  • Mathématiques et informatique temps réel (1)
  • Mathématiques et modélisation (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Micro et nanoélectronique (1)
  • Philosophie des sciences informatiques (1)
  • Physique Théorique (1)
  • Physique des plasmas (1)
  • Procédés (1)
  • Robotique et informatique (1)
  • Réseaux, télécommunications, système et architecture (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Sciences - STS (1)
  • Sciences agronomiques, biotechnologies agro-alimentaires (1)
  • Sciences appliquées (1)
  • Sciences biologiques et fondamentales appliquées. Psychologie (1)
  • Sciences cognitives (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences du langage (option : linguistique) (1)
  • Sciences du langage : traitement automatique des langues (1)
  • Sciences du langage, linguistique. Linguistique théorique, descriptive et automatique (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sciences et génie des activités à risques (1)
  • Sciences et techniques des activités physiques et sportives. Biomécanique (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Signal, Image, Vision (1)
  • Sport (1)
  • Stic - ed em2psi (1)
  • Sureté de logiciel et calcul à haute performance (1)
  • Sureté du logiciel et calcul de haute performance (1)
  • Systèmes Embarqués (1)
  • Systèmes Informatiques (1)
  • Systèmes industriels (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Technologies de l'Information et des Systèmes (1)
  • Technologies de l'information et des systèmes (1)
  • Théâtre et arts du spectacle (1)
  • Traitement du signal et des images (1)
  • Traitement du signal et télécommunications (1)
  • [Informatique] (1)
  • Électronique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (91)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (67)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (46)
  • École doctorale Informatique, télécommunications et électronique de Paris (39)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (35)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (31)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (26)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (25)
  • École doctorale Sciences pour l'Ingénieur (Lille) (22)
  • É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) (17)
  • École doctorale en Informatique et Mathématiques de Lyon (17)
  • École doctorale Systèmes (Toulouse) (15)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (15)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (14)
  • Ecole doctorale Informatique de Paris-Sud (13)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (11)
  • MATHSTIC (10)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (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 Sciences mathématiques de Paris centre (Paris ; 2000-....) (9)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (9)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (8)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (8)
  • I2S - Information, Structures, Systèmes (7)
  • IAEM Lorraine (7)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (7)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (7)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (6)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (5)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (5)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (5)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (5)
  • École doctorale de l'Institut polytechnique de Paris (5)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (4)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • MATISSE (3)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (3)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (3)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (3)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (3)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (3)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (2)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (2)
  • Ecole doctorale de Dauphine (Paris) (2)
  • Mathématiques Informatique Télécommunications de Toulouse (2)
  • École doctorale Abbé Grégoire (Paris) (2)
  • École doctorale Arts et médias (Paris) (2)
  • École doctorale Cerveau, cognition, comportement (Paris) (2)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (2)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (2)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (2)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (2)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (2)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (2)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (2)
  • ED SIS 488 (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 Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (1)
  • Ecole doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • Ecole doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique (Poitiers) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (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 et Sciences et Technologies de l'Information et de la Communication (1)
  • OMI - Organisation, Marchés, Institutions (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École Doctorale Information, Structures, Systèmes (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (1)
  • École doctorale Cognition, langage, interaction (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Complexité du vivant (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (1)
  • École doctorale Mathématiques, informatique et télécommunications (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Mer et Sciences. ED 548 (Toulon) (1)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (1)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (1)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (1)
  • École doctorale Sciences de l'Homme et de la société (Sceaux, Hauts-de-Seine ; 2015-2020) (1)
  • École doctorale Sciences de l'homme et de la société (Tours ; 1996-2018) (1)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (1)
  • École doctorale Sciences du langage (Paris ; 1992-2019) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences humaines et sociales – Perspectives européennes (Strasbourg ; 2009-....) (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (1)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (1)
  • École doctorale de l'École des hautes études en sciences sociales (1)
  • École doctorale de l'École pratique des hautes études (Paris) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale de philosophie (Lyon) (1)
  • École doctorale des lettres, sciences humaines et sociales (Clermont-Ferrand) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)
  • École doctorale sciences de gestion (Grenoble) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (1)
  • École doctorale Énergie environnement (Perpignan) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (428)
  • français (357)
  • null (1)
  • portugais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (15)
  • Merz Stephan (11)
  • Le Gall Pascale (9)
  • Oquendo Flavio (9)
  • Dubois Catherine (8)
  • Laleau Régine (8)
  • Bozga Dorel Marius (7)
  • Lakhnech Yassine (7)
  • Toguyeni Abdoul Karim Armand (7)
  • Barkaoui Kamel (6)
  • Blazy Sandrine (6)
  • Cortier Véronique (6)
  • Delaune Stéphanie (6)
  • Jensen Thomas (6)
  • Barais Olivier (5)
  • Cavalli Ana (5)
  • Collart-Dutilleul Simon (5)
  • Godart Claude (5)
  • Groz Roland (5)
  • Haddad Serge (5)
  • Kirchner Claude (5)
  • Maler Oded (5)
  • Mammar Amel (5)
  • Markey Nicolas (5)
  • Morin-Allory Katell (5)
  • Mosbah Mohamed (5)
  • Rusinowitch Michaël (5)
  • Aït-Ameur Yamine (4)
  • Baudry Benoit (4)
  • Bhargavan Karthikeyan (4)
  • Bon Philippe (4)
  • Comon-Lundh Hubert (4)
  • Delahaye David (4)
  • Dupuy-Chessa Sophie (4)
  • Faure Jean-Marc (4)
  • Frappier Marc (4)
  • Fribourg Laurent (4)
  • Julliand Jacques (4)
  • Lanet Jean-Louis (4)
  • Ledru Yves (4)
  • Loulergue Frédéric (4)
  • Marché Claude (4)
  • Monniaux David (4)
  • Nakagawa Elisa Yumi (4)
  • Roux Olivier (4)
  • Sifakis Joseph (4)
  • Wiels Virginie (4)
  • Wolff Burkhart (4)
  • Aniorté Philippe (3)
  • Badr Youakim (3)
  • Barbier Franck (3)
  • Borrione Dominique (3)
  • Bouyer-Decitre Patricia (3)
  • Charoy François (3)
  • Fabre Jean-Charles (3)
  • Filliâtre Jean-Christophe (3)
  • Garoche Pierre-Loïc (3)
  • Girard Antoine (3)
  • Girault Alain (3)
  • Goubault-Larrecq Jean (3)
  • Henrio Ludovic (3)
  • Huchard Marianne (3)
  • Jard Claude (3)
  • Kremer Steve (3)
  • Lafourcade Pascal (3)
  • Legay Axel (3)
  • Legeard Bruno (3)
  • Lévy Nicole (3)
  • Mateescu Radu (3)
  • Miné Antoine (3)
  • Mé Ludovic (3)
  • Méry Dominique (3)
  • Nicolaïdis Michael (3)
  • Pichardie David (3)
  • Pierre Laurence (3)
  • Pouzet Marc (3)
  • Puaut Isabelle (3)
  • Pétrot Frédéric (3)
  • Quinson Martin (3)
  • Rieu Dominique (3)
  • Rutten Eric (3)
  • Salaün Gwen (3)
  • Souquières Jeanine (3)
  • Talpin Jean-Pierre (3)
  • Viêt Triêm Tông Valérie (3)
  • Yim Pascal (3)
  • Zaïdi Fatiha (3)
  • Alata Eric (2)
  • Albert Vincent (2)
  • Alla Hassane Lotfi (2)
  • Andreu David (2)
  • Apvrille Ludovic (2)
  • Attiogbé Christian (2)
  • Avoine Gildas (2)
  • Badonnel Rémi (2)
  • Bardin Sébastien (2)
  • Bellatreche Ladjel (2)
  • Ben Ahmed Samir (2)
  • Berruet Pascal (2)
  • Berthomieu Bernard (2)
  • Bertot Yves (2)
  • Bertrand Nathalie (2)
  • Bodeveix Jean-Paul (2)
  • Boldo Sylvie (2)
  • Boulanger Frédéric (2)
  • Bousquet Lydie du (2)
  • Calvary Gaëlle (2)
  • Cassé Hugues (2)
  • Chailloux Emmanuel (2)
  • Chapurlat Vincent (2)
  • Chemla Emmanuel (2)
  • Choley Jean-Yves (2)
  • Collet Christine (2)
  • Comet Jean-Paul (2)
  • Conchon Sylvain (2)
  • Cousot Radhia (2)
  • Dague Philippe (2)
  • Dang Thao (2)
  • Danger Jean-Luc (2)
  • Delmas Rémi (2)
  • Demongeot Jacques (2)
  • Donsez Didier (2)
  • Dowek Gilles (2)
  • Doyen Laurent (2)
  • El-Koursi El-Miloudi (2)
  • Falcone Yliès Carlo (2)
  • Fesquet Laurent (2)
  • Filali Mamoun (2)
  • Fradet Pascal (2)
  • Frehse Goran (2)
  • Froidevaux Christine (2)
  • Front Agnès (2)
  • Frydman Claudia (2)
  • Gaaloul Walid (2)
  • Galmiche Didier (2)
  • Gastin Paul (2)
  • Gaudel Marie-Claude (2)
  • Gava Frédéric (2)
  • Gechter Franck Joseph Aimé (2)
  • Genet Thomas (2)
  • Ghazel Mohamed (2)
  • Graf Susanne (2)
  • Guilley Sylvain (2)
  • Gérard Sébastien (2)
  • Haar Stefan (2)
  • Hacid Mohand Saïd (2)
  • Hains Gaétan (2)
  • Halbwachs Nicolas (2)
  • Hammad Ahmed (2)
  • Idani Akram (2)
  • Iosif Radu (2)
  • Jéron Thierry (2)
  • Khlif Manel (2)
  • Kirchner Hélène (2)
  • Kordon Fabrice (2)
  • Laarouchi Youssef (2)
  • Lang Frédéric (2)
  • Lauer Michaël (2)
  • Lesage Jean-Jacques (2)
  • Maag Stéphane (2)
  • Manceny Matthieu (2)
  • Maraninchi Florence (2)
  • Masson Pierre-Alain (2)
  • Matthes Ralph (2)
  • Mauny Michel (2)
  • Mokhtari Mounir (2)
  • Monsuez Bruno (2)
  • Montagnat Johan (2)
  • Moreau Pierre-Etienne (2)
  • Mounier Laurent (2)
  • Moy Matthieu (2)
  • Muller Olivier, David (2)
  • Munier-Kordon Alix (2)
  • Naccache David (2)
  • Navet Nicolas (2)
  • Nezan Jean-François (2)
  • Niel Eric (2)
  • Padois Vincent (2)
  • Pantel Marc (2)
  • Parissis Ioannis (2)
  • Paulin-Mohring Christine (2)
  • Pautet Laurent (2)
  • Percebois Christian (2)
  • Perrin Olivier (2)
  • Pesqueux Yvon (2)
  • Peureux Fabien (2)
  • Philippot Alexandre (2)
  • Potet Marie-Laure (2)
  • Pétin Jean-François (2)
  • Rastello Fabrice (2)
  • Reynier Pierre-Alain (2)
  • Riera Bernard (2)
  • Riveill Michel (2)
  • Robbana Riadh (2)
  • Rohou Erven (2)
  • Roussel Jean-Marc (2)
  • Roux Olivier F. (2)
  • Sangiorgi Davide (2)
  • Santinelli Luca (2)
  • Schmitt Alan (2)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (590)
  • Sciences de l'ingénieur (127)
  • Informatique, information, généralités (31)
  • Mathématiques (19)
  • Gestion et organisation de l'entreprise (13)
  • Linguistique générale (7)
  • Sciences de la vie, biologie, biochimie (7)
  • Psychologie (5)
  • Physique (5)
  • Médecine et santé (5)
  • Langues et linguistique (4)
  • Technologie (Sciences appliquées) (4)
  • Philosophie, psychologie (3)
  • Economie (3)
  • Fabrication industrielle (3)
  • Sport (3)
  • Bibliothéconomie et sciences de l'information (2)
  • Education et enseignement (2)
  • Autres langues (2)
  • Géographie et voyages (2)
  • Médias d'information, journalisme, édition (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Langue anglaise. Anglo-saxon (1)
  • Langues espagnole et portugaise (1)
  • Sciences de la nature et mathématiques (1)
  • Chimie, minéralogie, cristallographie (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Bâtiments (1)
  • Urbanisme (1)
  • Arts du spectacle, loisirs (1)
  • Géographie et histoire (1)
  • Histoire moderne et contemporaine de l'Europe (1)

Domaines :

Fullscreen

790 thèses pour "Formal methods"

....Title : Applying Formal Methods to Autonomous Vehicle VerificationKeywords : Simulink, Autonomous Vehicle, Formal...

Accéder en ligne

.... Formal methods are the set of computational methodswhich provide guarantees and proofs, which can be...

Accéder en ligne

...implementation of timed component-basedmodels. In NASA Formal Methods - 7th International Symposium, NFM 2015...

Accéder en ligne

...Verification. In Proceedingsof the 9th IEEE/ACM International Conference on Formal Methods andModels for...

Accéder en ligne
Philosophie des sciences informatiques

Soutenue en 2010
thèse soutenue

Méthodes Formelles pour les Langages de Programmation Quantiques

par Dongho Lee sous la direction de Frédéric Boulanger, Benoit Valiron et de Valentin Perrelle. - université Paris-Saclay

Mathématiques et Informatique

En préparation depuis le 31-10-2018
 thèse en cours de préparation

...showing howthese contributions complement each other and can be used in practice.Keywords: privacy, formal...

Accéder en ligne
Informatique

Soutenue le 12-01-2012
thèse soutenue

Résultats 1 à 10