Concepedia

Mark R. Tuttle

MR

Statistics

Publications

38

Citations

3.5K

H-Index

24

Active since

1986

Affiliations

Intel (United States)(Current)

Weizmann Institute of Science

Microsoft (United States)

Massachusetts Institute of Technology

Hewlett-Packard (United States)

Mark R. Tuttle is an author at Intel (United States) specializing in computer science, computing, and computer engineering.

Publications per year

1986–2026

38

Publications

38

An Introduction to Input/Output Automata

Nancy Lynch, Mark R. Tuttle · Formal Aspects of Computing · 2026 · 1K citations · Full text

Engineering, Computer Engineering, Computer Science +8

Hierarchical correctness proofs for distributed algorithms

Nancy Lynch, Mark R. Tuttle · 1987 · 767 citations · Full text

Computing, Computer Science, Algorithms +11

A semantics for a logic of authentication (extended abstract)

Martı́n Abadi, Mark R. Tuttle · 1991 · 219 citations

Computing, Computer Science, Computer Systems +10

Programming simultaneous actions using common knowledge

Yoram Moses, Mark R. Tuttle · Algorithmica · 1988 · 174 citations

Computing, Computer Science, Knowledge Representation +7

Many random walks are faster than one

Noga Alon, Chen Avin, Michal Koucký et al. · 2008 · 155 citations

Computing, Computer Science, Algorithms +11

1–5 of 38