Eike Ritter

	2009
20		Matt Smart, Eike Ritter: Remote Electronic Voting with Revocable Anonymity. ICISS 2009: 39-54
	2005
19		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		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		Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
	2000
15		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		Neil Ghani, Valeria de Paiva, Eike Ritter: Linear Explicit Substitutions. Logic Journal of the IGPL 8(1): (2000)
12		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		Eike Ritter: Characterising Explicit Substitutions which Preserve Termination. TLCA 1999: 325-339
	1998
9		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

Coauthor Index

1	Natasha Alechina	[16]
2	Neil Ghani	[9] [11] [13]
3	Steve Kremer	[19]
4	Maria Emilia Maietti	[15] [17]
5	Paola Maneggia	[17]
6	Michael Mendler	[16]
7	Aybek Mukhamedov	[19]
8	Monica Nesi	[1]
9	C.-H. Luke Ong	[3]
10	Valeria de Paiva	[1] [8] [9] [11] [13] [15] [16] [17]
11	Andrew M. Pitts	[5]
12	David J. Pym	[6] [7] [12] [14] [18]
13	Matt Smart	[20]
14	Lincoln A. Wallen	[6] [7] [12] [14]

Colors in the list of coauthors