| 2005 |
|---|
| 19 | EE | Aybek Mukhamedov,
Steve Kremer,
Eike Ritter:
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model.
Financial Cryptography 2005: 255-269 |
| 18 | | David J. Pym,
Eike Ritter:
A games semantics for reductive logic and proof-search.
GALOP 2005: 107-123 |
| 17 | EE | Maria Emilia Maietti,
Paola Maneggia,
Valeria de Paiva,
Eike Ritter:
Relating Categorical Semantics for Intuitionistic Linear Logic.
Applied Categorical Structures 13(1): 1-36 (2005) |
| 2001 |
|---|
| 16 | EE | Natasha Alechina,
Michael Mendler,
Valeria de Paiva,
Eike Ritter:
Categorical and Kripke Semantics for Constructive S4 Modal Logic.
CSL 2001: 292-307 |
| 2000 |
|---|
| 15 | EE | Maria Emilia Maietti,
Valeria de Paiva,
Eike Ritter:
Categorical Models for Intuitionistic and Linear Type Theory.
FoSSaCS 2000: 223-237 |
| 14 | | Eike Ritter,
David J. Pym,
Lincoln A. Wallen:
Proof-terms for classical and intuitionistic resolution.
J. Log. Comput. 10(2): 173-207 (2000) |
| 13 | EE | Neil Ghani,
Valeria de Paiva,
Eike Ritter:
Linear Explicit Substitutions.
Logic Journal of the IGPL 8(1): (2000) |
| 12 | EE | Eike Ritter,
David J. Pym,
Lincoln A. Wallen:
On the intuitionistic force of classical search.
Theor. Comput. Sci. 232(1-2): 299-333 (2000) |
| 1999 |
|---|
| 11 | | Neil Ghani,
Valeria de Paiva,
Eike Ritter:
Categorical Models of Explicit Substitutions.
FoSSaCS 1999: 197-211 |
| 10 | EE | Eike Ritter:
Characterising Explicit Substitutions which Preserve Termination.
TLCA 1999: 325-339 |
| 1998 |
|---|
| 9 | EE | Neil Ghani,
Valeria de Paiva,
Eike Ritter:
Explicit Substitutions for Constructive Necessity.
ICALP 1998: 743-754 |
| 1997 |
|---|
| 8 | | Eike Ritter,
Valeria de Paiva:
On Explicit Substitution and Names (Extended Abstract).
ICALP 1997: 248-258 |
| 1996 |
|---|
| 7 | | Eike Ritter,
David J. Pym,
Lincoln A. Wallen:
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).
CADE 1996: 17-31 |
| 6 | | Eike Ritter,
David J. Pym,
Lincoln A. Wallen:
On the Intuitionistic Force of Classical Search (Extended Abstract).
TABLEAUX 1996: 295-311 |
| 1995 |
|---|
| 5 | | Eike Ritter,
Andrew M. Pitts:
A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML.
TLCA 1995: 397-413 |
| 1994 |
|---|
| 4 | | Eike Ritter:
Categorical Abstract Machines for Higher-Order Typed lambda-Calculi.
Theor. Comput. Sci. 136(1): 125-162 (1994) |
| 1993 |
|---|
| 3 | | C.-H. Luke Ong,
Eike Ritter:
A Generic Strong Normalization Argument: Application to the Calculus of Constructions.
CSL 1993: 261-279 |
| 2 | | Eike Ritter:
Normalization for Typed Lambda Calculi with Explicit Substitution.
CSL 1993: 295-304 |
| 1 | | Monica Nesi,
Valeria de Paiva,
Eike Ritter:
Rewriting Properties of Combinators for Rudimentary Linear Logic.
HOA 1993: 256-275 |
