Mark Tuttle

Available identifiers

Publication	Date of Publication	Type
Model checking boot code from AWS data centers	2021-08-30	Paper
An axiomatic approach to computing the connectivity of synchronous and asynchronous systems	2016-06-06	Paper
Unifying synchronous and asynchronous message-passing models	2016-03-02	Paper
Tight bounds for k -set agreement	2015-09-19	Paper
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions	2015-09-11	Paper
A semantics for a logic of authentication (extended abstract)	2015-06-19	Paper
Improved recommendation systems	2014-10-13	Paper
Many Random Walks Are Faster Than One	2011-08-16	Paper
A game of timing and visibility	2008-05-08	Paper
Collaborate with strangers to find own preferences	2008-02-18	Paper
Distributed Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4436047	2003-11-23	Paper
An overview of synchronous message-passing and topology	2001-05-07	Paper
Wait-free implementations in message-passing systems	1999-06-21	Paper
Knowledge, probability, and adversaries	1994-01-09	Paper
Common knowledge and consistent simultaneous coordination	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3833630	1989-01-01	Paper
Programming simultaneous actions using common knowledge	1988-01-01	Paper

This page was built for person: Mark Tuttle