Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Danièle Beauquier
Danièle Beauquier a rédigé la thèse suivante :
Automates sur les mots bi-infinis
par Danièle Beauquier sous la direction de Maurice Nivat - Paris 7
Mathématiques
Soutenue en 1986
Danièle Beauquier a dirigé les 3 thèses suivantes :
Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre
par Pavel Vassiliev sous la direction de Danièle Beauquier et de Igor Soloviev . - Paris Est
Informatique
Soutenue le 27-11-2008
Algorithmes heuristiques pour des classes décidables de la logique FOTL
par Evguenia Dmitrieva Prokofieva sous la direction de Danièle Beauquier et de Nikolai Kirillovich Kossovski . - Paris 12
InformatiqueInformatique
Soutenue en 2004
Développement et réalisation d'algorithmes traitant des données floues dans des logiques plurivalentes
par Elena Smirnova sous la direction de Danièle Beauquier et de Nicolai Kossovski . - Paris 12
Informatique
Soutenue en 2002
