| 2008 | ||
|---|---|---|
| 3 | EE | Rafal Kolanski, Gerwin Klein: Mapped Separation Logic. VSTTE 2008: 15-29 |
| 2 | EE | Rafal Kolanski: A Logic for Virtual Memory. Electr. Notes Theor. Comput. Sci. 217: 61-77 (2008) |
| 2006 | ||
| 1 | EE | Rafal Kolanski, Gerwin Klein: Formalising the L4 microkernel API. CATS 2006: 53-68 |
| 1 | Gerwin Klein | [1] [3] |