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