| |
| 2008 | ||
|---|---|---|
| 3 | EE | Thomas Noll, Stefan Rieger: Verifying Dynamic Pointer-Manipulating Threads. FM 2008: 84-99 |
| 2 | EE | Stefan Rieger, Thomas Noll: Abstracting Complex Data Structures by Hyperedge Replacement. ICGT 2008: 69-83 |
| 2007 | ||
| 1 | EE | Thomas Noll, Stefan Rieger: Composing Transformations to Optimize Linear Code. ICTAC 2007: 425-439 |
| 1 | Thomas Noll | [1] [2] [3] |