Intersection of Regular Languages and Star Hierarchy
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
PSPACE-completeness of Modular Supervisory Control Problems
Discrete Event Dynamic Systems
A parametric analysis of the state-explosion problem in model checking
Journal of Computer and System Sciences
Descriptional and Computational Complexity of Finite Automata
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Descriptional and computational complexity of finite automata---A survey
Information 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
The complexity of mean-payoff automaton expression
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Hi-index | 0.00 |