Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (11)
  • Bordeaux 1 (10)
  • université Paris-Saclay (9)
  • Grenoble (7)
  • Nancy 1 (7)
  • Paris 7 (6)
  • Università degli studi (Bologne, Italie) (5)
  • Paris 6 (4)
  • Paris Est (4)
  • Toulouse 3 (4)
  • Université Paris-Saclay (ComUE) (4)
  • Université de Lorraine (4)
  • Orléans (3)
  • Palaiseau, Ecole polytechnique (3)
  • Pau (3)
  • Amiens (2)
  • Bordeaux (2)
  • Cachan, Ecole normale supérieure (2)
  • Chambéry (2)
  • Ecole centrale de Lille (2)
  • Ecole centrale de Nantes (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (2)
  • Lille 1 (2)
  • Lorient (2)
  • Lyon (2)
  • Lyon, École normale supérieure (2)
  • Mulhouse (2)
  • Sorbonne université (2)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (2)
  • Aix-Marseille (1)
  • Aix-Marseille 1 (1)
  • Antilles (1)
  • Besançon (1)
  • Bourgogne Franche-Comté (1)
  • Compiègne (1)
  • Evry-Val d'Essonne (1)
  • Laboratoire de Recherche en Informatique (Tizi-Ouzou, Algérie) (1)
  • Limoges (1)
  • Lyon, Ecole normale supérieure (1)
  • Montpellier (1)
  • Montpellier 2 (1)
  • Nice (1)
  • Oldenburg, Carl v. Ossietzky Universität (1)
  • Paris 1 (1)
  • Paris 11 (1)
  • Paris 12 (1)
  • Paris, CNAM (1)
  • Paris, ENMP (1)
  • Paris, ENST (1)
  • Perpignan (1)
  • Rennes 1 (1)
  • Toulouse 2 (1)
  • Toulouse, INPT (1)
  • Toulouse, INSA (1)
  • Toulouse, ISAE (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université Abdelhamid Mehri - Constantine 2. Faculté des Nouvelles Technologies de l'Information et de la Communication (Constantine, Algérie) (1)
  • Université Clermont Auvergne‎ (2017-2020) (1)
  • Université Mohammed V (Rabat) (1)
  • Université de Lille (2018-2021) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université de Yaoundé I (1)
  • Valenciennes (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)
  • École normale supérieure (Lyon ; 1987-2009) (1)
  • École supérieure des sciences et techniques (Tunis) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (71)
  • Informatique et applications (3)
  • Sciences appliquées (3)
  • Sciences et techniques (3)
  • Chimie organique (2)
  • Génie Electrique (2)
  • Informatique et mathématiques (2)
  • Mathématiques (2)
  • Mathématiques et Informatique (2)
  • Mécanique (2)
  • Mécanique et énergétique (2)
  • Astrophysique, plasmas, corpuscules (1)
  • Automatique (1)
  • Automatique - productique (1)
  • Automatique et informatique industrielle (1)
  • Biologie (1)
  • Biologie structurale et nanobiologie (1)
  • Biologie végétale (1)
  • Chimie organique et macromoléculaire (1)
  • Electronique et Optoélectronique, Nano- et Microtechnologies (1)
  • Energétique (1)
  • Environnement et Santé (1)
  • Epidémiologie (1)
  • Génie Industriel : conception et production (1)
  • Génie des Procédés et de l'Environnement (1)
  • Génie informatique (1)
  • Génie mécanique (1)
  • Génie électrique (1)
  • Géographie et Aménagement (1)
  • Informatique et Réseaux (1)
  • Informatique et Télécommunications (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatiques (1)
  • Laboratoire Electromécaniques (1)
  • Mathématiques et informatique (1)
  • Matériaux, Mécanique, Génie civil, Electrochimie (1)
  • Mécanique - Energétique (1)
  • Mécanique des fluides, Procédés, Énergétique (1)
  • Mécanique et Energétique (1)
  • Physico-Chimie de la Matière Condensée (1)
  • Physiologie et biologie des organismes - populations - interactions (1)
  • Polymères (1)
  • Robotique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Santé publique - épidémiologie (1)
  • Sciences de gestion (1)
  • Sciences de la vie (1)
  • Sciences de la vie et de la santé (1)
  • Sciences pour l'ingénieur. Génie électrique (1)
  • informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (12)
  • École doctorale Informatique, télécommunications et électronique de Paris (6)
  • École doctorale Sciences et technologies de l'information et de la communication (6)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • École doctorale en Informatique et Mathématiques de Lyon (5)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (4)
  • École doctorale Sciences pour l'ingénieur (Lille) (4)
  • École doctorale des sciences chimiques (Talence, Gironde) (4)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • EMMA (2)
  • IAEM Lorraine (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Génie électrique, électronique, télécommunications et santé : du système au nanosystème (Toulouse) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale Sciences, technologie et santé (Amiens) (2)
  • École doctorale chimie et science du vivant (Grenoble) (2)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (2)
  • BioSE (1)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Sciences Exactes et leurs Applications (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Electrical, optical, bio-physics and engineering (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 ; 2010-2015) (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 Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Milieu insulaire tropical à risques : protection, valorisation , santé et développement (Pointe-à-Pitre) (1)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (1)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (1)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (1)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges ; 2018-2022) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Structure et dynamique des systèmes vivants (Gif-sur-Yvette, Essonne ; 2015-....) (1)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (1)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (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 pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry ; 2007-2021) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry2007-2021) (1)
  • École doctorale Énergie environnement (Perpignan) (1)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (103)
  • anglais (28)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Sangiorgi Davide (5)
  • Blanqui Frédéric (4)
  • Hirschkoff Daniel (4)
  • Amadio Roberto (3)
  • Cortier Véronique (3)
  • Curien Pierre-Louis (3)
  • Delaune Stéphanie (3)
  • Dowek Gilles (3)
  • Lakhnech Yassine (3)
  • Mosbah Mohamed (3)
  • Mourlin Fabrice (3)
  • Oquendo Flavio (3)
  • Peschanski Frédéric (3)
  • Belala Faiza (2)
  • Boudol Gérard (2)
  • Chaumette Serge (2)
  • El Fallah Seghrouchni Amal (2)
  • Hameurlain Nabil (2)
  • Hassenforder Michel (2)
  • Hirschowitz Tom (2)
  • Kremer Steve (2)
  • Lafourcade Pascal (2)
  • Lebouché Michel (2)
  • Roux Olivier (2)
  • Soria Michèle (2)
  • Ababsa Fakhr-Eddine (1)
  • Alamir Mazen (1)
  • Alonso Corinne (1)
  • Alvarez José A. (1)
  • Bacha Seddik (1)
  • Baillot Patrick (1)
  • Balabonski Thibaut (1)
  • Balarac Guillaume (1)
  • Balbiani Philippe (1)
  • Baravian Christophe (1)
  • Barkaoui Kamel (1)
  • Beauvoit Bertrand (1)
  • Belkadi Malika (1)
  • Benhadj Braiek Naceur (1)
  • Benrejeb Mohamed (1)
  • Bertolissi Clara (1)
  • Best Eike (1)
  • Betin Franck (1)
  • Bidan Pierre (1)
  • Blanchet Bruno (1)
  • Bock Harald (1)
  • Borne Isabelle (1)
  • Boucard Pierre-Alain (1)
  • Bourgeade Antoine (1)
  • Bouyakhf El-Houssine (1)
  • Brunel Julien (1)
  • Buisson Jérémy (1)
  • Burel Guillaume (1)
  • Cani Marie-Paule (1)
  • Castéran Pierre (1)
  • Chailloux Emmanuel (1)
  • Chateau Thierry (1)
  • Chemouil David (1)
  • Cheval Vincent (1)
  • Chevalier Yannick (1)
  • Codognet Philippe (1)
  • Collart-Dutilleul Simon (1)
  • Contejean Evelyne (1)
  • Corbineau Pierre (1)
  • Cousot Radhia (1)
  • Craye Étienne (1)
  • Cristea Valentin (1)
  • Danos Vincent (1)
  • Deffieux Denis (1)
  • Desbarats Pascal (1)
  • Diaz Juan.F (1)
  • Dufour Barbara (1)
  • Dumas Jean-Guillaume (1)
  • Dumas Jean-Pierre (1)
  • Dupuy-Chessa Sophie (1)
  • Durand David (1)
  • Durola Fabien (1)
  • Duval Thierry (1)
  • El Baidouri Moaine (1)
  • El Hafidi Ali (1)
  • El Kadri Benkara Khadija (1)
  • Fernandez Maria Aurora (1)
  • Fiorio Christophe (1)
  • Fontecilla-Camps Juan-Carlos (1)
  • Fortin Jérôme (1)
  • Fotso Laure Pauline (1)
  • Friedrich Guy (1)
  • Gaboriaud Fabien (1)
  • Ganghoffer Jean-François (1)
  • Gantzer Christophe (1)
  • Garavel Hubert (1)
  • Genitrini Antoine (1)
  • Gibout Stéphane (1)
  • Giglione Carmela (1)
  • Godart Claude (1)
  • Gradeck Michel (1)
  • Gros-Désormeaux Jean-Raphaël (1)
  • Grosclaude Pascale (1)
  • Gueorguieva Stefka (1)
  • Guillaud Xavier (1)
  • Gzara Lilia (1)
  • Hadj Kacem Ahmed (1)
  • Hagimont Daniel (1)
  • Hahmann Stéfanie (1)
  • Hallo Ludovic (1)
  • Hermant Olivier (1)
  • Hémici Farouk (1)
  • Idani Akram (1)
  • Imbert Daniel (1)
  • Jamin Marc (1)
  • Jammes Bruno (1)
  • Jensen Thomas (1)
  • Jmaiel Mohamed (1)
  • Jouvelot Pierre (1)
  • Klaudel Hanna (1)
  • Kleider Jean-Paul (1)
  • Laffly Dominique (1)
  • Lang Frédéric (1)
  • Langrand Bertrand (1)
  • Lay Béatrice (1)
  • Le Gall Tristan (1)
  • Le Gorrec Yann (1)
  • Le Nir Yannick (1)
  • Lecommandoux Sébastien (1)
  • Ledru Yves (1)
  • Lengrand Stéphane (1)
  • Lescanne Pierre (1)
  • Lhoussaine Cédric (1)
  • Libourel Thérèse (1)
  • Limet Sébastien (1)
  • Locatelli Marie-Laure (1)
  • Lévy Jean-Jacques (1)
  • Magnin Morgan (1)
  • Markiewicz Eric (1)
  • Martin Bruno (1)
  • Mathé Stéphane (1)
  • Mercier Frédéric (1)
  • Méry Dominique (1)
  • Métais Olivier (1)
  • Métivier Yves (1)
  • Nait-Sidi-Moh Ahmed (1)
  • Nicollet Yvain (1)
  • Niehren Joachim (1)
  • Orgogozo Fabrice (1)
  • Palamidessi Catuscia (1)
  • Panaud Olivier (1)
  • Pelz Elisabeth (1)
  • Pommereau Franck (1)
  • Pons Michel (1)
  • Potet Marie-Laure (1)
  • Puel Laurence (1)
  • Quideau Stéphane (1)
  • Rahouadj Rachid (1)
  • Rakotondrabe Micky (1)
  • Rebillat Francis (1)
  • Rieu Dominique (1)
  • Robert Sophie (1)
  • Rolando Christian (1)
  • Ronchi Della Rocca Simona (1)
  • Rusinowitch Michaël (1)
  • Saidouni Djamel Eddine (1)
  • Sakarovitch Jacques (1)
  • Salaün Gwen (1)
  • Sauveron Damien (1)
  • Savy Nicolas (1)
  • Sochet Isabelle (1)
  • Steel Graham (1)
  • Stefani Jean-Bernard (1)
  • Strauss Olivier (1)
  • Tabareau Nicolas (1)
  • Talbot Jean-Marc (1)
  • Taton Daniel (1)
  • Tchana Alain Bouzaïde (1)
  • Valencia Frank (1)
  • Vandenbunder Bernard (1)
  • Verjus Hervé (1)
  • Yazidi Amine (1)
  • Zemmari Akka (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (83)
  • Sciences de l'ingénieur (25)
  • Mathématiques (8)
  • Sciences de la vie, biologie, biochimie (8)
  • Physique (6)
  • Chimie, minéralogie, cristallographie (5)
  • Médecine et santé (5)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Informatique, information, généralités (1)
  • Plantes. Botanique (1)
  • Gestion et organisation de l'entreprise (1)
  • Géographie et voyages (1)

Domaines :

Fullscreen

133 thèses pour "Pi-calcul"

Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus

par Alexis Ghyselen sous la direction de Patrick Baillot - Lyon

Informatique

Soutenue le 20-09-2021
thèse soutenue
Accéder en ligne

Diapason : une approche formelle et centrée architecture pour la composition évolutive de services Web

par Frédéric Pourraz sous la direction de Flavio Oquendo - Chambéry

Informatique

Soutenue en 2007
thèse soutenue

On the expressivity of infinite and local behaviour in fragments of the pi-calculus

par Jesus Alexander Aranda sous la direction de Catuscia Palamidessi, Frank Valencia et de Juan.F Diaz. - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2009
thèse soutenue
Accéder en ligne

Analyse de ressources pour les systèmes concurrents dynamiques

par Aurélien Deharbe sous la direction de Frédéric Peschanski et de Michèle Soria. - Paris 6

Informatique

Soutenue le 21-09-2016
thèse soutenue
Accéder en ligne

Verification of cryptographic protocols with lists of unbounded length

par Miriam Paiola sous la direction de Bruno Blanchet - Paris 7

Informatique

Soutenue en 2014
thèse soutenue
Accéder en ligne

Typed Behavioural Equivalences in the Pi-Calculus

par Enguerrand Prebet sous la direction de Daniel Hirschkoff et de Davide Sangiorgi. - Lyon, École normale supérieure

Informatique

Soutenue le 27-09-2022
thèse soutenue
Accéder en ligne

Réversibilité dans le pi calcul d'ordre supérieur

par Claudio Antares Mezzina sous la direction de Jean-Bernard Stefani et de Davide Sangiorgi. - Grenoble

Informatique

Soutenue le 07-02-2012
thèse soutenue
Accéder en ligne

Déterminisme et confluence dans des systèmes concurrents et synchrones

par Mehdi Dogguy sous la direction de Roberto Amadio - Paris 7

informatique

Soutenue en 2012
thèse soutenue
Accéder en ligne

Modélisation et analyse de processus biologiques dans des algèbres de processus

par Min Zhang sous la direction de Pierre-Louis Curien - Paris 7

Informatique

Soutenue en 2007
thèse soutenue
Accéder en ligne

La théorie du π-calcul dans le système HOL

par Otmane Ait Mohamed sous la direction de Roberto Amadio - Nancy 1

Informatiques

Soutenue en 1996
thèse soutenue

Résultats 1 à 10