34 citations · 78 across the 22 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
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…