Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Lamport | Researchclopedia

Back to researchers

Lamport

SRI International

1

Works

2,511

Citations

1

h-index

1

i10-index

Research Topics

Parallel Computing and Optimization Techniques Logic, programming, and type systems Embedded Systems Design Techniques

Affiliations

SRI International1979–1979

Top Works

How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

19792,511 citations