Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Palaiseau, Ecole polytechnique (20)
  • Rennes 1 (10)
  • Paris Sciences et Lettres (6)
  • Paris 11 (5)
  • Grenoble (4)
  • Paris 6 (4)
  • Paris Saclay (4)
  • Grenoble Alpes (3)
  • Paris 7 (3)
  • Toulouse 3 (3)
  • Toulouse, ISAE (3)
  • Bordeaux 1 (2)
  • Cachan, Ecole normale supérieure (2)
  • Grenoble 1 (2)
  • Grenoble INPG (2)
  • Lille 1 (2)
  • Paris, CNAM (2)
  • Paris, ENMP (2)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (2)
  • Ecole centrale de Nantes (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Limoges (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é Joseph Fourier (Grenoble) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université européenne de Bretagne (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (66)
  • Sciences appliquées (7)
  • Mathématiques (2)
  • 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) (8)
  • Sciences Mathématiques de Paris Centre (5)
  • É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 Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (4)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (3)
  • I2S - Information, Structures, Systèmes (1)
  • MATISSE (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 Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (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 (55)
  • anglais (28)
  • null (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cousot Patrick (9)
  • Cousot Radhia (9)
  • Halbwachs Nicolas (5)
  • Jensen Thomas (5)
  • Goubault Éric (3)
  • Monniaux David (3)
  • Rival Xavier (3)
  • Blazy Sandrine (2)
  • Cassé Hugues (2)
  • Feret Jérôme (2)
  • Irigoin François (2)
  • Lakhnech Yassine (2)
  • Lemerre Matthieu (2)
  • Marché Claude (2)
  • Martel Matthieu (2)
  • Miné Antoine (2)
  • Périn Michaël (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)
  • Cachera David (1)
  • Caromel Denis (1)
  • Cazin Jacques (1)
  • Chapoutot Alexandre (1)
  • Charpiat Guillaume (1)
  • Chihani Zakaria (1)
  • Courcelle Bruno (1)
  • Cousot P. (1)
  • Coutte François (1)
  • Crégut Pierre (1)
  • David Vincent (1)
  • Delahaye Jean-Paul (1)
  • Delmas Rémi (1)
  • Delport Marie-France (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Dubois Catherine (1)
  • Ducournau Roland (1)
  • Feautrier Paul (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)
  • Lanet Jean-Louis (1)
  • Le Métayer Daniel (1)
  • Leroy Xavier (1)
  • Mauny Michel (1)
  • Mezghiche Mohamed (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 Christian (1)
  • Rochange Christine (1)
  • Roux Olivier Henri (1)
  • Sallé Patrick (1)
  • Santinelli Luca (1)
  • Schmitt Alan (1)
  • Schoenauer Marc (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 (73)
  • Sciences de l'ingénieur (11)
  • Mathématiques (5)
  • 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
Informatique

En préparation depuis le 01-10-2014
 thèse en cours de préparation
Soutenance prévue le 26-02-2019

Résultats 1 à 10