Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (25)
  • Cachan, Ecole normale supérieure (12)
  • Nancy 1 (12)
  • Paris 11 (12)
  • Paris Saclay (9)
  • Bordeaux 1 (7)
  • Lille 1 (7)
  • Paris Est (7)
  • Toulouse 3 (7)
  • Bordeaux (5)
  • Nice (5)
  • Université Joseph Fourier (Grenoble) (5)
  • Besançon (4)
  • Paris 1 (4)
  • Clermont-Ferrand 2 (3)
  • Grenoble (3)
  • Nantes (3)
  • Rennes 1 (3)
  • Aix-Marseille 1 (2)
  • Caen (2)
  • Grenoble Alpes (2)
  • Grenoble INPG (2)
  • Lyon 1 (2)
  • Lyon, École normale supérieure (sciences) (2)
  • Montpellier 2 (2)
  • Paris 6 (2)
  • Paris, EHESS (2)
  • Paris, ENST (2)
  • Sorbonne Paris Cité (2)
  • Warsaw, Uniwersytet Warszawski (2)
  • Aix-Marseille 2 (1)
  • Angers (1)
  • Artois (1)
  • Brest (1)
  • Chennai Mathematical Institute (1)
  • Ecole Centrale de Lille (1)
  • Ecole centrale de Nantes (1)
  • Ecole nationale supérieure d'informatique (1)
  • Evry-Val d'Essonne (1)
  • Lille, Université des Sciences et technologies de Lille (1)
  • Lyon (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Metz (1)
  • Montpellier (1)
  • Nantes, Ecole des Mines (1)
  • Nouvelle Calédonie (1)
  • Orléans (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 5 (1)
  • Rouen (1)
  • Strasbourg (1)
  • Toulouse, ISAE (1)
  • Turun yliopisto (1)
  • Universidade nova de Lisboa (1)
  • Università degli studi (Florence, Italie) (1)
  • Università degli studi (Milan, Italie) (1)
  • Université Louis Pasteur (Strasbourg) (1)
  • Université Savoie Mont Blanc (1)
  • Université de Marne-la-Vallée (1)
  • Université de Montréal (1)
  • Université libre de Bruxelles (1970-....) (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (101)
  • Sciences appliquées (21)
  • Mathématiques (6)
  • Informatique et mathématiques (5)
  • Philosophie (4)
  • Sciences et techniques (4)
  • Informat. (3)
  • Informatique et applications (3)
  • Intelligence artificielle (3)
  • Mathématiques. Logique et fondements de l'informatique (3)
  • Informatique et réseaux (2)
  • Mathématiques et leurs applications (2)
  • Automatique et informatique (1)
  • Automatique et informatique appliquée (1)
  • Information. Mathématiques et logique (1)
  • Informatique fondamentale (1)
  • Informatique industrielle et automatiqueInformatique industrielle et automatique (1)
  • Informatique théorique (1)
  • Informatique. Systèmes et communication (1)
  • Linguistique (1)
  • Linguistique. Sémantique formelle (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et applications (1)
  • Mathématiques pures (1)
  • Programmation et systèmes (1)
  • Psychologie (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences et techniques communes (1)
  • Sciences économiques (1)
  • Sciences. Informatique (1)
  • Sciences. Mathématiques (1)
  • Signal, Image, Automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (9)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (7)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • IAEM Lorraine (3)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • ED Sciences pour l'ingénieur (n°72) (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Mathématiques de la région Paris-Sud (1992-2015 ; Orsay) (1)
  • I2S - Information, Structures, Systèmes (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Information, Communication, Modélisation et Simulation (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques et Informatique (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale du Pacifique (Faaa) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (121)
  • anglais (45)
  • null (4)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jouannaud Jean-Pierre (6)
  • Balbiani Philippe (5)
  • Pin Jean-Éric (5)
  • Rusinowitch Michaël (5)
  • Schnoebelen Philippe (4)
  • Demri Stéphane P. (3)
  • Muscholl Anca (3)
  • Perrin Dominique (3)
  • Senizergues Géraud (3)
  • Blackburn Patrick (2)
  • Boitet Christian (2)
  • Bouajjani Ahmed (2)
  • Béal Marie-Pierre (2)
  • Caferra Ricardo (2)
  • Carton Olivier (2)
  • Caucal Didier (2)
  • Choffrut Christian (2)
  • Colcombet Thomas (2)
  • Comon-Lundh Hubert (2)
  • Cortier Véronique (2)
  • Dauchet Max (2)
  • Delon Françoise (2)
  • Doyen Laurent (2)
  • Durand Bruno (2)
  • Finkel Alain (2)
  • Formenti Enrico (2)
  • Galmiche Didier (2)
  • Gastin Paul (2)
  • Goubault-Larrecq Jean (2)
  • Graf Susanne (2)
  • Latteux Michel (2)
  • Lime Didier (2)
  • Lombardi Henri (2)
  • Mugnier Marie-Laure (2)
  • Preller Anne (2)
  • Segoufin Luc (2)
  • Tison Sophie (2)
  • Toumani Farouk (2)
  • Vidal-Naquet Guy (2)
  • Weil Pascal (2)
  • Yovine Sergio (2)
  • Zeitoun Marc (2)
  • Amirat Yacine (1)
  • Anantharaman Siva (1)
  • Asarin Eugène (1)
  • Aucher Guillaume (1)
  • Awada Ali (1)
  • Baget Jean-François (1)
  • Beauchesne Hervé (1)
  • Becher Verónica (1)
  • Bellynck Valérie (1)
  • Benferhat Salem (1)
  • Benoist Jocelyn (1)
  • Benoist Yves (1)
  • Bensalem Saddek (1)
  • Berstel Jean (1)
  • Berthelot Gérard (1)
  • Berthé Valérie (1)
  • Berwanger Dietmar (1)
  • Blanqui Fréderic (1)
  • Bodeveix Jean-Paul (1)
  • Bollig Benedikt (1)
  • Boniol Frédéric (1)
  • Boudol Gérard (1)
  • Bouyer-Decitre Patricia (1)
  • Cegielski Patrick (1)
  • Cervelle Julien (1)
  • Chevalier Yannick (1)
  • Clerbout Mireille (1)
  • Cosnard Michel (1)
  • Courcelle Bruno (1)
  • Curien Pierre-Louis (1)
  • Dague Philippe (1)
  • Dapoigny Richard (1)
  • Dehornoy Patrick (1)
  • Delaune Stéphanie (1)
  • Delmas Rémi (1)
  • Demri Stéphane (1)
  • Desanti Jean-Toussaint (1)
  • Dima Catalin (1)
  • Ditmarsch Hans van (1)
  • Drias Habiba (1)
  • Durand Irène (1)
  • Fages François (1)
  • Feuillade Guillaume (1)
  • Figueira Diego (1)
  • Filali Mamoun (1)
  • François Jean (1)
  • Gandon Fabien (1)
  • Gauwin Olivier (1)
  • Ghilardi Silvio (1)
  • Giorgetti Alain (1)
  • Grigorieff Serge (1)
  • Gross Maurice (1)
  • Göller Stefan (1)
  • Hanafi Saïd (1)
  • Hanrot Guillaume (1)
  • Hermant Olivier (1)
  • Herzig Andreas (1)
  • Huet Gérard (1)
  • Iosif Radu (1)
  • Jacquemard Florent (1)
  • Jard Claude (1)
  • Jayez Jacques (1)
  • Kari Jarkko (1)
  • Kirchner Claude (1)
  • Klaudel Hanna (1)
  • Knapik Teodor (1)
  • Kott Laurent (1)
  • Kouchnarenko Olga (1)
  • Krivine Jean-Louis (1)
  • Kumar Narayan (1)
  • Lakhnech Yassine (1)
  • Lescanne Pierre (1)
  • Litovsky Igor (1)
  • Longo Giuseppe (1)
  • Lozes Étienne (1)
  • Lugiez Denis (1)
  • MAURET BAILLY LAURENT (1)
  • Margenstern Maurice (1)
  • Mazoyer Jacques (1)
  • Melliès Paul-André (1)
  • Minari Pierluigi (1)
  • Miquel Alexandre (1)
  • Monteiro Luis (1)
  • Métivier Yves (1)
  • Narbel Philippe (1)
  • Nef Frédéric (1)
  • Nourine Lhouari (1)
  • Ollinger Nicolas (1)
  • Pagetti Claire (1)
  • Paulin-Mohring Christine (1)
  • Peltier Nicolas (1)
  • Pinchinat Sophie (1)
  • Pommereau Franck (1)
  • Pous Damien (1)
  • Puppis Gabriele (1)
  • RESSAYRE J.-P. (1)
  • RICHARD D. (1)
  • ROUX O. (1)
  • Radu Losif (1)
  • Ranise Silvio (1)
  • Raspaud André (1)
  • Ressayre Jean-Pierre (1)
  • Ringeissen Christophe (1)
  • Roche Christophe (1)
  • Rousset Marie-Christine (1)
  • Roux Olivier Henri (1)
  • Sabbagh Gabriel (1)
  • Sablik Mathieu (1)
  • Sakarovitch Jacques (1)
  • Sandu Gabriel (1)
  • Schneider Michel (1)
  • Schreck Pascal (1)
  • Senellart Pierre (1)
  • Serre Olivier (1)
  • Simone Robert de (1)
  • Sopena Eric (1)
  • Stephan Igor (1)
  • Talbot Jean-Marc (1)
  • Tisseau Jacques (1)
  • Tiuryn Jerzy (1)
  • Touili Tayssir (1)
  • Tréhel Michel (1)
  • Urzyczyn Pawel (1)
  • Voiron Jacques (1)
  • Walukiewicz Igor (1)
  • Wehrung Friedrich (1)
  • Wolff Jacques (1)
  • Yim Pascal (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (121)
  • Sciences de l'ingénieur (26)
  • Mathématiques (21)
  • Technologie (Sciences appliquées) (8)
  • Sciences de la nature et mathématiques (7)
  • Informatique, information, généralités (5)
  • Logique (3)
  • Philosophie, psychologie (2)
  • Linguistique générale (2)
  • Epistémologie, causalité, genre humain (1)
  • Les divers systèmes et écoles philosophiques (1)
  • Psychologie (1)
  • Economie (1)

Domaines :

Fullscreen

177 thèses pour "Décidabilité"

Mathématiques et leurs applications

Soutenue en 2002
thèse soutenue
Informatique et mathématiques

Soutenue en 2006
thèse soutenue
Sciences appliquées

Soutenue en 1995
thèse soutenue
Sciences et techniques

Soutenue en 1998
thèse soutenue

Résultats 1 à 10