Arne J. Glenstrup

Publication Activity (10 Years)

Years Active: 1996-2013
Publications (10 Years): 0

Top Topics

Inductive Inference

Approximate Matching

Top Venues

Formal Aspects Comput.

Publications

Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner
An inductive characterization of matching in binding bigraphs. Formal Aspects Comput. 25 (2) (2013)
Jakob E. Bardram, Pernille Bjørn, Arne J. Glenstrup, Thomas Pederson
The global interaction research initiative at the IT university of Copenhagen, Denmark. CSCW (2011)
Lian Yu, Shan Luo, Arne J. Glenstrup
Rough Sets Based Context-Aware Service Discovery Framework. ICSS (2010)
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)
Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner
Matching of Bigraphs. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Arne J. Glenstrup, Neil D. Jones
Termination analysis and specialization-point insertion in offline partial evaluation. ACM Trans. Program. Lang. Syst. 27 (6) (2005)
Christian Fenger, Arne J. Glenstrup
Performance evaluation of multirate time division multiplexed wavelength routed optical networks. Comput. Commun. 26 (14) (2003)
Neil D. Jones, Arne J. Glenstrup
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis. PPDP (2002)
Neil D. Jones, Arne J. Glenstrup
Program generation, termination, and binding-time analysis. ICFP (2002)
Neil D. Jones, Arne J. Glenstrup
Program Generation, Termination, and Binding-Time Analysis. GPCE (2002)
Villy Bæk Iversen, Arne J. Glenstrup
Resource Allocation in Cellular Wireless Systems (invited paper). PWC (2000)
Arne J. Glenstrup, Henning Makholm, Jens P. Secher
C-MIX: Specialization of C Programs. Partial Evaluation (1998)
Arne J. Glenstrup, Neil D. Jones
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation. Ershov Memorial Conference (1996)