The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark R. Tuttle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David B. Lomet, Mark R. Tuttle
    Redo Recovery after System Crashes. [Citation Graph (10, 12)][DBLP]
    VLDB, 1995, pp:457-468 [Conf]
  2. Nancy A. Lynch, Mark R. Tuttle
    Hierarchical Correctness Proofs for Distributed Algorithms. [Citation Graph (6, 0)][DBLP]
    PODC, 1987, pp:137-151 [Conf]
  3. Yoram Moses, Mark R. Tuttle
    Programming Simultaneous Actions Using Common Knowledge: Preliminary Version [Citation Graph (1, 0)][DBLP]
    FOCS, 1986, pp:208-221 [Conf]
  4. David B. Lomet, Mark R. Tuttle
    Logical Logging to Extend Recovery to New Domains. [Citation Graph (1, 8)][DBLP]
    SIGMOD Conference, 1999, pp:73-84 [Conf]
  5. Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
    Cache Coherence Verification with TLA+. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1871-1872 [Conf]
  6. Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
    A Tight Lower Bound for k-Set Agreement [Citation Graph (0, 0)][DBLP]
    FOCS, 1993, pp:206-215 [Conf]
  7. Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle
    Adaptive Collaboration in Peer-to-Peer Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2005, pp:71-80 [Conf]
  8. Martín Abadi, Mark R. Tuttle
    A Semantics for a Logic of Authentication (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1991, pp:201-216 [Conf]
  9. Joseph Y. Halpern, Mark R. Tuttle
    Knowledge, Probability, and Adversaries. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:103-118 [Conf]
  10. Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
    Unifying Synchronous and Asynchronous Message-Passing Models. [Citation Graph (0, 0)][DBLP]
    PODC, 1998, pp:133-142 [Conf]
  11. Maurice Herlihy, Mark R. Tuttle
    Lower Bounds for Wait-Free Computation in Message-Passing Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1990, pp:347-362 [Conf]
  12. Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle
    Collaboration of untrusting peers with changing interests. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Electronic Commerce, 2004, pp:112-119 [Conf]
  13. David B. Lomet, Mark R. Tuttle
    A Theory of Redo Recovery. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2003, pp:397-406 [Conf]
  14. Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle
    Improved recommendation systems. [Citation Graph (0, 0)][DBLP]
    SODA, 2005, pp:1174-1183 [Conf]
  15. Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
    Collaborate with strangers to find own preferences. [Citation Graph (0, 0)][DBLP]
    SPAA, 2005, pp:263-269 [Conf]
  16. Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
    Publish and perish: definition and analysis of an n-person publication impact game. [Citation Graph (0, 0)][DBLP]
    SPAA, 2006, pp:11-18 [Conf]
  17. Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle
    A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    STOC, 1988, pp:132-147 [Conf]
  18. Soma Chaudhuri, Mark R. Tuttle
    Fast Increment Registers. [Citation Graph (0, 0)][DBLP]
    WDAG, 1994, pp:74-88 [Conf]
  19. Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
    A New Synchronous Lower Bound for Set Agreement. [Citation Graph (0, 0)][DBLP]
    DISC, 2001, pp:136-150 [Conf]
  20. Gil Neiger, Mark R. Tuttle
    Common Knowledge and Consistent Simultaneous Coordination. [Citation Graph (0, 0)][DBLP]
    WDAG, 1990, pp:334-352 [Conf]
  21. Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
    Timing Games and Shared Memory. [Citation Graph (0, 0)][DBLP]
    DISC, 2005, pp:507-508 [Conf]
  22. Yoram Moses, Mark R. Tuttle
    Programming Simultaneous Actions Using Common Knowledge. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 1988, v:3, n:, pp:121-169 [Journal]
  23. Gil Neiger, Mark R. Tuttle
    Common Knowledge and Consistent Simultaneous Coordination. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1993, v:6, n:3, pp:181-192 [Journal]
  24. Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
    An Overview of Synchronous Message-Passing and Topology. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:39, n:2, pp:- [Journal]
  25. Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
    Checking Cache-Coherence Protocols with TLA+. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:2, pp:125-131 [Journal]
  26. Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
    Tight bounds for k-set agreement. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:5, pp:912-943 [Journal]
  27. Joseph Y. Halpern, Mark R. Tuttle
    Knowledge, Probability, and Adversaries. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1993, v:40, n:4, pp:917-962 [Journal]
  28. Soma Chaudhuri, Maurice Herlihy, Mark R. Tuttle
    Wait-Free Implementations in Message-Passing Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:220, n:1, pp:211-245 [Journal]

  29. Protocol verification using flows: An industrial experience. [Citation Graph (, )][DBLP]


  30. Going with the Flow: Parameterized Verification Using Message Flows. [Citation Graph (, )][DBLP]


  31. Verifying Correctness of Transactional Memories. [Citation Graph (, )][DBLP]


  32. Model Checking Transactional Memory with Spin. [Citation Graph (, )][DBLP]


  33. Extracting models from design documents with mapster. [Citation Graph (, )][DBLP]


  34. Model checking transactional memory with spin. [Citation Graph (, )][DBLP]


  35. Specifying and verifying systems with TLA+. [Citation Graph (, )][DBLP]


  36. Many random walks are faster than one. [Citation Graph (, )][DBLP]


  37. An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. [Citation Graph (, )][DBLP]


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