| Presburger Constraints In Trees | 0 | 0.34 | 2020 |
| Query reasoning on data trees with counting. | 0 | 0.34 | 2016 |
| On Regular Paths with Counting and Data Tests. | 0 | 0.34 | 2016 |
| On the Model Checking of the Graded μ-calculus on Trees. | 0 | 0.34 | 2015 |
| Global Numerical Constraints on Trees. | 6 | 0.51 | 2014 |
| Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. | 4 | 0.45 | 2013 |
