Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (38)
  • Université Paris-Saclay (ComUE) (27)
  • Lyon (25)
  • Université de Lorraine (24)
  • Nancy 1 (21)
  • Grenoble (16)
  • Toulouse 3 (16)
  • Paris 1 (14)
  • Grenoble INPG (9)
  • Paris 11 (9)
  • Paris, CNAM (9)
  • Sorbonne Paris Cité (9)
  • Bordeaux (8)
  • Côte d'Azur (7)
  • Rennes 1 (7)
  • Orléans (6)
  • Paris 6 (6)
  • Toulouse, ISAE (6)
  • Angers (5)
  • Ecole centrale de Lille (5)
  • Montpellier (5)
  • Paris Est (4)
  • Pau (4)
  • Avignon (3)
  • Besançon (3)
  • Bourgogne Franche-Comté (3)
  • Cachan, Ecole normale supérieure (3)
  • Caen (3)
  • Compiègne (3)
  • Dijon (3)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (3)
  • Lyon 1 (3)
  • Nantes (3)
  • Nice (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 10 (3)
  • Paris 7 (3)
  • Toulouse 2 (3)
  • Toulouse, INSA (3)
  • Tours (3)
  • Valenciennes (3)
  • Artois (2)
  • Bordeaux 3 (2)
  • Brest (2)
  • Clermont-Ferrand 2 (2)
  • Ecole centrale de Nantes (2)
  • Lyon, INSA (2)
  • Montpellier 2 (2)
  • Paris Saclay (2)
  • Université Joseph Fourier (Grenoble) (2)
  • Université Savoie Mont Blanc (2)
  • Université de Sfax (Tunisie) (2)
  • Aix-Marseille (1)
  • Aix-Marseille 1 (1)
  • Amiens (1)
  • Beihang university (Pékin) (1)
  • Belfort-Montbéliard (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clemson university (1)
  • Ecole centrale de Marseille (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Ecole nationale supérieure Mines-Télécom Lille Douai (1)
  • Evry-Val d'Essonne (1)
  • Georgia institute of technology (1)
  • Grenoble 1 (1)
  • Istanbul teknik üniversitesi (1)
  • La Rochelle (1)
  • La Réunion (1)
  • Le Mans (1)
  • Lille 1 (1)
  • Lille 2 (1)
  • Limoges (1)
  • Littoral (1)
  • Metz (1)
  • Mulhouse (1)
  • Nantes, Ecole des Mines (1)
  • Normandie (1)
  • Paris 2 (1)
  • Paris 3 (1)
  • Paris 4 (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENSAM (1)
  • Perpignan (1)
  • Rouen (1)
  • Rutgers university (N.J.) (1)
  • Saint-Etienne, Ecole Nationale Supérieure des Mines (1)
  • Strasbourg (1)
  • Supcom (Tunis) (1)
  • Toulouse, INPT (1)
  • U tecnica federico santa maria - chili (1)
  • Universidad de Santiago de Chile (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade de Coimbra (1)
  • Universidade de São Paulo. Faculdade de ciêncas farmacêuticas (1)
  • Universidade federal de Santa Catarina (Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universitatea politehnica (Bucarest) (1)
  • Università degli studi (Padoue, Italie). Dipartimento di filosofia, sociologia, pedagogia e psicologia applicata (1)
  • Universität des Saarlandes (1)
  • Université Laval (Québec, Canada) (1)
  • Université Libanaise (Liban) (1)
  • Université Paris-Est Créteil Val de Marne (UPEC) (1)
  • Université Tunis El Manar. Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (Tunisie) (1)
  • Université de Hanoi -- Vietnam (1)
  • Université de Liège. Faculté de Psychologie et des Sciences de l'Education. Département Education et Formation Pédagogie théorique et expérimentale (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Torino - ITALIE (1)
  • Université du Québec à Trois-Rivières (1)
  • Université libanaise (1)
  • Univerzitet u Beogradu (1)
  • Univerzitet u Novom Sadu (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Vrije universiteit Brussel (1970-....) (1)
  • École nationale des ponts et chaussées (France) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (153)
  • Sciences appliquées (17)
  • Automatique (10)
  • Philosophie (9)
  • Génie électrique (5)
  • Mathématiques (5)
  • Mathématiques et Informatique (5)
  • Droit (4)
  • Intelligence artificielle (4)
  • Sciences et technologie industrielles (4)
  • Sciences économiques (4)
  • Automatique, génie informatique, traitement du signal et des images (3)
  • Droit privé (3)
  • Géosciences (3)
  • Informatique et applications (3)
  • Matériaux (3)
  • Sciences de la vie et de la santé (3)
  • Sciences du langage (3)
  • Sciences et techniques communes (3)
  • Études anglophones (3)
  • Automatique, Productique, Signal et Image, Ingénierie cognitique (2)
  • Bioinformatique (2)
  • Chimie (2)
  • Droit public (2)
  • Génie Electrique (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Nanoélectronique et nanotechnologie (2)
  • Neurosciences cognitives (2)
  • Psychologie (2)
  • Sûreté de logiciel et calcul de haute performance (2)
  • Électronique, électrotechnique, automatique (2)
  • Acoustique (1)
  • Actuariat (1)
  • Automatique - productique (1)
  • Automatique des systèmes industriels et humains (1)
  • Automatique et Informatique appliquée (1)
  • Automatique et productique (1)
  • Automatique et traitement du signal (1)
  • Automatique industrielle et humaine (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie informatique (1)
  • Automatique, productique et robotique (1)
  • Automatique, traitement du signal et des images (1)
  • Automatique. Informatique industrielle (1)
  • Bioinformatique et Génomique (1)
  • Bioingénierie et Sciences et Technologies de l’Information et des Systèmes : Unité de Recherche Biomécanique et Bio-ingénierie (UMR-7338) (1)
  • Biologie (1)
  • Biostatistique (1)
  • Catalyse et génie des procédés (1)
  • Chimie analytique (1)
  • Chimie des substances naturelles (1)
  • Chimie marine (1)
  • Conception des systèmes hétérogènes (1)
  • Contrôles des Systèmes (1)
  • Didactique des langues, cultures et civilisations nationales et étrangères (1)
  • Droit fiscal (1)
  • Droit international et européen (1)
  • Droit privé et Sciences Criminelles (1)
  • Droit privé et sciences criminelles (1)
  • Electronique, micro et nano-électronique, optique et laser (1)
  • Electronique-Electrotechnique-Automatique (1)
  • Etudes anglophones (1)
  • Génie Industriel (1)
  • Génie Industriel : conception et production (1)
  • Génie Urbain (1)
  • Génie chimique (1)
  • Génie civil (1)
  • Génie civil et sciences de l'habitat (1)
  • Génie mécanique (1)
  • Géochimie et écotoxicologie (1)
  • Géographie et Aménagement (1)
  • Géophysique (1)
  • Géosciences marines (1)
  • Histoire (1)
  • Histoire, histoire de l'art et archéologie (1)
  • Histoire, philosophie et didactique des sciences (1)
  • Image, information, hypermedia (1)
  • Informaique (1)
  • Informatique appliquée (1)
  • Informatique et Génie Industriel (1)
  • Informatique, Automatique (1)
  • Informatique. Automatique et informatique des systèmes industriels et humains (1)
  • Informatique. Systèmes et communication (1)
  • Informatique. Web sémantique (1)
  • Ingénierie biomédicale et biotechnologie (1)
  • Ingénierie informatique (1)
  • Lettres et arts spécialité Littératures française et francophone (1)
  • Linguistique (1)
  • Linguistique théorique, descriptive et automatique (1)
  • Littératures et civilisations comparées (1)
  • Mathematiques (1)
  • Mathématiques Appliquées (1)
  • Mathématiques appliquées, Génie mécanique, mécanique des matériaux (1)
  • Mathématiques aux interfaces (1)
  • Matériaux, Mécanique, Génie civil, Electrochimie (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique des fluides (1)
  • Mécanique des solides, des matériaux des structures et des surfaces (1)
  • Mécanique-matériaux (1)
  • Nano electronique et nano technologies (1)
  • Nano-physique, nano-composants, nano-mesures (1)
  • Océan, atmosphère et surfaces continentales (1)
  • Optique et radiofrequences (1)
  • Optique et radiofréquence (1)
  • Paléontologie (1)
  • Physique (1)
  • Procédés de Fabrication, Optimisation de Process et de Produits (1)
  • Psychologie cognitive (1)
  • Réseaux, Télécoms, Systèmes et Architecture (1)
  • Réseaux, télécom, système et architecture (1)
  • SInformatique (1)
  • Santé publique Informatique et Santé (1)
  • Science des matériaux (1)
  • Science du bois et des fibres (1)
  • Sciences Agronomiques (1)
  • Sciences agronomiques (1)
  • Sciences cognitives, psychologie et neurocognition (1)
  • Sciences de gestion (1)
  • Sciences de l'alimentation (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'ingénieur. Automatique et traitement du signal (1)
  • Sciences de l'éducation (1)
  • Sciences de la Terre et de l'Univers et de l'Environnement (1)
  • Sciences de la Terre et de l’Univers (1)
  • Sciences de la vie (1)
  • Sciences de la vie et de la santé, spécialité Bioinformatiques (1)
  • Sciences des matériaux (1)
  • Sciences du langage Spécialité Didactique et Linguistique (1)
  • Sciences du langage. Linguistique Théorique, Descriptive et Automatique (1)
  • Sciences economiques (1)
  • Sciences et techniques (1)
  • Sciences et techniques de l'information et de la communication, informatique (1)
  • Sciences et techniques. Chimie (1)
  • Sciences et technologies industrielles (1)
  • Sciences politiques (1)
  • Sciences. Informatique et automatique appliquées (1)
  • Signal image parole telecoms (1)
  • Signal, Image, Vision (1)
  • Signal, image, paroles, télécoms (1)
  • Socio-économie de l'innovation (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Thermodynamique (1)
  • Traitement du signal et des images (1)
  • Transport (1)
  • Urbanisme - Mention aménagement (1)
  • informatique et automatique appliquées (1)
  • Électronique (1)
  • Études cinématographiques et audiovisuelles (1)
  • Études nord-américaines (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (27)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (21)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (18)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (16)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (10)
  • École doctorale Sciences pour l'Ingénieur (Lille) (10)
  • École doctorale Informatique, télécommunications et électronique de Paris (9)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (7)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (6)
  • École doctorale Philosophie (Paris) (6)
  • École doctorale en Informatique et Mathématiques de Lyon (6)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (5)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (5)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (4)
  • I2S - Information, Structures, Systèmes (4)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (4)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (4)
  • Ecole doctorale Informatique de Paris-Sud (3)
  • Mathématiques Informatique Télécommunications de Toulouse (3)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (3)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (3)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (3)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (3)
  • École doctorale Systèmes (Toulouse) (3)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (3)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (2)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (2)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (2)
  • École doctorale BioSE - Biologie, Santé, Environnement (2)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (2)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (2)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (2)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (2)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (2)
  • École doctorale Sciences économiques et gestion (Lyon) (2)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (2)
  • École doctorale d'Économie (Paris) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (2)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (2)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (2)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • École doctorale Économie, organisations, société (Nanterre) (2)
  • ?cole doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (1)
  • Ecole doctorale Cultures et Sociétés (Créteil ; 2010-2015) (1)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (1)
  • Ecole doctorale Innovation Thérapeutique : du Fondamental à l'Appliqué (Châtenay-Malabry, Haut-de-Seine ; 2000-2015) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • Ecole doctorale de Sciences du Langage (Paris) (1)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (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)
  • MATISSE (1)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (1)
  • SIE - Sciences, Ingénierie et Environnement (1)
  • Sociétés, Politique, Santé Publique (1)
  • École Doctorale INTER-MED (Perpignan) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Neurosciences et Cognition (NSCo) (1)
  • École Doctorale Sciences de la Matière (Toulouse) (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (1)
  • École doctorale Civilisations, cultures, littératures et sociétés (Paris) (1)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (1)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Lettres, langues, linguistique et arts (Lyon) (1)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (1)
  • École doctorale Littérature française et comparée (Paris) (1)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (1)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (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 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 Environnements (Pessac, Gironde) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences juridiques, politiques, économiques et de gestion (Malakoff, Hauts-de-Seine) (1)
  • École doctorale Sciences pour l'ingénieur (Nantes) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Sciences sociales (Lyon) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (1)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale de droit (Pessac, Gironde) (1)
  • École doctorale de droit privé (Paris) (1)
  • École doctorale de droit public et de droit fiscal (Paris) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (229)
  • anglais (168)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Caferra Ricardo (10)
  • Kirchner Claude (9)
  • Fariñas del Cerro Luis (6)
  • Dubois Catherine (4)
  • Galmiche Didier (4)
  • Peltier Nicolas (4)
  • Castagnède Bernard (3)
  • Cortier Véronique (3)
  • Delahaye David (3)
  • Delaune Stéphanie (3)
  • Dowek Gilles (3)
  • El Kamel Abdelkader (3)
  • Lafourcade Pascal (3)
  • Lakhnech Yassine (3)
  • Merz Stephan (3)
  • Blanqui Frédéric (2)
  • Bloch Isabelle (2)
  • Borrione Dominique (2)
  • Caumon Guillaume (2)
  • Comyn-Wattiau Isabelle (2)
  • Enjalbert Patrice (2)
  • Filliâtre Jean-Christophe (2)
  • Fontaine Pascal (2)
  • Gargouri Faiez (2)
  • Garoche Pierre-Loïc (2)
  • Genevès Pierre (2)
  • Hadj-Said Nouredine (2)
  • Iung Benoît (2)
  • Kirchner Hélène (2)
  • Kouloumdjian Jacques (2)
  • Lugiez Denis (2)
  • Lévy Nicole (2)
  • Marion Jean-Yves (2)
  • Martin Philippe (2)
  • Monfroy Éric (2)
  • Morin-Allory Katell (2)
  • Médigue Claudine (2)
  • Raffalli Christophe (2)
  • Roisin Cécile (2)
  • Rusinowitch Michaël (2)
  • Saubion Frédéric (2)
  • Sirdey Renaud (2)
  • Vallenet David (2)
  • Wurtz Étienne (2)
  • Accart Hardin Thérèse (1)
  • Adda Gilles (1)
  • Ah-Pine Julien (1)
  • Ahmad Adeel (1)
  • Alamir Mazen (1)
  • Alazard Daniel (1)
  • Alché-Buc Florence d' (1)
  • Angel-Perez Élisabeth (1)
  • Apkarian Pierre (1)
  • Arbaret Laurent (1)
  • Arbouet Arnaud (1)
  • Arnaud Yves (1)
  • Arrien Sophie-Jan (1)
  • Arvisenet Gaëlle (1)
  • Asperti Andréa (1)
  • Astolfi Jacques André (1)
  • Audemard Gilles (1)
  • Aufaure Marie-Aude (1)
  • Baboli Armand (1)
  • Baelde David (1)
  • Baillé Jacques (1)
  • Bajrić Samir (1)
  • Balbiani Philippe (1)
  • Baptiste Philippe (1)
  • Barbe Sophie (1)
  • Barthe Loïc (1)
  • Baskurt Atilla (1)
  • Bastiani Flora (1)
  • Batistela Nelson Jhoe (1)
  • Battais Fabrice (1)
  • Bayard Jean (1)
  • Beauquier Danièle (1)
  • Bellot Patrick (1)
  • Ben Bakir Badhise (1)
  • Benoist Jocelyn (1)
  • Benzaken Véronique (1)
  • Berkani Karim (1)
  • Bernard Olivier (1)
  • Berthomieu Bernard (1)
  • Bertrand Nathalie (1)
  • Besacier Laurent (1)
  • Besnard Philippe (1)
  • Bhargavan Karthikeyan (1)
  • Bigand Emmanuel (1)
  • Bimbot Frédéric (1)
  • Blackburn Patrick (1)
  • Blanco Éric (1)
  • Blazy Sandrine (1)
  • Bluet Jean-Marie (1)
  • Bobillier-Chaumon Marc-Éric (1)
  • Boizumault Patrice (1)
  • Boldo Sylvie (1)
  • Bonafous-Murat Carle (1)
  • Bonastre Jean-François (1)
  • Borgi Amel (1)
  • Bouatouch Kadi (1)
  • Bouchiat Vincent (1)
  • Boufares Faouzi (1)
  • Bouhoula Adel (1)
  • Boulon Loïc (1)
  • Bouneffa Mourad (1)
  • Bouquet Fabrice (1)
  • Bourlès Didier (1)
  • Bouscayrol Alain (1)
  • Bouyekhf Rachid (1)
  • Boy de la Tour Thierry (1)
  • Bozga Grigore (1)
  • Brisson Luc (1)
  • Brossier Jean-Marc (1)
  • Brunel Stéphane (1)
  • Buclet Nicolas (1)
  • Burel Guillaume (1)
  • Burgorgue-Larsen Laurence (1)
  • Burlion Laurent (1)
  • Bénaben Frédérick (1)
  • Caire Raphaël (1)
  • Calabretto Sylvie (1)
  • Calvet Marc (1)
  • Candito Marie-Hélène (1)
  • Cani Marie-Paule (1)
  • Cardoso João Manuel Rendeiro (1)
  • Carpentier Cédric (1)
  • Cassé Hugues (1)
  • Castagna Pierre (1)
  • Castelli Eric (1)
  • Castelluccia Claude (1)
  • Cavalli Ana (1)
  • Cayre François (1)
  • Cerrito Serenella (1)
  • Chabrier Jean-Jacques (1)
  • Chaigneau Pascal (1)
  • Chambreuil Michel (1)
  • Champy Pierre (1)
  • Chanier Thierry (1)
  • Chapuis Pierre-Olivier (1)
  • Chatalic Philippe (1)
  • Chatti Nizar (1)
  • Chauviré Christiane (1)
  • Chein Michel (1)
  • Cheinet Sylvain (1)
  • Chetouani Mohamed (1)
  • Chevaleyre Yann (1)
  • Chevalier Jérôme (1)
  • Chevallereau Christine (1)
  • Clément André (1)
  • Colas Frédéric (1)
  • Colbach Nathalie (1)
  • Collon Pauline (1)
  • Colson Loïc (1)
  • Comon-Lundh Hubert (1)
  • Contejean Evelyne (1)
  • Cot Annie Louise (1)
  • Cousineau Guy (1)
  • Cousot Patrick (1)
  • Crebier Jean-Christophe (1)
  • Croisille Pierre (1)
  • Cugat Orphée (1)
  • Cuppens Nora (1)
  • DUFEU JACQUES (1)
  • Da Costa Georges (1)
  • Danlos Laurence (1)
  • Darmont Jérôme (1)
  • Daucé Emmanuel (1)
  • David René (1)
  • De Marchi Fabien (1)
  • De Sainte-Catherine Myriam (1)
  • Deboissy Florence (1)
  • Degache Christian (1)
  • Dehairs Frank (1)
  • Delebecque Philippe (1)
  • Delmas Rémi (1)
  • Demongeot Jacques (1)
  • Deransart Pierre (1)
  • Desmontils Emmanuel (1)
  • Devernay Frédéric (1)
  • Déharbe David (1)
  • Diab Youssef (1)
  • Dibie-Barthélemy Juliette (1)
  • Dimand Robert W. (1)
  • Ditmarsch Hans van (1)
  • Doncieux Stéphane (1)
  • Dragomirescu Daniela (1)
  • Dubois Michel (1)
  • Dubois Philippe (1)
  • Dufresne Alain (1)
  • Dujardin Franck (1)
  • Dumontet Vincent (1)
  • Dupays Joël (1)
  • Dupuy-Chessa Sophie (1)
  • Durand Irène (1)
  • Dépret Christian (1)
  • ENJALBERT M. (1)
  • Echenim Bertrand Mnacho (1)
  • Erschler Jacques (1)
  • FROIDEVAUX VIORICA (1)
  • Fauvet Marie-Christine (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (183)
  • Sciences de l'ingénieur (91)
  • Mathématiques (19)
  • Sciences de la vie, biologie, biochimie (14)
  • Droit (13)
  • Sciences de la terre (9)
  • Informatique, information, généralités (8)
  • Philosophie, psychologie (8)
  • Economie (8)
  • Chimie, minéralogie, cristallographie (7)
  • Gestion et organisation de l'entreprise (6)
  • Epistémologie, causalité, genre humain (5)
  • Psychologie (5)
  • Sciences de la nature et mathématiques (5)
  • Physique (5)
  • Technologie (Sciences appliquées) (5)
  • Médecine et santé (5)
  • Langues et linguistique (4)
  • Linguistique générale (4)
  • Education et enseignement (3)
  • Langue anglaise. Anglo-saxon (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Philosophie de l'Antiquité, du Moyen Âge, de l'Orient (1)
  • Philosophie occidentale moderne et philosophies non orientales (1)
  • Théologie morale et pratiques chrétiennes (1)
  • Science politique (1)
  • Commerce, communications, transports (1)
  • Langues helléniques. Grec classique (1)
  • Fabrication industrielle (1)
  • Bâtiments (1)
  • Urbanisme (1)
  • Arts du spectacle, loisirs (1)
  • Histoire et critique littéraires, rhétorique (1)
  • Littérature américaine en anglais (1)
  • Littératures anglaise et anglo-saxonne (1)
  • Littérature de langues romanes. Littérature française (1)
  • Géographie et histoire (1)
  • Géographie et voyages (1)
  • Histoire générale de la France (1)

Domaines :

Fullscreen

387 thèses pour Déduction automatique

Informatique

Soutenue en 2006
thèse soutenue

...Modulo. Cet outil étend Zenon [Bonichon, Delahaye, andDoligez 2007], un outil de déduction automatique au...

Accéder en ligne
Sciences et techniques communes

Soutenue en 1987
thèse soutenue
Informatique

Soutenue le 23-03-2009
thèse soutenue

...Mots clefs : Théorie de la preuve, démonstration automatique de théorèmes, systèmes de réécriture...

Accéder en ligne
Sciences appliquées

Soutenue en 1986
thèse soutenue

Leveraging Automatic Deduction for Verification

par Antoine Defourne sous la direction de Stephan Merz et de Pascal Fontaine. - Université de Lorraine

Informatique

En préparation depuis le 12-03-2019
 thèse en cours de préparation
Informatique

Soutenue en 1994
thèse soutenue
Sciences appliquées

Soutenue en 1997
thèse soutenue
Intelligence artificielle

Soutenue en 1994
thèse soutenue

Résultats 1 à 10