| 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 | |