Yonit Kesten

发表

Zohar Manna, Amir Pnueli, Yonit Kesten, 1995, Hybrid Systems.

Zohar Manna, Amir Pnueli, Hugh McGuire, 1993, CAV.

Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1999, Inf. Comput..

Amir Pnueli, Yonit Kesten, A. Pnueli, 2000, Inf. Comput..

Amir Pnueli, Yonit Kesten, A. Pnueli, 2002, CONCUR.

Amir Pnueli, Lenore D. Zuck, Yonit Kesten, 2002, VMCAI.

Amir Pnueli, Yonit Kesten, A. Pnueli, 2002, J. Log. Comput..

Amir Pnueli, Nir Piterman, Yonit Kesten, 2005, Inf. Comput..

Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1992, Hybrid Systems.

Amir Pnueli, Nir Piterman, Yonit Kesten, 2003, CAV.

Amir Pnueli, Yonit Kesten, 2005, Theor. Comput. Sci..

Amir Pnueli, Yonit Kesten, A. Pnueli, 1992, FTRTFT.

Zohar Manna, Amir Pnueli, Yonit Kesten, 1996, European Educational Forum: School on Embedded Systems.

Amir Pnueli, Oded Maler, Elad Shahar, 2001, Theor. Comput. Sci..

Amir Pnueli, Amit Klein, Yonit Kesten, 1999, World Congress on Formal Methods.

Amir Pnueli, Moshe Y. Vardi, Yonit Kesten, 2001, J. Comput. Syst. Sci..

Amir Pnueli, Elad Shahar, Li-on Raviv, 2006, Formal Methods Syst. Des..

Amir Pnueli, Yonit Kesten, A. Pnueli, 2000, International Journal on Software Tools for Technology Transfer.

Amir Pnueli, Oded Maler, Elad Shahar, 1997, CAV.

Zohar Manna, Amir Pnueli, Yonit Kesten, 1993, REX School/Symposium.

Zohar Manna, Amir Pnueli, Yonit Kesten, 2000, Acta Informatica.

Amir Pnueli, Yonit Kesten, A. Pnueli, 1999, CSL.

Amir Pnueli, Lenore D. Zuck, Elad Shahar, 2002, CONCUR.

Amir Pnueli, Yonit Kesten, A. Pnueli, 1998, MFCS.

Amir Pnueli, Li-on Raviv, Yonit Kesten, 1998, ICALP.

Amir Pnueli, Yonit Kesten, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

Amir Pnueli, Amit Klein, Yonit Kesten, 1999 .