| Feedback mit einem webbasierten Übungsbetrieb | 1 | 0.41 | 2009 |
| Integriertes Übungsbetriebmodul im Rahmen eines hochschulweiten eLearning-Portals | 1 | 0.43 | 2008 |
| Ein integrierter, digitaler Semesterapparat | 1 | 0.48 | 2008 |
| On the µ-calculus augmented with sabotage | 0 | 0.34 | 2006 |
| Ein e-Lecture-System für die Theoretische Informatik | 0 | 0.34 | 2003 |
| Model Checking and Satisfiability for Sabotage Modal Logic | 22 | 1.05 | 2003 |
| Solving the Sabotage Game Is PSPACE-Hard | 19 | 1.34 | 2003 |
| Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus | 0 | 0.34 | 2001 |
