Knowledge Tree

researcher / Anca Muscholl

Anca Muscholl

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

On decision problems on word transducers with origin semantics

Minimizing resources for regular word transductions

Une approche basée modèle pour l’optimisation du monitoring de systèmes avioniques relativement à leurs performances de diagnostic

Le problème de la valeur dans les jeux stochastiques

Vers la vériﬁcation de propriétés de sûreté pour des systèmes inﬁnis communicants : décidabilité et rafﬁnement des abstractions

Analyse de XML avec données non-bornées

Random Games

Automates d'arbres à jetons

L'odyssée des graphes de diagrammes de séquences ( MSC-Graphes)

Contribution à l'étude des jeux sur des graphes de processus à pile