| 2008 |
|---|
| 8 | EE | Mikkel Bundgaard,
Arne J. Glenstrup,
Thomas T. Hildebrandt,
Espen Højsgaard,
Henning Niss:
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.
COORDINATION 2008: 83-99 |
| 2006 |
|---|
| 7 | EE | Thomas T. Hildebrandt,
Henning Niss,
Martin Olsen:
Formalising Business Process Execution with Bigraphs and Reactive XML.
COORDINATION 2006: 113-129 |
| 6 | EE | Lars Birkedal,
Søren Debois,
Ebbe Elsborg,
Thomas T. Hildebrandt,
Henning Niss:
Bigraphical Models of Context-Aware Systems.
FoSSaCS 2006: 187-201 |
| 5 | EE | Thomas T. Hildebrandt,
Henning Niss,
Martin Olsen,
Jacob W. Winther:
Distributed Reactive XML.
Electr. Notes Theor. Comput. Sci. 150(1): 61-80 (2006) |
| 2004 |
|---|
| 4 | EE | Ken Friis Larsen,
Henning Niss:
mGTK: An SML Binding of Gtk+.
USENIX Annual Technical Conference, FREENIX Track 2004: 127-134 |
| 2001 |
|---|
| 3 | | Fritz Henglein,
Henning Makholm,
Henning Niss:
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management.
PPDP 2001: 175-186 |
| 1999 |
|---|
| 2 | EE | Peter Harry Eidorff,
Fritz Henglein,
Christian Mossin,
Henning Niss,
Morten Heine Sørensen,
Mads Tofte:
AnnoDomini: From Type Theory to Year 2000 Conversion Tool.
POPL 1999: 1-14 |
| 1 | EE | Peter Harry Eidorff,
Fritz Henglein,
Christian Mossin,
Henning Niss,
Morten Heine Sørensen,
Mads Tofte:
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.
TLCA 1999: 6-13 |
