Eike Ritter

Identifiers

• name variant Eike Ritter 0.60 · backfill

Papers (3)

1. Continuations and Completeness in Proof-theoretic Semantics math.LO · 2026 · author #3
2. Verification of agent knowledge in dynamic access control policies cs.LO · 2014 · author #2
3. Formal Analysis of UMTS Privacy cs.CR · 2011 · author #3

Mentions

• 1401.4730 #2 · backfill · confidence 0.70 Eike Ritter
• 1109.2066 #3 · backfill · confidence 0.70 Eike Ritter

Frequent Coauthors

• Mark Ryan 2 shared papers
• David Pym 1 shared papers
• Edmund Robinson 1 shared papers
• Loretta Ilaria Mancini 1 shared papers
• Masoud Koleini 1 shared papers
• Myrto Arapinis 1 shared papers
• Tao Gu 1 shared papers