Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
Reasoning about infinite computations
Information and Computation
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
Reasoning about The Past with Two-Way Automata
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Journal of Computer and System Sciences
On Monadic theories of monadic predicates
Fields of logic and computation
Variable and clause ordering in an FSA approach to propositional satisfiability
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
A finite state intersection approach to propositional satisfiability
Theoretical Computer Science
| Hi-index | 0.00 |