Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (5)
  • Palaiseau, Ecole polytechnique (3)
  • Grenoble (2)
  • Grenoble Alpes (2)
  • Paris Saclay (2)
  • Paris, CNAM (2)
  • Paris, ENMP (2)
  • Toulouse 3 (2)
  • Cachan, Ecole normale supérieure (1)
  • Grenoble 1 (1)
  • Lyon, Ecole normale supérieure (1)
  • Nantes (1)
  • Nice (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université européenne de Bretagne (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (17)
  • Automatique, Robotique et Informatique Temps Réel (1)
  • Informatique temps réel, robotique et automatique (1)
  • Mathématiques appliquées (1)
  • Sciences appliquées (1)
  • Sciences et techniques (1)
  • Sciences et techniques. Sciences et techniques communes (1)
  • Sciences et technologie industrielles (1)
  • Sciences. Informatique (1)
  • Sureté 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) (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • MATISSE (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (15)
  • anglais (11)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jensen Thomas (4)
  • Dubois Catherine (2)
  • Goubault Éric (2)
  • Halbwachs Nicolas (2)
  • Irigoin François (2)
  • Monniaux David (2)
  • Attali Isabelle (1)
  • Boizumault Patrice (1)
  • Cachera David (1)
  • Caromel Denis (1)
  • Cassé Hugues (1)
  • Cousot Patrick (1)
  • Curien Pierre-Louis (1)
  • Delahaye David (1)
  • Féraud Louis (1)
  • Gaubert Stéphane (1)
  • Goubault-Larrecq Jean (1)
  • Krakowiak Sacha (1)
  • Lescanne Pierre (1)
  • Pichardie David (1)
  • Périn Michaël (1)
  • Quinton Patrice (1)
  • Rochange Christine (1)
  • Simon Daniel (1)
  • Strecker Martin (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (18)
  • Sciences de l'ingénieur (4)
  • Technologie (Sciences appliquées) (2)
  • Informatique, information, généralités (1)
  • Sciences de la nature et mathématiques (1)
  • Mathématiques (1)

Domaines :

Fullscreen
Informatique

Soutenue le 21-02-2013
thèse soutenue

.... Contributions à l’analyse statique de programmes manipulantdes tableaux. PhD thesis, Université de Grenoble...

Accéder en ligne
Automatique, Robotique et Informatique Temps Réel

Soutenue en 2006
thèse soutenue

Contribution a l'analyse statique de programmes lambdaprolog

par FREDERIC MALESIEUX GRIMAULT sous la direction de Patrice Boizumault - Nantes

Sciences appliquées

Soutenue en 1999
thèse soutenue

Résultats 1 à 10