Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Palaiseau, Ecole polytechnique (20)
  • Rennes 1 (10)
  • Paris 11 (5)
  • Paris Sciences et Lettres (5)
  • Grenoble (4)
  • Paris 6 (4)
  • Grenoble Alpes (3)
  • Paris 7 (3)
  • Paris Saclay (3)
  • Toulouse 3 (3)
  • Toulouse, ISAE (3)
  • Université Joseph Fourier (Grenoble) (3)
  • Bordeaux 1 (2)
  • Cachan, Ecole normale supérieure (2)
  • Grenoble INPG (2)
  • Lille 1 (2)
  • Paris, CNAM (2)
  • Paris, ENMP (2)
  • Toulouse, ENSAE (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 9 (1)
  • Paris, Ecole normale supérieure (1)
  • Perpignan (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, INPT (1)
  • Université européenne de Bretagne (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (62)
  • Sciences appliquées (7)
  • Mathématiques (3)
  • Sciences et techniques (2)
  • Sciences. Informatique (2)
  • Sureté de logiciel et calcul de haute performance (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)
  • 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 Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (4)
  • Sciences Mathématiques de Paris Centre (3)
  • Sciences et Technologies de l'Information et de la Communication (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 de la communication (Orsay, Essonne) (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 (54)
  • anglais (31)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cousot Radhia (9)
  • Cousot Patrick (8)
  • Halbwachs Nicolas (5)
  • Jensen Thomas (5)
  • Goubault Éric (3)
  • Monniaux David (3)
  • Blazy Sandrine (2)
  • Cassé Hugues (2)
  • Feret Jérôme (2)
  • Irigoin François (2)
  • Lakhnech Yassine (2)
  • Marché Claude (2)
  • Martel Matthieu (2)
  • Miné Antoine (2)
  • Périn Michaël (2)
  • Rival Xavier (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)
  • Bensalem Saddek (1)
  • Berger-Sabbatel Gilles (1)
  • Bouajjani Ahmed (1)
  • COUSOT P. (1)
  • Cachera David (1)
  • Caromel Denis (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)
  • Haar Stefan (1)
  • Jacques Philippe (1)
  • Jard Claude (1)
  • Jeannet Bertrand (1)
  • Jéron Thierry (1)
  • Le Métayer Daniel (1)
  • Lemerre Matthieu (1)
  • Leroy Xavier (1)
  • Mauny Michel (1)
  • Monfroy Éric (1)
  • Monsuez Bruno (1)
  • Morio Jérôme (1)
  • Moy Matthieu (1)
  • Pauleve Loïc (1)
  • Paulin-Mohring Christine (1)
  • Pichardie David (1)
  • Puaut Isabelle (1)
  • QUEINNEC C. (1)
  • Rochange Christine (1)
  • Roux Olivier Henri (1)
  • Sallé Patrick (1)
  • Santinelli Luca (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 (69)
  • Sciences de l'ingénieur (11)
  • 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

Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés

par Juraj KolcÁK (Kolcák) sous la direction de Stefan Haar et de Loïc Pauleve. - Paris Saclay

Informatique

En préparation depuis le 01-03-2017
thèse en cours de préparation

Résultats 1 à 10