Amir Pnueli

发表

Amir Pnueli, 2005 .
Amir Pnueli, Jeanette P. Schmidt, David Harel, 1987, LICS.
Amir Pnueli, Jiazhao Xu, Jiazhao Xu, 2005 .
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1994, FTRTFT.
Amir Pnueli, Hillel Kugler, Cory Plock, 2007, OOPSLA '07.
Amir Pnueli, Shimon Even, F. Commoner, 1971, J. Comput. Syst. Sci..
Amir Pnueli, Lenore D. Zuck, A. Pnueli, 1986, Logic in Computer Science.
Amir Pnueli, Doron Peled, A. Pnueli, 1990, ICALP.
Zohar Manna, Amir Pnueli, Z. Manna, 1979, ICALP.
Amir Pnueli, Oded Maler, A. Pnueli, 1991, COLT '91.
Amir Pnueli, 2008, 2008 15th Asia-Pacific Software Engineering Conference.
Amir Pnueli, Lenore D. Zuck, Ariel Cohen, 2008 .
Amir Pnueli, Ofer Strichman, Michael Siegel, 2002, Inf. Comput..
Amir Pnueli, Yaniv Sa'ar, A. Pnueli, 2008, VMCAI.
Amir Pnueli, Lenore D. Zuck, Nir Piterman, 2006 .
Amir Pnueli, Oded Maler, 1993, CAV.
Amir Pnueli, Sergio Yovine, Oded Maler, 1997, CAV.
Amir Pnueli, Boleslaw K. Szymanski, Noah S. Prywes, 1984, ACM '84.
Amir Pnueli, David Harel, Hillel Kugler, 2005, Formal Methods in Software and Systems Modeling.
Mordechai Ben-Ari, Zohar Manna, Amir Pnueli, 1981, POPL.
Zohar Manna, Amir Pnueli, Z. Manna, 1991, MFCS.
Amir Pnueli, Daniel Lehmann, Nissim Francez, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Zohar Manna, Amir Pnueli, Yonit Kesten, 1995, Hybrid Systems.
Dejan Nickovic, Amir Pnueli, Oded Maler, 2008, Pillars of Computer Science.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1994, Inf. Comput..
Zohar Manna, Amir Pnueli, Hugh McGuire, 1993, CAV.
Saharon Shelah, Dov M. Gabbay, Amir Pnueli, 1980, POPL '80.
Amir Pnueli, David Harel, Rami Marelly, 2003, OOPSLA '03.
Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1999, Inf. Comput..
Amir Pnueli, Yonit Kesten, A. Pnueli, 2000, Inf. Comput..
Zohar Manna, Amir Pnueli, Z. Manna, 1991, Springer New York.
Mordechai Ben-Ari, Amir Pnueli, Joseph Y. Halpern, 1982, J. Comput. Syst. Sci..
Amir Pnueli, Eugene Asarin, Oded Maler, 1994, Hybrid Systems.
Zohar Manna, Amir Pnueli, Z. Manna, 1973, Acta Informatica.
Neeraj Suri, Marco Winckler, Miguel Correia, 2009 .
Amir Pnueli, David Harel, Hillel Kugler, 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..
Zohar Manna, Amir Pnueli, 1992 .
Amir Pnueli, David Harel, Rami Marelly, 2003, CMSB.
Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1989 .
Zohar Manna, Amir Pnueli, Z. Manna, 1980, POPL '80.
Amir Pnueli, Yonit Kesten, A. Pnueli, 2002, CONCUR.
Zohar Manna, Amir Pnueli, Z. Manna, 1987, Temporal Logic in Specification.
Amir Pnueli, I. Gordin, Raya Leviathan, 2004, ATVA.
Amir Pnueli, Lenore D. Zuck, Yonit Kesten, 2002, VMCAI.
Dennis Shasha, Amir Pnueli, W. Ewald, 1984, POPL '84.
Zohar Manna, Amir Pnueli, Z. Manna, 1992 .
Amir Pnueli, Lenore D. Zuck, Aleksandr Zaks, 2006, Electron. Notes Theor. Comput. Sci..
Amir Pnueli, David Harel, Jonathan Stavi, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
Amir Pnueli, 2005, VMCAI.
Amir Pnueli, Willem P. DeRoever, A. Pnueli, 1982, AdaTEC Conference on Ada.
Amir Pnueli, Yuan Lu, David Harel, 2005, TACAS.
Amir Pnueli, Noah S. Prywes, A. Pnueli, 1984, IEEE Transactions on Systems, Man, and Cybernetics.
Zohar Manna, Amir Pnueli, Z. Manna, 1987, POPL '87.
Amir Pnueli, Lenore D. Zuck, Ittai Balaban, 2007 .
Amir Pnueli, Jan Willem Klop, J.J.C. Meijer, 1989 .
Amir Pnueli, Lenore D. Zuck, Ittai Balaban, 2006, ICALP.
Amir Pnueli, David Harel, Rivi Sherman, 1984, SIAM J. Comput..
Amir Pnueli, Werner Damm, A. Pnueli, 1997, CHARME.
Micha Sharir, Amir Pnueli, Sergiu Hart, 1984, SIAM J. Comput..
Amir Pnueli, Lenore D. Zuck, Yaniv Sa'ar, 2012, J. Comput. Syst. Sci..
Amir Pnueli, Hardi Hungar, Bernhard Josko, 1997, COMPOS.
Amir Pnueli, Nissim Francez, A. Pnueli, 1978, Acta Informatica.
Amir Pnueli, Yonit Kesten, A. Pnueli, 2002, J. Log. Comput..
Amir Pnueli, Nir Piterman, Uri Klein, 2012, VMCAI.
Amir Pnueli, Shimon Even, Abraham Lempel, 1972, JACM.
Dov Dori, Amir Pnueli, 1988, Comput. Vis. Graph. Image Process..
Amir Pnueli, Orna Kupferman, A. Pnueli, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Edward Y. Chang, Zohar Manna, Amir Pnueli, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Amir Pnueli, Lenore D. Zuck, Jessie Xu, 2002, CAV.
Micha Sharir, Amir Pnueli, Sergiu Hart, 1983, TOPL.
Amir Pnueli, Krishna V. Palem, Allen Leung, 2004, Constraints.
Amir Pnueli, Venkatesh Mysore, A. Pnueli, 2005, FSTTCS.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1992, ICALP.
Amir Pnueli, Nir Piterman, Roderick Bloem, 2006, J. Comput. Syst. Sci..
Alessandra Carbone, Yi Zhou, Amir Pnueli, 2003, Omics : a journal of integrative biology.
Amir Pnueli, Eugene Asarin, Oded Maler, 1998, CONCUR.
Amir Pnueli, Ofer Strichman, Michael Siegel, 1998, ICALP.
Amir Pnueli, Nir Piterman, Yonit Kesten, 2005, Inf. Comput..
Amir Pnueli, Nissim Francez, Boris Klebansky, 1977, Acta Informatica.
Amir Pnueli, Lenore D. Zuck, Ittai Balaban, 2007, Int. J. Found. Comput. Sci..
Amir Pnueli, Lenore D. Zuck, Nir Piterman, 2004, VMCAI.
Edward Y. Chang, Zohar Manna, Amir Pnueli, 1993 .
Amir Pnueli, Lenore D. Zuck, A. Pnueli, 1993, Information and Computation.
Amir Pnueli, Olivier Bournez, Oded Maler, 1999, HSCC.
Zohar Manna, Amir Pnueli, Z. Manna, 1990, PODC '90.
Zohar Manna, Amir Pnueli, Z. Manna, 1989, Theor. Comput. Sci..
Amir Pnueli, Hillel Kugler, Cory Plock, 2009, FASE.
Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1992, Hybrid Systems.
Amir Pnueli, Nir Piterman, Yonit Kesten, 2003, CAV.
Zohar Manna, Amir Pnueli, Z. Manna, 1988, REX Workshop.
Amir Pnueli, Henning Dierks, Werner Damm, 2010, Essays in Memory of Amir Pnueli.
Amir Pnueli, Benjamin Goldberg, Lenore D. Zuck, 2005, CAV.
Dejan Nickovic, Amir Pnueli, Thomas Ferrère, 2019, J. ACM.
Zohar Manna, Amir Pnueli, Z. Manna, 1994, TACS.
Saharon Shelah, Dov M. Gabbay, Amir Pnueli, 1980 .
Amir Pnueli, Yonit Kesten, 2005, Theor. Comput. Sci..
Amir Pnueli, Roni Rosner, A. Pnueli, 1988, Concurrency.
Joseph Sifakis, Amir Pnueli, Stavros Tripakis, 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
Amir Pnueli, Ofer Strichman, Muralidhar Talupur, 2004, CAV.
Amir Pnueli, Lenore D. Zuck, Ittai Balaban, 2005, FORTE.
Amir Pnueli, Yonit Kesten, A. Pnueli, 1992, FTRTFT.
Zohar Manna, Amir Pnueli, 1996 .
Amir Pnueli, A. Pnueli, 1992, FSTTCS.
Zohar Manna, Amir Pnueli, Yonit Kesten, 1996, European Educational Forum: School on Embedded Systems.
Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1987, Lecture Notes in Computer Science.
Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1985 .
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1992, Hybrid Systems.
Amir Pnueli, Benjamin Goldberg, Lenore D. Zuck, 2002, COCV@ETAPS.
Amir Pnueli, Nir Piterman, A. Pnueli, 2018, Handbook of Model Checking.
Amir Pnueli, Nir Piterman, Roderick Bloem, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.
Amir Pnueli, Lenore D. Zuck, Ittai Balaban, 2005, VMCAI.
Amir Pnueli, Nissim Francez, Shmuel Katz, 1985, Logic of Programs.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1991, REX Workshop.
Amir Pnueli, Oded Maler, Elad Shahar, 2001, Theor. Comput. Sci..
Amir Pnueli, 2000, CASES '00.
Amir Pnueli, 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
Zohar Manna, Amir Pnueli, 1991, Theor. Comput. Sci..
Amir Pnueli, Giora Slutzki, 1981, SIAM J. Comput..
Amir Pnueli, Lenore D. Zuck, A. Pnueli, 2004, Comput. Lang. Syst. Struct..
Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1987 .
Amir Pnueli, Anna Zaks, A. Pnueli, 2008, PASTE '08.
Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1986, POPL '86.
Amir Pnueli, Roni Rosner, A. Pnueli, 1986, LICS.
Amir Pnueli, Ofer Strichman, Michael Siegel, 1998, International Journal on Software Tools for Technology Transfer (STTT).
Amir Pnueli, Amit Klein, Yonit Kesten, 1999, World Congress on Formal Methods.
Amir Pnueli, A. Pnueli, 1986, IFIP Congress.
Amir Pnueli, Elad Shahar, A. Pnueli, 1996, CAV.
Amir Pnueli, Dana Fisman, A. Pnueli, 2001 .
Amir Pnueli, A. Pnueli, 1983, The Analysis of Concurrent Systems.
Amir Pnueli, Nir Piterman, Roderick Bloem, 2007, COCV@ETAPS.
Amir Pnueli, Bengt Jonsson, Mannes Poel, 1994 .
Amir Pnueli, Krishna V. Palem, Allen Leung, 2001, TOPL.
Zohar Manna, Amir Pnueli, Z. Manna, 1992, Hybrid Systems.
Amir Pnueli, Ofer Strichman, Michael Siegel, 1999, Correct System Design.
Amir Pnueli, Lenore D. Zuck, Ittai Balaban, 2010, Concurrency, Compositionality, and Correctness.
Amir Pnueli, Lenore D. Zuck, 2005, Distributed Computing.
Mordechai Ben-Ari, Amir Pnueli, Ekaterina Sedletsky, 2000, FSTTCS.
Amir Pnueli, Moshe Y. Vardi, Yonit Kesten, 2001, J. Comput. Syst. Sci..
Amir Pnueli, R. Zarhi, A. Pnueli, 1981, ICALP.
Amir Pnueli, Michael Langberg, Yoav Rodeh, 2003, CHARME.
Amir Pnueli, Aleksandr Zaks, A. Pnueli, 2008, 25 Years of Model Checking.
Amir Pnueli, Daniel Lehmann, Shimon Cohen, 1984, Theor. Comput. Sci..
Amir Pnueli, Jiazhao Xu, Lenore D. Zuck, 2001, CAV.
Amir Pnueli, Hillel Kugler, D. Hard, 2004 .
Zohar Manna, Amir Pnueli, Z. Manna, 1995, Springer New York.
Amir Pnueli, Elad Shahar, Li-on Raviv, 2006, Formal Methods Syst. Des..
Amir Pnueli, Ganna Zaks, Ganna Zaks, 2009 .
Amir Pnueli, Lenore D. Zuck, Nir Piterman, 2004, TACAS.
Amir Pnueli, Shmuel Katz, Doron Peled, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Amir Pnueli, Benjamin Goldberg, Lenore D. Zuck, 2002 .
Amir Pnueli, David Harel, A. Pnueli, 1989, Logics and Models of Concurrent Systems.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1991, POPL '91.
Amir Pnueli, Yonit Kesten, A. Pnueli, 2000, International Journal on Software Tools for Technology Transfer.
Amir Pnueli, Benjamin Goldberg, Lenore D. Zuck, 2002, RV@FLoC.
Amir Pnueli, Bernhard Josko, Werner Damm, 2005, Sci. Comput. Program..
Zohar Manna, Amir Pnueli, Z. Manna, 1995, Specification and validation methods.
Amir Pnueli, Ofer Strichman, Michael Siegel, 1998, FM-Trends.
Amir Pnueli, Lenore D. Zuck, Orna Lichtenstein, 1985, Logic of Programs.
Amir Pnueli, Willem-Paul de Roever, Hans Langmaack, 1999, Lecture Notes in Computer Science.
Zohar Manna, Amir Pnueli, 1992, 25th Anniversary of INRIA.
Amir Pnueli, Raya Leviathan, 2002, CASES '02.
Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1989, Temporal Logic in Specification.
Mordechai Ben-Ari, Amir Pnueli, Joseph Y. Halpern, 1981, ICALP.
Amir Pnueli, Oded Maler, Elad Shahar, 1997, CAV.
Zohar Manna, Amir Pnueli, Yonit Kesten, 1993, REX School/Symposium.
Amir Pnueli, Lenore D. Zuck, Ittai Balaban, 2007, VMCAI.
Zohar Manna, Amir Pnueli, 1995 .
Zohar Manna, Amir Pnueli, Yonit Kesten, 2000, Acta Informatica.
Amir Pnueli, Roni Rosner, A. Pnueli, 1989, ICALP.
Amir Pnueli, Lenore D. Zuck, Yi Fang, 2005, CAV.
Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Amir Pnueli, Eyal Harel, Orna Lichtenstein, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Amir Pnueli, Lenore D. Zuck, Uri Klein, 2011 .
Amir Pnueli, David Harel, Jonathan Stavi, 1977, STOC '77.
Amir Pnueli, Lenore D. Zuck, Sitvanit Ruah, 2001, TACAS.
Amir Pnueli, Eugene Asarin, Oded Maler, 1995, Theor. Comput. Sci..
Amir Pnueli, Krishna V. Palem, Allen Leung, 1998, Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.98EX192).
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko, 2005, TACAS.
Amir Pnueli, 1981, Theor. Comput. Sci..
Amir Pnueli, Daniel Lehmann, Jonathan Stavi, 1981, ICALP.
Amir Pnueli, Oded Maler, A. Pnueli, 2004, FoSSaCS.
Amir Pnueli, Orna Lichtenstein, A. Pnueli, 2000, Log. J. IGPL.
Amir Pnueli, M. Shalev, 1991, TACS.
Natarajan Shankar, Amir Pnueli, Eli Singerman, 1998, FTRTFT.
Amir Pnueli, Werner Damm, Sitvanit Ruah, 1998, CONCUR.
Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1984, STOC '84.
Amir Pnueli, Doron A. Peled, Peter Niebert, 2008, CAV.
Amir Pnueli, Oded Maler, A. Pnueli, 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
Amir Pnueli, Benjamin Goldberg, Ying Hu, 2005, COCV@ETAPS.
Amir Pnueli, Bernhard Josko, Werner Damm, 2001 .
Amir Pnueli, A. Pnueli, 1989, Logics and Models of Concurrent Systems.
Amir Pnueli, Tamarah Arons, A. Pnueli, 2003, Verification: Theory and Practice.
Amir Pnueli, Uri Klein, A. Pnueli, 2010, Haifa Verification Conference.
Zohar Manna, Amir Pnueli, 1969, STOC '69.
Amir Pnueli, Yonit Kesten, A. Pnueli, 1999, CSL.
Amir Pnueli, David Harel, Jonathan Stavi, 1983, J. Comput. Syst. Sci..
Amir Pnueli, Orna Kupferman, Moshe Y. Vardi, 1995, J. Comput. Syst. Sci..
Amir Pnueli, Roni Rosner, A. Pnueli, 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
Amir Pnueli, Lenore D. Zuck, Yaniv Sa'ar, 2010, CAV.
Amir Pnueli, Daniel Lehmann, Nissim Francez, 1984, Theor. Comput. Sci..
Amir Pnueli, Roni Rosner, A. Pnueli, 1989, POPL '89.
Amir Pnueli, Lenore D. Zuck, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Amir Pnueli, Asher Wilk, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Amir Pnueli, Noah S. Prywes, A. Pnueli, 1983, IEEE Transactions on Software Engineering.
Zohar Manna, Amir Pnueli, 1992 .
Zohar Manna, Amir Pnueli, Z. Manna, 1993, Acta Informatica.
Amir Pnueli, Uri Klein, A. Pnueli, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
Amir Pnueli, Lenore D. Zuck, Tamarah Arons, 2003, FoSSaCS.
Amir Pnueli, Mark R. Tuttle, John O'Leary, 2007 .
Dejan Nickovic, Amir Pnueli, Oded Maler, 2005, FORMATS.
Amir Pnueli, David Harel, Rami Marelly, 2002, FMCAD.
Amir Pnueli, Doron A. Peled, A. Pnueli, 1994, Theor. Comput. Sci..
Amir Pnueli, Hillel Kugler, Michael J. Stern, 2007, TACAS.
Amir Pnueli, Nir Piterman, Roderick Bloem, 2007 .
Zohar Manna, Amir Pnueli, 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
Amir Pnueli, Kenneth L. McMillan, Lenore D. Zuck, 2006, FORTE.
Zohar Manna, Amir Pnueli, Oded Maler, 1991, REX Workshop.
Amir Pnueli, Boleslaw K. Szymanski, Yuan Shi, 1987, IEEE Transactions on Software Engineering.
Dejan Nickovic, Amir Pnueli, Oded Maler, 2007, CAV.
Amir Pnueli, Tmima Koren, 1983, Logic of Programs.
Amir Pnueli, Ofer Strichman, 2006, Electron. Notes Theor. Comput. Sci..
Amir Pnueli, Ariel Cohen, Ittai Balaban, 2006, VMCAI.
Micha Sharir, Amir Pnueli, Sergiu Hart, 1982, POPL '82.
Zohar Manna, Amir Pnueli, Z. Manna, 1970, JACM.
Amir Pnueli, Ehud Shapiro, Alon Kleinman, 1991, POPL '91.
Amir Pnueli, Monica Marcus, 1996, AMAST.
Zohar Manna, Amir Pnueli, 1990, NATO ASI PDC.
Dov M. Gabbay, Amir Pnueli, 2008, Log. J. IGPL.
Amir Pnueli, Tamarah Arons, A. Pnueli, 1998, FMCAD.
Amir Pnueli, Benjamin Goldberg, Lenore D. Zuck, 2005, Formal Methods Syst. Des..
Zohar Manna, Amir Pnueli, Edward A. Ashcroft, 1973, JACM.
Amir Pnueli, Oded Maler, A. Pnueli, 1995, CHARME.
Amir Pnueli, Lenore D. Zuck, Jessie Xu, 2002 .
Amir Pnueli, Dana Fisman, A. Pnueli, 2001, FSTTCS.
Joseph Sifakis, Amir Pnueli, Eugene Asarin, 1998 .
Dejan Nickovic, Amir Pnueli, Oded Maler, 2006, FORMATS.
Amir Pnueli, Aleksandr Zaks, A. Pnueli, 2006, FM.
Amir Pnueli, Nir Piterman, Yaniv Sa'ar, 2006, VMCAI.
Amnon Naamad, Amir Pnueli, David Harel, 1988, ICSE '88.
Amir Pnueli, Michael Siegel, Eli Singerman, 1998, TACAS.
Micha Sharir, Amir Pnueli, M. Sharir, 1983 .
Amir Pnueli, Lenore D. Zuck, Elad Shahar, 2002, CONCUR.
Amir Pnueli, Krzysztof R. Apt, Jonathan Stavi, 1984, Theor. Comput. Sci..
Edward Y. Chang, Zohar Manna, Amir Pnueli, 1992, ICALP.
Amir Pnueli, Yonit Kesten, A. Pnueli, 1998, MFCS.
Amir Pnueli, Benjamin Goldberg, Lenore D. Zuck, 2003, J. Univers. Comput. Sci..
Zohar Manna, Amir Pnueli, Z. Manna, 1983, ICALP.
Mordechai Ben-Ari, Zohar Manna, Amir Pnueli, 1981, POPL '81.
Amir Pnueli, Lenore D. Zuck, Ittai Balaban, 2005 .
Amir Pnueli, A. Pnueli, 1994, FTRTFT.
Amir Pnueli, Eugene Asarin, Gerardo Schneider, 2012, Inf. Comput..
Amir Pnueli, Ofer Strichman, Michael Siegel, 1999, CAV.
Amir Pnueli, David Harel, Jonathan Stavi, 1981, Logic of Programs.
Amir Pnueli, Alain Kerbrat, Eugene Asarin, 1997, HART.
Amir Pnueli, Ofer Strichman, Yoav Rodeh, 2001, FSTTCS.
Amir Pnueli, A. Pnueli, 2005, We Will Show Them!.
Amir Pnueli, Li-on Raviv, Yonit Kesten, 1998, ICALP.
Amir Pnueli, A. Pnueli, 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Amir Pnueli, Lenore D. Zuck, A. Pnueli, 1984, PODC '84.
Amir Pnueli, Giora Slutzki, A. Pnueli, 1977, ICALP.
Zohar Manna, Amir Pnueli, 2010, Essays in Memory of Amir Pnueli.
Zohar Manna, Amir Pnueli, Z. Manna, 1984, Sci. Comput. Program..
Jozef Hooman, Amir Pnueli, Hillel Kugler, 2004, UML.
Zohar Manna, Amir Pnueli, Z. Manna, 1983, POPL '83.
Amir Pnueli, Yonit Kesten, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Zohar Manna, Amir Pnueli, Z. Manna, 1981, Logic of Programs.
Amir Pnueli, Dorit Ron, Flavia Rosemberg, 1984, ICALP.
Amir Pnueli, Doron A. Peled, Lenore D. Zuck, 2001, FSTTCS.
Amir Pnueli, Freek Wiedijk, Oded Maler, 2003, Lecture Notes in Computer Science.
Amir Pnueli, Bengt Jonsson, Camilla Rump, 1999, Distributed Computing.
Zohar Manna, Amir Pnueli, Z. Manna, 1987, PODC 1987.
Amir Pnueli, Tmima Olshansky, 1977, Theor. Comput. Sci..
Zohar Manna, Amir Pnueli, Z. Manna, 1995 .
Amir Pnueli, Nir Piterman, A. Pnueli, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Amir Pnueli, Tamarah Arons, A. Pnueli, 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
Amir Pnueli, Lenore D. Zuck, Raya Leviathan, 2001 .
Amir Pnueli, Anna Zaks, A. Pnueli, 2008 .
José Meseguer, Amir Pnueli, Ursula Goltz, 2021 .
Neeraj Suri, Philippe A. Palanque, Miguel Correia, 2007 .
Amir Pnueli, Nir Piterman, 2005 .
Alessandra Carbone, Amir Pnueli, Bing Sun, 2022 .
Zohar Manna, Amir Pnueli, 1968 .
Amir Pnueli, Zhou Chaochen, Hans Langmaack, 1998 .
Amir Pnueli, A. Pnueli, C. Pekeris, 1968, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
Amir Pnueli, Yoav Rodeh, Ofer Strichmann, 2002 .
Amir Pnueli, Amit Klein, Yonit Kesten, 1999 .