Arne J. Glenstrup

13 papers A 2B 1C 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2013 J jnl
An inductive characterization of matching in binding bigraphs.
Formal Aspects Comput.
Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner
2011 A conf
The global interaction research initiative at the IT university of Copenhagen, Denmark.
CSCW
Jakob E. Bardram, Pernille Bjørn, Arne J. Glenstrup, Thomas Pederson
2010 — conf
Rough Sets Based Context-Aware Service Discovery Framework.
ICSS
Lian Yu, Shan Luo, Arne J. Glenstrup
2008 C conf
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.
COORDINATION
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss
2006 — conf
Matching of Bigraphs.
GT-VC@CONCUR
Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner
2005 J jnl
Termination analysis and specialization-point insertion in offline partial evaluation.
ACM Trans. Program. Lang. Syst.
Arne J. Glenstrup, Neil D. Jones
2003 J jnl
Performance evaluation of multirate time division multiplexed wavelength routed optical networks.
Comput. Commun.
Christian Fenger, Arne J. Glenstrup
2002 C conf
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.
PPDP
Neil D. Jones, Arne J. Glenstrup
2002 B conf
Program Generation, Termination, and Binding-Time Analysis.
GPCE
Neil D. Jones, Arne J. Glenstrup
2002 A conf
Program generation, termination, and binding-time analysis.
ICFP
Neil D. Jones, Arne J. Glenstrup
2000 — conf
Resource Allocation in Cellular Wireless Systems (invited paper).
PWC
Villy Bæk Iversen, Arne J. Glenstrup
1998 — conf
C-MIX: Specialization of C Programs.
Partial Evaluation
Arne J. Glenstrup, Henning Makholm, Jens P. Secher
1996 — conf
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation.
Ershov Memorial Conference
Arne J. Glenstrup, Neil D. Jones