Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. - Mikkel Bundgaard; Thomas T. Hildebrandt (GT-VC@CONCUR, 2005)

Typed polyadic pi-calculus in bigraphs. - Mikkel Bundgaard; Vladimiro Sassone (PPDP, 2006)

A CPS encoding of name-passing in Higher-order mobile embedded resources. - Mikkel Bundgaard; Thomas T. Hildebrandt; Jens Chr. Godskesen (Theor. Comput. Sci., 2006)

Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. - Mikkel Bundgaard; Thomas T. Hildebrandt; Jens Chr. Godskesen (SecCO@CONCUR, 2007)

Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. - Mikkel Bundgaard; Arne J. Glenstrup; Thomas T. Hildebrandt; Espen Højsgaard; Henning Niss (COORDINATION, 2008)

Decidable Fragments of a Higher Order Calculus with Locations. - Mikkel Bundgaard; Jens Chr. Godskesen; Bjørn Haagensen; Hans Hüttel (EXPRESS, 2008)

Unfolding CSP. - Mikkel Bundgaard; Robin Milner (Reflections on the Work of C. A. R. Hoare, 2010)