Concepedia

Lenore D. Zuck

LD

25

Publications

1.1K

Citations

19

H-Index

1986

Active since

Affiliations

New York University(Current)

Weizmann Institute of Science

University of Illinois Chicago

Yale University

Lenore D. Zuck is an author at New York University specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

Publications per year

1986–2020

25

Publications

25

A little knowledge goes a long way

Joseph Y. Halpern, Lenore D. Zuck · Journal of the ACM · 1992 · 135 citations · Full text

, , +23

Verification of multiprocess probabilistic protocols

Amir Pnueli, Lenore D. Zuck · Distributed Computing · 1986 · 121 citations

, , +6

Probabilistic Verification

Amir Pnueli, Lenore D. Zuck · Information and Computation · 1993 · 88 citations

VOC: A methodology for the translation validation of optimizing compilers

Lenore D. Zuck, Amir Pnueli, Yi Fang et al. · 2003 · 84 citations · Full text

Reliable communication over unreliable channels

Yehuda Afek, Hagit Attiya, Alan Fekete et al. · Journal of the ACM · 1994 · 65 citations · Full text

Rows per page

1–5 of 25