Rued Langgaardsvej 7
2300 Copenhagen S
Denmark
Office: 4C 07
Phone: (+45) 72 18 52 93
Fax: (+45) 72 18 50 01
Email: debois@itu.dk
URL: http://www.itu.dk/people/debois/
I'm a post doc in the Programming, Logic and Semantics group. I'm interested in reactive systems, categorical models of concurrency and bigraphs.
|
|
IT University of Copenhagen Rued Langgaardsvej 7 2300 Copenhagen S Denmark Office: 4C 07 Phone: (+45) 72 18 52 93 Fax: (+45) 72 18 50 01 Email: debois@itu.dk URL: http://www.itu.dk/people/debois/ |
Higher-Order Contexts via Games and the Int-construction (Extended Abstract)
With Lars Birkedal, Mikkel Bundgaard, Davide Grohmann, and Thomas Hildebrandt. Submitted for publication. [pdf]
Higher-Order Contexts via Games and the Int-construction With Lars Birkedal, Mikkel Bundgaard, Davide Grohmann, and Thomas Hildebrandt. ITU Technical Report Series, to appear
[pdf]
On the Construction of Sorted Reactive Systems With Lars Birkedal and Thomas Hildebrandt. In CONCUR '08: Proceedings of the 19th International Conference on Concurrency Theory.
Volume 5201 of Lecture Notes in Computer Science, pages 218-232, Springer-Verlag, 2008.
[pdf | bibtex]
Sortings for Reactive Systems. With Lars Birkedal and Thomas Hildebrandt. In CONCUR '06: Proceedings of the 17th International Conference on Concurrency Theory.
Volume 4137 of Lecture Notes in Computer Science, pages 248-262, Springer-Verlag, 2006.
[pdf | ps | bibtex | talk]
Imperative-Program Transformation by Instrumented-Interpreter Specialization.
Higher-Order and Symbolic Computation.
Accepted for publication.
[pdf | ps | bibtex]
Bigraphical Models of Context-Aware Systems.
With Lars Birkedal, Ebbe Elsborg, Thomas Hildebrandt, and Henning Niss.
In FOSSACS `06: Proceedings of 9th International Conference on Foundations of Software Science and Computation Structures.
Volume 3921 of Lecture Notes in Computer Science, pages 187-201, Springer-Verlag, 2006.
[pdf | bibtex]
Imperative Program Optimization by Partial Evaluation.
In PEPM '04: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 113-122.
[pdf | ps | bibtex] © ACM, 2004.
Sortings & Bigraphs. IT University of Copenhagen, 2008. [pdf | bibtex]
Sortings for Reactive Systems
with Lars Birkedal and Thomas Hildebrandt
ITU Technical Report Series, number 84, March 2006
[pdf | ps | bibtex]
Bigraphical Models of Context-Aware Systems
With Lars Birkedal, Ebbe Elsborg, Thomas Hildebrandt, and Henning Niss. ITU Technical Report Series, number 74, September 2005
[pdf | ps | bibtex]
Bigraphs by Example.
With Troels Christoffer Damgaard.
ITU Technical Report Series, number 61, October 2005
[pdf | ps | bibtex]
