Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (31)
  • Université Grenoble Alpes (ComUE) (26)
  • Grenoble (22)
  • Lyon (14)
  • Université de Lorraine (14)
  • Paris 6 (11)
  • Sorbonne Paris Cité (11)
  • Toulouse 3 (10)
  • Paris Sciences et Lettres (ComUE) (8)
  • Nancy 1 (7)
  • Sorbonne université (7)
  • Ecole centrale de Lille (6)
  • Paris Est (6)
  • Paris, CNAM (6)
  • Cachan, Ecole normale supérieure (5)
  • Nantes (5)
  • Rennes 1 (5)
  • Université Côte d'Azur (ComUE) (5)
  • Limoges (4)
  • Toulouse, INPT (4)
  • Toulouse, INSA (4)
  • Avignon (3)
  • Bordeaux (3)
  • Bourgogne Franche-Comté (3)
  • Compiègne (3)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (3)
  • Orléans (3)
  • Paris 11 (3)
  • Toulouse, ISAE (3)
  • Université de Sherbrooke (Québec, Canada) (3)
  • Aix-Marseille (2)
  • Besançon (2)
  • Bordeaux 1 (2)
  • CentraleSupélec (2)
  • Institut polytechnique de Paris (2)
  • La Rochelle (2)
  • Lyon 1 (2)
  • Montpellier 2 (2)
  • Nancy 2 (2)
  • Paris 5 (2)
  • Pau (2)
  • Troyes (2)
  • Université libanaise (2)
  • 127 Universita di Roma La Sapienza (1)
  • 131 Université Catholique de Louvain (1)
  • Angers (1)
  • Belfort-Montbéliard (1)
  • Bordeaux 2 (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Cergy-Pontoise (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Clermont Auvergne (1)
  • Dijon (1)
  • East China normal university (Shanghai) (1)
  • Ecole nationale supérieure Mines-Télécom Lille Douai (1)
  • Evry-Val d'Essonne (1)
  • Institut national des postes et télécommunications (Rabat) (1)
  • Littoral (1)
  • Lorient (1)
  • Montpellier (1)
  • Montpellier, SupAgro (1)
  • Mulhouse (1)
  • Nanjing University (Chine) (1)
  • Paris 1 (1)
  • Paris 10 (1)
  • Paris 3 (1)
  • Paris, EHESS (1)
  • Paris, Ecole normale supérieure (1)
  • Paris, Institut d'études politiques (1)
  • Paris, Muséum national d'histoire naturelle (1)
  • Poitiers (1)
  • Prove & Run (1)
  • Reims (1)
  • Rennes 2 (1)
  • Rennes, École normale supérieure (1)
  • Shandong University (Jinan, Chine) (1)
  • Technische Universität (Berlin) (1)
  • Technische Universität Kaiserslautern (Allemagne) (1)
  • Toulouse 2 (1)
  • Tours (1)
  • Tshwane University of Technology (1)
  • Universidad de Buenos Aires (1)
  • Universidad de la República (Montevideo) (1)
  • Universidad de la República (Montevideo). Facultad de Ciencias (1)
  • Universidade estadual de Campinas (Brésil) (1)
  • Universitatea Alexandru Ioan Cuza (Iaşi, Roumanie) (1)
  • University of Cambridge (1)
  • University of Stellenbosch (1)
  • University of Western Sydney (1)
  • Università degli studi (Florence, Italie) (1)
  • Università degli studi (Turin, Italie) (1)
  • Università degli studi La Sapienza (Rome) (1)
  • Università degli studi dell'Insubria (Varese, Italie) (1)
  • Universität des Saarlandes (1)
  • Université Grenoble Alpes (1)
  • Université Libanaise (Liban) (1)
  • Université Lomonossov (Moscou) (1)
  • Université Nationale Centrale (JhongLi, Taïwan) (1)
  • Université de Liège (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Sherbrooke (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université de Tunis. Institut supérieur de gestion (Tunisie) (1)
  • Université de Yaoundé I (1)
  • Université des Andes - Colombie (1)
  • Université du Luxembourg (1)
  • Université du Québec à Montréal (1)
  • Univerzita Karlova (Prague) (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Zhejiang University (Hangzhou, Chine) (1)
  • École Doctorale des Sciences et de Technologie (Beyrouth) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (89)
  • Mathématiques (13)
  • Mathématiques appliquées (9)
  • Sciences de la terre et de l'univers, et de l'environnement (7)
  • Physique (6)
  • Physique des particules (6)
  • Neurosciences (5)
  • Géosciences et géoingénierie (4)
  • Informatique et applications (4)
  • Sciences de la Terre et de l'Univers et de l'Environnement (4)
  • Automatique, Génie informatique, Traitement du Signal et des Images (3)
  • Géosciences (3)
  • Mathématiques fondamentales (3)
  • Sciences et technologie industrielles (3)
  • Automatique (2)
  • Automatique, génie informatique, traitement du signal et des images (2)
  • Informatique (STIC) (2)
  • Mathématiques Appliquées (2)
  • Mécanique des fluides (2)
  • Nanoélectronique et nanotechnologie (2)
  • Océan, Atmosphère, Climat (2)
  • Optimisation et Sûreté des Systèmes (2)
  • Philosophie (2)
  • Physique subatomique et astroparticules (2)
  • Robotique (2)
  • Sciences de l'univers (2)
  • Sciences de la vie et de la santé (2)
  • Sciences du langage (2)
  • Sciences économiques (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Systèmes embarqués (2)
  • Terre Solide (2)
  • Terre solide (2)
  • Électronique Électrotechnique Automatique (2)
  • Anglais (1)
  • Astronomie et Astrophysique (1)
  • Automatique - productique (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Automatique, productique (1)
  • Bio-ingénierie et Mathématiques Appliquées : Unité de Recherche Biomécanique et Bio-ingénierie (UMR-7338) (1)
  • Biologie cellulaire (1)
  • Biologie, médecine et santé (1)
  • Biologie.Génomique et bioinformatique (1)
  • Connaissance et gestion des milieux coralliens littoraux et océaniques (1)
  • Eaux Continentales et Société (1)
  • Electronique des Hautes Fréquences, Photonique et Systèmes (1)
  • Frontières des systèmes vivants (1)
  • Génie Industriel (1)
  • Génie informatique (1)
  • Génie informatique, automatique et traitement du signal. Informatique (1)
  • Génie électrique (1)
  • Génomique évolutive (1)
  • Géographie (1)
  • Géophysique (1)
  • Géosciences environnement (1)
  • Image, information, hypermedia (1)
  • Immunologie (1)
  • Info - Informatique (1)
  • Informatique et Télécommunications (1)
  • Informatique et applications (1)
  • Informatique et télécommunication (1)
  • Informatique, données, IA (1)
  • Informatique. Modélisation et vérification (1)
  • Ingénierie neuromorphique (1)
  • Instrumentation et informatique de l'image (1)
  • Interactions moléculaires et cellulaires (1)
  • Langues et linguistiques (1)
  • Langues, Littératures et Civilisations (1)
  • Littératures et civilisations comparées (1)
  • Mathématiques appliquées - Polytechnique (1)
  • Mathématiques et Applications (1)
  • Mathématiques et informatique (1)
  • Mathématiques. Mathématiques appliquées (1)
  • Mathématiques. Mathématiques fondamentales (1)
  • Mathématiques. Statistiques (1)
  • Matériaux, mécanique, génie civil, électrochimie (1)
  • Micro et nanoélectronique (1)
  • Microbiologie Marine (1)
  • Microorganismes. Interactions. Infections (1)
  • Mécanique - Génie civil (1)
  • Mécanique et Matériaux : Unité de recherche en Mécanique - Laboratoire Roberval (UMR-7337) (1)
  • Océan, atmosphère et surfaces continentales (1)
  • Océan, atmosphère, climat et observations spatiales (1)
  • Océan, atmosphère, hydrologie (1)
  • Pharmacotechnie et physico-chimie (1)
  • Physique de l'Univers (1)
  • Physique de l'univers (1)
  • Physique pour les sciences du vivant (1)
  • Physique théorique (1)
  • Physique. Information Quantique (1)
  • Psychologie (1)
  • Psychologie cognitive (1)
  • Quaternaire et Préhistoire (1)
  • Robotique et informatique (1)
  • Réseaux, information et communications (1)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (1)
  • Sciences Agronomiques (1)
  • Sciences cognitives, psychologie et neurocognition (1)
  • Sciences de gestion (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'univers.Géophysique (1)
  • Sciences de la Terre (1)
  • Sciences de la Terre / Géodynamique (1)
  • Sciences de la planète et de l'univers (1)
  • Sciences de la terre et de l'univers (1)
  • Sciences de la terre et de l’environnement.Géophysique (1)
  • Sciences de la terre et univers, environnement (1)
  • Sciences de la vie et de l'environnement (1)
  • Sciences du végétal (1)
  • Sciences economiques (1)
  • Sciences et Techniques de l'Environnement (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences et technologies industrielles (1)
  • Sciences, technologie, santé. Neurosciences (1)
  • Signal, Image, Automatique (1)
  • Statistiques appliquées (1)
  • Stic (1)
  • Structure et réactions nucléaires (1)
  • Systèmes Embarqués et Robotique (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Traitement du signal et de l'image (1)
  • Traitement du signal. Image et acoustique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale terre, univers, environnement (Grenoble) (19)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (15)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (14)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (12)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (11)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (11)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (9)
  • École doctorale Informatique, télécommunications et électronique de Paris (8)
  • École doctorale Sciences pour l'Ingénieur (Lille) (8)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (8)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (7)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (6)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (6)
  • École doctorale Particules, hadrons, énergie et noyau : instrumentation, imagerie, cosmos et simulation (Orsay, Essonne ; 2015-....) (5)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris ; 2014-....) (5)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (5)
  • École doctorale physique (Grenoble) (5)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (4)
  • École doctorale Systèmes (Toulouse) (4)
  • École doctorale en Informatique et Mathématiques de Lyon (4)
  • IAEM Lorraine (3)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (3)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (3)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (3)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (2)
  • Ecole doctorale Langages, Temps, Sociétés (LTS) (Nancy-Metz) (2)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (2)
  • GRNE - Géosciences, Ressources Naturelles et Environnement (2)
  • Systèmes (2)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (2)
  • École doctorale Cancérologie : biologie-médecine-santé (Villejuif, Val-de-Marne ; 2015-....) (2)
  • École doctorale Cerveau, cognition, comportement (Paris) (2)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (2)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (2)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (2)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (2)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (2)
  • BioSE (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Connaissance, langage et modélisation (Nanterre) (1)
  • Ecole doctorale Innovation Thérapeutique : du Fondamental à l'Appliqué (Châtenay-Malabry, Haut-de-Seine ; 2000-2015) (1)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Ecole doctorale Sciences du Végétal (1992-2015 ; Orsay, Essonne) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATHSTIC (1)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • École Doctorale Neurosciences et Cognition (NSCo) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale Agriculture, alimentation, biologie, environnement, santé (Paris ; 2015-....) (1)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (1)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Complexité du vivant (Paris) (1)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (1)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris ; 2006-....) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (Paris ; ....-2013) (1)
  • École doctorale Géosciences, ressources naturelles et environnement (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (1)
  • École doctorale Littérature française et comparée (Paris) (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 (1)
  • École doctorale Particules, Noyaux, Cosmos (Paris ; 2009-2015) (1)
  • École doctorale SIReNa - Science et ingénierie des ressources naturelles (Lorraine) (1)
  • École doctorale SLTC - Sociétés, Langages, Temps, Connaissances (Lorraine) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de l'Homme et de la société (Sceaux, Hauts-de-Seine ; 2015-2020) (1)
  • École doctorale Sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (1)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences humaines et sociales (Rennes) (1)
  • École doctorale Sciences économiques et gestion (Lyon) (1)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale d'Économie (Paris) (1)
  • École doctorale de Sciences Po (Paris) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale de l'École pratique des hautes études (Paris) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (200)
  • français (107)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (4)
  • Dubois Catherine (4)
  • Gaaloul Walid (4)
  • Laleau Régine (4)
  • Méry Dominique (4)
  • Toguyeni Abdoul Karim Armand (4)
  • Delahaye David (3)
  • Lesage Jean-Jacques (3)
  • Lesage Philippe (3)
  • Mammar Amel (3)
  • Pierre Laurence (3)
  • Baillet Laurent (2)
  • Beck Christian (2)
  • Benosman Ryad (2)
  • Bernard Pascal (2)
  • Bon Philippe (2)
  • Borrione Dominique (2)
  • Campillo Michel (2)
  • Chauris Hervé (2)
  • Chbeir Richard (2)
  • Chevrier Vincent (2)
  • Collart-Dutilleul Simon (2)
  • Cornou Cécile (2)
  • Curien Nicolas (2)
  • Fillatre Lionel (2)
  • Frappier Marc (2)
  • Friboulet Denis (2)
  • Garban Christophe (2)
  • Hadj Kacem Ahmed (2)
  • Jard Claude (2)
  • Jensen Thomas (2)
  • Julliand Jacques (2)
  • Khlif Manel (2)
  • Lanet Jean-Louis (2)
  • Lbath Ahmed (2)
  • Masson Pierre-Alain (2)
  • Merz Stephan (2)
  • Morin-Allory Katell (2)
  • Mosbah Mohamed (2)
  • Nikiforov Igor Vladimirovitch (2)
  • Perrin Olivier (2)
  • Souquières Jeanine (2)
  • Tsybakov Alexandre B. (2)
  • Aboura Zoheir (1)
  • Abriak Nor-Edine (1)
  • Acier Didier (1)
  • Adloff Catherine (1)
  • Afilal Lissan (1)
  • Agón Carlos (1)
  • Almar Rafael (1)
  • Amer-Yahia Sihem (1)
  • Amitrano David (1)
  • Andrieux Karine (1)
  • Anquetin Sandrine (1)
  • Apothéloz Denis (1)
  • Arleo François (1)
  • Armand Louis (1)
  • Arock Michel (1)
  • Auffray Caroline (1)
  • Augusto Vincent (1)
  • Aït-Sadoune Idir (1)
  • Baciu Monica (1)
  • Bak John S. (1)
  • Balaresque Patricia (1)
  • Balland Martial (1)
  • Bard Pierre-Yves (1)
  • Bardin Marc (1)
  • Barrillon Pierre (1)
  • Bastin Philippe (1)
  • Beaudette Florian (1)
  • Ben Ahmed Samir (1)
  • Ben-Haim Eli (1)
  • Benabid Fetah (1)
  • Bennequin Daniel (1)
  • Bensana Éric (1)
  • Berceli Scott A. (1)
  • Bergot Thierry (1)
  • Berkani Karim (1)
  • Berni Céline (1)
  • Berruet Pascal (1)
  • Berry Hugues (1)
  • Berthet Philippe (1)
  • Bertrand Nathalie (1)
  • Bessière Jean (1)
  • Bidan Christophe (1)
  • Blackburn Patrick (1)
  • Blanchin Myriam (1)
  • Blay-Fornarino Mireille (1)
  • Bodeveix Jean-Paul (1)
  • Bois Frédéric (1)
  • Bolmont Julien (1)
  • Bonnin Jean-Marie (1)
  • Bordenave Charles (1)
  • Bordes Laurent (1)
  • Bouajjani Ahmed (1)
  • Bourjot Christine (1)
  • Boursier Patrice (1)
  • Braud Isabelle (1)
  • Brette Romain (1)
  • Brémond François (1)
  • Bruel Jean-Michel (1)
  • Brunel Julien (1)
  • Busnel Yann (1)
  • Bénichou Olivier (1)
  • Cachera David (1)
  • Caire Raphaël (1)
  • Calvary Gaëlle (1)
  • Camenen Benoît (1)
  • Cansell Dominique (1)
  • Cardinale Yudith (1)
  • Carlier Jacques (1)
  • Carrier Martin (1)
  • Castillo Ismaël (1)
  • Castéran Pierre (1)
  • Cathelineau Michel (1)
  • Catoni Olivier (1)
  • Chaljub Emmanuel (1)
  • Chalot Michel (1)
  • Charles Matthew (1)
  • Charoy François (1)
  • Chatenoud Lucienne (1)
  • Chebbo Ghassan (1)
  • Chemouil David (1)
  • Chen Yan (1)
  • Clavier Christophe (1)
  • Cocris Vasile (1)
  • Combourieu-Nebout Nathalie (1)
  • Comon-Lundh Hubert (1)
  • Comyn-Wattiau Isabelle (1)
  • Cordier Bertrand (1)
  • Corrales Ramón Juan Antonio (1)
  • Cosio Claudia (1)
  • Cottet Audrey (1)
  • Cotton Fabrice (1)
  • Coudreau Thomas (1)
  • Couvreur Patrick (1)
  • Crescenzi Pierluigi (1)
  • Crouzet Christian (1)
  • Crowley James L (1)
  • Cuppens Frédéric (1)
  • Cuppens Nora (1)
  • Dabas Alain (1)
  • Dague Philippe (1)
  • Daviaud François (1)
  • De Marchi Fabien (1)
  • Debbah Mérouane (1)
  • Delahaye Benoît (1)
  • Delarue François (1)
  • Delteil Alexandre (1)
  • Desainte-Catherine Myriam (1)
  • Dewitte Boris (1)
  • Djouani Karim (1)
  • Douady Raphaël (1)
  • Dowek Gilles (1)
  • Dublanchet Pierre (1)
  • Dubois Didier (1)
  • Dubois Julien (1)
  • Dubrulle Bérengère (1)
  • Duda Andrzej (1)
  • Dufresne Alain (1)
  • Dupuy-Chessa Sophie (1)
  • Duquesne Thomas (1)
  • Durand Gaël (1)
  • Duret Laurent (1)
  • El Karoui Nicole (1)
  • El Khlifi Mohamed (1)
  • El-Azouzi Rachid (1)
  • El-Baalbaki Ghassan (1)
  • Enriquez Nathanaël (1)
  • Escalier Marc (1)
  • Esling Philippe (1)
  • Euzenat Jérôme (1)
  • Faiz Sami (1)
  • Falcone Yliès Carlo (1)
  • Faure Michel (1)
  • Fayard Louis (1)
  • Fesquet Laurent (1)
  • Filali Mamoun (1)
  • Fleurisson Jean-Alain (1)
  • Friboulet Luc (1)
  • Froux Fabienne (1)
  • Fusco Giovanni (1)
  • Gaborit Philippe (1)
  • Gamboa Fabrice (1)
  • Garbey Marc (1)
  • Gassama Nathalie (1)
  • Gauthier Arnaud (1)
  • Gayet Damien (1)
  • Gechter Franck Joseph Aimé (1)
  • Gelareh Shahin (1)
  • Ghallab Malik (1)
  • Ghazel Mohamed (1)
  • Gilles Pierre-Yves (1)
  • Girard Patrick (1)
  • Giuliani Andrea (1)
  • Gleizes Marie-Pierre (1)
  • Gobet Emmanuel (1)
  • Goblet Patrick (1)
  • Godart Claude (1)
  • Gorce Jean-Marie (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (111)
  • Sciences de l'ingénieur (45)
  • Sciences de la terre (40)
  • Mathématiques (34)
  • Physique (23)
  • Sciences de la vie, biologie, biochimie (20)
  • Médecine et santé (10)
  • Informatique, information, généralités (5)
  • Philosophie, psychologie (3)
  • Statistiques générales (3)
  • Economie (3)
  • Astronomie, cartographie, géodésie (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Langues et linguistique (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Gestion et organisation de l'entreprise (2)
  • Psychologie (1)
  • Langue anglaise. Anglo-saxon (1)
  • Autres langues (1)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)
  • Littérature américaine en anglais (1)
  • Littératures anglaise et anglo-saxonne (1)
  • Géographie et histoire (1)

Domaines :

Fullscreen

288 thèses pour "Event-B"

...plusieurs composantsEvent-B. Ces composants communiquent par événements partagés. En n, le dernier proto...

Accéder en ligne

...relevance of the adopted Event-B modeling for safety analysis. Then, this approach is implemented on a study...

Accéder en ligne

...premier ordre avec les contraintes du domaine pourEvent-B : BL...

Accéder en ligne

...17 Domain Restriction NodeEvent-B formula SC rRodin tag name DOMRESNode type binary node...

Accéder en ligne
Informatique

En préparation depuis le 10-06-2018
 thèse en cours de préparation

...de la traduction des ASTD en B/Event-B, cette approche ne peutservir que dans le cas des opérateurs choix, séquence...

Accéder en ligne
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 22-11-2017
thèse soutenue

.... Butler. Application of Event B to global causalordering for fault tolerant transactions. In Workshop on...

Accéder en ligne
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 06-03-2018
thèse soutenue

...modeled as a relation between classes using the ↔ relationEvent-B operator. A second part of this...

Accéder en ligne

Résultats 1 à 10