Mark R. Tuttle Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn W. O'Leary, Murali Talupur, Mark R. Tuttle: Protocol verification using flows: An industrial experience. FMCAD 2009: 172-179
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn W. O'Leary, Bratin Saha, Mark R. Tuttle: Model Checking Transactional Memory with Spin. ICDCS 2009: 335-342
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali Talupur, Mark R. Tuttle: Going with the Flow: Parameterized Verification Using Message Flows. FMCAD 2008: 1-8
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn W. O'Leary, Bratin Saha, Mark R. Tuttle: Model checking transactional memory with spin. PODC 2008: 424
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle: Extracting models from design documents with mapster. PODC 2008: 456
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoga Alon, Chen Avin, Michal Koucký, Gady Kozma, Zvi Lotker, Mark R. Tuttle: Many random walks are faster than one. SPAA 2008: 119-128
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaruch 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAriel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck: Verifying Correctness of Transactional Memories. FMCAD 2007: 37-44
2006
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZvi 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle: Timing Games and Shared Memory. DISC 2005: 507-508
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle: Adaptive Collaboration in Peer-to-Peer Systems. ICDCS 2005: 71-80
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle: Improved recommendation systems. SODA 2005: 1174-1183
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle: Collaborate with strangers to find own preferences. SPAA 2005: 263-269
2004
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaruch 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Lomet, Mark R. Tuttle: A Theory of Redo Recovery. SIGMOD Conference 2003: 397-406
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu: Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48
2001
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle: A New Synchronous Lower Bound for Set Agreement. DISC 2001: 136-150
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle: An Overview of Synchronous Message-Passing and Topology. Electr. Notes Theor. Comput. Sci. 39(2): (2001)
2000
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle: Tight bounds for k-set agreement. J. ACM 47(5): 912-943 (2000)
1999
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Lomet, Mark R. Tuttle: Logical Logging to Extend Recovery to New Domains. SIGMOD Conference 1999: 73-84
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHomayoon 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoma Chaudhuri, Maurice Herlihy, Mark R. Tuttle: Wait-Free Implementations in Message-Passing Systems. Theor. Comput. Sci. 220(1): 211-245 (1999)
1998
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle: Unifying Synchronous and Asynchronous Message-Passing Models. PODC 1998: 133-142
1995
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Lomet, Mark R. Tuttle: Redo Recovery after System Crashes. VLDB 1995: 457-468
1994
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoma Chaudhuri, Mark R. Tuttle: Fast Increment Registers. WDAG 1994: 74-88
1993
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle: A Tight Lower Bound for k-Set Agreement FOCS 1993: 206-215
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGil Neiger, Mark R. Tuttle: Common Knowledge and Consistent Simultaneous Coordination. Distributed Computing 6(3): 181-192 (1993)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. J. ACM 40(4): 917-962 (1993)
1991
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Mark R. Tuttle: A Semantics for a Logic of Authentication (Extended Abstract). PODC 1991: 201-216
1990
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Mark R. Tuttle: Lower Bounds for Wait-Free Computation in Message-Passing Systems. PODC 1990: 347-362
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGil Neiger, Mark R. Tuttle: Common Knowledge and Consistent Simultaneous Coordination. WDAG 1990: 334-352
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. PODC 1989: 103-118
1988
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses, Mark R. Tuttle: A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) STOC 1988: 132-147
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge. Algorithmica 3: 121-169 (1988)
1987
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNancy A. Lynch, Mark R. Tuttle: Hierarchical Correctness Proofs for Distributed Algorithms. PODC 1987: 137-151
1986
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Moses, Mark R. Tuttle: Programming Simultaneous Actions Using Common Knowledge: Preliminary Version FOCS 1986: 208-221

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)