1. Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Limiting Until in Ordered Tree Query Languages;ACM Transactions on Computational Logic;2016-03-28
3. Graded computation tree logic;ACM Transactions on Computational Logic;2012-08
4. Analytical Processing Over XML and XLink;International Journal of Data Warehousing and Mining;2012-01
5. XPath leashed;ACM Computing Surveys;2009-01-15