| 2011 | CSL | Step-Indexed Relational Reasoning for Countable Nondeterminism. | Jan Schwinghammer, Lars Birkedal |
| 2011 | FOSSACS | A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. | Jan Schwinghammer, Lars Birkedal, Kristian Stvring |
| 2011 | LICS | First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. | Lars Birkedal, Rasmus Ejlers Mgelberg, Jan Schwinghammer, Kristian Stvring |
| 2011 | POPL | Step-indexed kripke models over recursive worlds. | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Stvring, Jacob Thamsborg, Hongseok Yang |
| 2010 | FOSSACS | A Semantic Foundation for Hidden State. | Jan Schwinghammer, Hongseok Yang, Lars Birkedal, Franois Pottier, Bernhard Reus |
| 2009 | CSL | Nested Hoare Triples and Frame Rules for Higher-Order Store. | Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang |
| 2008 | ICALP | A Simple Model of Separation Logic for Higher-Order Store. | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang |
| 2006 | CSL | Separation Logic for Higher-Order Store. | Bernhard Reus, Jan Schwinghammer |
| 2005 | ESOP | Denotational Semantics for Abadi and Leino's Logic of Objects. | Bernhard Reus, Jan Schwinghammer |
| 2004 | LATIN | Effciently Computing the Density of Regular Languages. | Manuel Bodirsky, Tobias Grtner, Timo von Oertzen, Jan Schwinghammer |