Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (24)
  • Grenoble Alpes (19)
  • Grenoble (14)
  • Grenoble INPG (8)
  • Grenoble 1 (5)
  • Lyon (5)
  • Paris 7 (5)
  • Ecole centrale de Lille (4)
  • Rennes 1 (4)
  • Sorbonne Paris Cité (4)
  • Toulouse 3 (4)
  • Université de Lorraine (4)
  • Nice (3)
  • Paris 11 (3)
  • Besançon (2)
  • Bordeaux 1 (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (2)
  • Montpellier (2)
  • Nantes (2)
  • Paris Est (2)
  • Paris Sciences et Lettres (2)
  • Paris, CNAM (2)
  • Toulouse, INSA (2)
  • Università degli studi (Bologne, Italie) (2)
  • Aix-Marseille (1)
  • Artois (1)
  • Bordeaux (1)
  • Bourgogne Franche-Comté (1)
  • Brno University of Technology (MAIS) (1)
  • Cachan, Ecole normale supérieure (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Colorado state university (1)
  • Côte d'Azur (1)
  • Ecole centrale de Nantes (1)
  • Limoges (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montpellier 2 (1)
  • Nancy 1 (1)
  • Nantes, Ecole des Mines (1)
  • Orléans (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 6 (1)
  • Paris Saclay (1)
  • Paris, Ecole normale supérieure (1)
  • Pau (1)
  • Prove & Run (1)
  • Rijksuniversiteit te Utrecht (1)
  • Toulouse 1 (1)
  • Toulouse, INPT (1)
  • Toulouse, ISAE (1)
  • Universitatea politehnica (Bucarest) (1)
  • Universiteit van Amsterdam (1)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (1)
  • Universität des Saarlandes (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de Yaoundé I (1)
  • Université européenne de Bretagne (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (108)
  • Informatique et applications (3)
  • Mathématiques appliquées (3)
  • Mathématiques et Informatique (3)
  • Sciences et techniques (3)
  • Automatique (2)
  • Mathématiques et informatique (2)
  • Sciences appliquées (2)
  • Automatique et informatique industrielle (1)
  • Automatique et productique (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Informat. (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Systèmes et communication (1)
  • Informatiques (1)
  • Intelligence artificielle (1)
  • Logique mathématique et fondements de l'informatique (1)
  • Mathématiques (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Nano electronique et nano technologies (1)
  • Robotique et informatique (1)
  • Sciences de l'information et de la communication (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Systèmes embarqués (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (32)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (22)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (7)
  • École doctorale en Informatique et Mathématiques de Lyon (6)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (5)
  • École doctorale Sciences pour l'Ingénieur (Lille) (5)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Systèmes (Toulouse) (3)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • MATISSE (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (77)
  • français (70)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (8)
  • Jorrand Philippe (6)
  • Lakhnech Yassine (5)
  • Bozga Dorel Marius (4)
  • Delaune Stéphanie (3)
  • Fribourg Laurent (3)
  • Salaün Gwen (3)
  • Schnoebelen Philippe (3)
  • Toguyeni Abdoul Karim Armand (3)
  • Amadio Roberto (2)
  • Baelde David (2)
  • Balbiani Philippe (2)
  • Barkaoui Kamel (2)
  • Cortier Véronique (2)
  • Curien Pierre-Louis (2)
  • Ditmarsch Hans van (2)
  • Fernandez Jean-Claude (2)
  • Garavel Hubert (2)
  • Ghazel Mohamed (2)
  • Girard Antoine (2)
  • Goubault Éric (2)
  • Graf Susanne (2)
  • Haddad Serge (2)
  • Hirschkoff Daniel (2)
  • Iosif Radu (2)
  • Jensen Thomas (2)
  • Julliand Jacques (2)
  • Lang Frédéric (2)
  • Masson Pierre-Alain (2)
  • Mateescu Radu (2)
  • Sangiorgi Davide (2)
  • Serwe Wendelin Bernhard (2)
  • Tabareau Nicolas (2)
  • Zaïdi Fatiha (2)
  • Abdalla Michel (1)
  • Albert Vincent (1)
  • Andreu David (1)
  • Arnold André (1)
  • Awada Ali (1)
  • Aït-Ameur Yamine (1)
  • Baudry Benoit (1)
  • Berline Chantal (1)
  • Berthomieu Bernard (1)
  • Bhargavan Karthikeyan (1)
  • Bodeveix Jean-Paul (1)
  • Bollig Benedikt (1)
  • Boudol Gérard (1)
  • Boussinot Frédéric (1)
  • Bouyer-Decitre Patricia (1)
  • Calabretto Sylvie (1)
  • Calvary Gaëlle (1)
  • Carton Olivier (1)
  • Caspi Paul (1)
  • Castagna Giuseppe (1)
  • Castellani Ilaria (1)
  • Chamoin Ludovic (1)
  • Conchon Sylvain (1)
  • Coquery Emmanuel (1)
  • Corbineau Pierre (1)
  • Cousot Radhia (1)
  • Craye Étienne (1)
  • Cristea Valentin (1)
  • DE SIMONE R. (1)
  • Dague Philippe (1)
  • Dangoumau Nathalie (1)
  • Darte Alain (1)
  • Di Cosmo Roberto (1)
  • Dumas Jean-Guillaume (1)
  • Dumur Didier (1)
  • Dupuy-Chessa Sophie (1)
  • Duval Dominique (1)
  • Echahed Rachid (1)
  • Euzenat Jérôme (1)
  • Ferber Jacques (1)
  • Feret Jérôme (1)
  • Fesquet Laurent (1)
  • Filali Mamoun (1)
  • Fotso Laure Pauline (1)
  • Fouque Pierre-Alain (1)
  • Frappier Marc (1)
  • Gaubert Stéphane (1)
  • Gehrke Mai (1)
  • Genevès Pierre (1)
  • Genitrini Antoine (1)
  • Ghallab Malik (1)
  • Girault Alain (1)
  • Goubault-Larrecq Jean (1)
  • Göller Stefan (1)
  • Hacid Mohand Saïd (1)
  • Hansen Helle Hvid (1)
  • Hermanns Holger (1)
  • Hirschowitz Tom (1)
  • Héam Pierre-Cyrille (1)
  • Ingrand Félix (1)
  • Jamont Jean-Paul (1)
  • Jard Claude (1)
  • Jeannet Bertrand (1)
  • Jenn Éric (1)
  • Jobstmann Barbara (1)
  • Kedad Zoubida (1)
  • Kesner Delia (1)
  • Klaudel Hanna (1)
  • Konieczny Sébastien (1)
  • Koné Ousmane (1)
  • Kouchnarenko Olga (1)
  • Laforest Frédérique (1)
  • Lafourcade Pascal (1)
  • Laleau Régine (1)
  • Lanet Jean-Louis (1)
  • Lantreibecq Etienne (1)
  • Laurent Olivier (1)
  • Layaida Nabil (1)
  • Le Gall Pascale (1)
  • Le Thanh Nhan (1)
  • Leroy Vincent (1)
  • Lescanne Pierre (1)
  • Libourel Thérèse (1)
  • Lime Didier (1)
  • Limet Sébastien (1)
  • Lombardy Sylvain (1)
  • Maler Oded (1)
  • Marquis Pierre (1)
  • Mentré David (1)
  • Merz Stephan (1)
  • Meyer John-Jules Charles (1)
  • Mezghiche Mohamed (1)
  • Miller Dale (1)
  • Mimram Samuel (1)
  • Monfroy Éric (1)
  • Mourlin Fabrice (1)
  • Nivat Maurice (1)
  • Occello Michel (1)
  • Palamidessi Catuscia (1)
  • Pantel Marc (1)
  • Peschanski Frédéric (1)
  • Picard Gauthier (1)
  • Pichardie David (1)
  • Poizat Pascal (1)
  • Pommereau Franck (1)
  • Rajopadhye Sanjay (1)
  • Ramos Corchado Félix Francisco (1)
  • Reynaud Chantal (1)
  • Robbana Riadh (1)
  • Robert Sophie (1)
  • Roisin Cécile (1)
  • Roux Olivier (1)
  • Roux Olivier Henri (1)
  • Régnier Laurent (1)
  • Saurin Alexis (1)
  • Schmitz Sylvain (1)
  • Seguin Christel (1)
  • Sibertin-Blanc Christophe (1)
  • Sifakis Joseph (1)
  • Siles Vincent (1)
  • Simonin Olivier (1)
  • Smets Sonja (1)
  • Soria Michèle (1)
  • Stefani Jean-Bernard (1)
  • Tagina Moncef (1)
  • Talpin Jean-Pierre (1)
  • Terrier François (1)
  • Tripakis Stavros (1)
  • Valencia Frank (1)
  • Vauquelin Bernard (1)
  • Verfaillie Gérard (1)
  • Vernadat François B. (1)
  • Vianou Antoine (1)
  • Vidal-Naquet Guy (1)
  • Voiron Jacques (1)
  • Vojnar Tomáš (1)
  • Vuillon Laurent (1)
  • Vuyst Florian de (1)
  • Weidenbach Christoph (1)
  • Witrant Emmanuel (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (119)
  • Sciences de l'ingénieur (16)
  • Mathématiques (14)
  • Informatique, information, généralités (4)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Bibliothéconomie et sciences de l'information (1)
  • Logique (1)
  • Commerce, communications, transports (1)
  • Physique (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

148 thèses pour Bisimulation

...toget [ϕ]τ vP |Q [β g γ]τ).This concludes the case analysis.Lemma 4.5.26. ≡ is a bisimulation...

Accéder en ligne
Sciences appliquées

Soutenue en 1993
thèse soutenue
Informatique. Systèmes et communication

Soutenue en 2006
thèse soutenue
Intelligence artificielle

Soutenue en 2012
thèse soutenue

Résultats 1 à 10