Muscholl, Anca, 1967-....
Muscholl, Anca
Anca Muscholl enseignante chercheuse en informatique
VIAF ID: 18393108 ( Personal )
Permalink: http://viaf.org/viaf/18393108
Preferred Forms
- 100 0 _ ‡a Anca Muscholl ‡c enseignante chercheuse en informatique
- 100 1 _ ‡a Muscholl, Anca
-
-
-
- 100 1 _ ‡a Muscholl, Anca
- 100 1 _ ‡a Muscholl, Anca ‡d 1967-
- 100 1 _ ‡a Muscholl, Anca ‡d 1967-
- 100 1 _ ‡a Muscholl, Anca, ‡d 1967-....
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Algebras of Relations : from algorithms to formal proofs | |
Algèbres de relations : des algorithmes aux preuves formelles. | |
Analyse de XML avec données non-bornées | |
Apprentissage et vérification de systèmes complexes avec des spécifications temporelles. | |
Une approche basée modèle pour l'optimisation du monitoring de systèmes avioniques relativement à leurs performances de diagnostic | |
Automates d'arbres à jetons | |
Coloration et recoloration de graphes. | |
Contribution à l'étude des jeux sur des graphes de processus à pile | |
Decision and complexity issues on concurrent systems | |
Définissabilité et synthèse de transductions | |
ETAPS 2014 | |
Etude de la dynamique des documents actifs pour la gestion d'information distribuées. | |
Expressivité des automates pondérés circulaires et boustrophédons | |
Expressivity of weighted rotating and two-way automata. | |
FOSSACS 2014 | |
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings | |
Gestion de ressources des transductions régulières sur les mots. | |
Graph Coloring and Recoloring | |
Implicit automata in linear logic and categorical transducer theory | |
Jeux aléatoires. | |
Learning and Verifying Temporal Specifications for Cyber-Physical Systems | |
L'odyssée des graphes de diagrammes de séquences ( MSC-Graphes) | |
Minimizing resources for regular word transductions | |
Nash equilibria in concurrent games : application to timed games | |
The odyssey of MSC-graphs. | |
On Communicating Automata with Bounded Channels | |
On the dynamics of active documents for distributed data management | |
PEBBLE TREE AUTOMATA. | |
Le problème de la valeur dans les jeux stochastiques | |
Pushdown games. | |
Random Games | |
Simplifying transducers using sequentiality | |
Sur les problèmes de décision concernant les transducteurs de mots avec la sémantique d'origine. | |
Tatic analysis of XML with data values. | |
Über die Erkennbarkeit unendlicher Spuren | |
Vérification de programmes récursifs et communicants via split-width. | |
Verification of Automata with Storage Mechanisms | |
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions |