- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Holger Gast: Reasoning about Memory Layouts. FM 2009: 628-643 |
| 4 | | Holger Gast: Managing Proof Documents for Asynchronous Processing. Electr. Notes Theor. Comput. Sci. 226: 49-66 (2009) |
| 2008 | ||
| 3 | | Holger Gast: Patterns and traceability in teaching software architecture. PPPJ 2008: 23-31 |
| 2 | | Holger Gast: Lightweight Separation. TPHOLs 2008: 199-214 |
| 2004 | ||
| 1 | | Holger Gast: Explaining ML Type Errors by Data Flows. IFL 2004: 72-89 |