| 2007 |
|---|
| 8 | EE | Jan Schwinghammer:
On Normalization by Evaluation for Object Calculi.
TYPES 2007: 173-187 |
| 7 | EE | Joachim Niehren,
David Sabel,
Manfred Schmidt-Schauß,
Jan Schwinghammer:
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures.
Electr. Notes Theor. Comput. Sci. 173: 313-337 (2007) |
| 2006 |
|---|
| 6 | EE | Bernhard Reus,
Jan Schwinghammer:
Separation Logic for Higher-Order Store.
CSL 2006: 575-590 |
| 5 | EE | Joachim Niehren,
Jan Schwinghammer,
Gert Smolka:
A concurrent lambda calculus with futures.
Theor. Comput. Sci. 364(3): 338-356 (2006) |
| 2005 |
|---|
| 4 | EE | Bernhard Reus,
Jan Schwinghammer:
Denotational Semantics for Abadi and Leino's Logic of Objects.
ESOP 2005: 263-278 |
| 3 | EE | Joachim Niehren,
Jan Schwinghammer,
Gert Smolka:
A Concurrent Lambda Calculus with Futures.
FroCos 2005: 248-263 |
| 2 | EE | Jan Schwinghammer:
A Typed Semantics of Higher-Order Store and Subtyping.
ICTCS 2005: 390-405 |
| 2004 |
|---|
| 1 | EE | Manuel Bodirsky,
Tobias Gärtner,
Timo von Oertzen,
Jan Schwinghammer:
Effciently Computing the Density of Regular Languages.
LATIN 2004: 262-270 |
