Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Palaiseau, Ecole polytechnique (20)
  • Rennes 1 (10)
  • Grenoble (5)
  • Paris 11 (5)
  • Paris 6 (4)
  • Paris Sciences et Lettres (4)
  • Grenoble Alpes (3)
  • Paris 7 (3)
  • Bordeaux 1 (2)
  • Cachan, Ecole normale supérieure (2)
  • Grenoble 1 (2)
  • Grenoble INPG (2)
  • Lille 1 (2)
  • Paris Saclay (2)
  • Paris, CNAM (2)
  • Paris, ENMP (2)
  • Toulouse 3 (2)
  • Toulouse, ENSAE (2)
  • Toulouse, ISAE (2)
  • Ecole centrale de Nantes (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Lyon (1)
  • Montpellier (1)
  • Nice (1)
  • Paris 4 (1)
  • Paris, Ecole normale supérieure (1)
  • Perpignan (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, INPT (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université Paris-Dauphine (1)
  • Université européenne de Bretagne (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (59)
  • Sciences appliquées (8)
  • Mathématiques (3)
  • Sciences et techniques (2)
  • Sciences. Informatique (2)
  • Automatique, Robotique et Informatique Temps Réel (1)
  • Automatique, robotique, traitement du signal et informatique appliquée (1)
  • Informat. (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique et mathématiques appliquées (1)
  • Informatique temps réel, robotique et automatique (1)
  • Ingénierie des Fonctions Biologiques (1)
  • Linguistique (1)
  • Mathématiques appliquées (1)
  • Sciences et techniques. Sciences et techniques communes (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes informatiques (1)
  • Sûreté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (7)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (5)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (4)
  • Sciences Mathématiques de Paris Centre (2)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (2)
  • I2S - Information, Structures, Systèmes (1)
  • MATISSE (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (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 Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale Énergie environnement (Perpignan) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (53)
  • anglais (29)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cousot Radhia (9)
  • Cousot Patrick (8)
  • Halbwachs Nicolas (5)
  • Jensen Thomas (5)
  • Goubault Éric (3)
  • Blazy Sandrine (2)
  • Feret Jérôme (2)
  • Irigoin François (2)
  • Lakhnech Yassine (2)
  • Marché Claude (2)
  • Martel Matthieu (2)
  • Miné Antoine (2)
  • Monniaux David (2)
  • Moy Matthieu (2)
  • Wiels Virginie (2)
  • Accart Hardin Thérèse (1)
  • Attali Isabelle (1)
  • Ausbourg Bruno d' (1)
  • Aït-Kaci Hassan (1)
  • Bahsoun Jean-Paul (1)
  • Berger-Sabbatel Gilles (1)
  • Bouajjani Ahmed (1)
  • COUSOT P. (1)
  • Cachera David (1)
  • Caromel Denis (1)
  • Cassé Hugues (1)
  • Cazin Jacques (1)
  • Chapoutot Alexandre (1)
  • Courcelle Bruno (1)
  • Cousot P. (1)
  • Coutte François (1)
  • Crégut Pierre (1)
  • DONZEAU-GOUGE VERONIQUE (1)
  • David Vincent (1)
  • Delahaye Jean-Paul (1)
  • Delmas Rémi (1)
  • Delport Marie-France (1)
  • Dubois Catherine (1)
  • Ducournau Roland (1)
  • FEAUTRIER P. (1)
  • Filiol Éric (1)
  • Folliot Bertil (1)
  • Féraud Louis (1)
  • Garoche Pierre-Loïc (1)
  • Gaubert Stéphane (1)
  • Genet Thomas (1)
  • Girault Alain (1)
  • Gonnord Laure (1)
  • Goubault-Larrecq Jean (1)
  • Graf Susanne (1)
  • Haar Stefan (1)
  • Jacques Philippe (1)
  • Jard Claude (1)
  • Jeannet Bertrand (1)
  • Jéron Thierry (1)
  • Le Métayer Daniel (1)
  • Leroy Xavier (1)
  • Mauny Michel (1)
  • Monfroy Éric (1)
  • Monsuez Bruno (1)
  • Paulin-Mohring Christine (1)
  • Pichardie David (1)
  • Puaut Isabelle (1)
  • Périn Michaël (1)
  • QUEINNEC C. (1)
  • Rival Xavier (1)
  • Roux Olivier Henri (1)
  • Sallé Patrick (1)
  • Schmitt Alan (1)
  • Sighireanu Mihaela (1)
  • Strandh Robert (1)
  • Vivien Frédéric (1)
  • Yakobowski Boris (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (65)
  • Sciences de l'ingénieur (12)
  • Mathématiques (6)
  • Informatique, information, généralités (3)
  • Technologie (Sciences appliquées) (3)
  • Sciences de la nature et mathématiques (2)
  • Linguistique générale (1)
  • Génie chimique, technologies alimentaires (1)

Domaines :

Fullscreen
Informatique

Soutenue en 1994
thèse soutenue

...améliorent la précision de l’analyse.Habituellement, l’interprétation abstraite consiste en un calcul de...

Accéder en ligne
Sciences. Informatique

Soutenue en 2002
thèse soutenue

Résultats 1 à 10