Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Gérard Boudol

a dirigé 8 thèses

Agents mobiles Analyse de contenu Architecture des ordinateurs Calcul de processus Communication -- Analyse de réseau Compilation Concurrence à mémoire partagée Déclassification Flux d’information Inférence Interblocage asymptotique JavaScript Lambda-calcul Langages de programmation Logique combinatoire Maîtrise statistique des processus Microprocesseurs multi-coeurs Mobilité Multiprocesseurs Mutex Mémoire partagée répartie Ordinateurs -- Mémoires Ordonnancement Pi-calcul Programmation orientée objets Programmation parallèle Programmation sur Internet Protection de l'information Scheme Serveurs Web Sites Web Système de types Systèmes informatiques -- Évaluation Systèmes informatiques Systèmes virtuels Sécurité Sémantique Threads Verouillage imbriqué Évitement des interblocages

Gérard Boudol a dirigé les 8 thèses suivantes :

Conception et implémentation d'un langage de programmation concurrente modulaire

par Johan Grande sous la direction de Manuel Serrano et de Gérard Boudol . - Nice

Informatique

Soutenue le 28-09-2015

Thèse soutenue

Accéder en ligne

Sémantique et sécurité des applications Web

par Zhengqin Luo sous la direction de Gérard Boudol - Nice

Informatique

Soutenue en 2011

Thèse soutenue

Operational semantics of relaxed memory models

par Gustavo Petri sous la direction de Gérard Boudol - Nice

Informatique

Soutenue en 2010

Thèse soutenue

Mise en oeuvre d'un langage à mobilité forte

par Stéphane Epardaud sous la direction de Manuel Serrano et de Gérard Boudol . - Nice

Informatique

Soutenue en 2008

Thèse soutenue

Typage du flux d'information sur déclassification et mobilité

par Anna Gualdina Almeida Matos sous la direction de Gérard Boudol - Paris, ENMP

Informatique, temps réel, robotique et automatique

Soutenue en 2006

Thèse soutenue

Récursion généralisée et inférence de types avec intersection

par Pascal Zimmer sous la direction de Gérard Boudol - Nice

Informatique

Soutenue en 2004

Thèse soutenue

Réceptivité, mobilité et π-Calcul

par Cédric Lhoussaine sous la direction de Roberto Amadio et de Gérard Boudol . - Aix-Marseille 1

Informatique et mathématiques

Soutenue en 2002

Thèse soutenue

Le calcul bleu : types et objets

par Silvano Dal Zilio sous la direction de Gérard Boudol - Nice

Sciences et techniques

Soutenue en 1999

Thèse soutenue