User: Guest  Login
sort by:
and:

Abiteboul, Serge;Bourhis, Pierre;Muscholl, Anca;Wu, Zhilin
Recursive queries on trees and data trees
the 16th International Conference
Genest, Blaise;Kuske, Dietrich;Muscholl, Anca
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
Information and Computation
2006
204
6
920--956
Bojanczyk, M.;Schwentick, Th;Segoufin, L.;Muscholl, Anca
Two-variable logic on data trees and XML reasoning
J. of the ACM
2009
56
3
Heußner, Alexander;Leroux, Jérôme;Muscholl, Anca;Sutre, Grégoire
Reachability Analysis of Communicating Pushdown Systems
267-281
Foundations of Software Science and Computational Structures
Ong, Luke
Springer Berlin Heidelberg
2010
Genest, Blaise;Gimbert, Hugo;Muscholl, Anca;Walukiewicz, Igor
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
52-63
Automata, Languages and Programming
Abramsky, Samson;Gavoille, Cyril;Kirchner, Claude;{Meyer auf der Heide, Friedhelm};Spirakis, PaulG
Springer Berlin Heidelberg
2010
Bojanczyk, M.;David, C.;Schwentick, Th;Segoufin, L.;Muscholl, Anca
Two-variable logic on data words
ACM Trans. Comput. Log.
2011
12
4
27
Manuel, Amaldev;Muscholl, Anca;Puppis, Gabriele
Walking on Data Words
64-75
Computer Science -- Theory and Applications
Bulatov, AndreiA;Shur, ArsenyM
Springer Berlin Heidelberg
2013
Krishna, Siddharth;Muscholl, Anca
A quadratic construction for Zielonka automata with acyclic communication structure
Theoretical Computer Science
2013
503
109--114
Muscholl, Anca;Walukiewicz, Igor
Distributed synthesis for acyclic architectures
CoRR
2014
abs/1402.3314
sort by:
and: