| 2008 |
|---|
| 28 | EE | Lars Birkedal,
Bernhard Reus,
Jan Schwinghammer,
Hongseok Yang:
A Simple Model of Separation Logic for Higher-Order Store.
ICALP (2) 2008: 348-360 |
| 2006 |
|---|
| 27 | EE | Bernhard Reus,
Jan Schwinghammer:
Separation Logic for Higher-Order Store.
CSL 2006: 575-590 |
| 26 | EE | Bernhard Reus,
Jan Schwinghammer:
Denotational semantics for a program logic of objects.
Mathematical Structures in Computer Science 16(2): 313-358 (2006) |
| 2005 |
|---|
| 25 | EE | Bernhard Reus,
Jan Schwinghammer:
Denotational Semantics for Abadi and Leino's Logic of Objects.
ESOP 2005: 263-278 |
| 24 | EE | Dirk Pattinson,
Bernhard Reus:
A Complete Temporal and Spatial Logic for Distributed Systems.
FroCos 2005: 122-137 |
| 23 | EE | Bernhard Reus,
Thomas Streicher:
About Hoare Logics for Higher-Order Store.
ICALP 2005: 1337-1348 |
| 2004 |
|---|
| 22 | EE | Bernhard Reus,
Thomas Streicher:
Semantics and logic of object calculi.
Theor. Comput. Sci. 316(1): 191-213 (2004) |
| 2003 |
|---|
| 21 | EE | Bernhard Reus:
Modular Semantics and Logics of Classes.
CSL 2003: 456-469 |
| 2002 |
|---|
| 20 | EE | Bernhard Reus:
Class-Based versus Object-Based: A Denotational Comparison.
AMAST 2002: 473-488 |
| 19 | EE | Bernhard Reus,
Thomas Streicher:
Semantics and Logic of Object Calculi.
LICS 2002: 113- |
| 2001 |
|---|
| 18 | EE | Bernhard Reus,
Martin Wirsing,
Rolf Hennicker:
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.
FASE 2001: 300-317 |
| 17 | EE | Ulrich Berger,
Karl-Heinz Niggl,
Bernhard Reus:
Preface.
Theor. Comput. Sci. 264(2): 169 (2001) |
| 2000 |
|---|
| 16 | | Bernhard Reus,
Tatjana Hein:
Towards a Machine-Checked Java Specification Book.
TPHOLs 2000: 480-497 |
| 1999 |
|---|
| 15 | | Thorsten Altenkirch,
Wolfgang Naraschewski,
Bernhard Reus:
Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Springer 1999 |
| 14 | | Thorsten Altenkirch,
Bernhard Reus:
Monadic Presentations of Lambda Terms Using Generalized Inductive Types.
CSL 1999: 453-468 |
| 13 | | Bernhard Reus:
A Logic of Recursive Objects.
ECOOP Workshops 1999: 107 |
| 12 | EE | Pietro Cenciarelli,
Alexander Knapp,
Bernhard Reus,
Martin Wirsing:
An Event-Based Structural Operational Semantics of Multi-Threaded Java.
Formal Syntax and Semantics of Java 1999: 157-200 |
| 11 | EE | Bernhard Reus:
Extensional Sigma-Spaces in Type Theory.
Applied Categorical Structures 7(1-2): 159-183 (1999) |
| 10 | EE | Bernhard Reus:
Realizability Models for Type Theories.
Electr. Notes Theor. Comput. Sci. 23(1): (1999) |
| 9 | | Bernhard Reus:
Formalizing Synthetic Domain Theory.
J. Autom. Reasoning 23(3-4): 411-444 (1999) |
| 8 | | Bernhard Reus,
Thomas Streicher:
General synthetic domain theory - a logical approach.
Mathematical Structures in Computer Science 9(2): 177-223 (1999) |
| 1998 |
|---|
| 7 | | Thomas Streicher,
Bernhard Reus:
Classical Logic, Continuation Semantics and Abstract Machines.
J. Funct. Program. 8(6): 543-572 (1998) |
| 1997 |
|---|
| 6 | | Pietro Cenciarelli,
Alexander Knapp,
Bernhard Reus,
Martin Wirsing:
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.
AMAST 1997: 75-90 |
| 5 | | Bernhard Reus,
Thomas Streicher:
General Synthetic Domain Theory - A Logical Approach.
Category Theory and Computer Science 1997: 293-313 |
| 4 | | Bernhard Reus,
Alexander Knapp,
Pietro Cenciarelli,
Martin Wirsing:
Verifying a compiler optimization for Multi-Threaded Java.
WADT 1997: 402-417 |
| 1996 |
|---|
| 3 | | Bernhard Reus:
Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions.
TPHOLs 1996: 365-380 |
| 1993 |
|---|
| 2 | | Bernhard Reus,
Thomas Streicher:
Verifying Properties of Module Construction in Type Theory.
MFCS 1993: 660-670 |
| 1992 |
|---|
| 1 | | Bernhard Reus:
Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing.
PLILP 1992: 483-484 |
