Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 11 (6)
  • Grenoble Alpes (5)
  • Paris Est (4)
  • Bordeaux (3)
  • Caen (3)
  • Nice (3)
  • Paris Saclay (3)
  • Bordeaux 1 (2)
  • Cachan, Ecole normale supérieure (2)
  • Grenoble (2)
  • Lyon (2)
  • Paris 6 (2)
  • Paris 7 (2)
  • Versailles-St Quentin en Yvelines (2)
  • Besançon (1)
  • Cergy-Pontoise (1)
  • Clermont-Ferrand 2 (1)
  • Compiègne (1)
  • Ecole normale supérieure de Hanoï (Viêt-nam) (1)
  • Lorient (1)
  • Lyon 2 (1)
  • Lyon, École normale supérieure (1)
  • Montpellier 2 (1)
  • Nantes (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 13 (1)
  • Paris, CNAM (1)
  • Paris, ENST (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, ISAE (1)
  • Università Degli Studi di Trento (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université de Marne-la-Vallée (1)
  • Université de Montréal (1)
  • Université de Wuhan (Chine) (1)
  • Université du Québec à Montréal (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (35)
  • Mathématiques (2)
  • Mathématiques appliquées (2)
  • Mathématiques et leurs interactions (2)
  • Automatique - productique (1)
  • Automatique, productique, signal et image (1)
  • Bioinformatique (1)
  • Didactique des mathématiques (1)
  • Génie Civil (1)
  • Informatique et mathématiques (1)
  • Informatique et réseaux (1)
  • Intelligence artificielle (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et applications (1)
  • Mathématiques et modélisation (1)
  • Physique théorique (1)
  • Sciences de l'éducation (1)
  • Sciences de la Terre et de l'Environnement (1)
  • Statistiques (1)
  • Stic (1)
  • Technologies de l'information et des systèmes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • Ecole doctorale Informatique de Paris-Sud (3)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (2)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (Villeurbanne) (1)
  • Ecole doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Finkel Alain (3)
  • Barth Dominique (2)
  • Bermond Jean-Claude (2)
  • Dehornoy Patrick (2)
  • Denise Alain (2)
  • Vialette Stéphane (2)
  • Auber David (1)
  • Baron Georges-Louis (1)
  • Beauquier Joffroy (1)
  • Besacier Laurent (1)
  • Bessot Annie (1)
  • Billot Romain (1)
  • Bonnans Frédéric (1)
  • Bouveret Sylvain (1)
  • Brlek Srecko (1)
  • Bronner Alain (1)
  • Cambazard Hadrien (1)
  • Canudas-de-Wit Carlos (1)
  • Catusse Nicolas (1)
  • Caucal Didier (1)
  • Chaumette Serge (1)
  • Chauvin Brigitte (1)
  • Crochemore Maxime (1)
  • Duchamp Gérard (1)
  • Ducourthial Bertrand (1)
  • Dulucq Serge (1)
  • Dunlop François (1)
  • Eisenbeis Christine (1)
  • Faouzi Nour-Eddin el- (1)
  • Ferreira Afonso (1)
  • Fertin Guillaume (1)
  • Flajolet Philippe (1)
  • Fonlupt Jean (1)
  • Fu Xiang-Dong (1)
  • Gravier Sylvain (1)
  • Haspekian Mariam (1)
  • Héam Pierre-Cyrille (1)
  • Klasing Ralph (1)
  • Lambert-Lacroix Sophie (1)
  • Lang Jérôme (1)
  • Ly Olivier (1)
  • Malti Rachid (1)
  • Melchior Pierre (1)
  • Miguet Serge (1)
  • Minh Vincel Hoang Ngoc (1)
  • Muscariello Luca (1)
  • Nguyen Bá Kim (1)
  • Nikolski Macha (1)
  • Novelli Jean-Christophe (1)
  • Oustaloup Alain (1)
  • Picard Franck (1)
  • Quilliot Alain (1)
  • Rastello Fabrice (1)
  • Rossi Dario (1)
  • Rossin Dominique (1)
  • Rusu Irena (1)
  • Sagot Marie-France (1)
  • Santha Miklos (1)
  • Schnoebelen Philippe (1)
  • Sevaux Marc (1)
  • Thierry Eric (1)
  • Tougne Laure (1)
  • Trotignon Nicolas (1)
  • Vallée Brigitte (1)
  • Vidal-Naquet Guy (1)
  • Vincent Christian (1)
  • Vuillon Laurent (1)
  • Wagler Annegret (1)
  • Yvon François (1)
  • Zagury Jean-François (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (39)
  • Mathématiques (10)
  • Sciences de l'ingénieur (8)
  • Education et enseignement (3)
  • Physique (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Langues et linguistique (1)
  • Sciences de la terre (1)

Domaines :

Fullscreen

58 thèses pour Algorithmics

Mathématiques et leurs interactions

Soutenue en 2009
thèse soutenue
Mathématiques et applications

Soutenue en 2007
thèse soutenue
Mathématiques et leurs interactions

Soutenue en 2011
thèse soutenue
Informatique

Soutenue le 29-06-2016
thèse soutenue

....Keywords: formal veri cation, computational complexity, algorithmics,Petri nets, vector addition systems, well...

Accéder en ligne
Mathématiques appliquées

Soutenue en 2005
thèse soutenue

Résultats 1 à 10