Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Elisabeth Pelz
Elisabeth Pelz a dirigé les 5 thèses suivantes :
Developing mobile agents through a formal approach
par Andreea Barbu sous la direction de Eike Best et de Elisabeth Pelz . - Paris 12
Informatique
Soutenue en 2005
Modèles composables et concurrents pour le temps-réel
par Franck Pommereau sous la direction de Elisabeth Pelz et de Hanna Klaudel . - Paris 12
Informatique
Soutenue en 2002
Modelisation des systemes concurrentes ; methodes structurelles et semantiques dans l'algebre des reseaux de petri de haut niveau
par ROBERT-CHRISTOPH RIEMANN sous la direction de Elisabeth Pelz - Paris 11
Sciences et techniques
Soutenue en 1999
Modeles algebriques, bases sur les reseaux de petri, pour la semantique des langages de programmation concurrents
par HANNA KLAUDEL KOZLOWSKA sous la direction de Elisabeth Pelz - Paris 11
Sciences appliquées
Soutenue en 1995
Les réseaux algébriques hiérarchiques : un formalisme de spécifications structurées pour le développement de systèmes concurrents
par Nicolas Guelfi sous la direction de Elisabeth Pelz - Paris 11
Sciences appliquées
Soutenue en 1994
Elisabeth Pelz a été membre de jury des 3 thèses suivantes :
Reconnaissance de motifs dynamiques par automates temporisés à mémoire
par Clément Bertrand sous la direction de Hanna Klaudel - université Paris-Saclay
Informatique
Soutenue le 17-12-2020
On the Power and Universality of Biologically-inspired Models of Computation
par Sergiu Ivanov sous la direction de Serghei Verlan - Paris Est
Informatique
Soutenue le 23-06-2015
Surveillance logicielle à base d'une communauté d'agents mobiles
par Mâamoun Bernichi sous la direction de Fabrice Mourlin - Paris Est
Informatique
Soutenue le 30-11-2009
