Arne J. Glenstrup

According to our database, Arne J. Glenstrup authored at least 17 papers between 1996 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

An inductive characterization of matching in binding bigraphs.

Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner

Formal Aspects Comput., 2013

2012

Collecting location-based voice messages on a TalkingBadge.

John Paulin Hansen, Arne John Glenstrup, Wusheng Wang, Weiping Li, Zhonghai Wu

Proceedings of the Nordic Conference on Human-Computer Interaction, 2012

2011

Decoupling context-aware services.

Søren Debois, Arne John Glenstrup, Francesco Zanitti

Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

Beddernet: Application-Level Platform-Agnostic MANETs.

Rasmus Sidorovs Gohs, Sigurður Rafn Gunnarsson, Arne John Glenstrup

Proceedings of the Distributed Applications and Interoperable Systems, 2011

The global interaction research initiative at the IT university of Copenhagen, Denmark.

Jakob E. Bardram, Pernille Bjørn, Arne J. Glenstrup, Thomas Pederson

Proceedings of the 2011 ACM Conference on Computer Supported Cooperative Work, 2011

2010

Rough Sets Based Context-Aware Service Discovery Framework.

Lian Yu, Shan Luo, Arne J. Glenstrup

Proceedings of the International Conference on Service Sciences, 2010

2008

Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.

Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2006

Matching of Bigraphs.

Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

2005

Termination analysis and specialization-point insertion in offline partial evaluation.

Arne J. Glenstrup, Neil D. Jones

ACM Trans. Program. Lang. Syst., 2005

Gaze-guided viewing of interactive movies.

Tore Vesterby, Jonas C. Voss, John Paulin Hansen, Arne John Glenstrup, Dan Witzner Hansen, Mark Rudolph

Digit. Creativity, 2005

2003

Performance evaluation of multirate time division multiplexed wavelength routed optical networks.

Christian Fenger, Arne J. Glenstrup

Comput. Commun., 2003

2002

Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.

Neil D. Jones, Arne J. Glenstrup

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Program Generation, Termination, and Binding-Time Analysis.

Neil D. Jones, Arne J. Glenstrup

Proceedings of the Generative Programming and Component Engineering, 2002

2000

Resource Allocation in Cellular Wireless Systems (invited paper).

Villy Bæk Iversen, Arne J. Glenstrup

Proceedings of the Personal Wireless Communications, 2000

1999

Terminator II - stopping partial evaluatin of fully recursive programs.

Arne John Glenstrup

PhD thesis, 1999

1998

C-MIX: Specialization of C Programs.

Arne J. Glenstrup, Henning Makholm, Jens P. Secher

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

1996

BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation.

Arne J. Glenstrup, Neil D. Jones

Proceedings of the Perspectives of System Informatics, 1996