Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Counting CTL | 3 | 0.38 | 2012 |
| Counting LTL | 3 | 0.37 | 2010 |
| On the complexity of membership and counting in height-deterministic pushdown automata | 6 | 0.48 | 2008 |
| Traces of Term-Automatic Graphs | 2 | 0.39 | 2008 |
| On Term Rewriting Systems Having a Rational Derivation | 0 | 0.34 | 2007 |
| Context-Sensitive Languages, Rational Graphs and Determinism. | 5 | 0.49 | 2006 |
| A logic of reachable patterns in linked data-structures | 43 | 1.40 | 2006 |
| Symbolic reachability analysis of higher-order context-free processes | 17 | 0.85 | 2004 |