SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

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

Publications of Author

David B. Lomet, Mark R. Tuttle
Redo Recovery after System Crashes. [Citation Graph (10, 12)][DBLP]
VLDB, 1995, pp:457-468 [Conf]
Nancy A. Lynch, Mark R. Tuttle
Hierarchical Correctness Proofs for Distributed Algorithms. [Citation Graph (6, 0)][DBLP]
PODC, 1987, pp:137-151 [Conf]
Yoram Moses, Mark R. Tuttle
Programming Simultaneous Actions Using Common Knowledge: Preliminary Version [Citation Graph (1, 0)][DBLP]
FOCS, 1986, pp:208-221 [Conf]
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]
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]
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]
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]
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]
Joseph Y. Halpern, Mark R. Tuttle
Knowledge, Probability, and Adversaries. [Citation Graph (0, 0)][DBLP]
PODC, 1989, pp:103-118 [Conf]
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]
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]
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]
David B. Lomet, Mark R. Tuttle
A Theory of Redo Recovery. [Citation Graph (0, 0)][DBLP]
SIGMOD Conference, 2003, pp:397-406 [Conf]
Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle
Improved recommendation systems. [Citation Graph (0, 0)][DBLP]
SODA, 2005, pp:1174-1183 [Conf]
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]
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]
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]
Soma Chaudhuri, Mark R. Tuttle
Fast Increment Registers. [Citation Graph (0, 0)][DBLP]
WDAG, 1994, pp:74-88 [Conf]
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]
Gil Neiger, Mark R. Tuttle
Common Knowledge and Consistent Simultaneous Coordination. [Citation Graph (0, 0)][DBLP]
WDAG, 1990, pp:334-352 [Conf]
Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
Timing Games and Shared Memory. [Citation Graph (0, 0)][DBLP]
DISC, 2005, pp:507-508 [Conf]
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]
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]
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]
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]
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]
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]
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]
Protocol verification using flows: An industrial experience. [Citation Graph (, )][DBLP]
Going with the Flow: Parameterized Verification Using Message Flows. [Citation Graph (, )][DBLP]
Verifying Correctness of Transactional Memories. [Citation Graph (, )][DBLP]
Model Checking Transactional Memory with Spin. [Citation Graph (, )][DBLP]
Extracting models from design documents with mapster. [Citation Graph (, )][DBLP]
Model checking transactional memory with spin. [Citation Graph (, )][DBLP]
Specifying and verifying systems with TLA+. [Citation Graph (, )][DBLP]
Many random walks are faster than one. [Citation Graph (, )][DBLP]
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.305secs

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