A note on the space complexity of some decision problems for finite automata

Theory of neuromata

Journal of the ACM (JACM)

Typing and querying XML documents: some complexity bounds

Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Decision procedures for inductive Boolean functions based on alternating automata

Theoretical Computer Science

The complexity of XPath query evaluation and XML typing

Journal of the ACM (JACM)

State complexity of unique rational operations

Theoretical Computer Science