The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tom Ridge: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tom Ridge, James Margetson
    A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2005, pp:294-309 [Conf]
  2. Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa
    Ott: effective tool support for the working semanticist. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:1-12 [Conf]
  3. Tom Ridge
    Operational Reasoning for Concurrent Caml Programs and Weak Memory Models. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:278-293 [Conf]
  4. Tom Ridge
    Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  5. A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. [Citation Graph (, )][DBLP]


  6. Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. [Citation Graph (, )][DBLP]


  7. The semantics of x86-CC multiprocessor machine code. [Citation Graph (, )][DBLP]


  8. Verifying distributed systems: the operational approach. [Citation Graph (, )][DBLP]


  9. A Rely-Guarantee Proof System for x86-TSO. [Citation Graph (, )][DBLP]


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