Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The Hanoi Omega-Automata Format | 13 | 0.55 | 2015 |
| Compositional Approach to Suspension and Other Improvements to LTL Translation. | 11 | 0.60 | 2013 |
| Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. | 17 | 0.71 | 2013 |
| Almost linear büchi automata | 2 | 0.36 | 2012 |
| LTL to büchi automata translation: fast and more deterministic | 47 | 1.48 | 2012 |