Peer-reviewed publications

• [C5] Type Systems for Bigraphs. [PDF] [ps.gz] [BibTeX]
  Ebbe Elsborg, Thomas Hildebrandt, and Davide Sangiorgi.
  In Proceedings of the 4th International Symposium on Trustworthy Global Computing (TGC'08), volume 5474 of LNCS, Springer-Verlag, April 2009, pages 126-140. (Full version containing full proofs is available as [T5].)
• [J1] Compositional specification of commercial contracts. [PDF] [BibTeX]
  Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen.
  International Journal on Software Tools for Technology Transfer (STTT), 8(6):485-516, October 2006. Special Section on Leveraging Applications of Formal Methods.
• [W3] Bigraphical Programming Languages for Pervasive Computing. [PDF] [ps.gz] [BibTeX]
  Mikkel Bundgaard, Lars Birkedal, Søren Debois, Ebbe Elsborg, Arne John Glenstrup, Thomas Hildebrandt, Troels C. Damgaard, Robin Milner, and Henning Niss.
  In Pervasive 2006 Workshop Proceedings -- The 1st International Workshop on Combining Theory and Systems Building in Pervasive Computing (CTSB'06), pages 653-658, 2006. Position paper.
• [C2] Bigraphical Models of Context-aware Systems. [PDF] [ps.gz] [BibTeX]
  Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, and Henning Niss.
  In Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS'06), volume 3921 of LNCS, Springer-Verlag, March 2006, pages 187-201. (Extended version containing proofs and examples is available as [T2].)
• [C1] Compositional specification of commercial contracts. [PDF] [ps.gz] [BibTeX]
  Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen.
  In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04), June 2004, pages 103-110. University of Cyprus Report TR-2004-6. (Superseded by [J1]).

PhD Dissertation

• [D6] Bigraphs: Modelling, Simulation, and Type Systems. [PDF] [BibTeX]
  Ebbe Elsborg.
  PhD dissertation, the IT University of Copenhagen, March 2009. (The dissertation was handed in on 5th January 2009, defended on 16th March 2009, and subsequently revised sligtly according to the committee evaluation report and comments at the defence.)

Technical reports

• [T5] Type Systems for Bigraphs. [PDF] [ps.gz] [BibTeX]
  Ebbe Elsborg, Thomas Hildebrandt, and Davide Sangiorgi.
  Technical Report 110, the IT University of Copenhagen, October 2008. ISBN: 9788779491847. (Full version of [C5] containing detailed proofs.)
• [T4] Bigraphical Location Models. [PDF] [ps.gz] [BibTeX]
  Ebbe Elsborg.
  Technical Report 79, the IT University of Copenhagen, September 2006. ISBN: 87-7949-138-3. A revised version of my qualification report (which counts as my Master's thesis).
• [T2] Bigraphical Models of Context-aware Systems. [PDF] [ps.gz] [BibTeX]
  Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas Hildebrandt, and Henning Niss.
  Technical Report 74, the IT University of Copenhagen, November 2005. ISBN: 87-7949-110-3. (Extended version of [C2] containing proofs and examples.)