Search the dblp DataBase

Publications of Author

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