Mikkel Bundgaard

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
j5		Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel: Decidable Fragments of a Higher Order Calculus with Locations. Electr. Notes Theor. Comput. Sci. 242(1): 113-138 (2009)
	2008
c2		Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss: Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. COORDINATION 2008: 83-99
	2007
j4		Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. Electr. Notes Theor. Comput. Sci. 194(1): 23-38 (2007)
	2006
j3		Mikkel Bundgaard, Thomas T. Hildebrandt: Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. Electr. Notes Theor. Comput. Sci. 154(2): 7-29 (2006)
j2		Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: A CPS encoding of name-passing in Higher-order mobile embedded resources. Theor. Comput. Sci. 356(3): 422-439 (2006)
c1		Mikkel Bundgaard, Vladimiro Sassone: Typed polyadic pi-calculus in bigraphs. PPDP 2006: 1-12
	2005
j1		Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. Electr. Notes Theor. Comput. Sci. 128(2): 131-150 (2005)

Coauthor Index

Last update Wed May 22 23:31:48 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page