The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eike Ritter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.027secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002