dblp.uni-trier.dewww.uni-trier.de

Søren Debois

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Lars Birkedal [2] [3] [5]
2Ebbe Elsborg [2]
3Thomas T. Hildebrandt [2] [3] [5]
4Henning Niss [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)