| |
| 2008 | ||
|---|---|---|
| 5 | EE | Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232 |
| 4 | EE | Søren Debois: Imperative-program transformation by instrumented-interpreter specialization. Higher-Order and Symbolic Computation 21(1-2): 37-58 (2008) |
| 2006 | ||
| 3 | EE | Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: Sortings for Reactive Systems. CONCUR 2006: 248-262 |
| 2 | EE | Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss: Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201 |
| 2004 | ||
| 1 | EE | Søren Debois: Imperative program optimization by partial evaluation. PEPM 2004: 113-122 |
| 1 | Lars Birkedal | [2] [3] [5] |
| 2 | Ebbe Elsborg | [2] |
| 3 | Thomas T. Hildebrandt | [2] [3] [5] |
| 4 | Henning Niss | [2] |