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

Arne J. Glenstrup

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

2008
10EEMikkel 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
9EELars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner: Matching of Bigraphs. Electr. Notes Theor. Comput. Sci. 175(4): 3-19 (2007)
2005
8EEArne 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
7EEChristian Fenger, Arne J. Glenstrup: Performance evaluation of multirate time division multiplexed wavelength routed optical networks. Computer Communications 26(14): 1644-1650 (2003)
2002
6EENeil D. Jones, Arne J. Glenstrup: Program Generation, Termination, and Binding-Time Analysis. GPCE 2002: 1-31
5EENeil D. Jones, Arne J. Glenstrup: Program generation, termination, and binding-time analysis. ICFP 2002: 283
4EENeil 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

Coauthor Index

1Lars Birkedal [9]
2Mikkel Bundgaard [10]
3Troels Christoffer Damgaard [9]
4Christian Fenger [7]
5Thomas T. Hildebrandt [10]
6Espen Højsgaard [10]
7Villy Bæk Iversen [3]
8Neil D. Jones [1] [4] [5] [6] [8]
9Henning Makholm [2]
10Robin Milner [9]
11Henning Niss [10]
12Jens P. Secher [2]

Colors in the list of coauthors

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