| |
| 2002 | ||
|---|---|---|
| 5 | EE | Erich Grädel, Colin Hirsch, Martin Otto: Back and forth between guarded and modal logics. ACM Trans. Comput. Log. 3(3): 418-463 (2002) |
| 2000 | ||
| 4 | Colin Hirsch, Stephan Tobies: A Tableau Algorithm for the Clique Guarded Fragment. Advances in Modal Logic 2000: 257-277 | |
| 3 | EE | Erich Grädel, Colin Hirsch, Martin Otto: Back and Forth between Guarded and Modal Logics. LICS 2000: 217-228 |
| 1999 | ||
| 2 | EE | Rudolf Fleischer, Colin Hirsch: Graph Drawing and Its Applications. Drawing Graphs 1999: 1-22 |
| 1998 | ||
| 1 | EE | Erich Grädel, Yuri Gurevich, Colin Hirsch: The Complexity of Query Reliability. PODS 1998: 227-234 |
| 1 | Rudolf Fleischer | [2] |
| 2 | Erich Grädel | [1] [3] [5] |
| 3 | Yuri Gurevich | [1] |
| 4 | Martin Otto | [3] [5] |
| 5 | Stephan Tobies | [4] |