| Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. | 0 | 0.34 | 2021 |
| Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures. | 0 | 0.34 | 2021 |
| A Decidable Non-Regular Modal Fixpoint Logic. | 0 | 0.34 | 2021 |
| Model Checking Timed Recursive CTL. | 0 | 0.34 | 2021 |
| Guarded Transformation for the Modal mu-Calculus | 1 | 0.36 | 2013 |
