Mark R. Tuttle

发表

Gil Neiger, Mark R. Tuttle, G. Neiger, 1991, Distributed Computing.
Nancy A. Lynch, Mark R. Tuttle, N. Lynch, 1988 .
Mark R. Tuttle, Amit Goel, M. Tuttle, 2012, 2012 IEEE 11th International Symposium on Network Computing and Applications.
Mark R. Tuttle, Murali Talupur, M. Tuttle, 2008, 2008 Formal Methods in Computer-Aided Design.
Daniel Kroening, Serdar Tasiran, Mark R. Tuttle, 2018, Formal Methods in System Design.
Mark R. Tuttle, Murali Talupur, John W. O'Leary, 2009, 2009 Formal Methods in Computer-Aided Design.
Yoram Moses, Mark R. Tuttle, M. Tuttle, 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).
Mark R. Tuttle, Soma Chaudhuri, M. Tuttle, 1994, WDAG.
Mark R. Tuttle, Martn Abadi, M. Tuttle, 1991, PODC 1991.
Nancy A. Lynch, Maurice Herlihy, Mark R. Tuttle, 2000, J. ACM.
Bratin Saha, Mark R. Tuttle, John W. O'Leary, 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.
Leslie Lamport, Mark R. Tuttle, John Matthews, 2002, EW 10.
Mark R. Tuttle, Vincent Zimmer, Oleksandr Bazhaniuk, 2015, WOOT.
Noga Alon, Chen Avin, Mark R. Tuttle, 2007, SPAA '08.
Nancy A. Lynch, Mark R. Tuttle, N. Lynch, 1989 .
Nancy A. Lynch, Maurice Herlihy, Mark R. Tuttle, 1995, Responsive Computer Systems.
Maurice Herlihy, Mark R. Tuttle, Sergio Rajsbaum, 2001, DISC.
Mark R. Tuttle, David B. Lomet, M. Tuttle, 1999, SIGMOD '99.
Leslie Lamport, Serdar Tasiran, Mark R. Tuttle, 2003, Formal Methods Syst. Des..
Gil Neiger, Mark R. Tuttle, 1990, WDAG.
Leslie Lamport, Damien Doligez, Mark R. Tuttle, 2016 .
Mark R. Tuttle, David James, Murali Talupur, 2008, PODC '08.
Yoram Moses, Mark R. Tuttle, M. Tuttle, 1987, Algorithmica.
Mark R. Tuttle, David B. Lomet, 1995, VLDB.
Boaz Patt-Shamir, Yossi Azar, Baruch Awerbuch, 2005, SPAA '05.
Boaz Patt-Shamir, Baruch Awerbuch, David Peleg, 2005, SODA '05.
Boaz Patt-Shamir, Baruch Awerbuch, David Peleg, 2004, EC '04.
Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Maurice Herlihy, Mark R. Tuttle, Soma Chaudhuri, 1999, Theor. Comput. Sci..
Nancy A. Lynch, Maurice Herlihy, Mark R. Tuttle, 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.
Boaz Patt-Shamir, Mark R. Tuttle, Zvi Lotker, 2008, Games Econ. Behav..
Maurice Herlihy, Mark R. Tuttle, M. Tuttle, 1990, PODC '90.
Boaz Patt-Shamir, Mark R. Tuttle, Zvi Lotker, 2006, SPAA '06.
Mark R. Tuttle, Yoram Moses, Joseph Y. Halpern, 1988, STOC 1988.
Maurice Herlihy, Mark R. Tuttle, Sergio Rajsbaum, 1998, PODC '98.
Maurice Herlihy, Mark R. Tuttle, Sergio Rajsbaum, 2009, GETCO@DISC.
Amir Pnueli, Mark R. Tuttle, John O'Leary, 2007 .
Noga Alon, Chen Avin, Mark R. Tuttle, 2011, Comb. Probab. Comput..
Boaz Patt-Shamir, Baruch Awerbuch, David Peleg, 2005 .
Nancy A. Lynch, Mark R. Tuttle, N. Lynch, 1987, PODC '87.
Fei Xie, Mark R. Tuttle, Kai Cong, 2015, 2015 National Aerospace and Electronics Conference (NAECON).
Boaz Patt-Shamir, Mark R. Tuttle, Zvi Lotker, 2005, DISC.
Leslie Lamport, Mark R. Tuttle, Yuan Yu, 2016 .
Martín Abadi, Mark R. Tuttle, M. Abadi, 1991, PODC '91.
Maurice Herlihy, Mark R. Tuttle, Sergio Rajsbaum, 2000, GETCO.
Mark R. Tuttle, David B. Lomet, M. Tuttle, 2003, SIGMOD '03.
Daniel Kroening, Mark R. Tuttle, Byron Cook, 2018, Formal methods in system design.
Joseph Y. Halpern, Mark R. Tuttle, M. Tuttle, 1993, JACM.
Joseph Y. Halpern, Mark R. Tuttle, M. Tuttle, 1989, PODC '89.
Mark R. Tuttle, Amit Goel, Sava Krstic, 2012, SMT@IJCAR.
Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle, 1988, STOC '88.
Boaz Patt-Shamir, Yossi Azar, Baruch Awerbuch, 2005, SPAA '05.
Bratin Saha, Mark R. Tuttle, John W. O'Leary, 2009, ICDCS.
Serdar Tasiran, Mark R. Tuttle, Daniel Schwartz-Narbonne, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Boaz Patt-Shamir, Baruch Awerbuch, David Peleg, 2005, 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05).
Leslie Lamport, Damien Doligez, Mark R. Tuttle, 1999, World Congress on Formal Methods.
Sandip Ray, Mark R. Tuttle, John Matthews, 2003, ACL 2003.
Mark R. Tuttle, Vincent Zimmer, Oleksandr Bazhaniuk, 2015 .