| 2007 | ||
|---|---|---|
| 6 | Silvio Becher, Philip Laue, Monika Maidl, Marko Modsching: Die datenschutz- und sicherheitskonforme Ausgestaltung von Location Based Services am Beispiel eines mobilen Touristenführers. MMS 2007: 85-96 | |
| 2005 | ||
| 5 | EE | Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl: Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214 |
| 2004 | ||
| 4 | EE | Graham Steel, Alan Bundy, Monika Maidl: Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR 2004: 137-151 |
| 2003 | ||
| 3 | EE | Javier Esparza, Monika Maidl: Simple Representative Instantiations for Multicast Protocols. TACAS 2003: 128-143 |
| 2001 | ||
| 2 | EE | Monika Maidl: A Unifying Model Checking Approach for Safety Properties of Parameterized Systems. CAV 2001: 311-323 |
| 2000 | ||
| 1 | Monika Maidl: The Common Fragment of CTL and LTL. FOCS 2000: 643-652 | |
| 1 | Silvio Becher | [6] |
| 2 | Alan Bundy | [4] |
| 3 | Javier Esparza | [3] |
| 4 | Stephen Gilmore (Stephen T. Gilmore) | [5] |
| 5 | Valentin Haenel | [5] |
| 6 | Leïla Kloul | [5] |
| 7 | Philip Laue | [6] |
| 8 | Marko Modsching | [6] |
| 9 | Graham Steel | [4] |