The SCEAS System
Navigation Menu

Search the dblp DataBase


Simon Doherty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
    Formal Verification of a Practical Lock-Free Queue Algorithm. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:97-114 [Conf]
  2. Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir
    Bringing practical lock-free synchronization to 64-bit applications. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:31-39 [Conf]
  3. Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul A. Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
    DCAS is not a silver bullet for nonblocking algorithm design. [Citation Graph (0, 0)][DBLP]
    SPAA, 2004, pp:216-224 [Conf]
  4. Robert Colvin, Simon Doherty, Lindsay Groves
    Verifying Concurrent Data Structures by Simulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:93-110 [Journal]

  5. Nonblocking Algorithms and Backward Simulation. [Citation Graph (, )][DBLP]

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