Effciently Computing the Density of Regular Languages. - Manuel Bodirsky; Tobias Gärtner; Timo von Oertzen; Jan Schwinghammer (LATIN, 2004)

Denotational Semantics for Abadi and Leino's Logic of Objects. - Bernhard Reus; Jan Schwinghammer (ESOP, 2005)

A Typed Semantics of Higher-Order Store and Subtyping. - Jan Schwinghammer (ICTCS, 2005)

Separation Logic for Higher-Order Store. - Bernhard Reus; Jan Schwinghammer (CSL, 2006)

Denotational semantics for a program logic of objects. - Bernhard Reus; Jan Schwinghammer (Math. Struct. Comput. Sci., 2006)

A concurrent lambda calculus with futures. - Joachim Niehren; Jan Schwinghammer; Gert Smolka (Theor. Comput. Sci., 2006)

On Normalization by Evaluation for Object Calculi. - Jan Schwinghammer (TYPES, 2007)

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. - Joachim Niehren; David Sabel; Manfred Schmidt-Schauß; Jan Schwinghammer (MFPS, 2007)

A Simple Model of Separation Logic for Higher-Order Store. - Lars Birkedal; Bernhard Reus; Jan Schwinghammer; Hongseok Yang (ICALP (2), 2008)

Adequacy of Compositional Translations for Observational Semantics. - Manfred Schmidt-Schauß; Joachim Niehren; Jan Schwinghammer; David Sabel (IFIP TCS, 2008)

Formalizing a strong normalization proof for Moggi's computational metalanguage: a case study in Isabelle/HOL-nominal. - Christian Doczkal; Jan Schwinghammer (LFMTP, 2009)

A Step-indexed Semantics of Imperative Objects - Catalin Hritcu; Jan Schwinghammer (Log. Methods Comput. Sci., 2009)

Coherence of subsumption for monadic types. - Jan Schwinghammer (J. Funct. Program., 2009)

A Metric Model of Lambda Calculus with Guarded Recursion. - Lars Birkedal; Jan Schwinghammer; Kristian Støvring (FICS, 2010)

A Semantic Foundation for Hidden State. - Jan Schwinghammer; Hongseok Yang; Lars Birkedal; François Pottier; Bernhard Reus (FoSSaCS, 2010)

Step-Indexed Relational Reasoning for Countable Nondeterminism. - Jan Schwinghammer; Lars Birkedal (CSL, 2011)

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. - Jan Schwinghammer; Lars Birkedal; Kristian Støvring (FoSSaCS, 2011)

Step-indexed kripke models over recursive worlds. - Lars Birkedal; Bernhard Reus; Jan Schwinghammer; Kristian Støvring; Jacob Thamsborg; Hongseok Yang (POPL, 2011)

Nested Hoare Triples and Frame Rules for Higher-order Store - Jan Schwinghammer; Lars Birkedal; Bernhard Reus; Hongseok Yang (Log. Methods Comput. Sci., 2011)

First steps in synthetic guarded domain theory: step-indexing in the topos of trees - Lars Birkedal; Rasmus Ejlers Møgelberg; Jan Schwinghammer; Kristian Støvring (Log. Methods Comput. Sci., 2012)

Step-Indexed Relational Reasoning for Countable Nondeterminism. - Lars Birkedal; Ales Bizjak; Jan Schwinghammer (Log. Methods Comput. Sci., 2013)

A step-indexed Kripke model of hidden state. - Jan Schwinghammer; Lars Birkedal; François Pottier; Bernhard Reus; Kristian Støvring; Hongseok Yang (Math. Struct. Comput. Sci., 2013)

Observational program calculi and the correctness of translations. - Manfred Schmidt-Schauß; David Sabel; Joachim Niehren; Jan Schwinghammer (Theor. Comput. Sci., 2015)