| |
| 2009 | ||
|---|---|---|
| 3 | EE | Max Schäfer, Torbjörn Ekman, Oege de Moor: Formalising and Verifying Reference Attribute Grammars in Coq. ESOP 2009: 143-159 |
| 2008 | ||
| 2 | EE | Max Schäfer, Torbjörn Ekman, Oege de Moor: Sound and extensible renaming for java. OOPSLA 2008: 277-294 |
| 2007 | ||
| 1 | EE | Tyng-Ruey Chuang, Max Schäfer: Status report: layered streaming XML processing with modules. ML 2007: 53-58 |
| 1 | Tyng-Ruey Chuang | [1] |
| 2 | Torbjörn Ekman | [2] [3] |
| 3 | Oege de Moor | [2] [3] |