Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (25)
  • Paris 11 (14)
  • Grenoble INPG (7)
  • Nice (5)
  • Paris Saclay (5)
  • Rennes 1 (5)
  • Aix-Marseille 1 (4)
  • Angers (3)
  • Caen (3)
  • Grenoble 1 (3)
  • Paris 6 (3)
  • Paris 7 (3)
  • Toulouse 3 (3)
  • Université de Lorraine (3)
  • Cachan, Ecole normale supérieure (2)
  • Dijon (2)
  • Grenoble (2)
  • Lyon, École normale supérieure (sciences) (2)
  • Montpellier 2 (2)
  • Orléans (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris, CNAM (2)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Evry-Val d'Essonne (1)
  • LISI - Laboratoire d'Ingénierie des Systèmes d'Information (Lyon, INSA) (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lyon 1 (1)
  • Lyon, INSA (1)
  • Paris 12 (1)
  • Paris Sciences et Lettres (1)
  • Sorbonne Paris Cité (1)
  • Strasbourg 1 (1)
  • U tecnica federico santa maria - chili (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Université de Marne-la-Vallée (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (70)
  • Sciences appliquées (19)
  • Sciences et techniques communes (4)
  • Sciences (3)
  • Informatique et mathématiques (2)
  • Informatique et mathématiques. Intelligence artificielle (2)
  • Intelligence artificielle (2)
  • Micro et nano-électronique (2)
  • Sciences. Informatique (2)
  • Bioinformatique (1)
  • Génie informatique et automatique (1)
  • Informatique fondamentale (1)
  • Ingénierie informatique (1)
  • Mathématiques et applications (1)
  • Mathématiques. Calcul formel (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Sciences appliquée (1)
  • Sciences et techniques (1)
  • Sciences et techniques. Chimie (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Informatique de Paris-Sud (5)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • IAEM Lorraine (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Ecole doctorale de Dauphine (Paris) (1)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (91)
  • anglais (20)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Caferra Ricardo (6)
  • Kirchner Claude (6)
  • Lescanne Pierre (5)
  • Galmiche Didier (4)
  • Kirchner Hélène (4)
  • Comon-Lundh Hubert (3)
  • Jouannaud Jean-Pierre (3)
  • Siegel Pierre (3)
  • Bertot Yves (2)
  • Blackburn Patrick (2)
  • Blanqui Fréderic (2)
  • Boulaye Guy (2)
  • Chabrier Jean-Jacques (2)
  • Conchon Sylvain (2)
  • Dowek Gilles (2)
  • Enjalbert Patrice (2)
  • Herzig Andreas (2)
  • Huet Gérard (2)
  • Jensen Thomas (2)
  • Kodratoff Yves (2)
  • Lugiez Denis (2)
  • Merz Stephan (2)
  • Monfroy Éric (2)
  • Peltier Nicolas (2)
  • Pierre Laurence (2)
  • Saubion Frédéric (2)
  • Trilling Laurent (2)
  • ANANTMARAMAN S. (1)
  • Alché-Buc Florence d' (1)
  • Anantharaman Siva (1)
  • Beauquier Danièle (1)
  • Becher Verónica (1)
  • Bellot Patrick (1)
  • Benzaken Véronique (1)
  • Blazy Sandrine (1)
  • Borrione Dominique (1)
  • Burel Guillaume (1)
  • COSTE-ROY M. F. (1)
  • Calmet Jacques (1)
  • Caromel Denis (1)
  • Cazenave Tristan (1)
  • Cerrito Serenella (1)
  • Chein Michel (1)
  • Cichon Eugeniusz-Adam (1)
  • Contejean Evelyne (1)
  • Cousineau Guy (1)
  • Cousot Patrick (1)
  • Crolard Tristan (1)
  • Dauchet Max (1)
  • Delahaye David (1)
  • Demolombe Robert (1)
  • Déharbe David (1)
  • Dufourd Jean-François (1)
  • Duval Dominique (1)
  • Désarménien Jacques (1)
  • Enjalbert P. (1)
  • FROIDEVAUX VIORICA (1)
  • Fariñas del Cerro Luis (1)
  • Filliâtre Jean-Christophe (1)
  • Fontaine Pascal (1)
  • Froidevaux Christine (1)
  • Frydman Claudia (1)
  • Gaudel Marie-Claude (1)
  • Genet Thomas (1)
  • Godart Claude (1)
  • Hamri Amine (1)
  • Henrio Ludovic (1)
  • Hermann Nicolas (1)
  • Hermant Olivier (1)
  • Kahn Gilles (1)
  • Keller Chantal (1)
  • Kossovski Nicolai (1)
  • Kounalis Emmanuel (1)
  • Leclère Michel (1)
  • Levrat Bernard (1)
  • Marche Claude (1)
  • Margenstern Maurice (1)
  • Mezher Dani (1)
  • Miller Dale (1)
  • Morel Henri (1)
  • Mossière Jacques (1)
  • Mourrain Bernard (1)
  • Mugnier Marie-Laure (1)
  • Paulin-Mohring Christine (1)
  • Perrin Guy-René (1)
  • Pitrat Jacques (1)
  • Rioboo Renaud (1)
  • Roy Marie-Françoise (1)
  • Schaub Torsten (1)
  • Stratulat Sorin (1)
  • Tisseron Claude (1)
  • Wolff Burkhart (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (80)
  • Sciences de l'ingénieur (25)
  • Mathématiques (9)
  • Sciences de la nature et mathématiques (7)
  • Technologie (Sciences appliquées) (5)
  • Physique (2)
  • Informatique, information, généralités (1)
  • Chimie, minéralogie, cristallographie (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen
Sciences et techniques communes

Soutenue en 1987
thèse soutenue
Informatique

Soutenue en 1994
thèse soutenue
Sciences appliquées

Soutenue en 1997
thèse soutenue
Sciences et techniques communes

Soutenue en 1991
thèse soutenue
Sciences appliquées

Soutenue en 1991
thèse soutenue
Sciences appliquées

Soutenue en 1994
thèse soutenue

Exemples de demonstration automatique en geometrie reelle

par AHMED GUERGUEB sous la direction de M. F. COSTE-ROY - Rennes 1

Sciences et techniques communes

Soutenue en 1990
thèse soutenue
Sciences appliquées

Soutenue en 1993
thèse soutenue

Résultats 1 à 10