- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j4 |      | Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner: An inductive characterization of matching in binding bigraphs. Formal Asp. Comput. 25(2): 257-288 (2013) |
| 2011 | ||
| c8 | | Jakob E. Bardam, Pernille Bjørn, Arne J. Glenstrup, Thomas Pederson: The global interaction research initiative at the IT university of Copenhagen, Denmark. CSCW 2011: 489-496 |
| 2008 | ||
| c7 | | 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 | ||
| j3 | | Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner: Matching of Bigraphs. Electr. Notes Theor. Comput. Sci. 175(4): 3-19 (2007) |
| 2005 | ||
| j2 | | 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 | ||
| j1 | | Christian Fenger, Arne J. Glenstrup: Performance evaluation of multirate time division multiplexed wavelength routed optical networks. Computer Communications 26(14): 1644-1650 (2003) |
| 2002 | ||
| c6 | | Neil D. Jones, Arne J. Glenstrup: Program Generation, Termination, and Binding-Time Analysis. GPCE 2002: 1-31 |
| c5 | | Neil D. Jones, Arne J. Glenstrup: Program generation, termination, and binding-time analysis. ICFP 2002: 283 |
| c4 | | Neil D. Jones, Arne J. Glenstrup: Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis. PPDP 2002: 1 |
| 2000 | ||
| c3 |  | Villy Bæk Iversen, Arne J. Glenstrup: Resource Allocation in Cellular Wireless Systems (invited paper). PWC 2000: 123-132 |
| 1998 | ||
| c2 | | Arne J. Glenstrup, Henning Makholm, Jens P. Secher: C-MIX: Specialization of C Programs. Partial Evaluation 1998: 108-154 |
| 1996 | ||
| c1 | | Arne J. Glenstrup, Neil D. Jones: BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation. Ershov Memorial Conference 1996: 273-284 |
Colors in the list of coauthors
Last update Thu May 23 22:43:48 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page