L. Zuck
发表
Moshe Y. Vardi,
Lenore D. Zuck,
Sela Mador-Haim,
2005,
CAV.
Amir Pnueli,
Lenore D. Zuck,
Ittai Balaban,
2005,
VMCAI.
Nancy A. Lynch,
Michael J. Fischer,
Da-Wei Wang,
1994,
JACM.
Amir Pnueli,
Jiazhao Xu,
Lenore D. Zuck,
2001,
CAV.
Amir Pnueli,
Lenore D. Zuck,
A. Pnueli,
1984,
PODC '84.
Nicolas Halbwachs,
Lenore D. Zuck,
N. Halbwachs,
2005,
Lecture Notes in Computer Science.
Lenore Zuck,
L. Zuck,
J. Westbrook,
1994
.
A. Pnueli,
N. Piterman,
L. Zuck,
2006
.
K. Namjoshi,
L. Zuck,
P. Lanzi,
2013
.
David Harel,
Ahmed Bouajjani,
Lenore D. Zuck,
2012,
J. Comput. Syst. Sci..
Amir Pnueli,
Lenore D. Zuck,
A. Pnueli,
1986,
Logic in Computer Science.
Amir Pnueli,
Lenore D. Zuck,
A. Pnueli,
1993,
Information and Computation.
V. N. Venkatakrishnan,
Lenore D. Zuck,
Timothy L. Hinrichs,
2013,
SECURWARE 2013.
David Gelernter,
Lenore D. Zuck,
D. Gelernter,
1997,
International Conference on Coordination Models and Languages.
Benjamin Goldberg,
Lenore D. Zuck,
Cory Plock,
2005,
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
Amir Pnueli,
Lenore D. Zuck,
Ittai Balaban,
2007
.
A. Prasad Sistla,
Min Zhou,
Lenore D. Zuck,
2006,
VMCAI.
A. Prasad Sistla,
Tiziana Margaria,
Bernhard Steffen,
2005,
CONCUR.
Amir Pnueli,
Lenore D. Zuck,
Orna Lichtenstein,
1985,
Logic of Programs.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2005,
CAV.
A. Prasad Sistla,
Lenore D. Zuck,
A. P. Sistla,
1991,
CAV.
Joseph Y. Halpern,
L. Zuck,
1992,
JACM.
Jeffery R. Westbrook,
Lenore D. Zuck,
L. Zuck,
1994,
PODC '94.
Ashley J. Llorens,
Howard Shrobe,
Missy Cummings,
2020,
ArXiv.
Amir Pnueli,
Lenore D. Zuck,
A. Pnueli,
2004,
Comput. Lang. Syst. Struct..
Amir Pnueli,
Lenore D. Zuck,
Tamarah Arons,
2003,
FoSSaCS.
Amir Pnueli,
Lenore D. Zuck,
Elad Shahar,
2002,
CONCUR.
Amir Pnueli,
Lenore D. Zuck,
Sitvanit Ruah,
2001,
TACAS.
Amir Pnueli,
Lenore D. Zuck,
Ittai Balaban,
2010,
Concurrency, Compositionality, and Correctness.
Kenneth L. McMillan,
Lenore D. Zuck,
K. McMillan,
2011,
SAS.
Carlo Ghezzi,
Paola Spoletini,
Lenore D. Zuck,
2017,
SEFM.
Benjamin Goldberg,
Lenore D. Zuck,
Clark W. Barrett,
2005,
COCV@ETAPS.
Kedar S. Namjoshi,
Lenore D. Zuck,
Yaniv Sa'ar,
2010,
Haifa Verification Conference.
Kenneth L. McMillan,
Lenore D. Zuck,
Jordan Torf,
2018,
VMCAI.
Amir Pnueli,
Kenneth L. McMillan,
Lenore D. Zuck,
2006,
FORTE.
Amir Pnueli,
Lenore D. Zuck,
Yonit Kesten,
2002,
VMCAI.
Amir Pnueli,
Doron A. Peled,
Lenore D. Zuck,
2001,
FSTTCS.
Doron A. Peled,
Lenore D. Zuck,
D. Peled,
2001,
SPIN '01.
Michael J. Fischer,
Lenore D. Zuck,
M. Fischer,
1988,
FTRTFT.
A. Prasad Sistla,
Lenore D. Zuck,
A. P. Sistla,
1987,
Logic in Computer Science.
Amir Pnueli,
Lenore D. Zuck,
Yaniv Sa'ar,
2010,
CAV.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2002,
COCV@ETAPS.
Da-Wei Wang,
Lenore D. Zuck,
L. Zuck,
1989,
PODC '89.
Kenneth L. McMillan,
Lenore D. Zuck,
K. McMillan,
2019,
SIGCOMM.
Amir Pnueli,
Lenore D. Zuck,
Nir Piterman,
2006
.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2005,
Formal Methods Syst. Des..
Kedar S. Namjoshi,
V. N. Venkatakrishnan,
Lenore D. Zuck,
2016,
2016 IEEE International Conference on Software Quality, Reliability and Security (QRS).
Alessandro Panebianco,
Lenore D. Zuck,
Adam J. Lee,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
Da-Wei Wang,
Lenore D. Zuck,
Nick Reingold,
1992,
CONCUR.
Amir Pnueli,
Lenore D. Zuck,
Ariel Cohen,
2008,
CAV.
Amir Pnueli,
Mark R. Tuttle,
Lenore D. Zuck,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Amir Pnueli,
Lenore D. Zuck,
Ariel Cohen,
2008
.
Michael T. Kirschenheiter,
Jon A. Solworth,
Ian A. Kash,
2018,
International journal of urology.
Ron van der Meyden,
Lenore D. Zuck,
Ariel Cohen,
2009,
Formal Aspects in Security and Trust.
Nicolas Halbwachs,
Lenore D. Zuck,
N. Halbwachs,
2005
.
L. Zuck,
Michael J. Fischer,
1988,
FTRTFT.
Kenneth L. McMillan,
Lenore D. Zuck,
K. McMillan,
2019,
From Reactive Systems to Cyber-Physical Systems.
Lenore D. Zuck,
Sanjiva Prasad,
L. Zuck,
2015,
TGC.
Amir Pnueli,
Lenore D. Zuck,
Yaniv Sa'ar,
2012,
J. Comput. Syst. Sci..
Amir Pnueli,
Lenore D. Zuck,
Ittai Balaban,
2007,
VMCAI.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2003,
J. Univers. Comput. Sci..
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2002,
RV@FLoC.
Amir Pnueli,
Lenore D. Zuck,
Raya Leviathan,
2001
.
Joseph Y. Halpern,
L. Zuck,
1992,
JACM.
Amir Pnueli,
Lenore D. Zuck,
Jessie Xu,
2002,
CAV.
Perdita Stevens,
Joost P. Katoen,
G. Behrmann,
2006
.
Amir Pnueli,
Lenore D. Zuck,
Jessie Xu,
2002
.