Name
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 |