Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Palaiseau, Ecole polytechnique (20)
  • Rennes 1 (11)
  • Paris 11 (5)
  • Paris Sciences et Lettres (ComUE) (5)
  • Grenoble (4)
  • Paris 6 (4)
  • Université Paris sciences et lettres (4)
  • Grenoble 1 (3)
  • Institut polytechnique de Paris (3)
  • Paris 7 (3)
  • Sorbonne université (3)
  • Toulouse 3 (3)
  • Toulouse, ISAE (3)
  • Bordeaux 1 (2)
  • Cachan, Ecole normale supérieure (2)
  • Ecole centrale de Nantes (2)
  • Grenoble INPG (2)
  • Lille 1 (2)
  • Paris, CNAM (2)
  • Paris, ENMP (2)
  • Perpignan (2)
  • Sorbonne Paris Cité (2)
  • Toulouse, INPT (2)
  • Université Grenoble Alpes (2)
  • Université Grenoble Alpes (ComUE) (2)
  • Université Paris-Saclay (ComUE) (2)
  • université Paris-Saclay (2)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • East China normal university (Shanghai) (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)
  • Toulouse, ENSAE (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Paris (2019-....) (1)
  • Université européenne de Bretagne (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (76)
  • Sciences appliquées (7)
  • Informatique, données, IA (3)
  • Mathématiques appliquées (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)
  • Electronique, microelectronique, optique et lasers, optoelectronique microondes robotique (1)
  • Frontières du vivant (1)
  • Informatique et Télécommunication (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)
  • Informatique. Modélisation et vérification (1)
  • Ingénierie des Fonctions Biologiques (1)
  • Linguistique (1)
  • Mathématiques (1)
  • Nano electronique et nano technologies (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)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (7)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (6)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (5)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Sciences mathématiques de Paris centre (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (2)
  • École doctorale de l'Institut polytechnique de Paris (2)
  • École doctorale Énergie environnement (Perpignan) (2)
  • 386 - SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Informatique, télécommunications et électronique de Paris (1)
  • MATHSTIC (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Frontières de l'innovation en recherche et éducation (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 de la communication (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (61)
  • anglais (37)
  • null (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cousot Patrick (9)
  • Cousot Radhia (9)
  • Jensen Thomas (6)
  • Halbwachs Nicolas (5)
  • Rival Xavier (4)
  • Feret Jérôme (3)
  • Goubault Éric (3)
  • Martel Matthieu (3)
  • Miné Antoine (3)
  • Monniaux David (3)
  • Sighireanu Mihaela (3)
  • Blazy Sandrine (2)
  • Bouajjani Ahmed (2)
  • Cassé Hugues (2)
  • Irigoin François (2)
  • Lakhnech Yassine (2)
  • Lemerre Matthieu (2)
  • Marché Claude (2)
  • Monsuez Bruno (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)
  • Beroulle Vincent (1)
  • Cachera David (1)
  • Caromel Denis (1)
  • Cazin Jacques (1)
  • Chailloux Emmanuel (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)
  • Filliat David (1)
  • Folliot Bertil (1)
  • Frehse Goran (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)
  • Jaulin Luc (1)
  • Jeannet Bertrand (1)
  • Jéron Thierry (1)
  • Lanet Jean-Louis (1)
  • Le Gall Tristan (1)
  • Le Métayer Daniel (1)
  • Leroy Xavier (1)
  • Manzanera Antoine (1)
  • Mauny Michel (1)
  • Mezghiche Mohamed (1)
  • Mine Antoine (1)
  • Monfroy Éric (1)
  • Morio Jérôme (1)
  • Moy Matthieu (1)
  • Pauleve Loïc (1)
  • Paulin-Mohring Christine (1)
  • Percebois Christian (1)
  • Pichardie David (1)
  • Pinna Andrea (1)
  • Pu Geguang (1)
  • Puaut Isabelle (1)
  • Putot Sylvie (1)
  • Queinnec Christian (1)
  • Rochange Christine (1)
  • Roux Olivier (1)
  • Roux Olivier Henri (1)
  • Sallé Patrick (1)
  • Santinelli Luca (1)
  • Schmitt Alan (1)
  • Schoenauer Marc (1)
  • Serea Oana-Silvia (1)
  • Strandh Robert (1)
  • Tran Hanh Nhi (1)
  • Urban Caterina (1)
  • Vivien Frédéric (1)
  • Yakobowski Boris (1)
  • Zerr Benoît (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (88)
  • Sciences de l'ingénieur (12)
  • Mathématiques (6)
  • Technologie (Sciences appliquées) (3)
  • Informatique, information, généralités (2)
  • Sciences de la nature et mathématiques (2)
  • Linguistique générale (1)
  • Physique (1)
  • Médecine et santé (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

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. - université Paris-Saclay

Informatique

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

Soutenue en 2002
thèse soutenue

Résultats 1 à 10