8 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.DB2012★ 1 cited
On Injective Embeddings of Tree Patterns
Jakub Michaliszyn, Anca Muscholl, Sławek Staworko +2
We study three different kinds of embeddings of tree patterns: weakly-injective, ancestor-preserving, and lca-preserving. While each of them is often referred to as injective embed…
cs.DB2010★ 8 cited
Verifying Recursive Active Documents with Positive Data Tree Rewriting
Blaise Genest, Anca Muscholl, Zhilin Wu
This paper proposes a data tree-rewriting framework for modeling evolving documents. The framework is close to Guarded Active XML, a platform used for handling XML repositories evo…