The SCEAS System
Navigation Menu

Search the dblp DataBase


Tim Kempster: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tim Kempster, Colin Stirling
    Modeling and Model Checking Mobile Phone Payment Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:95-110 [Conf]
  2. Tim Kempster, Colin Stirling, Peter Thanisch
    Games-Based Model Checking of Protocols: counting doesn't count. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  3. Tim Kempster, Gordon J. Brebner, Peter Thanisch
    A Transactional Approach to Configuring Telecommunications Services. [Citation Graph (0, 0)][DBLP]
    Databases in Telecommunications, 1999, pp:40-53 [Conf]
  4. Tim Kempster, Colin Stirling, Peter Thanisch
    A More Committed Quorum-Based Three Phase Commit Protocol. [Citation Graph (0, 0)][DBLP]
    DISC, 1998, pp:246-257 [Conf]
  5. Tim Kempster, Colin Stirling, Peter Thanisch
    Diluting ACID. [Citation Graph (0, 1)][DBLP]
    SIGMOD Record, 1999, v:28, n:4, pp:17-23 [Journal]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002