The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark Bickford: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mark Bickford, Damir Jamsek
    Formal Specification and Verification of VHDL. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:310-326 [Conf]
  2. Mark Bickford, Jason Hickey
    Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. [Citation Graph (0, 0)][DBLP]
    IWFM, 1999, pp:- [Conf]
  3. Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
    Knowledge-Based Synthesis of Distributed Systems Using Event Structures. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:449-465 [Conf]
  4. Mark Bickford, Mandayam K. Srivas
    Verification of a Pipelined Microprocessor Using Clio. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:307-332 [Conf]
  5. Mark Bickford, Mandayam K. Srivas
    Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:225-251 [Conf]
  6. Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu 0003
    Proving Hybrid Protocols Correct. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:105-120 [Conf]
  7. Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran
    Innovations in computational type theory using Nuprl. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:428-469 [Journal]
  8. Mandayam K. Srivas, Mark Bickford
    Formal Verification of a Pipelined Microprocessor. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1990, v:7, n:5, pp:52-64 [Journal]
  9. Xiaoming Liu 0003, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable
    Protocol Switching: Exploiting Meta-Properties. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2001, pp:37-42 [Conf]

  10. Component Specification Using Event Classes. [Citation Graph (, )][DBLP]


  11. Nysiad: Practical Protocol Transformation to Tolerate Byzantine Failures. [Citation Graph (, )][DBLP]


  12. Unguessable Atoms: A Logical Foundation for Security. [Citation Graph (, )][DBLP]


  13. Knowledge-Based Synthesis of Distributed Systems Using Event Structures [Citation Graph (, )][DBLP]


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