O. Kupferman

发表

Amir Pnueli, Orna Kupferman, Moshe Y. Vardi, 1995, J. Comput. Syst. Sci..
Orna Kupferman, O. Kupferman, 2006, CONCUR.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, TOCL.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Orna Kupferman, Moshe Y. Vardi, Shmuel Safra, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CAV.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, CAV.
Dana Fisman, Orna Kupferman, Moshe Y. Vardi, 2009, Haifa Verification Conference.
David Harel, Orna Kupferman, O. Kupferman, 2002, IEEE Trans. Software Eng..
T. Henzinger, O. Kupferman, M. Jurdzinski, 2002 .
Moshe Y. Vardi, T. Henzinger, R. Alur, 1998 .
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1996 .
Orna Kupferman, Yoad Lustig, O. Kupferman, 2010, Int. J. Found. Comput. Sci..
O. Kupferman, N. Piterman, Universal Co-B, 2009 .
O. Kupferman, 2001 .
Moshe Y. Vardi, O. Kupferman, Amnon Ta-Shmay, 1999 .
O. Kupferman, Jonathan Mosheiff, 2014 .
Bader Abu Radi, O. Kupferman, 2021, ArXiv.
O. Kupferman, Shaull Almagor, 2021 .
O. Kupferman, Asaf Petruschka, 2022 .
Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani, 1997, Inf. Comput..
O. Kupferman, N. Halevy, 2022, CONCUR.
O. Kupferman, Guy Avni, 2013, Formal Methods in System Design.
O. Kupferman, Gal Vardi, 2017, Formal Methods in System Design.
Orna Kupferman, Shaull Almagor, Udi Boker, 2011, ATVA.
Orna Kupferman, Rachel Faran, O. Kupferman, 2017, DCFS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, Chic. J. Theor. Comput. Sci..
Tami Tamir, Orna Kupferman, Tami Tamir, 2018, LPAR.
Orna Kupferman, Jonathan Mosheiff, O. Kupferman, 2015, Inf. Comput..
Orna Kupferman, Guy Avni, Shibashis Guha, 2018, Games.
Orna Kupferman, Guy Avni, Shibashis Guha, 2017, IJCAI.
Joseph Y. Halpern, Orna Kupferman, Hana Chockler, 2003, TOCL.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
Orna Kupferman, O. Kupferman, 2018, Handbook of Model Checking.
Orna Kupferman, Shaull Almagor, Udi Boker, 2016, J. ACM.
Orna Kupferman, Shaull Almagor, Udi Boker, 2013, ICALP.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, PROCOMET.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, COMPOS.
Amir Pnueli, Orna Kupferman, A. Pnueli, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
David Harel, Orna Kupferman, Moshe Y. Vardi, 1997, Inf. Comput..
Patricia Bouyer, Nicolas Markey, Aniello Murano, 2019, IJCAI.
Orna Kupferman, Guy Avni, Shibashis Guha, 2018, MFCS.
Orna Kupferman, Guy Avni, Shibashis Guha, 2023, MFCS.
Tami Tamir, Orna Kupferman, Tami Tamir, 2017, TACAS.
Thomas A. Henzinger, Orna Kupferman, Guy Avni, 2016, SAGT.
Orna Kupferman, Shaull Almagor, O. Kupferman, 2016, CSL.
Tami Tamir, Orna Kupferman, Guy Avni, 2014, Inf. Comput..
Tami Tamir, Orna Kupferman, Guy Avni, 2014, IJCAR.
Dana Fisman, Orna Kupferman, Yoad Lustig, 2009, TACAS.
Thomas A. Henzinger, Orna Kupferman, T. Henzinger, 1997, HART.
Pierre Wolper, Orna Kupferman, Moshe Y. Vardi, 2000, JACM.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2002, CAV.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, CAV.
Orna Kupferman, Benjamin Aminof, Robby Lampert, 2009, TALG.
Thomas A. Henzinger, Rupak Majumdar, Orna Kupferman, 2006, Theor. Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, TOCL.
Orna Kupferman, Hana Chockler, O. Kupferman, 2004, Theor. Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, Doron Bustan, 2004, STACS.
Thomas A. Henzinger, Rupak Majumdar, Orna Kupferman, 2003, TACAS.
Orna Kupferman, Hana Chockler, O. Kupferman, 2002, RANDOM.
Orna Kupferman, Hana Chockler, O. Kupferman, 2002, IFIP TCS.
Orna Kupferman, Moshe Y. Vardi, Roy Armoni, 2002 .
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2000, Verification: Theory and Practice.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, STACS.
Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer, 1998, Formal Methods Syst. Des..
Orna Grumberg, Orna Kupferman, O. Kupferman, 1994, J. Log. Comput..
Orna Kupferman, O. Kupferman, 2012, SOFSEM.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2010, LPAR.
Thomas A. Henzinger, Luca de Alfaro, Orna Kupferman, 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, LICS.
Orna Kupferman, Sharon Zuhovitzky, O. Kupferman, 2002, MFCS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CHARME.
Ulrike Sattler, Orna Kupferman, Moshe Y. Vardi, 2002, CADE.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2001, CONCUR.
Robert P. Kurshan, Orna Kupferman, Moshe Y. Vardi, 2001, CAV.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1995, CONCUR.
Shoham Ben-David, Orna Kupferman, Hana Chockler, 2013, Haifa Verification Conference.
Orna Kupferman, O. Kupferman, 2016, CSR.
Orna Kupferman, Shaull Almagor, Udi Boker, 2014, TACAS.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2013, CSL.
Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Orna Kupferman, Nir Piterman, O. Kupferman, 2009, FoSSaCS.
Orna Kupferman, O. Kupferman, 2007, CSL.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2007, Formal Methods Syst. Des..
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, 2006, LPAR.
Orna Kupferman, Robby Lampert, O. Kupferman, 2006, ATVA.
Orna Kupferman, O. Kupferman, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Aniello Murano, Orna Kupferman, Gila Morgenstern, 2004, Int. J. Found. Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2003, International Journal on Software Tools for Technology Transfer.
Orna Kupferman, Moshe Y. Vardi, Fabio Somenzi, 2003, CHARME.
Orna Kupferman, Moshe Y. Vardi, Roy Armoni, 2003, TACAS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2003, International Journal on Software Tools for Technology Transfer.
Moshe Y. Vardi, O. Kupferman, N. Piterman, 2002, LPAR.
Orna Kupferman, Moshe Y. Vardi, Valerie King, 2001, FoSSaCS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, STOC '98.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1996, CAV.
Orna Grumberg, Orna Kupferman, O. Kupferman, 1996, Inf. Comput..
Mihalis Yannakakis, Orna Kupferman, Yoad Lustig, 2011, STACS.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2010, Essays in Memory of Amir Pnueli.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, TOPL.
Gerard J. Holzmann, Orna Kupferman, O. Kupferman, 1996, The Spin Verification System.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2013, Inf. Comput..
Orna Kupferman, Moshe Y. Vardi, Ehud Friedgut, 2006, Int. J. Found. Comput. Sci..
Joseph Y. Halpern, O. Kupferman, Hana Chockler, 2010, TOCL.
Orna Kupferman, Guy Avni, O. Kupferman, 2015, MFCS.
Orna Kupferman, Ofer Leshkowitz, O. Kupferman, 2020, MFCS.
O. Kupferman, 2023, Frontiers in Computer Science.
Michal Skrzypczak, Orna Kupferman, Udi Boker, 2013, ICALP.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2006, CAV.
Orna Kupferman, Rachel Faran, O. Kupferman, 2020, ATVA.
Orna Kupferman, Sarai Sheinvald, O. Kupferman, 2019, Inf. Comput..
Orna Kupferman, O. Kupferman, 2018, LPAR.
Orna Kupferman, Shibashis Guha, Gal Vardi, 2018, Autonomous Agents and Multi-Agent Systems.
Orna Kupferman, Sarai Sheinvald, O. Kupferman, 2016, LATA.
Orna Kupferman, Gal Vardi, O. Kupferman, 2018, ICALP.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, Bulletin of Symbolic Logic.
Orna Kupferman, Gal Vardi, O. Kupferman, 2018, CONCUR.
Giuseppe Perelli, Orna Kupferman, Moshe Y. Vardi, 2014, Annals of Mathematics and Artificial Intelligence.
Giuseppe Perelli, Orna Kupferman, Shaull Almagor, 2018, IJCAI.
Orna Kupferman, Yoad Lustig, O. Kupferman, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1998, CONCUR.
Orna Kupferman, Shaull Almagor, Guy Avni, 2015, CONCUR.
O. Kupferman, Noam Shenwald, 2022, TACAS.
Orna Kupferman, O. Kupferman, 2014, TACAS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, MFCS.
Moshe Y. Vardi, O. Kupferman, 1999, CHARME.
Orna Kupferman, Thomas Ball, T. Ball, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2006, Formal Methods Syst. Des..
Orna Kupferman, Benjamin Aminof, Thomas Ball, 2005, LPAR.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CONCUR.
Orna Kupferman, Salomon Sickert, Nir Lavee, 2021, Innovations in Systems and Software Engineering.
Orna Kupferman, Salomon Sickert, O. Kupferman, 2021, FoSSaCS.
Thomas A. Henzinger, Orna Kupferman, Freddy Y. C. Mang, 2002, ICALP.
Moshe Y. Vardi, O. Kupferman, P. Thiagarajan, 2000, CONCUR.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).
Thomas A. Henzinger, Marcin Jurdzinski, Orna Kupferman, 2002, CSL.
Orna Kupferman, Dan Hefetz, Amir Lellouche, 2018, MFCS.
Orna Kupferman, Gal Vardi, O. Kupferman, 2016, MFCS.
Orna Kupferman, Rachel Faran, O. Kupferman, 2020, SOFSEM.
Orna Kupferman, Guy Avni, O. Kupferman, 2013, ACM Trans. Comput. Log..
Krishnendu Chatterjee, Thomas A. Henzinger, Rupak Majumdar, 2005, CHARME.
Orna Kupferman, Udi Boker, Avital Steinitz, 2010, FSTTCS.
Sanjit A. Seshia, Orna Kupferman, Dorsa Sadigh, 2011, Haifa Verification Conference.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, TACAS.
Orna Grumberg, Orna Kupferman, Sarai Sheinvald, 2012, ATVA.
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2001, TACAS.
Orna Kupferman, Gili Bielous, O. Kupferman, 2020, CSL.
Orna Kupferman, Noam Shenwald, O. Kupferman, 2020, Foundations of Software Technology and Theoretical Computer Science.
Orna Kupferman, Gal Vardi, O. Kupferman, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dana Fisman, Orna Kupferman, O. Kupferman, 2009, Haifa Verification Conference.
Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi, 1996, CONCUR.
David Harel, Orna Kupferman, O. Kupferman, 2000, Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34.
O. Kupferman, M. Vardi, 1999, Formal Methods Syst. Des..
Orna Kupferman, Adin Rosenberg, O. Kupferman, 2010, MoChArt.
Moshe Y. Vardi, Alexander N Gorban, A. N. Gorban, 2007, physics/0703278.
Orna Kupferman, Gadiel Auerbach, O. Kupferman, 2003, ADHS.
Orna Kupferman, Bader Abu Radi, O. Kupferman, 2021, Log. Methods Comput. Sci..
Orna Kupferman, Bader Abu Radi, Ofer Leshkowitz, 2022, MFCS.
Orna Kupferman, Bader Abu Radi, O. Kupferman, 2020, GandALF.
Orna Kupferman, Bader Abu Radi, O. Kupferman, 2019, ICALP.
Michal Skrzypczak, Orna Kupferman, Udi Boker, 2017, FSTTCS.
Orna Kupferman, Shulamit Halamish, O. Kupferman, 2011, FoSSaCS.
Orna Kupferman, Yoad Lustig, O. Kupferman, 2007, VMCAI.
Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani, 1997, Inf. Comput..
Aniello Murano, Orna Kupferman, Benjamin Aminof, 2010, Inf. Comput..
T. Ball, O. Kupferman, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, LPAR.
Orna Kupferman, Rachel Faran, O. Kupferman, 2015, Acta Informatica.