OpenAlex
Mark R. Tuttle
Author
View works
Alternate names Mark Tuttle, Mark R. Tuttle, M. Tuttle, M. R. Tuttle
Institution Amazon (United States)
Past institutions Amazon (United States), Amazon (Germany), Intel (United Kingdom), Intel (United States), Hewlett-Packard (United States) +4 more
H-index: 24
I10-index: 40
Works count: 65
Citations count: 2,753
Top works
Hierarchical correctness proofs for distributed algorithms
1987 · Nancy Lynch, Mark R. Tuttle
A semantics for a logic of authentication (extended abstract)
1991 · Martı́n Abadi, Mark R. Tuttle
Programming simultaneous actions using common knowledge
1988 · Yoram Moses, Mark R. Tuttle · Algorithmica
Key stats
year
open access
topic
type