| 2024 | IJCAR | Skolemisation for Intuitionistic Linear Logic. | Alessandro Bruni, Eike Ritter, Carsten Schrmann |
| 2017 | SEC | A Malware-Tolerant, Self-Healing Industrial Control System Framework. | Michael Denzel, Mark Ryan, Eike Ritter |
| 2014 | NDSS | Privacy through Pseudonymity in Mobile Telephony Systems. | Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan |
| 2013 | TACAS | Model Checking Agent Knowledge in Dynamic Access Control Policies. | Masoud Koleini, Eike Ritter, Mark Ryan |
| 2012 | CCS | New privacy issues in mobile telephony: fix and verification. | Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar |
| 2011 | ATC | True Trustworthy Elections: Remote Electronic Voting Using Trusted Computing. | Matt Smart, Eike Ritter |
| 2009 | ICISS | Remote Electronic Voting with Revocable Anonymity. | Matt Smart, Eike Ritter |
| 2005 | FC | Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. | Aybek Mukhamedov, Steve Kremer, Eike Ritter |
| 2001 | CSL | Categorical and Kripke Semantics for Constructive S4 Modal Logic. | Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter |
| 2000 | FOSSACS | Categorical Models for Intuitionistic and Linear Type Theory. | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter |
| 1999 | FOSSACS | Categorical Models of Explicit Substitutions. | Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1998 | ICALP | Explicit Substitutions for Constructive Necessity. | Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1997 | ICALP | On Explicit Substitution and Names (Extended Abstract). | Eike Ritter, Valeria de Paiva |
| 1996 | CADE | Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). | Eike Ritter, David J. Pym, Lincoln A. Wallen |
| 1996 | TABLEAUX | On the Intuitionistic Force of Classical Search (Extended Abstract). | Eike Ritter, David J. Pym, Lincoln A. Wallen |
| 1993 | CSL | A Generic Strong Normalization Argument: Application to the Calculus of Constructions. | C.-H. Luke Ong, Eike Ritter |
| 1993 | CSL | Normalization for Typed Lambda Calculi with Explicit Substitution. | Eike Ritter |