×

zbMATH — the first resource for mathematics

Edit Profile

Zuck, Lenore D.

Compute Distance To:
Author ID: zuck.lenore-d
Published as: Zuck, L.; Zuck, Lenore; Zuck, Lenore D.
Documents Indexed: 42 Publications since 1985, including 2 Books
all top 5

Co-Authors

0 single-authored
26 Pnueli, Amir
8 Balaban, Ittai
6 Fang, Yi
3 Arons, Tamarah
3 Peled, Doron A.
2 Barrett, Clark W.
2 Cohen, Ariel
2 Goldberg, Benjamin
2 Hu, Ying
2 Kesten, Yonit
2 McMillan, Kenneth L.
2 Namjoshi, Kedar S.
2 Piterman, Nir
2 Prasad Sistla, A.
2 Ruah, Sitvanit
2 Sa’ar, Yaniv
1 Bernasconi, Anna
1 Elster, Elad
1 Fischer, Michael J.
1 Fix, Limor
1 Ghezzi, Carlo
1 Gjomemo, Rigel
1 Halbwachs, Nicolas
1 Halpern, Joseph Yehuda
1 Kisyova, Katya I.
1 Lichtenstein, Orna
1 Logozzo, Francesco
1 Mador-Haim, Sela
1 Margaria, Tiziana
1 Menghi, Claudio
1 Mishaeli, Michael
1 Phung, Phu H.
1 Shahar, Elad
1 Shalev, Jonathan
1 Singerman, Eli
1 Sistla, Aravinda Prasad
1 Spoletini, Paola
1 Steffen, Bernhard
1 Tiemeyer, Andreas
1 Vardi, Moshe Y.
1 Venkatakrishnan, V. N.
1 Wang, Dawei
1 Westbrook, Jeffery R.
1 Xu, Jessie
1 Xu, Ying
1 Zhou, Min
all top 5

Serials

2 Information and Computation
2 Lecture Notes in Computer Science
1 Journal of the Association for Computing Machinery
1 Journal of Computer and System Sciences
1 International Journal of Foundations of Computer Science
1 Distributed Computing
1 Formal Methods in System Design
1 Computer Languages, Systems & Structures

Fields

41 Computer science (68-XX)
2 General mathematics (00-XX)
2 Mathematical logic and foundations (03-XX)
1 Operations research, mathematical programming (90-XX)
1 Information and communication, circuits (94-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription