| 2008 |
|---|
| 10 | 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 |
| 2007 |
|---|
| 9 | EE | Lars Birkedal,
Troels Christoffer Damgaard,
Arne J. Glenstrup,
Robin Milner:
Matching of Bigraphs.
Electr. Notes Theor. Comput. Sci. 175(4): 3-19 (2007) |
| 2005 |
|---|
| 8 | EE | Arne J. Glenstrup,
Neil D. Jones:
Termination analysis and specialization-point insertion in offline partial evaluation.
ACM Trans. Program. Lang. Syst. 27(6): 1147-1215 (2005) |
| 2003 |
|---|
| 7 | EE | Christian Fenger,
Arne J. Glenstrup:
Performance evaluation of multirate time division multiplexed wavelength routed optical networks.
Computer Communications 26(14): 1644-1650 (2003) |
| 2002 |
|---|
| 6 | EE | Neil D. Jones,
Arne J. Glenstrup:
Program Generation, Termination, and Binding-Time Analysis.
GPCE 2002: 1-31 |
| 5 | EE | Neil D. Jones,
Arne J. Glenstrup:
Program generation, termination, and binding-time analysis.
ICFP 2002: 283 |
| 4 | EE | Neil D. Jones,
Arne J. Glenstrup:
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.
PPDP 2002: 1 |
| 2000 |
|---|
| 3 | | Villy Bæk Iversen,
Arne J. Glenstrup:
Resource Allocation in Cellular Wireless Systems (invited paper).
PWC 2000: 123-132 |
| 1998 |
|---|
| 2 | | Arne J. Glenstrup,
Henning Makholm,
Jens P. Secher:
C-MIX: Specialization of C Programs.
Partial Evaluation 1998: 108-154 |
| 1996 |
|---|
| 1 | | Arne J. Glenstrup,
Neil D. Jones:
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation.
Ershov Memorial Conference 1996: 273-284 |
