L. Birkedal, M. Bundgaard, S. Debois, T. Hildebrandt, and D. Grohmann. Higher-order contexts via games and the Int-construction. Technical Report ITU-TR-2009-117, IT University of Copenhagen, 2009. (PDF, 325715 bytes)

L. Birkedal, S. Debois, and T. Hildebrandt. On the construction of sorted bigraphical reactive systems. In Proc. of CONCUR 2008, Sep 2008. (PDF, 191985 bytes)

A.J. Glenstrup, T.C. Damgaard, L. Birkedal, and E. Højsgaard. An implementation of bigraph matching. 2007. Submitted for publication. (PDF, 326573 bytes)

T.C. Damgaard, A.J. Glenstrup, L. Birkedal, and R. Milner. An inductive characterization of matching in binding bigraphs. 2007. Submitted for publication. (PDF, 445771 bytes)

L. Birkedal, T.C. Damgaard, A. Glenstrup, and R. Milner. Matching of bigraphs. In Proceedings of Graph Transformation for Verification and Concurrency 2006, Jan 2007. (PDF, 255029 bytes)

L. Birkedal, S. Debois, and T. Hildebrandt. Sortings for reactive systems. In Christel Baier and Holger Hermanns, editors, Proceedings of CONCUR 2006, August 2006. (PDF, 168564 bytes)

L. Birkedal, T.C. Damgaard, A. Glenstrup, and R. Milner. Matching of bigraphs. Technical Report ITU-TR-2006-88, IT University of Copenhagen, June 2006. (PDF, 219945 bytes)

T.C. Damgaard and L. Birkedal. Axiomatizing binding bigraphs. Nordic Journal of Computing, 13(1-2):58-77, 2006. (PDF, 246862 bytes)

L. Birkedal, S. Debois, and T. Hildebrandt. Sortings for reactive systems. Technical Report 84, IT University of Copenhagen, Rued Langgards Vej 7, DK-2300 Copenhagen V, March 2006. (PDF, 261783 bytes)

L. Birkedal, M. Bundgaard, T.C. Damgaard, S. Debois, E. Elsborg, A.J. Glenstrup, T. Hildebrandt, R. Milner, and H. Niss. Bigraphical programming langauges for pervasive computing. In International Workshop on Combining Theory and Systems Building in Pervasive Computing. Position Paper., May 2006. (PDF, 109457 bytes)

L. Birkedal, S. Debois, E. Elsborg, T. Hildebrandt, and H. Niss. Bigraphical Models of Context-aware Systems. In Foundations of Software Science and Computation Structures (FOSSACS) 2006, number 3921 in Lecture Notes in Computer Science, March 2006. (PDF, 184412 bytes)

L. Birkedal, S. Debois, E. Elsborg, T. Hildebrandt, and H. Niss. Bigraphical Models of Context-aware Systems. Technical Report 74, IT University of Copenhagen, Rued Langgards Vej 7, DK-2300 Copenhagen V, November 2005. ISBN: 87-7949-110-3. (PDF, 179029 bytes)

T.C. Damgaard and L. Birkedal. Axiomatizing binding bigraphs (revised). Technical Report TR-2005-71, IT University of Copenhagen, March 2005. 36 pages. (PDF, 229885 bytes)

T.C. Damgaard and L. Birkedal. Axiomatizing binding bigraphs. Technical Report TR-2005-65, IT University of Copenhagen, March 2005. 37 pages. (Gzipped PostScript, 37 pages, 186360 bytes) (PDF, 230806 bytes)

J.Aa. Sørensen, K.J. Kristoffersen, A. Cervera, M. Schiøtz, T. Lynge, Z. Safar, and L. Birkedal. An infrastructure for context-dependent mobile multimedia communication. In Proceedings of 2004 IEEE International Workshop on Multimedia Signal Processing, September 2004. (PDF, 785298 bytes)

L. Birkedal. Bigraphical Programming Languages - a LaCoMoCo research project. In 2nd UK-Ubinet Workshop, Cambridge, UK, May 2004. Position Paper. (PDF, 48513 bytes)