Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(90)
Martín Abadi
13
Fred Schneider
9
Mark R. Tuttle
7
Yuan Yu
7
Robert E. Shostak
6
Conferences
(35)
PODC
8
POPL
7
AC
6
DSN
4
REX
3
Journals
(26)
TOPLAS
22
CACM
17
DC
15
JACM
9
TOCS
6
Keywords
(191)
Embed
Subscribe
Academic
Authors
Leslie Lamport
Edit
Leslie Lamport
Microsoft
Publications: 257
|
Citations: 24729
|
G-Index: 156
|
H-Index: 59
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Distributed & Parallel Computing
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
90 co-authors
from 1970 to 2010
; Cited by
16509 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(257)
BibTeX
|
RIS
|
RefWorks
Download
Verifying Safety Properties with the TLA+ Proof System
(
Citations: 3
)
Kaustuv Chaudhuri
,
Damien Doligez
,
Leslie Lamport
,
Stephan Merz
Conference:
Conference on Automated Deduction - CADE
, vol. abs/1011.2, pp. 142-148, 2010
Reconfiguring a state machine
(
Citations: 1
)
Leslie Lamport
,
Dahlia Malkhi
,
Lidong Zhou
Journal:
Sigact News - SIGACT
, vol. 41, no. 1, pp. 63-73, 2010
The mailbox problem
Marcos K. Aguilera
,
Eli Gafni
,
Leslie Lamport
Journal:
Distributed Computing - DC
, vol. 23, no. 2, pp. 113-134, 2010
The TLA+ Proof System: Building a Heterogeneous Verification Platform
Kaustuv Chaudhuri
,
Damien Doligez
,
Leslie Lamport
,
Stephan Merz
Conference:
International Colloquium on Theoretical Aspects of Computing - ICTAC
, 2010
Computer Science and State Machines
Leslie Lamport
Conference:
Birthday ...
, pp. 60-65, 2010
Order by:
Citations
(24729 times by 16401 publications)
A Secure Single Sign-On Mechanism for Distributed Computer Networks
Chin-Chen Chang
,
Chia-Yin Lee
Journal:
IEEE Transactions on Industrial Electronics - IEEE TRANS IND ELECTRON
, vol. 59, no. 1, pp. 629-637, 2012
BlobSeer: Next-generation data management for large scale infrastructures
(
Citations: 7
)
Bogdan Nicolae
,
Gabriel Antoniu
,
Luc Bougé
,
Diana Moise
,
Alexandra Carpen-Amarie
Journal:
Journal of Parallel and Distributed Computing - JPDC
, vol. 71, no. 2, pp. 169-184, 2011
Fundamental Limits on Synchronizing Clocks Over Networks
(
Citations: 6
)
Nikolaos M. Freris
,
Scott R. Graham
,
P. R. Kumar
Journal:
IEEE Transactions on Automatic Control - IEEE TRANS AUTOMAT CONTR
, vol. 56, no. 6, pp. 1352-1364, 2011
Event-driven architecture for decision support in traffic management systems
(
Citations: 4
)
Jürgen Dunkel
,
Alberto Fernández
,
Rubén Ortiz
,
Sascha Ossowski
Journal:
Expert Systems With Applications - ESWA
, vol. 38, no. 6, pp. 6530-6539, 2011
Robust one-time password authentication scheme using smart card for home network environment
(
Citations: 4
)
Binod Vaidya
,
Jong Hyuk Park
,
Sang-Soo Yeo
,
Joel J. P. C. Rodrigues
Journal:
Computer Communications - COMCOM
, vol. 34, no. 3, pp. 326-336, 2011
Comments