Jan Schwinghammer

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Explanation Based Generalization

Reasoning Systems

Multi Relational

Top Venues

Log. Methods Comput. Sci.

Math. Struct. Comput. Sci.

Theor. Comput. Sci.

Publications

Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
Observational program calculi and the correctness of translations. Theor. Comput. Sci. 577 (2015)
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
A step-indexed Kripke model of hidden state. Math. Struct. Comput. Sci. 23 (1) (2013)
Lars Birkedal, Ales Bizjak, Jan Schwinghammer
Step-Indexed Relational Reasoning for Countable Nondeterminism. Log. Methods Comput. Sci. 9 (4) (2013)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
First steps in synthetic guarded domain theory: step-indexing in the topos of trees Log. Methods Comput. Sci. 8 (4) (2012)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Step-indexed kripke models over recursive worlds. POPL (2011)
Jan Schwinghammer, Lars Birkedal, Kristian Støvring
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. FoSSaCS (2011)
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Nested Hoare Triples and Frame Rules for Higher-order Store Log. Methods Comput. Sci. 7 (3) (2011)
Jan Schwinghammer, Lars Birkedal
Step-Indexed Relational Reasoning for Countable Nondeterminism. CSL (2011)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. LICS (2011)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. FICS (2010)
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
A Semantic Foundation for Hidden State. FoSSaCS (2010)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
A Metric Model of Lambda Calculus with Guarded Recursion. FICS (2010)
Jan Schwinghammer
Coherence of subsumption for monadic types. J. Funct. Program. 19 (2) (2009)
Christian Doczkal, Jan Schwinghammer
Formalizing a strong normalization proof for Moggi's computational metalanguage: a case study in Isabelle/HOL-nominal. LFMTP (2009)
Catalin Hritcu, Jan Schwinghammer
A Step-indexed Semantics of Imperative Objects Log. Methods Comput. Sci. 5 (4) (2009)
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Nested Hoare Triples and Frame Rules for Higher-Order Store. CSL (2009)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) (2008)
Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel
Adequacy of Compositional Translations for Observational Semantics. IFIP TCS (2008)
Jan Schwinghammer
On Normalization by Evaluation for Object Calculi. TYPES (2007)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. MFPS (2007)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
A concurrent lambda calculus with futures. Theor. Comput. Sci. 364 (3) (2006)
Bernhard Reus, Jan Schwinghammer
Separation Logic for Higher-Order Store. CSL (2006)
Bernhard Reus, Jan Schwinghammer
Denotational semantics for a program logic of objects. Math. Struct. Comput. Sci. 16 (2) (2006)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
A Concurrent Lambda Calculus with Futures. FroCoS (2005)
Jan Schwinghammer
A Typed Semantics of Higher-Order Store and Subtyping. ICTCS (2005)
Bernhard Reus, Jan Schwinghammer
Denotational Semantics for Abadi and Leino's Logic of Objects. ESOP (2005)
Manuel Bodirsky, Tobias Gärtner, Timo von Oertzen, Jan Schwinghammer
Effciently Computing the Density of Regular Languages. LATIN (2004)