 | 2011 |
|---|
| 8 |       | Søren Debois,
Arne John Glenstrup,
Francesco Zanitti:
Decoupling context-aware services.
PerCom Workshops 2011: 450-455 |
| 7 | | Gian Perrone,
Søren Debois,
Thomas T. Hildebrandt:
Bigraphical Refinement
Refine 2011: 20-36 |
| 2010 |
|---|
| 6 | | Marco Carbone,
Søren Debois:
A Graphical Approach to Progress for Structured Communication in Web Services
ICE 2010: 13-27 |
| 2008 |
|---|
| 5 | | Lars Birkedal,
Søren Debois,
Thomas T. Hildebrandt:
On the Construction of Sorted Reactive Systems.
CONCUR 2008: 218-232 |
| 4 | | Søren Debois:
Imperative-program transformation by instrumented-interpreter specialization.
Higher-Order and Symbolic Computation 21(1-2): 37-58 (2008) |
| 2006 |
|---|
| 3 | | Lars Birkedal,
Søren Debois,
Thomas T. Hildebrandt:
Sortings for Reactive Systems.
CONCUR 2006: 248-262 |
| 2 | | Lars Birkedal,
Søren Debois,
Ebbe Elsborg,
Thomas T. Hildebrandt,
Henning Niss:
Bigraphical Models of Context-Aware Systems.
FoSSaCS 2006: 187-201 |
| 2004 |
|---|
| 1 | | Søren Debois:
Imperative program optimization by partial evaluation.
PEPM 2004: 113-122 |
Data released under the ODC-BY 1.0 license — See also our legal information page