Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (6)
  • Paris 7 (5)
  • Paris Saclay (5)
  • Aix-Marseille (4)
  • Grenoble (4)
  • Grenoble Alpes (4)
  • Paris Sciences et Lettres (4)
  • Sorbonne Paris Cité (4)
  • Lyon, École normale supérieure (3)
  • Aix-Marseille 2 (2)
  • Lyon (2)
  • Nice (2)
  • Orléans (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 11 (2)
  • Paris 6 (2)
  • Paris, CNAM (2)
  • Toulouse, ISAE (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Vandoeuvre-les-Nancy, INPL (2)
  • Avignon (1)
  • Bordeaux (1)
  • Cachan, Ecole normale supérieure (1)
  • CentraleSupélec (1)
  • Clermont-Ferrand 2 (1)
  • Corte (1)
  • Dijon (1)
  • Georgia institute of technology (1)
  • Grenoble INPG (1)
  • Lorient (1)
  • Lyon 1 (1)
  • Montpellier 3 (1)
  • Mulhouse (1)
  • Nancy 1 (1)
  • Paris 1 (1)
  • Paris 3 (1)
  • Paris 4 (1)
  • Paris Est (1)
  • Paris, ENMP (1)
  • Paris, Ecole normale supérieure (1)
  • Toulouse 3 (1)
  • Universidade de São Paulo (Brésil) (1)
  • Università degli studi (Trente, Italie) (1)
  • Université catholique de Louvain (1970-....) (1)
  • Université de Kelaniya (Sri Lanka) (1)
  • Université de Lorraine (1)
  • Université de Torino - ITALIE (1)
  • Université du Luxembourg (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (53)
  • Mathématiques (5)
  • Informatique temps réel, robotique et automatique (2)
  • Mathematiques (2)
  • Mathématiques et informatique (2)
  • Anglais (1)
  • Automatique, Robotique et Informatique Temps Réel (1)
  • Génie informatique (1)
  • Informatique (STIC) (1)
  • Informatique. Informatique fondamentale (1)
  • Linguistique (1)
  • Linguistique anglaise (1)
  • Philosophie (1)
  • Physique (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences appliquées (1)
  • Sciences cognitives (1)
  • Sciences et génie des activités à risques (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Traductologie (1)
  • Études du monde anglophone (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (8)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (5)
  • École doctorale en Informatique et Mathématiques de Lyon (5)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (3)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • Langues, Littératures, Cultures, Civilisations (1)
  • MATHSTIC (1)
  • MATISSE (1)
  • Mathématiques et informatique de Marseille (184) (1)
  • SMI - Sciences des Métiers de l'Ingénieur (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (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 Philosophie (Paris) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des lettres, sciences humaines et sociales (Clermont-Ferrand) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (50)
  • français (29)
  • null (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Régnier Laurent (4)
  • Blazy Sandrine (3)
  • Curien Pierre-Louis (3)
  • Bucciarelli Antonio (2)
  • Guerrini Stefano (2)
  • Irigoin François (2)
  • Laurent Olivier (2)
  • Ronchi Della Rocca Simona (2)
  • Wolff Burkhart (2)
  • Amblard Maxime (1)
  • Amunugama Sarath (1)
  • Ancourt Corinne (1)
  • Arrighi Pablo (1)
  • Baelde David (1)
  • Baillot Patrick (1)
  • Barkaoui Kamel (1)
  • Baudry Benoit (1)
  • Benoist Jocelyn (1)
  • Bertot Yves (1)
  • Bidan Christophe (1)
  • Bodeveix Jean-Paul (1)
  • Boudol Gérard (1)
  • Bourgine Paul (1)
  • Bozga Dorel Marius (1)
  • Carneiro Linhares Andréa (1)
  • Chambreuil Michel (1)
  • Cohen Albert (1)
  • Combemale Benoît (1)
  • Cotte Pierre (1)
  • Cousot Radhia (1)
  • Dang Thao (1)
  • Daniels Henry (1)
  • Derrien Steven (1)
  • Desainte-Catherine Myriam (1)
  • Deville Yves (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Dumas Jean-Guillaume (1)
  • Duval Dominique (1)
  • El Fallah Seghrouchni Amal (1)
  • Feron Eric (1)
  • Filali Mamoun (1)
  • Frehse Goran (1)
  • Garoche Pierre-Loïc (1)
  • Gastin Paul (1)
  • Gaudel Marie-Claude (1)
  • Genet Thomas (1)
  • Giavitto Jean-Louis (1)
  • Girard Jean-Yves (1)
  • Grebenkov Denis (1)
  • Groote Philippe de (1)
  • Halbwachs Nicolas (1)
  • Hassenforder Michel (1)
  • Hirschowitz Tom (1)
  • Huet Stéphane (1)
  • Hugues Jérôme (1)
  • Jensen Thomas (1)
  • Joloboff Vania (1)
  • Kesner Delia (1)
  • Kirchner Claude (1)
  • Laforest Frédérique (1)
  • Lamarche François (1)
  • Le Gall Pascale (1)
  • Lorho Bernard (1)
  • Marion Jean-Yves (1)
  • Martini Simone (1)
  • Mazza Damiano (1)
  • Miné Antoine (1)
  • Miquel Alexandre (1)
  • Monin Jean-François (1)
  • Monsuez Bruno (1)
  • Nakagawa Elisa Yumi (1)
  • Napoli Aldo (1)
  • Navet Nicolas (1)
  • Omhovere Claire (1)
  • Oquendo Flavio (1)
  • Palamidessi Catuscia (1)
  • Paulin-Mohring Christine (1)
  • Pautet Laurent (1)
  • Picard Gauthier (1)
  • Pichardie David (1)
  • Prigent Nicolas (1)
  • Raffalli Christophe (1)
  • Ranta Aarne (1)
  • Ray Cyril (1)
  • Regnier Laurent (1)
  • Rizzi Romeo (1)
  • Récanati François (1)
  • Salaün Gwen (1)
  • Salem André (1)
  • Santucci Jean-François (1)
  • Saurin Alexis (1)
  • Sentieys Olivier (1)
  • Serrano Manuel (1)
  • Sifakis Joseph (1)
  • Solnon Christine (1)
  • Spector Benjamin (1)
  • Tadonki Claude (1)
  • Toinard Christian (1)
  • Torres Moreno Juan-Manuel (1)
  • Tortora de Falco Lorenzo (1)
  • Vaux Lionel (1)
  • Vialette Stéphane (1)
  • Vittori Evelyne (1)
  • Werner Benjamin (1)
  • Yakobowski Boris (1)
  • Şerban Adriana (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (58)
  • Mathématiques (9)
  • Informatique, information, généralités (5)
  • Sciences de l'ingénieur (5)
  • Langues et linguistique (3)
  • Philosophie, psychologie (1)
  • Psychologie (1)
  • Linguistique générale (1)
  • Langue anglaise. Anglo-saxon (1)
  • Physique (1)
  • Littératures anglaise et anglo-saxonne (1)

Domaines :

Fullscreen

80 thèses pour Denotational semantics

Informatique

Soutenue en 2004
thèse soutenue
Informatique

Soutenue le 12-12-2012
thèse soutenue

...actionsdefined in the denotational semantics. Special actions are defined to cover someparticular situations i...

Accéder en ligne
Mathématiques et informatique

Soutenue le 22-06-2018
thèse soutenue

..., denotational semantics represents programs as well-knownmathematical structures. The idea is to interpret a...

Accéder en ligne
Informatique

Soutenue le 13-07-2017
thèse soutenue

...game semantics with eventstructures to propose truly concurrent denotational models of higher-order con...

Accéder en ligne

Résultats 1 à 10