Schwinghammer, Jan, Birkedal, Lars, Pottier, Francois, Reus, Bernhard, Stovring, Kristian and Yang, Hongseok (2012) A step-indexed Kripke model of hidden state. Mathematical Structures in Computer Science, 23 (1). pp. 1-54. ISSN 0960-1295

Birkedal, Lars, Reus, Bernhard, Schwinghammer, Jan, Stovring, Kristian, Thamsborg, Jacob and Yang, Hongseok (2011) Step-indexed kripke models over recursive worlds. In: Thomas, B and Mooly, S (eds.) POPL '11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, pp. 119-132. ISBN 978-1-4503-0490-0

Schwinghammer, Jan, Yang, Hongseok, Birkedal, Lars, Pottier, Francois and Reus, Bernhard (2010) A semantic foundation for hidden state. In: FOSSACS 2010, March 20-28, 2010., Paphos.

Reus, Bernhard and Schwinghammer, Jan (2006) Separation Logic for Higher-Order Store. In: Computer Science Logic 2006, Szeged, Hungary.

Reus, Bernhard and Schwinghammer, Jan (2006) Denotational semantics for a program logic of objects. Mathematical Structures in Computer Science, 16 (2). :313-358. ISSN 1469-8072

Reus, Bernhard and Schwinghammer, Jan (2005) Denotational semantics for Abadi and Leino's logic of objects. In: 14th European Symposium on Programming (ESOP), LNCS, Edinburgh.

Reus, Bernhard and Schwinghammer, Jan (2005) Denotational semantics for Abadi and Leino's logic of objects. In: Sagiv, Mooly (ed.) Programming Languages and Systems: Proceedings of the 14th European Symposium on Programming, ESOP 2005, Edinburgh, UK. Lecture Notes in Computer Science, 3444 . Springer, pp. 263-278. ISBN 9783540254355