Amir Pnueli
Publication Activity (10 Years)
Years Active: 1969-2019
Publications (10 Years): 1
Publications (10 Years): 1
Publications
- Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli
- Orna Kupferman, Amir Pnueli, Moshe Y. Vardi
- Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
- Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
- Uri Klein, Amir Pnueli
- Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
- Amir Pnueli, Uri Klein
- Hillel Kugler, Cory Plock, Amir Pnueli
- Dov M. Gabbay, Amir Pnueli
- Amir Pnueli, Aleksandr Zaks
- Amir Pnueli, Yaniv Sa'ar
- Peter Niebert, Doron A. Peled, Amir Pnueli
- Anna Zaks, Amir Pnueli
- Amir Pnueli
- Anna Zaks, Amir Pnueli
- Ittai Balaban, Amir Pnueli, Lenore D. Zuck
- Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck
- Oded Maler, Dejan Nickovic, Amir Pnueli
- Ittai Balaban, Amir Pnueli, Lenore D. Zuck
- Amir Pnueli, Aleksandr Zaks
- Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar
- Oded Maler, Dejan Nickovic, Amir Pnueli
- Ittai Balaban, Amir Pnueli, Lenore D. Zuck
- Nir Piterman, Amir Pnueli, Yaniv Sa'ar
- Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
- Amir Pnueli, Ofer Strichman
- Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck
- Ittai Balaban, Ariel Cohen, Amir Pnueli
- Nir Piterman, Amir Pnueli
- Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck
- Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps
- Yonit Kesten, Nir Piterman, Amir Pnueli
- Amir Pnueli
- Oded Maler, Dejan Nickovic, Amir Pnueli
- Amir Pnueli
- Venkatesh Mysore, Amir Pnueli
- Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli
- Ittai Balaban, Amir Pnueli, Lenore D. Zuck
- Yonit Kesten, Amir Pnueli
- Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
- Amir Pnueli
- Ittai Balaban, Amir Pnueli, Lenore D. Zuck
- David Harel, Hillel Kugler, Amir Pnueli
- Lenore D. Zuck, Amir Pnueli
- Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
- Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli
- Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
- I. Gordin, Raya Leviathan, Amir Pnueli
- Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
- Oded Maler, Amir Pnueli
- Michael Langberg, Amir Pnueli, Yoav Rodeh
- Yonit Kesten, Nir Piterman, Amir Pnueli
- David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
- Tamarah Arons, Amir Pnueli, Lenore D. Zuck
- Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
- Raya Leviathan, Amir Pnueli
- Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
- Allen Leung, Krishna V. Palem, Amir Pnueli
- Lenore D. Zuck, Amir Pnueli, Yonit Kesten
- Amir Pnueli
- Amir Pnueli, Jessie Xu, Lenore D. Zuck
- David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli
- Amir Pnueli, Yonit Kesten
- Amir Pnueli
- Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck
- Yonit Kesten, Amir Pnueli
- Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
- Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck
- Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
- Doron A. Peled, Amir Pnueli, Lenore D. Zuck
- Dana Fisman, Amir Pnueli
- Amir Pnueli
- Yonit Kesten, Amir Pnueli, Moshe Y. Vardi
- Amir Pnueli, Yoav Rodeh, Ofer Strichman
- Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli
- Amir Pnueli, Elad Shahar