Title | Citations | PageRank | Year |
---|---|---|---|
On the Hybrid Extension of CTL and CTL+ | 0 | 0.34 | 2009 |
A Proof System for the Linear Time µ-Calculus | 7 | 0.51 | 2006 |
Bounded Model Checking for All Regular Properties | 6 | 0.52 | 2006 |
Game Over: The Foci Approach to LTL Satisfiability and Model Checking | 2 | 0.55 | 2005 |
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop | 4 | 0.38 | 2005 |
Weak automata for the linear time µ-calculus | 10 | 0.56 | 2005 |
Don't know in the µ-calculus | 13 | 0.69 | 2005 |
Satisfiability and Completeness of Converse-PDL Replayed | 2 | 0.49 | 2003 |