Mark Tuttle

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Model checking boot code from AWS data centers Formal Methods in System Design	2021-08-30	Paper
An axiomatic approach to computing the connectivity of synchronous and asynchronous systems Electronic Notes in Theoretical Computer Science	2016-06-06	Paper
Unifying synchronous and asynchronous message-passing models Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC '98	2016-03-02	Paper
Tight bounds for \(k\)-set agreement Journal of the ACM	2015-09-19	Paper
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing	2015-09-11	Paper
A semantics for a logic of authentication (extended abstract) Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91	2015-06-19	Paper
Improved recommendation systems	2014-10-13	Paper
Many Random Walks Are Faster Than One Combinatorics, Probability and Computing	2011-08-16	Paper
A game of timing and visibility Games and Economic Behavior	2008-05-08	Paper
Collaborate with strangers to find own preferences Theory of Computing Systems	2008-02-18	Paper
Distributed Computing Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 2006649 (Why is no real title available?)	2003-11-23	Paper
An overview of synchronous message-passing and topology	2001-05-07	Paper
Wait-free implementations in message-passing systems Theoretical Computer Science	1999-06-21	Paper
Knowledge, probability, and adversaries Journal of the ACM	1994-01-09	Paper
Common knowledge and consistent simultaneous coordination Distributed Computing	1993-06-29	Paper
scientific article; zbMATH DE number 4110131 (Why is no real title available?)	1989-01-01	Paper
Programming simultaneous actions using common knowledge Algorithmica	1988-01-01	Paper

Research outcomes over time

This page was built for person: Mark Tuttle