International Colloquium on Automata, Languages and Programming on Automata, languages and programming
Alternating automata on infinite trees
Theoretical Computer Science
An automata theoretic decision procedure for the propositional mu-calculus
Information and Computation
Tree automata, Mu-Calculus and determinacy
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Theory of hybrid systems and discrete event systems
Theory of hybrid systems and discrete event systems
Fast and simple nested fixpoints
Information Processing Letters
An improved algorithm for the evaluation of fixpoint expressions
Theoretical Computer Science
Languages, automata, and logic
Handbook of formal languages, vol. 3
Fixed point characterization of infinite behavior of finite-state systems
Theoretical Computer Science
The modal mu-calculus alternation hierarchy is strict
Theoretical Computer Science
Deciding the winner in parity games is in UP ∩ co-UP
Information Processing Letters
Pushdown processes: games and model-checking
Information and Computation - Special issue on FLOC '96
A Hierarchy Theorem for the µ-Calculus
ICALP '96 Proceedings of the 23rd International Colloquium on Automata, Languages and Programming
Monadic Second Order Logic on Tree-Like Structures
STACS '96 Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science
Simplifying the Modal Mu-Calculus Alternation Hierarchy
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
Small Progress Measures for Solving Parity Games
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
A Discrete Strategy Improvement Algorithm for Solving Parity Games
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Faster Model Checking for the Modal Mu-Calculus
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
On Model-Checking for Fragments of µ-Calculus
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
A randomized subexponential algorithm for parity games
Nordic Journal of Computing
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Results on the quantitative μ-calculus qMμ
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |