- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Peter Lammich, Markus Müller-Olm, Alexander Wenner: Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. CAV 2009: 525-539 |
| 3 | | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142 |
| 2008 | ||
| 2 | | Peter Lammich, Markus Müller-Olm: Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors. SAS 2008: 205-220 |
| 2007 | ||
| 1 | | Peter Lammich, Markus Müller-Olm: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. CONCUR 2007: 287-302 |
| 1 | Nicholas Kidd | [3] |
| 2 | Markus Müller-Olm | [1] [2] [4] |
| 3 | Thomas W. Reps | [3] |
| 4 | Tayssir Touili | [3] |
| 5 | Alexander Wenner | [4] |