Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (92)
  • Grenoble Alpes (59)
  • Grenoble (45)
  • Rennes 1 (25)
  • Lyon (22)
  • Paris Sciences et Lettres (17)
  • Sorbonne Paris Cité (17)
  • Toulouse 3 (12)
  • Paris 6 (11)
  • Université de Lorraine (11)
  • Montpellier (10)
  • Ecole centrale de Lille (9)
  • Paris, CNAM (9)
  • Bordeaux (8)
  • Côte d'Azur (7)
  • Paris Est (7)
  • Toulouse, INSA (7)
  • Toulouse, ISAE (7)
  • Aix-Marseille (6)
  • Artois (6)
  • Belfort-Montbéliard (6)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (6)
  • Toulouse, INPT (6)
  • Bourgogne Franche-Comté (5)
  • Lorient (5)
  • Paris, Ecole normale supérieure (5)
  • Besançon (4)
  • Brest (4)
  • Clermont-Ferrand 2 (4)
  • Dijon (4)
  • Normandie (4)
  • Orléans (4)
  • Paris 11 (4)
  • Paris, ENST (4)
  • Limoges (3)
  • Montpellier 2 (3)
  • Mulhouse (3)
  • Nantes (3)
  • Paris 1 (3)
  • Poitiers (3)
  • Toulouse 1 (3)
  • University of Western Sydney (3)
  • Cachan, Ecole normale supérieure (2)
  • Compiègne (2)
  • Ecole centrale de Nantes (2)
  • Evry, Institut national des télécommunications (2)
  • Institut polytechnique de Paris (2)
  • Lyon 1 (2)
  • Lyon, INSA (2)
  • Paris 10 (2)
  • Paris 5 (2)
  • Reims (2)
  • Rennes, École normale supérieure (2)
  • Strasbourg (2)
  • Toulon (2)
  • Université libanaise (2)
  • Valenciennes (2)
  • Academy of mathematics and systems science (Pékin) (1)
  • Angers (1)
  • Avignon (1)
  • Bordeaux 1 (1)
  • Bordeaux 3 (1)
  • CentraleSupélec (1)
  • Cergy-Pontoise (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clermont Auvergne (1)
  • Colorado state university (1)
  • ENS (1)
  • Ecole centrale de Marseille (1)
  • Georgia institute of technology (1)
  • Grenoble INPG (1)
  • Institut polytechnique de Kiev (Ukraine) (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • La Réunion (1)
  • Lyon, École normale supérieure (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montpellier, SupAgro (1)
  • Nancy 1 (1)
  • Nantes, Ecole des Mines (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 13 (1)
  • Paris 7 (1)
  • Paris Saclay (1)
  • Paris, ENSAM (1)
  • Pau (1)
  • Perpignan (1)
  • Petronas (1)
  • Prove & Run (1)
  • Rennes, INSA (1)
  • Rhodes university (Grahamstown, Afrique du Sud) (1)
  • Sorbonne université (1)
  • Southeast university (Nanjing, China) (1)
  • Sveučilište u Zagrebu (1)
  • Technische Universität (Darmstadt, Allemagne) (1)
  • Tsinghua University (Pékin) (1)
  • UNIVERSITE DE TRENTE (1)
  • Universidad de la República (Montevideo) (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universitat de les Illes Balears (1)
  • Universitatea politehnica (Bucarest) (1)
  • University of Cambridge (1)
  • University of Houston (1)
  • University of Nebraska-Lincoln (1)
  • University of Waterloo (Canada) (1)
  • Università degli studi (Padoue, Italie). Dipartimento di filosofia, sociologia, pedagogia e psicologia applicata (1)
  • Università degli studi (Trente, Italie) (1)
  • Università degli studi La Sapienza (Rome) (1)
  • Università degli studi della Calabria (1)
  • Università degli studi di Roma "Tor Vergata" (1)
  • Universität des Saarlandes (1)
  • Université Laval (Québec, Canada) (1)
  • Université Libanaise (Liban) (1)
  • Université Lomonossov (Moscou) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Mohamed V (1)
  • Université Paris-Est Créteil Val de Marne (UPEC) (1)
  • Université de Berne. Collegium generale (1)
  • Université de Montréal (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax. Faculté des sciences économiques et de gestion (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Tunis (1)
  • Université de Tunis El Manar (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université normale de la Chine de l'Est (Shanghai) (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 (267)
  • Automatique (18)
  • Mathématiques appliquées (17)
  • Mathématiques et Informatique (9)
  • Mathématiques et informatique (9)
  • Informatique et applications (7)
  • Mathématiques Appliquées (7)
  • Physique (7)
  • Mathématiques (6)
  • Stic (6)
  • Astronomie et Astrophysique (4)
  • Robotique (4)
  • Informatique et réseaux (3)
  • Nanoélectronique et nanotechnologie (3)
  • Physique des particules (3)
  • Réseaux, information et communications (3)
  • ATS - Automatique et Traitement de Signal (2)
  • Automatique - productique (2)
  • Automatique et productique (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, génie informatique, traitement du signal et des images (2)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Automatique, traitement du signal et des images (2)
  • Bioinformatique (2)
  • Génie Industriel (2)
  • Génie mécanique, mécanique des matériaux (2)
  • Information, communications, électronique (2)
  • Informatique et Télécommunications (2)
  • Informatique. Informatique fondamentale (2)
  • Instrumentation et informatique de l'image (2)
  • Mathématiques aux interfaces (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Matériaux, mécanique, génie civil, électrochimie (2)
  • Mécanique des solides (2)
  • Nanophysique (2)
  • Philosophie (2)
  • Physique subatomique et astroparticules (2)
  • Sciences et technologie industrielles (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Traitement du signal et des images (2)
  • Électronique (2)
  • Acoustique (1)
  • Acoustique sous-marine et traitement du signal (1)
  • Astroparticules et cosmologie (1)
  • Automatique et informatique industrielle (1)
  • Automatique, Dynamique des fluides (1)
  • Automatique, Productique et Robotique (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • BIDAP - Biologie, Interactions, Diversité Adaptative des Plantes (1)
  • Biologie cellulaire (1)
  • Biologie-santé (1)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (1)
  • Chimie des matériaux (1)
  • Chimie et physico-chimie des matériaux (1)
  • Conception (1)
  • Economie (1)
  • Electronique (1)
  • Electronique (STIC) (1)
  • Electronique et Optoélectronique, Nano- et Microtechnologies (1)
  • Electronique et communications (1)
  • Energie Electrique (1)
  • Genie Electrique (1)
  • Génie Civil (1)
  • Génie civil (1)
  • Génie informatique (1)
  • Génie informatique, automatique et traitement du signal (1)
  • Génie électrique (1)
  • Géographie (1)
  • Géosciences, ressources naturelles et environnement (1)
  • Image, Vision et Santé (1)
  • Imagerie et physique médicale (1)
  • Informaique (1)
  • Informatique et Télécommunication (1)
  • Informatique et génie environnemental (1)
  • Informatique et génie industriel (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique. Modélisation et vérification (1)
  • Intelligence Artificielle / Aide à la décision (1)
  • Mathematiques appliquees (1)
  • Mathématiques informatique (1)
  • Mathématique, informatique temps-réel, robotique (1)
  • Mathématiques appliquées - combustion (1)
  • Mathématiques appliquées et application des mathématiques (1)
  • Mathématiques financières (1)
  • Mathématiques fondamentales (1)
  • Mathématiques, informatique temps réel, robotique (1)
  • Mathématiques, informatique temps-réel, robotique (1)
  • Mathématiques-Informatique (1)
  • Micro et Nano Technologies, Acoustique et Télécommunications (1)
  • Micro et Nanosystèmes (1)
  • Micro et nanoélectronique (1)
  • Microélectronique (1)
  • Milieux denses, Matériaux et Composants (1)
  • Mouvement et comportement pour la santé et l'autonomie (1)
  • Mécanique (1)
  • Mécanique des fluides (1)
  • Nano electronique et nano technologies (1)
  • Neurosciences (1)
  • Physique appliquée (1)
  • Physique de la matière condensée et du rayonnement (1)
  • Physique des Particules et Astroparticules (1)
  • Physique et Chimie des Matériaux (1)
  • Physique et sciences de la matière. Matière condensée et nanosciences (1)
  • Physique et sciences de la matière. Optique, photonique et traitement d'image (1)
  • Physique théorique (1)
  • Physique. Physique de l'Univers (1)
  • Recherche clinique. Innovation technologique. Santé publique (1)
  • Réseaux, Télécoms, Systèmes et Architecture (1)
  • Réseaux, télécom, système et architecture (1)
  • Science de données (1)
  • Sciences (1)
  • Sciences appliquées (1)
  • Sciences de gestion (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'ingénieur (1)
  • Sciences de la Terre (1)
  • Sciences de la planète et de l'univers (1)
  • Sciences de la terre et des planètes solides (1)
  • Sciences de la vie (1)
  • Sciences et Techniques de l'Environnement (1)
  • Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Sciences et génie des matériaux (1)
  • Sciences et techniques communes (1)
  • Sciences et technologie - Informatique (1)
  • Sciences et technologies industrielles (1)
  • Sciences économiques (1)
  • Sciences économiques - EM2PSI (1)
  • Signal et images (1)
  • Signal, Image, Parole et Télécoms (1)
  • Signal, Image, Vision (1)
  • Signal, image, paroles, télécoms (1)
  • Statistiques (1)
  • Systèmes Embarqués et Robotique (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Systèmes embarqués (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Technologies de l'Information et des Systèmes (1)
  • Terre Solide (1)
  • Traitement du Signal et Télécommunications (1)
  • Traitement du Signal et des Images (1)
  • Traitement du signal et télécommunications (1)
  • Études anglophones (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (73)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (62)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (26)
  • École doctorale Informatique, télécommunications et électronique de Paris (20)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (18)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (17)
  • École doctorale Sciences pour l'Ingénieur (Lille) (17)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (17)
  • École doctorale en Informatique et Mathématiques de Lyon (15)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (13)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (11)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (11)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (11)
  • École doctorale physique (Grenoble) (9)
  • I2S - Information, Structures, Systèmes (7)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (7)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (6)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (6)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (5)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (5)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (5)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (5)
  • MATHSTIC (4)
  • MATISSE (4)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (4)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (4)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (4)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (4)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • École doctorale Particules, Hadrons, Énergie et Noyau : Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (4)
  • École doctorale Systèmes (Toulouse) (4)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (4)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (3)
  • Ecole doctorale Informatique de Paris-Sud (3)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (3)
  • École doctorale Aéronautique-Astronautique (Toulouse) (3)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (3)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (3)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (3)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (3)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (3)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • Mathématiques Informatique Télécommunications de Toulouse (2)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (2)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (2)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (2)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (2)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (2)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (2)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale de l'Institut polytechnique de Paris (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 Électronique, électrotechnique, automatique (Lyon) (2)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (1)
  • Ecole doctorale Modélisation et Instrumentation en Physique, Energie, Géosciences et Environnement (Orsay, Essonne ; 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 pour l'ingénieur (Clermont-Ferrand) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (Cergy-Pontoise, Val d'Oise) (1)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau - Ecole Doctorale (1)
  • IAEM Lorraine (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)
  • Mécanique, Energétique, Génie Civil, Procédés (1)
  • Sciences Chimiques Balard (1)
  • Systèmes (1)
  • École Doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Jean-Henri Lambert (1)
  • École Doctorale Sciences de la Matière (Toulouse) (1)
  • École Doctorale Systèmes (Toulouse) (1)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Matière, Molécules et Matériaux (Le Mans) (1)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (1)
  • École doctorale Physique et chimie des matériaux (Paris) (1)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (1)
  • École doctorale Sciences de la mer (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 de l’univers, de l’environnement et de l’espace (Toulouse) (1)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (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 économiques et gestion (Lyon) (1)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale chimie et science du vivant (Grenoble) (1)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences de gestion (Grenoble) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale Énergie environnement (Perpignan) (1)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (393)
  • français (147)
  • chinois (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (6)
  • Dubois Catherine (5)
  • Lakhnech Yassine (5)
  • Wolff Burkhart (5)
  • Blazy Sandrine (4)
  • Calvary Gaëlle (4)
  • Fouque Pierre-Alain (4)
  • Jensen Thomas (4)
  • Maler Oded (4)
  • Merz Stephan (4)
  • Schoenauer Marc (4)
  • Bozga Dorel Marius (3)
  • Cortier Véronique (3)
  • Delahaye David (3)
  • Delaune Stéphanie (3)
  • Dowek Gilles (3)
  • Lanet Jean-Louis (3)
  • Le Gall Pascale (3)
  • Loulergue Frédéric (3)
  • Maudet Nicolas (3)
  • Mazza Damiano (3)
  • Monniaux David (3)
  • Mouaddib Abdel-Illah (3)
  • Muller Jean-Michel (3)
  • Naccache David (3)
  • Nicolle Christophe (3)
  • Oquendo Flavio (3)
  • Peltier Nicolas (3)
  • Pesty Sylvie (3)
  • Pointcheval David (3)
  • Teytaud Olivier (3)
  • Toguyeni Abdoul Karim Armand (3)
  • Zhang Dongmo (3)
  • Abdalla Michel (2)
  • Allaire Grégoire (2)
  • Aït-Ameur Yamine (2)
  • Baelde David (2)
  • Barkaoui Kamel (2)
  • Bertrand Nathalie (2)
  • Bhargavan Karthikeyan (2)
  • Bon Philippe (2)
  • Bonald Thomas (2)
  • Boochs Frank (2)
  • Borrione Dominique (2)
  • Brauner Nadia (2)
  • Caferra Ricardo (2)
  • Canudas-de-Wit Carlos (2)
  • Chapurlat Vincent (2)
  • Collart-Dutilleul Simon (2)
  • Cruz Christophe (2)
  • Dague Philippe (2)
  • Dang Thao (2)
  • Darte Alain (2)
  • Delahaye Daniel (2)
  • Dumas Jean-Guillaume (2)
  • Dupuy-Chessa Sophie (2)
  • Euzenat Jérôme (2)
  • Filliâtre Jean-Christophe (2)
  • Fiorino Humbert (2)
  • Gauthier Jean-Paul André (2)
  • Gechter Franck Joseph Aimé (2)
  • Genevès Pierre (2)
  • Girault Alain (2)
  • Goubin Louis (2)
  • Graf Susanne (2)
  • Guerrini Stefano (2)
  • Hacid Mohand Saïd (2)
  • Haddad Serge (2)
  • Hammad Ahmed (2)
  • Herzig Andreas (2)
  • Iosif Radu (2)
  • Joldes Mioara Maria (2)
  • Jéron Thierry (2)
  • Kaci Souhila (2)
  • Khalil Mohamad (2)
  • Lafourcade Pascal (2)
  • Laleau Régine (2)
  • Laurini Robert (2)
  • Layaida Nabil (2)
  • Lourdeaux Domitile (2)
  • Mammar Amel (2)
  • Mateescu Radu (2)
  • Mathieu Fabien (2)
  • Mazure Bertrand (2)
  • Milanes Vicente (2)
  • Miquel Alexandre (2)
  • Monfroy Éric (2)
  • Monsuez Bruno (2)
  • Morel Jean-Michel (2)
  • Morin-Allory Katell (2)
  • Méhaut Jean-François (2)
  • Nakagawa Elisa Yumi (2)
  • Nashashibi Fawzi (2)
  • Perrussel Laurent (2)
  • Pesquet Jean-Christophe (2)
  • Philippot Alexandre (2)
  • Piantanida Juan Pablo (2)
  • Pichardie David (2)
  • Riera Bernard (2)
  • Roisin Cécile (2)
  • Sagot Marie-France (2)
  • Santana Miguel (2)
  • Saïs Lakhdar (2)
  • Semet Frédéric (2)
  • Sirois Yves (2)
  • Termier Alexandre (2)
  • Toumani Farouk (2)
  • Waintal Xavier (2)
  • Wee Hoeteck (2)
  • Zaïdi Fatiha (2)
  • Aad Georges (1)
  • Abdulrab Habib (1)
  • Albert Vincent (1)
  • Allassonnière Stéphanie (1)
  • Allauzen Alexandre (1)
  • Alliez Pierre (1)
  • Aloui Fethi (1)
  • Amblard Maxime (1)
  • Ammari Habib (1)
  • Andréassian Vazken (1)
  • Aoustin Yannick (1)
  • Apkarian Pierre (1)
  • Arcizet Olivier (1)
  • Arinero Richard (1)
  • Arioui Hichem (1)
  • Arlot Sylvain (1)
  • Aubin Hervé (1)
  • Aubourg Éric (1)
  • Audemard Gilles (1)
  • Augusto Vincent (1)
  • Aupetit Michaël (1)
  • Auriol Guillaume (1)
  • Aussel Didier (1)
  • Baccou Jean (1)
  • Bach Francis (1)
  • Badonnel Rémi (1)
  • Badr Youakim (1)
  • Bagdouri Mohammed el- (1)
  • Bahi Jacques (1)
  • Bajard Jean-Claude (1)
  • Baptiste Philippe (1)
  • Bar-Hen Avner (1)
  • Barbe Sophie (1)
  • Basset Michel (1)
  • Bastide Rémi (1)
  • Bastoul Cédric (1)
  • Beldiceanu Nicolas (1)
  • Belkacem Kevin (1)
  • Bellet Daniel (1)
  • Ben Yaghlane Boutheïna (1)
  • Benhenni Karim (1)
  • Benzaken Véronique (1)
  • Berio Giuseppe (1)
  • Berkani Karim (1)
  • Berruet Pascal (1)
  • Bertail Patrice (1)
  • Bertet Patrice (1)
  • Berthomieu Bernard (1)
  • Berthomé Pascal (1)
  • Bertolazzi Enrico (1)
  • Besacier Laurent (1)
  • Besnard Philippe (1)
  • Bessiere Christian (1)
  • Bessière Christian (1)
  • Bessière Pierre (1)
  • Beydoun Kamal (1)
  • Bichot Charles-Edmond (1)
  • Biermé Hermine (1)
  • Bigot Jérémie (1)
  • Blanqui Frédéric (1)
  • Boissier Olivier (1)
  • Boldo Sylvie (1)
  • Bonnel Julien (1)
  • Borde Etienne (1)
  • Bossuet Lilian (1)
  • Bostel Nathalie (1)
  • Bouajjani Ahmed (1)
  • Bouatouch Kadi (1)
  • Bouchiat Vincent (1)
  • Bouissou Marc (1)
  • Bouquet Fabrice (1)
  • Bourdon Jérémie (1)
  • Bourdon Pascal (1)
  • Bouthémy Patrick (1)
  • Bouyer-Decitre Patricia (1)
  • Boué Gwenaël (1)
  • Boyer Anne (1)
  • Brisebarre Nicolas (1)
  • Brotcorne Luce (1)
  • Brun Armelle (1)
  • Buche Patrice (1)
  • Budinger Marc (1)
  • Buhan Maya de (1)
  • Burel Guillaume (1)
  • Burlion Laurent (1)
  • Burtin Etienne (1)
  • Bénabes Philippe (1)
  • Cachera David (1)
  • Cadot Olivier (1)
  • Caillerie Denis (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (329)
  • Sciences de l'ingénieur (96)
  • Mathématiques (52)
  • Physique (33)
  • Informatique, information, généralités (20)
  • Sciences de la vie, biologie, biochimie (8)
  • Médecine et santé (6)
  • Astronomie, cartographie, géodésie (4)
  • Sciences de la terre (4)
  • Technologie (Sciences appliquées) (3)
  • Gestion et organisation de l'entreprise (3)
  • Economie (2)
  • Sciences de la nature et mathématiques (2)
  • Chimie, minéralogie, cristallographie (2)
  • Philosophie, psychologie (1)
  • Logique (1)
  • Philosophie occidentale moderne et philosophies non orientales (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Statistiques générales (1)
  • Science politique (1)
  • Paléontologie. Paléozoologie (1)
  • Animaux. Zoologie (1)
  • Géographie et histoire (1)
  • Histoire générale de l'Amérique du Nord (1)

Domaines :

Fullscreen

527 thèses pour Automated theorem proving

Mathématiques. Logique et fondements de l'informatique

Soutenue en 2015
thèse soutenue
Sciences appliquées

Soutenue en 1994
thèse soutenue

...(8):801 807,1976. doi: 10.1109/TC.1976.1674698.Peter B. Andrews. Theorem proving via general matings. J. ACM...

Accéder en ligne
Sciences et techniques communes

Soutenue en 1991
thèse soutenue
Informatique

Soutenue en 1998
thèse soutenue
Informatique

Soutenue en 1994
thèse soutenue

...Gilles Dowek, Thérèse Hardin, and Claude Kirchner. Theorem Proving Modulo. Journalof Automated...

Accéder en ligne

...of this software on a set of benchmarks.Keywords: automated theorem proving, term schematisation, I...

Accéder en ligne

...calculus of the superdeduction rules.Keywords :Verification, Automated Theorem Proving, Superdeduction, B...

Accéder en ligne
Mathématiques et Informatique

Soutenue le 18-09-2015
thèse soutenue

Résultats 1 à 10