Lenore D. Zuck
Author
Alternate names L. Zuck, Lenore D. Zuck, L. D. Zuck, Lenore Zuck
Institution University of Illinois Chicago
Past institutions University of Illinois Chicago, Northeastern University, The University of Texas at Austin, University of Illinois System, Indian Institute of Technology Delhi +4 more
ORCID: Yes
H-index: 29
I10-index: 58
Works count: 128
Citations count: 3,424
The glory of the past
1985 · Orna Lichtenstein, Amir Pnueli, et al. · Lecture notes in computer science
Automatic Deductive Verification with Invisible Invariants
2001 · Amir Pnueli, Sitvanit Ruah, et al. · Lecture notes in computer science
Parameterized Verification with Automatically Computed Inductive Assertions?
2001 · Tamarah Arons, Amir Pnueli, et al. · Lecture notes in computer science