Arne J. Glenstrup
According to our database1, Arne J. Glenstrup authored at least 17 papers between 1996 and 2013.
Legend:Book In proceedings Article PhD thesis Other
An inductive characterization of matching in binding bigraphs.
Formal Asp. Comput., 2013
Collecting location-based voice messages on a TalkingBadge.
Proceedings of the Nordic Conference on Human-Computer Interaction, 2012
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
Rough Sets Based Context-Aware Service Discovery Framework.
Proceedings of the International Conference on Service Sciences, 2010
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
Matching of Bigraphs.
Electr. Notes Theor. Comput. Sci., 2007
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
Performance evaluation of multirate time division multiplexed wavelength routed optical networks.
Computer Communications, 2003
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
Resource Allocation in Cellular Wireless Systems (invited paper).
Proceedings of the Personal Wireless Communications, 2000
Terminator II - stopping partial evaluatin of fully recursive programs.
PhD thesis, 1999
C-MIX: Specialization of C Programs.
Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation.
Proceedings of the Perspectives of System Informatics, 1996