Similar Items: An extension of data automata that captures XPath
- Bottom-up automata on data trees and vertical XPath
- Axiomatizing Hybrid XPath with Data
- On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
- Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
- Data optimizations for constraint automata
- Verification for Timed Automata extended with Unbounded Discrete Data Structures