| |
| 2008 | ||
|---|---|---|
| 4 | Moritz Hammer, Bernhard Kempter, Florian Mangold, Harald Rölle: Skalierbare Performanzanalyse durch Prolongation. Software Engineering 2008: 127-139 | |
| 2006 | ||
| 3 | EE | Moritz Hammer, Michael Weber: "To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. FMICS/PDMC 2006: 51-66 |
| 2005 | ||
| 2 | EE | Moritz Hammer, Alexander Knapp, Stephan Merz: Truly On-the-Fly LTL Model Checking. TACAS 2005: 191-205 |
| 1 | EE | Moritz Hammer, Alexander Knapp, Stephan Merz: Truly On-The-Fly LTL Model Checking CoRR abs/cs/0511061: (2005) |
| 1 | Bernhard Kempter | [4] |
| 2 | Alexander Knapp | [1] [2] |
| 3 | Florian Mangold | [4] |
| 4 | Stephan Merz | [1] [2] |
| 5 | Harald Rölle | [4] |
| 6 | Michael Weber | [3] |