Mark R. Tuttle

2009
35	EE	Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle: An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. Electr. Notes Theor. Comput. Sci. 230: 79-102 (2009)
2008
34	EE	John O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424
33	EE	David James, Tim Leonard, John O'Leary, Murali Talupur, Mark R. Tuttle: Extracting models from design documents with mapster. PODC 2008: 456
32	EE	Noga Alon, Chen Avin, Michal Koucký, Gady Kozma, Zvi Lotker, Mark R. Tuttle: Many random walks are faster than one. SPAA 2008: 119-128
31	EE	Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle: Collaborate with Strangers to Find Own Preferences. Theory Comput. Syst. 42(1): 27-41 (2008)
2007
30	EE	Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck: Verifying Correctness of Transactional Memories. FMCAD 2007: 37-44
2006
29	EE	Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle: Publish and perish: definition and analysis of an n-person publication impact game. SPAA 2006: 11-18
2005
28	EE	Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle: Timing Games and Shared Memory. DISC 2005: 507-508
27	EE	Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle: Adaptive Collaboration in Peer-to-Peer Systems. ICDCS 2005: 71-80
26	EE	Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle: Improved recommendation systems. SODA 2005: 1174-1183
25	EE	Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle: Collaborate with strangers to find own preferences. SPAA 2005: 263-269
2004
24	EE	Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle: Collaboration of untrusting peers with changing interests. ACM Conference on Electronic Commerce 2004: 112-119
2003
23	EE	David B. Lomet, Mark R. Tuttle: A Theory of Redo Recovery. SIGMOD Conference 2003: 397-406
22	EE	Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu: Checking Cache-Coherence Protocols with TLA+. Formal Methods in System Design 22(2): 125-131 (2003)
2002
21	EE	Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
2001
20	EE	Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle: A New Synchronous Lower Bound for Set Agreement. DISC 2001: 136-150
19	EE	Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle: An Overview of Synchronous Message-Passing and Topology. Electr. Notes Theor. Comput. Sci. 39(2): (2001)
2000
18	EE	Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle: Tight bounds for k-set agreement. J. ACM 47(5): 912-943 (2000)
1999
17	EE	David B. Lomet, Mark R. Tuttle: Logical Logging to Extend Recovery to New Domains. SIGMOD Conference 1999: 73-84
16	EE	Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu: Cache Coherence Verification with TLA+. World Congress on Formal Methods 1999: 1871-1872
15	EE	Soma Chaudhuri, Maurice Herlihy, Mark R. Tuttle: Wait-Free Implementations in Message-Passing Systems. Theor. Comput. Sci. 220(1): 211-245 (1999)
1998
14	EE	Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle: Unifying Synchronous and Asynchronous Message-Passing Models. PODC 1998: 133-142
1995
13	EE	David B. Lomet, Mark R. Tuttle: Redo Recovery after System Crashes. VLDB 1995: 457-468
1994
12		Soma Chaudhuri, Mark R. Tuttle: Fast Increment Registers. WDAG 1994: 74-88
1993
11		Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle: A Tight Lower Bound for k-Set Agreement FOCS 1993: 206-215
10		Gil Neiger, Mark R. Tuttle: Common Knowledge and Consistent Simultaneous Coordination. Distributed Computing 6(3): 181-192 (1993)
9	EE	Joseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. J. ACM 40(4): 917-962 (1993)
1991
8		Martín Abadi, Mark R. Tuttle: A Semantics for a Logic of Authentication (Extended Abstract). PODC 1991: 201-216
1990
7	EE	Maurice Herlihy, Mark R. Tuttle: Lower Bounds for Wait-Free Computation in Message-Passing Systems. PODC 1990: 347-362
6		Gil Neiger, Mark R. Tuttle: Common Knowledge and Consistent Simultaneous Coordination. WDAG 1990: 334-352
1989
5		Joseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. PODC 1989: 103-118
1988
4		Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle: A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) STOC 1988: 132-147
3		Yoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge. Algorithmica 3: 121-169 (1988)
1987
2		Nancy A. Lynch, Mark R. Tuttle: Hierarchical Correctness Proofs for Distributed Algorithms. PODC 1987: 137-151
1986
1		Yoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge: Preliminary Version FOCS 1986: 208-221

Coauthor Index

1	Martín Abadi	[8]
2	Homayoon Akhiani	[16]
3	Noga Alon	[32]
4	Chen Avin	[32]
5	Baruch Awerbuch	[24] [25] [26] [27] [31]
6	Yossi Azar	[25] [31]
7	Soma Chaudhuri	[11] [12] [15] [18]
8	Ariel Cohen	[30]
9	Damien Doligez	[16]
10	Joseph Y. Halpern	[4] [5] [9]
11	Paul Harter	[16]
12	Maurice Herlihy	[7] [11] [14] [15] [18] [19] [20] [35]
13	David James	[33]
14	Rajeev Joshi	[22]
15	Michal Koucký	[32]
16	Gady Kozma	[32]
17	Leslie Lamport	[16] [21] [22]
18	Tim Leonard	[33]
19	David B. Lomet	[13] [17] [23]
20	Zvi Lotker	[25] [28] [29] [31] [32]
21	Nancy A. Lynch	[2] [11] [18]
22	John Matthews	[21] [22]
23	Yoram Moses	[1] [3] [4]
24	Gil Neiger	[6] [10]
25	John O'Leary	[33] [34]
26	John W. O'Leary	[30]
27	Boaz Patt-Shamir	[24] [25] [26] [27] [28] [29] [31]
28	David Peleg	[24] [26] [27]
29	Amir Pnueli	[30]
30	Sergio Rajsbaum	[14] [19] [20] [35]
31	Bratin Saha	[34]
32	Joshua Scheid	[16]
33	Murali Talupur	[33]
34	Serdar Tasiran	[22]
35	Yuan Yu	[16] [21] [22]
36	Lenore D. Zuck	[30]

Colors in the list of coauthors