Mark R. Tuttle

机构：Amazon (United States)

发表论文 68 篇 · 总被引 3791 次 · h-index 25

代表论文

• An Introduction to Input/Output Automata (2026 · Formal Aspects of Computing · 被引 1024)
• Many random walks are faster than one (2008 · 被引 156)
• Many Random Walks Are Faster Than One (2011 · Combinatorics Probability Computing · 被引 106)
• Going with the Flow: Parameterized Verification Using Message Flows (2008 · 被引 64)
• Protocol verification using flows: An industrial experience (2009 · 被引 42)
• Code-level model checking in the software development workflow (2020 · 被引 32)