Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Backward deterministic and weak alternating ω-automata. | 0 | 0.34 | 2017 |
| Backward Deterministic Büchi Automata on Infinite Words. | 0 | 0.34 | 2017 |
| Past, Present, and Infinite Future. | 0 | 0.34 | 2016 |
| Preface of STACS 2012 Special Issue | 0 | 0.34 | 2014 |
| A dolev-yao-based definition of abuse-free protocols | 12 | 0.72 | 2006 |
| Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy | 19 | 2.14 | 1996 |