Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (23)
  • Grenoble Alpes (19)
  • Paris Saclay (17)
  • Sorbonne Paris Cité (15)
  • Lyon (14)
  • Paris 6 (14)
  • Paris 1 (9)
  • Paris 11 (9)
  • Toulouse 3 (9)
  • Université de Lorraine (9)
  • Aix-Marseille (8)
  • Dijon (8)
  • Paris Est (8)
  • Paris, CNAM (8)
  • Rennes 1 (8)
  • Bordeaux (7)
  • Montpellier (7)
  • Nantes (7)
  • Paris Sciences et Lettres (7)
  • Normandie (6)
  • Paris 5 (6)
  • Côte d'Azur (5)
  • Nice (5)
  • Paris 3 (5)
  • Toulouse, ISAE (5)
  • École normale supérieure (Lyon) (5)
  • Bordeaux 3 (4)
  • Ecole centrale de Lille (4)
  • Orléans (4)
  • Paris 10 (4)
  • Avignon (3)
  • Bourgogne Franche-Comté (3)
  • Lille 1 (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 7 (3)
  • Strasbourg (3)
  • Toulouse 1 (3)
  • Tours (3)
  • Besançon (2)
  • Clermont-Ferrand 2 (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (2)
  • Grenoble INPG (2)
  • Le Mans (2)
  • Lille 2 (2)
  • Lyon 1 (2)
  • Lyon, INSA (2)
  • Lyon, École normale supérieure (2)
  • Nancy 1 (2)
  • Nancy 2 (2)
  • Paris 2 (2)
  • Paris, EHESS (2)
  • Paris, Ecole nationale des chartes (2)
  • Pau (2)
  • Perpignan (2)
  • Toulouse, INSA (2)
  • Valenciennes (2)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Amiens (1)
  • Angers (1)
  • Antilles (1)
  • Artois (1)
  • Cachan, Ecole normale supérieure (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clermont-Ferrand 1 (1)
  • Corte (1)
  • Ecole Nationale Supérieure des télécommunications (1)
  • Indiana university (1)
  • La Rochelle (1)
  • Lille 3 (1)
  • Limoges (1)
  • Montpellier 1 (1)
  • Montpellier 2 (1)
  • Montpellier 3 (1)
  • Montpellier, Ecole nationale supérieure de chimie (1)
  • Mulhouse (1)
  • Paris 8 (1)
  • Paris 9 (1)
  • Paris, ENMP (1)
  • Paris, ENST (1)
  • Paris, EPHE (1)
  • Prove & Run (1)
  • Reims (1)
  • Rennes 2 (1)
  • Toulouse, INPT (1)
  • Universidade federal da Bahia (1)
  • Università degli studi (Pise, Italie) (1)
  • Università degli studi (Sienne, Italie) (1)
  • Università degli studi (Trieste, Italie) (1)
  • Università degli studi di Napoli Federico II (1)
  • Universität Bayreuth (1)
  • Université Badji Mokhtar-Annaba (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université d'Antananarivo (1)
  • Université de Genève. Faculté des sciences (1)
  • Université de Liège (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Tunis (1)
  • Université de Tunis El Manar (1)
  • Université libanaise (1)
  • Versailles-St Quentin en Yvelines (1)
  • École nationale des chartes (Paris) (1)
  • École nationale des ponts et chaussées (France) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (81)
  • Histoire (13)
  • Mathématiques (8)
  • Droit privé (7)
  • Science politique (7)
  • Droit (6)
  • Immunologie (6)
  • Droit privé et sciences criminelles (5)
  • Mathématiques Appliquées (5)
  • Philosophie (5)
  • Sciences de gestion (5)
  • Sciences de la vie et de la santé (5)
  • Automatique (4)
  • Génie électrique (4)
  • Histoire de l'art (4)
  • Mathématiques appliquées (4)
  • Psychologie (4)
  • Sociologie (4)
  • Chimie (3)
  • Droit public (3)
  • Histoire moderne et contemporaine (3)
  • Mathématiques et Informatique (3)
  • Neurosciences (3)
  • Physique (3)
  • Sciences appliquées (3)
  • Archéologie (2)
  • Biologie (2)
  • Biologie cellulaire et moléculaire (2)
  • Cancérologie (2)
  • Didactique des mathématiques (2)
  • Epistémologie, histoire des sciences et des techniques (2)
  • Histoire du droit (2)
  • Instrumentation et informatique de l'image (2)
  • Nano electronique et nano technologies (2)
  • Sciences de Gestion (2)
  • Sciences de l'information et de la communication (2)
  • Sciences de l'éducation (2)
  • Sciences des matériaux (2)
  • Sciences du langage (2)
  • Sciences et techniques (2)
  • Sciences et technologie industrielles (2)
  • Sciences politiques (2)
  • Sciences économiques (2)
  • Études anglophones (2)
  • Anthropologie sociale et historique (1)
  • Arts (1)
  • Aspects moleculaires et cellulaires de la biologie (1)
  • Aspects moléculaires et cellulaires de la biologie. Hématologie et oncologie (1)
  • Automatique et informatique (1)
  • Automatique et informatique industrielle (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Ingénierie-Système, Nucléaire (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Automatique, productique (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique, traitement du signal et génie informatique (1)
  • Biochimie et biologie moléculaire (1)
  • Biochimie structurale (1)
  • Biodiversité écologie environnement (1)
  • Biologie cellulaire et physiopathologie (1)
  • Biologie de l'environnement, des populations, écologie (1)
  • Biologie interdisciplinaire (1)
  • Biotechnologie, instrumentation, signal (1)
  • Chimie Moléculaire (1)
  • Chimie analytique, physique et théorique (1)
  • Chimie biologie (1)
  • Chimie des Matériaux (1)
  • Chimie organique (1)
  • Chimie séparative matériaux et procédés (1)
  • Droit Privé (1)
  • Droit privé et Sciences Criminelles (1)
  • Droit privé et Sciences criminelles (1)
  • Droit public. Droit international public (1)
  • Ecologie fonctionnelle (1)
  • Electronique et communications (1)
  • Epidémiologie : Nutrition (1)
  • Espagnol (1)
  • Ethologie (1)
  • Etudes cinématographiques (1)
  • Etudes iberiques et méditerranennes (1)
  • Génie informatique (1)
  • Génie informatique, automatique et traitement du signal (1)
  • Géographie (1)
  • Géographie physique (1)
  • Géographie, aménagement, urbanisme (1)
  • Géographie, urbanisme (1)
  • Histoire contemporaine (1)
  • Histoire de l'art -archéologie (1)
  • Histoire du Droit et des Institutions (1)
  • Histoire et archéologie des mondes anciens et médiévaux (1)
  • Histoire grecque (1)
  • Histoire mention Histoire de l'art (1)
  • Histoire option histoire des sciences (1)
  • Histoire, langues, littérature anciennes (1)
  • Histoire. Histoire et civilisations (1)
  • Immunologie et cancérologie (1)
  • Immunologie et microbiologie (1)
  • Informatique et Télécommunication (1)
  • Informatique et Télécommunications (1)
  • Informatique et applications (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Interactions moléculaires et cellulaires (1)
  • Langues et litteratures francaises (1)
  • Langues et littératures. Langues et littératures françaises (1)
  • Langues, littératures et civilisation des pays de langues européennes (1)
  • Lettres & Linguistique (1)
  • Littérature française (1)
  • Littérature française du XIXe siècle (1)
  • Logique et fondements de l'informatique (1)
  • Mathématiques et Modélisation (1)
  • Micro et nanoélectronique (1)
  • Microbiologie Marine (1)
  • Microbiologie-Immunologie (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique des fluides (1)
  • Mécanique, dynamique des structures (1)
  • Médecine nucléaire (1)
  • Médecine. Anthropologie biologique (1)
  • Nanophysique (1)
  • Nanoélectronique et nanotechnologie (1)
  • Neurobiologie et biologie du développement (1)
  • Neuroimmunologie (1)
  • Neuropharmacologie (1)
  • Nutrition et Sciences des Aliments (1)
  • Nutrition et pathologies métaboliques (1)
  • PCN - Sciences cognitives, psychologie et neurocognition (1)
  • Physiologie et biologie des organismes - populations - interactions (1)
  • Physiologie, physiopathologie et thérapeutique (1)
  • Physique des matériaux (1)
  • Physique des particules (1)
  • Physique théorique (1)
  • Réseaux, Télécoms, Systèmes et Architecture (1)
  • Santé publique - épidémiologie (1)
  • Science, ingénierie, santé (1)
  • Sciences appliquées. Informatique, automatique théorique, systèmes (1)
  • Sciences cognitives (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'éducation. Didactique des disciplines (1)
  • Sciences de la Vie et de la Santé (1)
  • Sciences de la vie (1)
  • Sciences de la vie et de la sant? (1)
  • Sciences de la vie et de la sante (1)
  • Sciences de l’éducation (1)
  • Sciences du langage - linguistique (1)
  • Sciences et génie des activités à risques (1)
  • Socio anthroplogie (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Traitement du signal et des images (1)
  • Télécommunications (1)
  • Éthique (1)
  • Études germaniques (1)
  • Études hispaniques et latino-américaines (1)
  • Études ibériques et latino-américaines (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (19)
  • École doctorale Informatique, télécommunications et électronique de Paris (8)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (7)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (6)
  • École doctorale Sciences pour l'Ingénieur (Lille) (6)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (5)
  • I2S - Information, Structures, Systèmes (4)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (....-2013 ; Paris) (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (4)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (4)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (4)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (4)
  • École doctorale Systèmes (Toulouse) (4)
  • École doctorale en Informatique et Mathématiques de Lyon (4)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (3)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (3)
  • Sciences de l'homme, du Politique et du Territoire (3)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (3)
  • École doctorale Droit et Science Politique (Toulouse) (3)
  • École doctorale Europe latine et Amérique latine (Paris) (3)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale d'Histoire de l'Université Paris 1 Panthéon-Sorbonne (Paris) (3)
  • École doctorale histoire, mémoire, patrimoine, langage (Mont- Saint- Aignan, Seine-Maritime) (3)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (3)
  • École doctorale physique (Grenoble) (3)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (3)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • Ecole doctorale Arts et Métiers (Paris) (2)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (2)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Ecole doctorale de Dauphine (Paris) (2)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (2)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (2)
  • École doctorale Arts et médias (Paris) (2)
  • École doctorale Bio Sorbonne Paris Cité (Paris) (2)
  • École doctorale BioSE - Biologie, Santé, Environnement (2)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (2)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (2)
  • École doctorale Savoirs scientifiques : Epistémologie, Histoire des sciences, Didactique des disciplines (Paris) (2)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (2)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (2)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (2)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (2)
  • École doctorale Sciences sociales (Lyon) (2)
  • École doctorale Sociétés, Cultures, Echanges (SCE) (Angers) (2)
  • École doctorale Sociétés, temps, territoires (Angers) (2)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (2)
  • École doctorale de droit (Pessac, Gironde) (2)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (2)
  • École doctorale de droit privé (Paris) (2)
  • École doctorale de l'École des hautes études en sciences sociales (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (2)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • École doctorale physiologie, physiopathologie et thérapeutique (2)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (2)
  • Biologie-Santé (1)
  • ELICC (1)
  • EOS - Économie, Organisation, Société (1)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (1)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (1)
  • Ecole Doctorale Langues, Lettres et Arts (Aix-en-Provence) (1)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (1)
  • Ecole Doctorale de mathématiques et d'Informatique Fondamentale (1)
  • Ecole doctorale 188 (Ecole des chartes-Paris 4) (1)
  • Ecole doctorale Chimie de Paris-Sud (Orsay, Essonne ; 2006-2015) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2015-....) (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 Modélisation et Instrumentation en Physique, Energie, Géosciences et Environnement (Orsay, Essonne ; 2010-2015) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences de la Vie et de la Sant? (Cr?teil ; 2010-2015) (1)
  • Ecole doctorale Sciences de la Vie et de la Santé (Créteil ; 2010-2015) (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 cultures, régulations, institutions et territoires. Versailles (1)
  • Environnements Santé (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATISSE (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • SVS - Sciences de la Vie et de la Santé (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; 2015-....) (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sociétés, Temps, Territoires (1)
  • Systèmes (1)
  • Université de Corse (1975-....). Ecole doctorale "Environnement et société" (ED 377) (1)
  • École Doctorale INTER-MED (Perpignan) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Sciences de la Matière (Toulouse) (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École de droit de la Sorbonne (Paris) (1)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; 2015-....) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale Carnot (Dijon ; .....-2012) (1)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Chimie moléculaire de Paris Centre (Paris) (1)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (1)
  • École doctorale Complexité du vivant (Paris) (1)
  • École doctorale Droit et science politique (Montpellier ; 2010-2014) (1)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (1)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Histoire moderne et contemporaine (Paris) (1)
  • École doctorale Humanités Nouvelles - Fernand Braudel (Lorraine) (1)
  • École doctorale Hématologie, oncogenèse et biothérapies (Paris) (1)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (1)
  • École doctorale Lettres, Sciences Humaines et Sciences Sociales (Créteil) (1)
  • École doctorale Lettres, sciences humaines et sociales (Nice ; 1992-2016) (1)
  • École doctorale Littérature française et comparée (Paris) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Milieu insulaire tropical à risques : protection, valorisation , santé et développement (Pointe-à-Pitre) (1)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (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 Physique et chimie-physique (Strasbourg ; 1994-....) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de l'homme et de la société (Orléans) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (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 juridiques, politiques, économiques et de gestion (Malakoff, Hauts-de-Seine) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (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 économiques, sociales, de l'aménagement et du management (Villeneuve d'Ascq) (1)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2000-2015) (1)
  • École doctorale Sociétés, Espaces, Pratiques, Temps (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale chimie et science du vivant (Grenoble) (1)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (1)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (1)
  • École doctorale de l'École pratique des hautes études (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale en Sciences humaines et sociales (Amiens) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale sciences juridiques (Grenoble) (1)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (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
  • français (317)
  • anglais (41)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (4)
  • Jensen Thomas (4)
  • Daumas Marc (3)
  • Fesquet Laurent (3)
  • Morin-Allory Katell (3)
  • Alazard Daniel (2)
  • Andreu David (2)
  • Barthe Gilles (2)
  • Bertot Yves (2)
  • Bertrand Gilles (2)
  • Blay Jean-Yves (2)
  • Boldo Sylvie (2)
  • Bougé Luc (2)
  • Chapurlat Vincent (2)
  • Chevrier Vincent (2)
  • Compagnon Olivier (2)
  • Cortier Véronique (2)
  • Delahaye David (2)
  • Garoche Pierre-Loïc (2)
  • Giambiasi Norbert (2)
  • Girard Antoine (2)
  • Greiner Alain (2)
  • Hercberg Serge (2)
  • Huet Gérard (2)
  • Héam Pierre-Cyrille (2)
  • James Guillaume (2)
  • Kuzniak Alain (2)
  • Lakhnech Yassine (2)
  • Paulin-Mohring Christine (2)
  • Percebois Christian (2)
  • Pétrot Frédéric (2)
  • Russo Daniel (2)
  • Weill Jean-Claude (2)
  • Werner Benjamin (2)
  • Agogué Hélène (1)
  • Agresti Jean-Philippe (1)
  • Agrinier Nelly (1)
  • Alba Narciso (1)
  • Alberge Florence (1)
  • Allard Bruno (1)
  • Andrieu-Abadie Nathalie (1)
  • Andronikof-Sanglade Anne (1)
  • Antoine Pierre (1)
  • Antoine Xavier (1)
  • Apetoh Lionel (1)
  • Artigues Christian (1)
  • Astaing Antoine (1)
  • Attiogbé Christian (1)
  • Aupiais Jean (1)
  • Avenel Jean (1)
  • Bajard Jean-Claude (1)
  • Barbin Evelyne (1)
  • Barin-Le Guellec Chantal (1)
  • Barkaoui Kamel (1)
  • Baron Georges-Louis (1)
  • Baslez Marie-Françoise (1)
  • Bellagamba Ugo (1)
  • Ben Mahmoud Mohamed Slim (1)
  • Ben Meriem Tayeb (1)
  • Berkani Karim (1)
  • Bernault Carine (1)
  • Berner Christian (1)
  • Bertocci Barbara (1)
  • Bessy Christian (1)
  • Beyries Sylvie (1)
  • Bideaux Eric (1)
  • Bienia Wojciech (1)
  • Binder Didier (1)
  • Blanc Gérard (1)
  • Bloch Isabelle (1)
  • Boblet Marie-Hélène (1)
  • Boczkowski Jorge (1)
  • Boisson Didier (1)
  • Boitard Christian (1)
  • Bon Philippe (1)
  • Boniol Frédéric (1)
  • Bonnetier Eric (1)
  • Borrione Dominique (1)
  • Bosson Jean-Luc (1)
  • Bouchez Agnès (1)
  • Boumendjel Ahcène (1)
  • Bourennane El-Bay (1)
  • Bousquet Franck (1)
  • Bouveret Myriam (1)
  • Bouzid Maroua (1)
  • Boyer Marc (1)
  • Brague Rémi (1)
  • Brandel Jean-Philippe (1)
  • Brasseur Patrice (1)
  • Brisebarre Nicolas (1)
  • Brost Vincent (1)
  • Cadiet Loïc (1)
  • Caillet Jean-Pierre (1)
  • Caire Raphaël (1)
  • Calle-Gruber Mireille (1)
  • Campana Stefano (1)
  • Carrey Julian (1)
  • Carrupt Pierre-Alain (1)
  • Castelluccia Claude (1)
  • Castéran Pierre (1)
  • Catala Michel (1)
  • Catalan Tullia (1)
  • Cerf Aline (1)
  • Chante Jean-Pierre (1)
  • Chanton Olivier (1)
  • Chassaing Jean-Camille (1)
  • Chaulet Rudy (1)
  • Chauleur Céline (1)
  • Chausson François (1)
  • Chevrel Philippe (1)
  • Chevrot Jean-Pierre (1)
  • Chibon Frédéric (1)
  • Choné Paulette (1)
  • Choquet Christophe (1)
  • Claret Philippe (1)
  • Clouteau Didier (1)
  • Cloëz-Tayarani Isabelle (1)
  • Cole Daniel H. (1)
  • Colis Silviu-Mihail (1)
  • Collart-Dutilleul Simon (1)
  • Corbel Pascal (1)
  • Corbineau Pierre (1)
  • Coron Jean-Michel (1)
  • Costa Delphine (1)
  • Costa François (1)
  • Costagliola Dominique (1)
  • Couffignal Georges (1)
  • Crestani Bruno (1)
  • Crouseilles Nicolas (1)
  • Darmoni Stéfan Jacques (1)
  • David René (1)
  • De Lara Michel (1)
  • Dejean Anne (1)
  • Delaune Stéphanie (1)
  • Delebecque Philippe (1)
  • Delmas Bruno (1)
  • Deloustal-Jorrand Virginie (1)
  • Demange Delphine (1)
  • Demortain David (1)
  • Demourgues Alain (1)
  • Denat Franck (1)
  • Derbel Bilel (1)
  • Des Courtils Jacques (1)
  • Desjeux Dominique (1)
  • Deval Emmanuel (1)
  • Devillers Laurence (1)
  • Didier Laurent-Stéphane (1)
  • Didier Philippe (1)
  • Doglio Alain (1)
  • Dony Christophe (1)
  • Dowek Gilles (1)
  • Dressen Marnix (1)
  • Duc Guillaume (1)
  • Duez Philippe (1)
  • Duhamel Pierre (1)
  • Duneau Jean-Pierre (1)
  • Dupont de Dinechin Florent (1)
  • Dupuy Christine (1)
  • Durand Aline (1)
  • Durand-Guerrier Viviane (1)
  • Durand-Lose Jérôme (1)
  • Déchaux Jean-Hugues (1)
  • Efimov Denis (1)
  • El-Koursi El-Miloudi (1)
  • Emiya Valentin (1)
  • Enaux Cédric (1)
  • Eschalier Alain (1)
  • Etien Robert (1)
  • Farge Michel (1)
  • Faure François (1)
  • Favre Karine (1)
  • Filbet Francis (1)
  • Forest Alain (1)
  • Formenti Enrico (1)
  • Fort François (1)
  • Fortin Gilles (1)
  • Fourment François (1)
  • Fournet-Guérin Catherine (1)
  • Fournier Pierre (1)
  • Franc Alain (1)
  • Gangloff Bernard (1)
  • Gantzer Christophe (1)
  • Garçon Anne-Françoise (1)
  • Gaubert Stéphane (1)
  • Gauthier Laury (1)
  • Gautier Thierry (1)
  • Genestier Laurent (1)
  • Genon-Catalot Denis (1)
  • Geuzaine Christophe (1)
  • Ghazel Mohamed (1)
  • Ghiglione Jean-François (1)
  • Gibel Patrick (1)
  • Gilet Philippe (1)
  • Gillet Geneviève (1)
  • Gonin Michel (1)
  • Gonon Patrice (1)
  • Gosselin Laurent (1)
  • Goubin Louis (1)
  • Gourbal Benjamin (1)
  • Grandjean Agnès (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (97)
  • Sciences de l'ingénieur (40)
  • Médecine et santé (33)
  • Droit (30)
  • Sciences de la vie, biologie, biochimie (27)
  • Mathématiques (21)
  • Sciences sociales, sociologie, anthropologie (11)
  • Science politique (10)
  • Géographie et histoire (10)
  • Physique (9)
  • Chimie, minéralogie, cristallographie (9)
  • Histoire ancienne et préhistoire (8)
  • Histoire moderne et contemporaine de l'Europe (8)
  • Education et enseignement (7)
  • Gestion et organisation de l'entreprise (6)
  • Informatique, information, généralités (5)
  • Psychologie (5)
  • Philosophie, psychologie (4)
  • Linguistique générale (4)
  • Littérature de langues romanes. Littérature française (4)
  • Histoire générale de la France (4)
  • Langues romanes. Français (3)
  • Technologie (Sciences appliquées) (3)
  • Arts du spectacle, loisirs (3)
  • Epistémologie, causalité, genre humain (2)
  • Religion (2)
  • Economie (2)
  • Problèmes et services sociaux (2)
  • Langues et linguistique (2)
  • Langue anglaise. Anglo-saxon (2)
  • Langues espagnole et portugaise (2)
  • Sciences de la nature et mathématiques (2)
  • Sciences de la terre (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Arts plastiques. Sculpture (2)
  • Littératures espagnole et portugaise (2)
  • Géographie et voyages (2)
  • Logique (1)
  • Commerce, communications, transports (1)
  • Langues germaniques. Allemand (1)
  • Paléontologie. Paléozoologie (1)
  • Arts. Beaux-arts et arts décoratifs (1)
  • Urbanisme (1)
  • Architecture (1)
  • Dessin. Arts décoratifs (1)
  • Peinture (1)
  • Histoire et critique littéraires, rhétorique (1)

Domaines :

Fullscreen

348 thèses pour "Preuve formelle"

Preuve Formelle en calcul réseau.

par Lucien Rakotomalala sous la direction de Frédéric Boniol et de Marc Boyer. - Toulouse, ISAE

Informatique et Télécommunications

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

Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo

par Mathieu Boespflug sous la direction de Gilles Dowek - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2011
thèse soutenue
Accéder en ligne

Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof

par Florent Bréhard sous la direction de Mioara Maria Joldes et de Nicolas Brisebarre. - Lyon

Informatique

Soutenue le 12-07-2019
thèse soutenue

...Chapitre 8 (cf. Objectif D).A.3 Preuve formelle et implémentations certifiéesUn niveau de confiance encore...

Accéder en ligne

Verified computing in homological algebra

par Arnaud Spiwack sous la direction de Benjamin Werner - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2011
thèse soutenue
Accéder en ligne

Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle

par Alexis Fouilhé sous la direction de David Monniaux et de Michaël Périn. - Grenoble Alpes

Informatique

Soutenue le 15-10-2015
thèse soutenue

...´sentation par contrainteset preuve formelleRevisiting the abstract domain of polyhedra...

Accéder en ligne

Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types : application à la Théorie des Catégories

par Amokrane Saïbi sous la direction de Gérard Huet - Paris 6

Informatique

Soutenue en 1999
thèse soutenue

Schémas algorithmiques prouvables en programmation fonctionnelle : application aux calculs interactifs

par Marc Coiffier sous la direction de Jean-François Monin et de Jean-louis Roch. - Grenoble Alpes

Mathématiques et Informatique

En préparation depuis le 11-04-2018
thèse en cours de préparation

Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation

par Narjes Jomaa sous la direction de Gilles Grimaud et de David Nowak. - Lille 1

Informatique et applications

Soutenue le 20-12-2018
thèse soutenue
Accéder en ligne

Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification

par Thomas Sibut Pinote sous la direction de Assia Mahboubi - Paris Saclay

Informatique

Soutenue le 04-12-2017
thèse soutenue

...CertificationMots clefs : Preuve formelle, Calcul numérique, Calcul formelRésumé : Cette thèse présente trois...

Accéder en ligne

Formal models and verification of memory management in a hypervisor

par Pauline Bolignano sous la direction de Thomas Jensen et de Vincent Siles. - Rennes 1

Informatique

Soutenue le 24-05-2017
thèse soutenue

...’a pas d’effet visible sur le système.La preuve formelle de programme permet non seulement de considérer...

Accéder en ligne

Résultats 1 à 10