The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John D. Ramsdell: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
    Trust Management in Strand Spaces: A Rely-Guarantee Method. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:325-339 [Conf]
  2. John D. Ramsdell
    The CURRY Chip. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:122-131 [Conf]
  3. Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
    Programming Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:116-145 [Conf]
  4. John D. Ramsdell
    The Tail-Recursive SECD Machine. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:1, pp:43-62 [Journal]
  5. Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka
    Verifying information flow goals in Security-Enhanced Linux. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:115-134 [Journal]
  6. Joshua D. Guttman, John D. Ramsdell, Vipin Swarup
    The VLISP Verified Scheme System. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:33-110 [Journal]
  7. Joshua D. Guttman, John D. Ramsdell, Mitchell Wand
    VLISP: A Verified Implementation of Scheme. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:5-32 [Journal]
  8. Dino Oliva, John D. Ramsdell, Mitchell Wand
    The VLISP Verified PreScheme Compiler. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:111-182 [Journal]
  9. John D. Ramsdell
    The Alonzo functional programming language. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:9, pp:152-157 [Journal]
  10. John D. Ramsdell
    CST: C State Transformers. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1995, v:30, n:12, pp:32-36 [Journal]
  11. William M. Farmer, John D. Ramsdell, Ronald J. Watro
    A Correctness Proof for Combinator Reduction with Cycles. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:123-134 [Journal]
  12. Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
    Compiling cryptographic protocols for deployment on the web. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:687-696 [Conf]

Search in 0.003secs, Finished in 0.004secs
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