RE

Robert E. Shostak

SRI International

45

Publications

11,130

Citations

16

h-index

19

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (31)
Book Chapter (6)
Report (4)
Book (3)
Erratum (1)

Filter by Open Access Type

Open Access (9)
Closed Access (36)

Filter by Authors

Robert E. Shostak (45)
Karl Levitt (6)
Leslie Lamport (6)
P. M. Melliar‐Smith (5)
Richard L. Schwartz (4)

Filter by Topics

Formal Methods in Verification (10)
Logic, programming, and type systems (9)
Parallel Computing and Optimization Techniques (5)
Natural Language Processing Techniques (5)
Distributed systems and fault tolerance (4)