Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (29)
  • Rennes 1 (19)
  • Paris Saclay (18)
  • Paris 11 (12)
  • Toulouse 3 (11)
  • Cachan, Ecole normale supérieure (10)
  • Paris 6 (9)
  • Lorient (8)
  • Nantes (7)
  • Montpellier 2 (6)
  • Nice (6)
  • Paris 7 (6)
  • Besançon (5)
  • Bordeaux (5)
  • Grenoble Alpes (5)
  • Pau (5)
  • Université de Lorraine (5)
  • Dijon (4)
  • Lyon (4)
  • Nancy 1 (4)
  • Palaiseau, Ecole polytechnique (4)
  • Paris, CNAM (4)
  • Côte d'Azur (3)
  • Le Havre (3)
  • Toulouse, INSA (3)
  • Toulouse, ISAE (3)
  • Aix-Marseille (2)
  • Clermont-Ferrand 2 (2)
  • Evry, Institut national des télécommunications (2)
  • Grenoble INPG (2)
  • Lille 1 (2)
  • Orléans (2)
  • Paris 10 (2)
  • Paris Sciences et Lettres (2)
  • Rennes, INSA (2)
  • Supélec (2)
  • Toulouse, INPT (2)
  • Universidade de São Paulo (Brésil) (2)
  • Università degli studi (Bologne, Italie) (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Arab open university. Lebanon branch (Antelias, Liban) (1)
  • Avignon (1)
  • Brest (1)
  • Brno University of Technology (MAIS) (1)
  • Cergy-Pontoise (1)
  • Clermont Auvergne (1)
  • Compiègne (1)
  • Ecole Supérieure Polytechnique de Dakar - Sénégal (1)
  • Ecole centrale de Lille (1)
  • Institut polytechnique de Kiev (Ukraine) (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • La Rochelle (1)
  • Les Arts décoratifs (France) (1)
  • Lille 3 (1)
  • Limoges (1)
  • Lyon, École normale supérieure (1)
  • Malardalen University (1)
  • Montpellier (1)
  • Mulhouse (1)
  • Nantes, Ecole des Mines (1)
  • Paris 1 (1)
  • Paris 13 (1)
  • Paris 3 (1)
  • Paris 9 (1)
  • Paris Est (1)
  • Paris, ENMP (1)
  • Paris, ENST (1)
  • Perpignan (1)
  • Politecnico di Milano (1)
  • Prove & Run (1)
  • Reims (1)
  • Rennes, Agrocampus Ouest (1)
  • Saint-Etienne (1)
  • Sorbonne Paris Cité (1)
  • Technische Universität (Darmstadt, Allemagne) (1)
  • Toulouse 1 (1)
  • Tours (1)
  • Universidad de los Andes (Bogotá) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Universität des Saarlandes (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université Mohammed V (Rabat) (1)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (1)
  • Université du Luxembourg (1)
  • Université polytechnique de l'Ouest Africain (Dakar, Sénégal) (1)
  • Valenciennes (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Versailles-St Quentin en Yvelines (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (165)
  • Sciences appliquées (7)
  • Stic (7)
  • Mathématiques (3)
  • Automatique et informatique appliquée (2)
  • Informatique (STIC) (2)
  • Informatique et applications (2)
  • Informatique et réseaux (2)
  • Mathématiques et Informatique (2)
  • Mathématiques-Informatique (2)
  • Réseaux, télécoms, systèmes et architecture (2)
  • Sciences économiques (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Aménagement et urbanisme (1)
  • Anthropologie (1)
  • Automatique (1)
  • Automatique et informatique appliquée (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Chimie quantique et computationnelle (1)
  • Contrôle des Systèmes (1)
  • Doctorat de l'université de Rennes1 mention informatique (1)
  • Droit (1)
  • Droit Public (1)
  • Droit privé (1)
  • Droit public (1)
  • Electronique (1)
  • Génie Industriel (1)
  • Génie civil (1)
  • Génie informatique (1)
  • Génie électrique (1)
  • Géographie (1)
  • Histoire (1)
  • Hydrologie, hydrochimie, sol, environnement (1)
  • Image, information, hypermédia (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et applications (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique théorique (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Intelligence artificielle (1)
  • Intelligence artificielle (1)
  • Mathematiques (1)
  • Mathématiques Appliquées (1)
  • Mathématiques appliquées (1)
  • Mathématiques aux interfaces (1)
  • Philosophie (métaphysique, épistémologie, esthétique) (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécom, système et architecture (1)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (1)
  • Santé publique - épidémiologie (1)
  • Science politique (1)
  • Sciences de gestion (1)
  • Sciences de l'environnement (1)
  • Sciences de l'éducation (1)
  • Sciences du langage (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Systèmes embarqués (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Traitement du signal et télécommunications (1)
  • Vision pour la Robotique (1)
  • Électronique (1)
  • Électronique, électrotechnique, automatique (1)
  • Études germaniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (31)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (18)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (13)
  • École doctorale Informatique, télécommunications et électronique (Paris) (11)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (9)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (6)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (5)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (5)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (5)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (5)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (4)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (3)
  • École doctorale Sciences exactes et leurs applications. UFR Sciences et Techniques (Pau) (3)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (3)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • MATISSE (2)
  • Mathématiques Informatique Télécommunications de Toulouse (2)
  • Sciences et Technologies de l'Information et de la Communication (2)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (2)
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • École doctorale Systèmes (Toulouse) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale d'Informatique, Télécommunications et Electronique (EDITE) (1)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (1)
  • Ecole doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (1)
  • IAEM Lorraine (1)
  • Information, Communication, Modélisation et Simulation (1)
  • Mathématiques Hadamard (1)
  • Mathématiques et STIC (MathSTIC) (1)
  • Mathématiques et informatique de Marseille (184) (1)
  • SISEO - Sciences et Ingénierie des Systèmes de l’Environnement et des Organisations (1)
  • Sciences Mathématiques de Paris Centre (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (1)
  • École Doctorale de Droit et de Science Politique (Nanterre) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (1)
  • École doctorale Santé Publique (2015-.... ; Kremlin-Bicêtre, Val-de-Marne) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences sociales et humanités (Pau) (1)
  • École doctorale Sciences économiques, sociales, de l'aménagement et du management (Villeneuve d'Ascq) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences économiques (Grenoble) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (126)
  • anglais (120)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Haar Stefan (5)
  • Lalanda Philippe (4)
  • Méhaut Jean-François (4)
  • Oquendo Flavio (4)
  • Palamidessi Catuscia (4)
  • Antoniu Gabriel (3)
  • Baudry Benoit (3)
  • Beauquier Joffroy (3)
  • Bougé Luc (3)
  • Cointe Pierre (3)
  • Diguet Jean-Philippe (3)
  • Jard Claude (3)
  • Sadeg Bruno (3)
  • Terrier François (3)
  • Valencia Frank (3)
  • Aït-Ameur Yamine (2)
  • Beaumont Olivier (2)
  • Chollet Stéphanie (2)
  • Ferrié Jean (2)
  • Goubault Éric (2)
  • Jensen Thomas (2)
  • Juanole Guy (2)
  • Lang Frédéric (2)
  • Maler Oded (2)
  • Marangozova Vania (2)
  • Markey Nicolas (2)
  • Nakagawa Elisa Yumi (2)
  • Raynal Michel (2)
  • Roux Olivier F. (2)
  • Rozoy Brigitte (2)
  • Sangiorgi Davide (2)
  • Santana Miguel (2)
  • Sentieys Olivier (2)
  • Shapiro Marc (2)
  • Simone Robert de (2)
  • Stefani Jean-Bernard (2)
  • Vianou Antoine (2)
  • Abiteboul Serge (1)
  • Aniorté Philippe (1)
  • Assad Safwan el- (1)
  • Attali Isabelle (1)
  • Baboulin Marc (1)
  • Bacha Seddik (1)
  • Baelde David (1)
  • Bailleul David (1)
  • Balbiani Philippe (1)
  • Barais Olivier (1)
  • Barbier Franck (1)
  • Barkaoui Kamel (1)
  • Barthès Jean-Paul (1)
  • Barucq Hélène (1)
  • Bazex Pierre (1)
  • Belaid Djamel (1)
  • Bellik Yacine (1)
  • Benoit Anne (1)
  • Bensalem Saddek (1)
  • Berred Alexandre (1)
  • Berthomieu Bernard (1)
  • Bertrand Nathalie (1)
  • Bessière Pierre (1)
  • Bidan Christophe (1)
  • Bidoit-Tollu Nicole (1)
  • Bimonte Sandro (1)
  • Blazy Sandrine (1)
  • Bodini Olivier (1)
  • Boksenbaum Claude (1)
  • Boone Aaron (1)
  • Bouajjani Ahmed (1)
  • Boudol Gérard (1)
  • Bouraqadi Noury (1)
  • Bourcier Johann (1)
  • Boussinot Frédéric (1)
  • Bouyer-Decitre Patricia (1)
  • Boyer Anne (1)
  • Bozga Dorel Marius (1)
  • Briday Mikaël (1)
  • Briot Jean-Pierre (1)
  • Brun Armelle (1)
  • Béchennec Jean-Luc (1)
  • Bélec Laurent (1)
  • COLOMB J (1)
  • COUSOT P. (1)
  • Caillaud Benoît (1)
  • Calley Grégoire (1)
  • Canals Gérôme (1)
  • Caromel Denis (1)
  • Caspi Paul (1)
  • Casseau Emmanuel (1)
  • Cassé Hugues (1)
  • Castellani Ilaria (1)
  • Cerri Stefano Alessandro (1)
  • Chanteau Jean-Pierre (1)
  • Charles Henri-Pierre (1)
  • Charoy François (1)
  • Chbeir Richard (1)
  • Chertov Oleg (1)
  • Chiavelli Alain (1)
  • Choppy Christine (1)
  • Chroboczek Juliusz (1)
  • Clouteau Didier (1)
  • Clément Gilles (1)
  • Coelho Fabien (1)
  • Cohen Albert Henri (1)
  • Colazzo Dario (1)
  • Combemale Benoît (1)
  • Conversy Stéphane (1)
  • Cousineau Guy (1)
  • Couvreur Jean-Michel (1)
  • Crolard Tristan (1)
  • Crégut Xavier (1)
  • Cullot Nadine (1)
  • Darondeau Philippe (1)
  • Delaune Stéphanie (1)
  • Delfieu David (1)
  • Delorme Xavier (1)
  • Delosme Jean-Marc (1)
  • Denneulin Yves (1)
  • Derrien Steven (1)
  • Diaz Michel (1)
  • Dinont Cédric (1)
  • Dolgui Alexandre (1)
  • Drira Khalil (1)
  • Dubois Catherine (1)
  • Duchien Laurence (1)
  • Dufour François (1)
  • Dupuy-Chessa Sophie (1)
  • Durand Irène (1)
  • Durand Patrick (1)
  • Déforges Olivier (1)
  • Eisenbeis Christine (1)
  • El Fallah Seghrouchni Amal (1)
  • Elloy Jean-Pierre (1)
  • Estublier Jacky (1)
  • Evangelisti Stefano (1)
  • Exposito Garcia Ernesto José (1)
  • Faivre Bruno (1)
  • Faure Jean-Marc (1)
  • Faye Roger (1)
  • Fayolle Jacques (1)
  • Feret Jérôme (1)
  • Flauzac Olivier (1)
  • Freire Cunha Paulo Roberto (1)
  • GUYON YVES (1)
  • Gastin Paul (1)
  • Gimbert Hugo (1)
  • Girault Alain (1)
  • Godart Claude (1)
  • Goessler Gregor (1)
  • Goldman Vel Lejbman Alfredo (1)
  • Goubault-Larrecq Jean (1)
  • Graf Susanne (1)
  • Guidec Frédéric (1)
  • Gérard Sébastien (1)
  • Habib Michel (1)
  • Haddad Serge (1)
  • Hammad Ahmed (1)
  • Henrio Ludovic (1)
  • Hermant Olivier (1)
  • Herrmann Bénédicte (1)
  • Hill David R. C. (1)
  • Hirschkoff Daniel (1)
  • Hirschowitz André (1)
  • Hirschowitz Tom (1)
  • Hugues Jérôme (1)
  • Héam Pierre-Cyrille (1)
  • Iosif Radu (1)
  • Irigoin François (1)
  • Iung Benoît (1)
  • Jalby William (1)
  • Jeannet Bertrand (1)
  • Jenn Éric (1)
  • Jmaiel Mohamed (1)
  • Joloboff Vania (1)
  • Jorrand Philippe (1)
  • Josselin Didier (1)
  • Julliand Jacques (1)
  • Jéron Thierry (1)
  • Kedad Zoubida (1)
  • Kheddar Abderrahmane (1)
  • Khlif Manel (1)
  • Kirchner Hélène (1)
  • Kokh Samuel (1)
  • Koné Ousmane (1)
  • Kordon Fabrice (1)
  • Kouchnarenko Olga (1)
  • Kouvouama Abel (1)
  • Kovalyov Mikhail I (1)
  • Kuznetsov Petr (1)
  • Lacassagne Lionel (1)
  • Lachaume Jean-François (1)
  • Lafont Yves (1)
  • Lafourcade Pascal (1)
  • Lagadec Loïc (1)
  • Laganà Antonio (1)
  • Lakhnech Yassine (1)
  • Lang Christophe (1)
  • Lapayre Jean-Christophe (1)
  • Laurent Olivier (1)
  • Lavenier Dominique (1)
  • Le Lann Jean-Christophe (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (187)
  • Sciences de l'ingénieur (37)
  • Mathématiques (10)
  • Informatique, information, généralités (9)
  • Droit (4)
  • Sciences sociales, sociologie, anthropologie (2)
  • Economie (2)
  • Physique (2)
  • Sciences de la terre (2)
  • Médecine et santé (2)
  • Gestion et organisation de l'entreprise (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Philosophie, psychologie (1)
  • Science politique (1)
  • Education et enseignement (1)
  • Linguistique générale (1)
  • Langues germaniques. Allemand (1)
  • Chimie, minéralogie, cristallographie (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Technologie (Sciences appliquées) (1)
  • Urbanisme (1)
  • Littérature allemande (1)
  • Géographie et voyages (1)
  • Histoire moderne et contemporaine de l'Europe (1)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (1)
  • Histoire générale de l'Amérique du Sud (1)

Domaines :

Fullscreen

251 thèses pour Concurrency

...timedautomata) and representing them explicitly while preserving the concurrency,and the individual behavior of...

Accéder en ligne
Sciences appliquées

Soutenue en 1995
thèse soutenue
Informatique théorique

Soutenue en 2005
thèse soutenue
Sciences appliquées

Soutenue en 1987
thèse soutenue

Categories de modeles du parallelisme

par REMI MORIN sous la direction de Brigitte Rozoy - Paris 11

Sciences appliquées

Soutenue en 1999
thèse soutenue
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 13-07-2016
thèse soutenue

...concffrrence (Models of Concurrency –MoCs). Ils permeentl’étffde analytiqffe de propriétés liées affffi aspects...

Accéder en ligne

...materials of Chapter 3.Part IModeling ConcurrencyChapter 1Abstract models for true concurrencyIn this...

Accéder en ligne

Résultats 1 à 10