Arne J. Glenstrup

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
An inductive characterization of matching in binding bigraphs.
Formal Asp. Comput., 2013

2012
Collecting location-based voice messages on a TalkingBadge.
Proceedings of the Nordic Conference on Human-Computer Interaction, 2012

2011
Decoupling context-aware services.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

Beddernet: Application-Level Platform-Agnostic MANETs.
Proceedings of the Distributed Applications and Interoperable Systems, 2011

The global interaction research initiative at the IT university of Copenhagen, Denmark.
Proceedings of the 2011 ACM Conference on Computer Supported Cooperative Work, 2011

2010
Rough Sets Based Context-Aware Service Discovery Framework.
Proceedings of the International Conference on Service Sciences, 2010

2008
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Matching of Bigraphs.
Electr. Notes Theor. Comput. Sci., 2007

2005
Termination analysis and specialization-point insertion in offline partial evaluation.
ACM Trans. Program. Lang. Syst., 2005

Gaze-guided viewing of interactive movies.
Digital Creativity, 2005

2003
Performance evaluation of multirate time division multiplexed wavelength routed optical networks.
Computer Communications, 2003

2002
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Program generation, termination, and binding-time analysis.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2000
Resource Allocation in Cellular Wireless Systems (invited paper).
Proceedings of the Personal Wireless Communications, 2000

1999
Terminator II - stopping partial evaluatin of fully recursive programs.
PhD thesis, 1999

1998
C-MIX: Specialization of C Programs.
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.
Proceedings of the Perspectives of System Informatics, 1996


  Loading...