Algèbre de Kleene  Algèbre de relations  AltaRica  AltaRica  Aperiodicité  Arbres  Assistants de preuve  Automates  Automates communicants  Automates mathématiques, Théorie des  Avionique  Complexité  Concurrence  Congruence syntaxique  Contrôleurs distribués  Data words  Diagnostic  Diagnosticabilité  Documents actifs  Décidabilité  Détectabilité  Expressions régulières  Fiabilité  Flux de travail  Formalisme  Hiérarchie  Hiérarchie borélienne  Implementation  Informatique  Jeux stochastiques  Langages de programmation -- Sémantique  Langages formels  Logiciels -- Vérification  Logique  Logique du premier ordre  Logique du second ordre monadique  Logique monadique du second-ordre  Machines séquentielles, Théorie des  Message sequence charts  Mesures de sécurité  Minimisation  Model-checking  Modèle  Mots de données  Nash, Variétés de  Origine  Pertinence  Preuve assistée par ordinateur  Processus stochastiques  SST  Satisfiabilité  Scénario  Structures de données  Superfluité  Synthèse  Synthèse de controleurs  Synthèse de contrôleur  Systèmes concurrents  Systèmes de transitions temporisés  Systèmes distribués  Systèmes informatiques -- Mesures de sûreté  Systèmes ouverts  Systèmes à événements discrets  Systèmes échantillonnés  Sémantique des programmes  Théorie de la définissabilité  Théorie de la pertinence  Théorie des automates  Théorie des jeux  Traitement réparti  Transducteur unidirectionnel et bidirectionnel  Transducteurs  Transduction  Transduction  Transduction MSO  Transductions  Valeur  Vérification  Vérification quantitative  Workflow  XML  Xml  

Anca Muscholl dirige actuellement la thèse suivante :

Expressivité et minimisation de ressources pour les transductions

par Sougata Bose sous la direction de Anca Muscholl et de Gabriele Puppis . - Bordeaux

Informatique
En préparation depuis le 09-10-2017
Thèse en préparation


Anca Muscholl a dirigé les 9 thèses suivantes :

Informatique
Soutenue le 05-12-2017
Thèse soutenue
Informatique
Soutenue en 2009
Thèse soutenue

Informatique
Soutenue en 2008
Thèse soutenue

Informatique
Soutenue en 2007
Thèse soutenue


Anca Muscholl a été rapporteur des 2 thèses suivantes :


Anca Muscholl a été membre de jury des 3 thèses suivantes :

Informatique
Soutenue le 12-10-2018
Thèse soutenue
Informatique
Soutenue le 04-10-2016
Thèse soutenue