Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The MATE workbench – An annotation tool for XML coded speech corpora | 20 | 9.23 | 2001 |
| An Overview of the State of the Art of Coding Schemes for Dialogue Act Annotation | 1 | 0.41 | 1999 |
| DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation | 14 | 1.27 | 1996 |
| The Fixpoint-Analysis Machine | 42 | 3.79 | 1995 |
| Faster Model Checking for the Modal Mu-Calculus | 59 | 8.95 | 1992 |