Moshe Y. Vardi

发表

Moshe Y. Vardi, 2009, CACM.
Moshe Y. Vardi, 2009, Commun. ACM.
Nina Narodytska, Moshe Y. Vardi, Lucas Bordeaux, 2011, J. Artif. Intell. Res..
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2016, KR.
Orna Kupferman, Moshe Y. Vardi, Shmuel Safra, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Moshe Y. Vardi, 2008, VSTTE.
Moshe Y. Vardi, 2007, 2007 44th ACM/IEEE Design Automation Conference.
Yih-Kuen Tsay, Ming-Hsien Tsai, Moshe Y. Vardi, 2010, CIAA.
Moshe Y. Vardi, 2003, PCK50.
Moshe Y. Vardi, Nir Piterman, Jasmin Fisher, 2012 .
Orna Kupferman, Moshe Y. Vardi, Orna Kupferman, 2003, ICALP.
Orna Kupferman, Moshe Y. Vardi, Orna Kupferman, 1996, Inf. Comput..
Moshe Y. Vardi, 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2013, Inf. Comput..
Moshe Y. Vardi, 2016, Commun. ACM.
Moshe Y. Vardi, Vijay Ganesh, Vijay Ganesh, 2020, Beyond the Worst-Case Analysis of Algorithms.
Catriel Beeri, Moshe Y. Vardi, 1984, Inf. Control..
Moshe Y. Vardi, Stavros S. Cosmadakis, Paris C. Kanellakis, 1990, JACM.
Sanjit A. Seshia, Daniel J. Fremont, Supratik Chakraborty, 2014, AAAI.
Moshe Y. Vardi, Sonali Dutta, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi, 1996, CONCUR.
Gabriel M. Kuper, Moshe Y. Vardi, Alexander A. Shvartsman, 1996, PODS '96.
Gabriel M. Kuper, Moshe Y. Vardi, G. Kuper, 1993, TODS.
Geguang Pu, Moshe Y. Vardi, Jianwen Li, 2017, Haifa Verification Conference.
Ronald Fagin, Moshe Y. Vardi, 1984, ICALP.
Aniello Murano, Carsten Lutz, Piero A. Bonatti, 2006, ICALP.
Joseph Y. Halpern, Moshe Y. Vardi, Ron van der Meyden, 2002, SIAM J. Comput..
Moshe Y. Vardi, 2016, Commun. ACM.
Moshe Y. Vardi, Nir Piterman, N. Piterman, 2003, Theor. Comput. Sci..
Moshe Y. Vardi, 2012, CACM.
Lijun Zhang, Jifeng He, Geguang Pu, 2013, 2013 20th International Symposium on Temporal Representation and Reasoning.
Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi, 2011, ArXiv.
Moshe Y. Vardi, 2019, Commun. ACM.
Moshe Y. Vardi, Guoqiang Pan, Guoqiang Pan, 2005, Journal of Automated Reasoning.
Moshe Y. Vardi, Jin Yang, Zurab Khasidashvili, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Giuseppe Perelli, Orna Kupferman, Moshe Y. Vardi, 2014, Annals of Mathematics and Artificial Intelligence.
Jakob Rehof, Moshe Y. Vardi, 2014, Dagstuhl Reports.
Harry G. Mairson, Yehoshua Sagiv, Haim Gaifman, 1993, JACM.
Daniel N. Osherson, Moshe Y. Vardi, Randy Batsell, 2002, KR.
Moshe Y. Vardi, Gila Kamhi, Zvi Terem, 2004, Proceedings of the 2004 11th IEEE International Conference on Electronics, Circuits and Systems, 2004. ICECS 2004..
Moshe Y. Vardi, 1998, Log. J. IGPL.
Kousha Etessami, Mihalis Yannakakis, Moshe Y. Vardi, 2007, Log. Methods Comput. Sci..
Lydia E. Kavraki, Morteza Lahijanian, Moshe Y. Vardi, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi, 2003, Theor. Comput. Sci..
Krishnendu Chatterjee, Moshe Y. Vardi, Laurent Doyen, 2015, ICALP.
Lydia E. Kavraki, Erion Plaku, Moshe Y. Vardi, 2009, International Journal on Software Tools for Technology Transfer.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2000, KRDB.
Aniello Murano, Moshe Y. Vardi, Bastien Maubert, 2020, IJCAI.
Ellis Horowitz, Daniel J. Rosenkrantz, Serge Abiteboul, 2005, SGMD.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 1994, AAAI.
Catriel Beeri, Moshe Y. Vardi, 1981, SGMD.
Moshe Y. Vardi, Kuldeep S. Meel, Jeffrey M. Dudek, 2017, IJCAI.
Moshe Y. Vardi, 1995, Computer Science Today.
Moshe Y. Vardi, 2015, Ada Lovelace Symposium '15.
Moshe Y. Vardi, 2017, Commun. ACM.
Luciano Baresi, Paola Inverardi, Jane Cleland-Huang, 2013, ESEC/FSE 2013.
Cristopher Moore, Moshe Y. Vardi, Gabriel Istrate, 2007, Random Struct. Algorithms.
Moshe Y. Vardi, Kristin Yvonne Rozier, 2007 .
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2000, PODS '00.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CAV.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).
Catriel Beeri, Moshe Y. Vardi, C. Beeri, 1980, XP1 Workshop on Database Theory.
Armando Tacchella, Enrico Giunchiglia, Moshe Y. Vardi, 2001, CAV.
Catriel Beeri, Moshe Y. Vardi, 1985, Theor. Comput. Sci..
Moshe Y. Vardi, 2016, Bull. EATCS.
Orna Kupferman, Moshe Y. Vardi, Ehud Friedgut, 2006, Int. J. Found. Comput. Sci..
Kathi Fisler, Moshe Y. Vardi, Kathi Fisler, 1999, CHARME.
Lydia E. Kavraki, Erion Plaku, Moshe Y. Vardi, 2009, TACAS.
Supratik Chakraborty, Moshe Y. Vardi, Aditya A. Shrotri, 2019, CP.
Kousha Etessami, Mihalis Yannakakis, Moshe Y. Vardi, 2007, TACAS.
Phokion G. Kolaitis, Moshe Y. Vardi, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Moshe Y. Vardi, 2016, Commun. ACM.
Moshe Y. Vardi, Lenore D. Zuck, Sela Mador-Haim, 2005, CAV.
Phokion G. Kolaitis, Moshe Y. Vardi, 1995, J. Comput. Syst. Sci..
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2003, SGMD.
Moshe Y. Vardi, 2014, Commun. ACM.
Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..
Moshe Y. Vardi, 1996, Inf. Comput..
Moshe Y. Vardi, Deian Tabakov, D. Tabakov, 2005, LPAR.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, Formal Methods Syst. Des..
Moshe Y. Vardi, Guoqiang Pan, Guoqiang Pan, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, TOCL.
Phokion G. Kolaitis, Moshe Y. Vardi, 2000, AAAI/IAAI.
Lydia E. Kavraki, Morteza Lahijanian, Moshe Y. Vardi, 2019, IEEE Robotics and Automation Letters.
Alberto O. Mendelzon, Marc H. Graham, Moshe Y. Vardi, 1982, PODS '82.
Mihalis Yannakakis, Doron A. Peled, Moshe Y. Vardi, 1999, FORTE.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2010, LPAR.
Moshe Y. Vardi, 1995, PODS 1995.
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1991, JACM.
Surajit Chaudhuri, Moshe Y. Vardi, S. Chaudhuri, 1992, J. Comput. Syst. Sci..
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2000, KR.
Moshe Y. Vardi, Roberto Sebastiani, Stefano Tonetta, 2005, CAV.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, STACS.
Moshe Y. Vardi, Ashok K. Chandra, A. K. Chandra, 1985, SIAM J. Comput..
Moshe Y. Vardi, 2013, CACM.
Moshe Y. Vardi, 1997, FSTTCS.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2000, PODS 2000.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1995, CONCUR.
Moshe Y. Vardi, Guoqiang Pan, Guoqiang Pan, 2004, SAT.
Ronald Fagin, Moshe Y. Vardi, Yoram Moses, 1996 .
Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi, 2016, Log. Methods Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2000, FSTTCS.
Orna Kupferman, Moshe Y. Vardi, Roy Armoni, 2002 .
Moshe Y. Vardi, Kristin Yvonne Rozier, Kristin Y. Rozier, 2012, Haifa Verification Conference.
Moshe Y. Vardi, Jianwen Li, Kristin Yvonne Rozier, 2019, CAV.
Henry A. Kautz, Moshe Y. Vardi, Wolfgang Thomas, 2005, Synthesis and Planning.
Moshe Y. Vardi, Deian Tabakov, 2010 .
Moshe Y. Vardi, Seth Fogarty, Corey Fisher, 2017, ICLA.
Sasha Rubin, Moshe Y. Vardi, Doron Bustan, 2004, CAV.
Kathi Fisler, Moshe Y. Vardi, Kathi Fisler, 2002, Formal Methods Syst. Des..
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1984, FOCS.
Moshe Y. Vardi, Kuldeep S. Meel, Jeffrey M. Dudek, 2016, IJCAI.
Moshe Y. Vardi, Miguel Romero, Juan L. Reutter, 2015, ICDT.
Geguang Pu, Moshe Y. Vardi, Shufang Zhu, 2019, TAMC.
Phokion G. Kolaitis, Moshe Y. Vardi, 2000, MFCS.
Moshe Y. Vardi, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Moshe Y. Vardi, 2020, Commun. ACM.
Moshe Y. Vardi, Gila Kamhi, Roni Wiener, 2009, PATMOS.
Gabriel M. Kuper, Moshe Y. Vardi, G. Kuper, 1984, PODS.
Giuseppe De Giacomo, Brian Logan, Natasha Alechina, 2019, AAAI.
Krishnendu Chatterjee, Moshe Y. Vardi, Laurent Doyen, 2014, FoSSaCS.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2002, PODS.
Swarat Chaudhuri, Moshe Y. Vardi, Suguman Bansal, 2018, CAV.
Lijun Zhang, Jifeng He, Geguang Pu, 2018, Formal Aspects of Computing.
Orna Kupferman, Moshe Y. Vardi, Roy Armoni, 2003, TACAS.
Geguang Pu, Moshe Y. Vardi, Jianwen Li, 2017, IJCAI.
Moshe Y. Vardi, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Moshe Y. Vardi, 2007, Handbook of Modal Logic.
Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, TOPL.
Alessio Lomuscio, Moshe Y. Vardi, 2018, Inf. Comput..
Moshe Y. Vardi, 2011, Commun. ACM.
P. S. Thiagarajan, Orna Kupferman, Moshe Y. Vardi, 2000, CONCUR.
Lydia E. Kavraki, Morteza Lahijanian, Moshe Y. Vardi, 2017, 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Moshe Y. Vardi, Sumit Nain, 2012, FoSSaCS.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2003, PODS '03.
Moshe Y. Vardi, Kristin Yvonne Rozier, Kristin Y. Rozier, 2007, International Journal on Software Tools for Technology Transfer.
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2003, International Journal on Software Tools for Technology Transfer.
Moshe Y. Vardi, Roy Armoni, Limor Fix, 2007, 2007 Asia and South Pacific Design Automation Conference.
Moshe Y. Vardi, 2012, CACM.
Aniello Murano, Benjamin Aminof, Moshe Y. Vardi, 2007, Inf. Comput..
Giuseppe Perelli, Orna Kupferman, Moshe Y. Vardi, 2016, Annals of Mathematics and Artificial Intelligence.
Lydia E. Kavraki, Moshe Y. Vardi, Andrew Wells, 2019, 2019 International Conference on Robotics and Automation (ICRA).
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .
Moshe Y. Vardi, 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).
Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi, 2016, CIAA.
Yoad Lustig, Moshe Y. Vardi, Sumit Nain, 2014, CSL.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2002, CAV.
Moshe Y. Vardi, 2011, CACM.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2015, Inf. Comput..
Surajit Chaudhuri, Moshe Y. Vardi, 1997, J. Comput. Syst. Sci..
Pierre Wolper, Moshe Y. Vardi, P. Wolper, 1994, Inf. Comput..
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
Orna Kupferman, Moshe Y. Vardi, Fabio Somenzi, 2003, CHARME.
Gabriel M. Kuper, Serge Abiteboul, Harry G. Mairson, 1996, CSUR.
Moshe Y. Vardi, Stavros S. Cosmadakis, Paris C. Kanellakis, 1983, STOC '83.
Moshe Y. Vardi, Lucas M. Tabajara, 2020, GandALF.
Moshe Y. Vardi, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, COMPOS.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .
Michael Stonebraker, Surajit Chaudhuri, Umeshwar Dayal, 1996, ICDE.
Lijun Zhang, Jifeng He, Geguang Pu, 2018, J. Log. Comput..
Moshe Y. Vardi, Lucas M. Tabajara, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
Ulrike Sattler, Moshe Y. Vardi, U. Sattler, 2001, IJCAR.
Moshe Y. Vardi, Alfonso San Miguel Aguirre, 2001, CP.
Orna Kupferman, Moshe Y. Vardi, Gal Vardi, 2017, FSTTCS.
Moshe Y. Vardi, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
Moshe Y. Vardi, 2019, Commun. ACM.
C. Pandu Rangan, Oscar Nierstrasz, Takeo Kanade, 2009, Lecture Notes in Computer Science.
Kousha Etessami, Thomas Wilke, Moshe Y. Vardi, 1997 .
Giuseppe De Giacomo, Moshe Y. Vardi, Shufang Zhu, 2020, KR.
Moshe Y. Vardi, Lucas Bordeaux, Youssef Hamadi, 2007, CP.
Moshe Y. Vardi, 2018, Commun. ACM.
Moshe Y. Vardi, 2013, CACM.
Lydia E. Kavraki, Moshe Y. Vardi, Amit Bhatia, 2010, 2010 IEEE International Conference on Robotics and Automation.
Reinhard Wilhelm, Moshe Y. Vardi, Andrzej Tarlecki, 2011 .
Sharad Malik, Moshe Y. Vardi, Kuldeep S. Meel, 2015, Constraints.
Artur S. d'Avila Garcez, Luís C. Lamb, Moshe Y. Vardi, 2020, IJCAI.
Moshe Y. Vardi, 2009, CACM.
Marc H. Graham, Moshe Y. Vardi, 1984, PODS '84.
Moshe Y. Vardi, Kuldeep S. Meel, Leonardo Dueñas-Osorio, 2019 .
Phokion G. Kolaitis, Moshe Y. Vardi, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Orna Grumberg, Orna Kupferman, Moshe Y. Vardi, 2005, CHARME.
Rodney G. Downey, Markus Lohrey, Moshe Y. Vardi, 2007, Algorithmic-Logical Theory of Infinite Structures.
Moshe Y. Vardi, 2009, ICLA.
Moshe Y. Vardi, 2010, Commun. ACM.
Lydia E. Kavraki, Erion Plaku, Moshe Y. Vardi, 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
Moshe Y. Vardi, 2002, Electron. Notes Theor. Comput. Sci..
Yoad Lustig, Moshe Y. Vardi, Yoad Lustig, 2009, International Journal on Software Tools for Technology Transfer.
Moshe Y. Vardi, 2019, Commun. ACM.
Phokion G. Kolaitis, Moshe Y. Vardi, 1990, J. Comput. Syst. Sci..
David Harel, Orna Kupferman, Moshe Y. Vardi, 1997, Inf. Comput..
Moshe Y. Vardi, Vu Phan, Jeffrey M. Dudek, 2020, AAAI.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .
Moshe Y. Vardi, Kuldeep S. Meel, Aditya A. Shrotri, 2018, Constraints.
Kathi Fisler, Moshe Y. Vardi, Zijiang Yang, 2001, TACAS.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1998, CONCUR.
Moshe Y. Vardi, 2017, Commun. ACM.
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1983, FOCS 1983.
Giuseppe De Giacomo, Moshe Y. Vardi, 2016, IJCAI.
Moshe Y. Vardi, 1996, TARK.
Moshe Y. Vardi, Seth Fogarty, Seth Fogarty, 2010, TACAS.
Moshe Y. Vardi, 2016, PODS.
Moshe Y. Vardi, 1988, POPL '88.
Georg Gottlob, Moshe Y. Vardi, 1995, Lecture Notes in Computer Science.
Mahesh Viswanathan, Joan Feigenbaum, Sampath Kannan, 1998, Chic. J. Theor. Comput. Sci..
Lydia E. Kavraki, Moshe Y. Vardi, Amit Bhatia, 2010, 49th IEEE Conference on Decision and Control (CDC).
Joseph Y. Halpern, Moshe Y. Vardi, 1986, STOC '86.
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).
Moshe Y. Vardi, Sumit Nain, S. Nain, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Moshe Y. Vardi, 2018, Commun. ACM.
Moshe Y. Vardi, 2013, CACM.
Moshe Y. Vardi, 2012, CACM.
Moshe Y. Vardi, Nir Piterman, N. Piterman, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Phokion G. Kolaitis, Moshe Y. Vardi, 1992, ICALP.
David Maier, Jeffrey D. Ullman, Moshe Y. Vardi, 1983, PODS '83.
Cristopher Moore, Moshe Y. Vardi, Gabriel Istrate, 2005, APPROX-RANDOM.
Moshe Y. Vardi, 2017, Commun. ACM.
Lydia E. Kavraki, Erion Plaku, Moshe Y. Vardi, 2007, Robotics: Science and Systems.
Moshe Y. Vardi, Jeffrey M. Dudek, Vu H. N. Phan, 2019, ArXiv.
Pierre Wolper, Moshe Y. Vardi, P. Wolper, 1984, STOC '84.
Moshe Y. Vardi, 2008, CACM.
Moshe Y. Vardi, 2018, Commun. ACM.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems.
Moshe Y. Vardi, 2021, Commun. ACM.
Pietro Babighian, Moshe Y. Vardi, Gila Kamhi, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.
Alexander Aiken, Moshe Y. Vardi, Dexter Kozen, 1993, CSL.
Moshe Y. Vardi, Seth Fogarty, 2009, TACAS.
Mihalis Yannakakis, Moshe Y. Vardi, Doron Peled, 1999 .
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1992, JACM.
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi, 2003, ICDT.
Neil Immerman, Moshe Y. Vardi, N. Immerman, 1997, CAV.
Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi, 2012, ArXiv.
Haim Gaifman, Moshe Y. Vardi, Stavros S. Cosmadakis, 1988, STOC 1988.
Orna Kupferman, Moshe Y. Vardi, Doron Bustan, 2004, STACS.
Moshe Y. Vardi, Shmuel Safra, 1989, STOC 1989.
Moshe Y. Vardi, 2012, CACM.
Moshe Y. Vardi, 2011, Commun. ACM.
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2015, AAAI.
Daniel N. Osherson, Moshe Y. Vardi, D. Osherson, 2006, Games Econ. Behav..
Moshe Y. Vardi, Pablo Barceló, Miguel Romero, 2014, PODS.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2013, Log. Methods Comput. Sci..
Moshe Y. Vardi, 2017, Commun. ACM.
Ulrike Sattler, Moshe Y. Vardi, Guoqiang Pan, 2006, J. Appl. Non Class. Logics.
Moshe Y. Vardi, Shmuel Safra, S. Safra, 1989, STOC '89.
Moshe Y. Vardi, 2013, ESEC/FSE 2013.
Giuseppe De Giacomo, Moshe Y. Vardi, 1999, ECP.
Neil Immerman, Joseph Y. Halpern, Phokion G. Kolaitis, 2001, Bulletin of Symbolic Logic.
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1984 .
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2003, International Journal on Software Tools for Technology Transfer.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2010, AAAI.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 1999, WebDB.
Jeffrey D. Ullman, Yehoshua Sagiv, Raghu Ramakrishnan, 1993, J. Comput. Syst. Sci..
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2010, ArXiv.
Moshe Y. Vardi, 1986, J. Comput. Syst. Sci..
David Harel, Orna Kupferman, Moshe Y. Vardi, 1997, CONCUR.
Moshe Y. Vardi, Deian Tabakov, 2010, RV.
Joseph Y. Halpern, Moshe Y. Vardi, 1989, J. Comput. Syst. Sci..
Pierre Wolper, A. Prasad Sistla, Moshe Y. Vardi, 1987, Theor. Comput. Sci..
Lydia E. Kavraki, Moshe Y. Vardi, Amit Bhatia, 2011 .
Moshe Y. Vardi, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 1999, PODS '99.
Thomas Wilke, Moshe Y. Vardi, T. Wilke, 2008, Logic and Automata.
Aniello Murano, Carsten Lutz, Piero A. Bonatti, 2008, Log. Methods Comput. Sci..
Ronald Fagin, Moshe Y. Vardi, Ronald Fagin, 1988, TARK.
Moshe Y. Vardi, 2010, CACM.
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2015, IJCAI.
Orna Grumberg, Moshe Y. Vardi, Roy Armoni, 2003, CAV.
Kathi Fisler, Moshe Y. Vardi, K. Fisler, 1998, FMCAD.
Thom W. Frühwirth, Moshe Y. Vardi, Ehud Shapiro, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Phokion G. Kolaitis, Moshe Y. Vardi, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Moshe Y. Vardi, Pablo Barceló, Miguel Romero, 2013, SIAM J. Comput..
Serge Abiteboul, Victor Vianu, Moshe Y. Vardi, 1995, Theor. Comput. Sci..
Moshe Y. Vardi, 2018, Commun. ACM.
Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi, 1995, Inf. Comput..
Geguang Pu, Moshe Y. Vardi, Jianwen Li, 2018, CAV.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, 2013 .
Lijun Zhang, Jifeng He, Geguang Pu, 2013, ArXiv.
Moshe Y. Vardi, 2009, CACM.
Moshe Y. Vardi, 1990, Inf. Process. Lett..
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2003, SEBD.
Moshe Y. Vardi, 1984, Inf. Process. Lett..
Moshe Y. Vardi, Demetrios D. Demopoulos, 2006, Computational Complexity and Statistical Physics.
Moshe Y. Vardi, 2011, CACM.
Moshe Y. Vardi, Nir Piterman, N. Piterman, 2003, Theor. Comput. Sci..
Moshe Y. Vardi, 1996, Chic. J. Theor. Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1996, CAV.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2010, Essays in Memory of Amir Pnueli.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2015 .
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004, Minds and Machines.
Luís C. Lamb, Moshe Y. Vardi, Marcelo O. R. Prates, 2018, AAAI.
Moshe Y. Vardi, 2013, CACM.
Orna Kupferman, Moshe Y. Vardi, Ehud Friedgut, 2006, Int. J. Found. Comput. Sci..
Ulrike Sattler, Moshe Y. Vardi, Guoqiang Pan, 2002, CADE.
Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi, 2012, CONCUR.
Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Joël Ouaknine, Axel Legay, Moshe Y. Vardi, 2018, LICS.
Pierre Wolper, Mihalis Yannakakis, Moshe Y. Vardi, 1990, Formal Methods Syst. Des..
Geguang Pu, Moshe Y. Vardi, Yueling Zhang, 2016, ArXiv.
Moshe Y. Vardi, Nir Piterman, Jasmin Fisher, 2011, FM.
Amir Pnueli, Moshe Y. Vardi, Yonit Kesten, 2001, J. Comput. Syst. Sci..
Kousha Etessami, Thomas Wilke, Moshe Y. Vardi, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Joost-Pieter Katoen, Thomas A. Henzinger, Luca Aceto, 2016, Bull. EATCS.
Lijun Zhang, Jifeng He, Geguang Pu, 2014, ArXiv.
Geguang Pu, Moshe Y. Vardi, Yueling Zhang, 2018, AAAI.
Jeffrey D. Ullman, Moshe Y. Vardi, J. Ullman, 1988, PODS.
Moshe Y. Vardi, Roberto Sebastiani, Stefano Tonetta, 2005, International Journal on Software Tools for Technology Transfer.
Phokion G. Kolaitis, Moshe Y. Vardi, 1990, Inf. Comput..
Moshe Y. Vardi, 2015, Commun. ACM.
Moshe Y. Vardi, 2019, Commun. ACM.
Devika Subramanian, Moshe Y. Vardi, Cristian Coarfa, 2000, Constraints.
Lydia E. Kavraki, Erion Plaku, Moshe Y. Vardi, 2010, IEEE Transactions on Robotics.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 1996, Ann. Pure Appl. Log..
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2006, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2006, CAV.
Thomas A. Henzinger, Rajeev Alur, Moshe Y. Vardi, 1993, STOC.
Moshe Y. Vardi, 2014, Commun. ACM.
Paulo Tabuada, Moshe Y. Vardi, Ayca Balkan, 2015, ADHS.
Moshe Y. Vardi, Karen Mercedes Goertzel, Dave Durkee, 2010 .
Moshe Y. Vardi, 1985, J. Comput. Syst. Sci..
Phokion G. Kolaitis, Moshe Y. Vardi, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Geguang Pu, Moshe Y. Vardi, Yueling Zhang, 2016, 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Joseph Y. Halpern, Moshe Y. Vardi, 1991, KR.
Catriel Beeri, Moshe Y. Vardi, 1984, SIAM J. Comput..
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi, 1983, PODS.
Moshe Y. Vardi, 1996, Descriptive Complexity and Finite Models.
Geguang Pu, Moshe Y. Vardi, Lijun Zhang, 2019, Formal Methods Syst. Des..
Axel Legay, Olivier Serre, Aniello Murano, 2013, Inf. Comput..
Surajit Chaudhuri, Moshe Y. Vardi, S. Chaudhuri, 1994, PODS '94.
Moshe Y. Vardi, 2015, Commun. ACM.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2011, ICDT '11.
Moshe Y. Vardi, 2020, Commun. ACM.
Moshe Y. Vardi, Sumit Nain, S. Nain, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CHARME.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2012, Proc. VLDB Endow..
Richard J. Lipton, Moshe Y. Vardi, Richard A. DeMillo, 2010 .
Thomas A. Henzinger, Randal E. Bryant, Orna Grumberg, 2009, Formal Methods Syst. Des..
Moni Naor, Josef Kittler, Moshe Y. Vardi, 2012, Lecture Notes in Computer Science.
Joseph Y. Halpern, Moshe Y. Vardi, 1988, STOC '88.
Sasha Rubin, Moshe Y. Vardi, Doron Bustan, 2004 .
Rodney G. Downey, Markus Lohrey, Moshe Y. Vardi, 2007, Algorithmic-Logical Theory of Infinite Structures.
Moshe Y. Vardi, 2010, Commun. ACM.
Moshe Y. Vardi, Deian Tabakov, D. Tabakov, 2007, LATA.
Moshe Y. Vardi, Senthil Rajasekaran, 2021, ArXiv.
Joseph Sifakis, Randal E. Bryant, Orna Grumberg, 2010, Formal Methods Syst. Des..
Giuseppe De Giacomo, Moshe Y. Vardi, 2013, IJCAI.
Moshe Y. Vardi, 1991, J. Log. Program..
Moshe Y. Vardi, Sonali Dutta, Deian Tabakov, 2013, DIFTS@FMCAD.
Stuart H. Zweben, Moshe Y. Vardi, William Aspray, 2006, SIGCSE '06.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2000, Verification: Theory and Practice.
Moshe Y. Vardi, Kristin Yvonne Rozier, Deian Tabakov, 2012, Formal Methods Syst. Des..
Moshe Y. Vardi, 1988, IEEE Softw..
Moshe Y. Vardi, 2016, Commun. ACM.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .
Catriel Beeri, Moshe Y. Vardi, C. Beeri, 1981, ICALP.
Andreas Podelski, Alexey Gotsman, Moshe Y. Vardi, 2007, POPL '07.
Moshe Y. Vardi, 1997, J. Symb. Log..
Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt, 2012, Dagstuhl Reports.
Moshe Y. Vardi, Eric Koskinen, Byron Cook, 2012, Formal Methods Syst. Des..
Moshe Y. Vardi, Kuldeep S. Meel, Aditya A. Shrotri, 2018, Constraints.
Moshe Y. Vardi, 2012, Commun. ACM.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, TACAS.
Orna Kupferman, Moshe Y. Vardi, 2005, Theor. Comput. Sci..
David Maier, Jeffrey D. Ullman, Moshe Y. Vardi, 1984, TODS.
Anastasios Kyrillidis, Moshe Y. Vardi, Anshumali Shrivastava, 2019, AAAI.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2009, DBPL.
Moshe Y. Vardi, Kristin Y. Rozier, 2007, SPIN.
Paolo Traverso, Moshe Y. Vardi, Marco Daniele, 1999, ECP.
Moshe Y. Vardi, 2008, 25 Years of Model Checking.
Gabriel M. Kuper, Moshe Y. Vardi, 1993, Theor. Comput. Sci..
Phokion G. Kolaitis, Moshe Y. Vardi, Erich Grädel, 1997, Bulletin of Symbolic Logic.
Moshe Y. Vardi, Lijun Zhang, Yong Li, 2020, GandALF.
Moshe Y. Vardi, William J. Rapaport, W. Rapaport, 1988 .
Moshe Y. Vardi, Roberto Sebastiani, Stefano Tonetta, 2004, Formal Methods Syst. Des..
Moshe Y. Vardi, 2011, CACM.
Moshe Y. Vardi, Eric Koskinen, Byron Cook, 2011, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Catriel Beeri, Moshe Y. Vardi, 1979, Advances in Data Base Theory.
Moshe Y. Vardi, Deian Tabakov, D. Tabakov, 2012, MISS '12.
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2001, TACAS.
Moshe Y. Vardi, 2020, Commun. ACM.
Maurizio Lenzerini, Serge Abiteboul, Ronald Fagin, 2011, PODS 2011.
Moshe Y. Vardi, Jeffrey M. Dudek, Vu H. N. Phan, 2020, CP.
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2013 .
Moshe Y. Vardi, 1983, XP4.5 Workshop on Database Theory.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2013, CSL.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, CAV.
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2016, J. Log. Comput..
Pierre Wolper, Moshe Y. Vardi, Orna Bernholtz, 1994, CAV.
Moshe Y. Vardi, Roy Armoni, Dmitry Korchemny, 2006, FATES/RV.
Pierre Wolper, Moshe Y. Vardi, 1983, Logic of Programs.
Rajeev Alur, Alessio Lomuscio, Moshe Y. Vardi, 2016 .
Moshe Y. Vardi, 2020, Commun. ACM.
Susan H. Rodger, Rakesh M. Verma, Moshe Y. Vardi, 2006, SIGCSE '06.
Moshe Y. Vardi, 2008, Pillars of Computer Science.
Aniello Murano, Sasha Rubin, Moshe Y. Vardi, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Moshe Y. Vardi, Doron Peled, 2002, Lecture Notes in Computer Science.
Phokion G. Kolaitis, Moshe Y. Vardi, Víctor Dalmau, 2002, CP.
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2013, CP.
Orna Kupferman, Moshe Y. Vardi, 2003 .
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .
Phokion G. Kolaitis, Moshe Y. Vardi, Albert Atserias, 2004, CP.
Swarat Chaudhuri, Moshe Y. Vardi, Suguman Bansal, 2018, FoSSaCS.
Harry G. Mairson, Moshe Y. Vardi, Paris C. Kanellakis, 1991, PODS '91.
Geguang Pu, Moshe Y. Vardi, Jianwen Li, 2015, Haifa Verification Conference.
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1986, AAAI.
Moshe Y. Vardi, Nir Piterman, 2004, CAV.
Moshe Y. Vardi, Lucas M. Tabajara, Dror Fried, 2016, CAV.
Glynn Winskel, Andrei Broder, Radha Jagadeesan, 2005, LICS.
Markus Lohrey, Moshe Y. Vardi, Dietrich Kuske, 2008, Algorithmic-Logical Theory of Infinite Structures.
Thomas A. Henzinger, Rajeev Alur, Moshe Y. Vardi, 2012, Formal Methods Syst. Des..
Moshe Y. Vardi, Kuldeep S. Meel, Leonardo Dueñas-Osorio, 2017, AAAI.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CONCUR.
Ronald Fagin, Moshe Y. Vardi, Ronald Fagin, 1983, Inf. Process. Lett..
Daniel Leivant, Phokion G. Kolaitis, Kim B. Bruce, 1998, SIGCSE '98.
Moshe Y. Vardi, 2018, Commun. ACM.
Yoad Lustig, Moshe Y. Vardi, Sumit Nain, 2011, CSL.
Andreas Podelski, Phokion G. Kolaitis, Andrei Voronkov, 2004, LICS 2004.
Lydia E. Kavraki, Erion Plaku, Moshe Y. Vardi, 2007, CAV.
Moshe Y. Vardi, 2010, Commun. ACM.
Gabriel M. Kuper, Serge Abiteboul, Harry G. Mairson, 1996, PODS 1996.
Mahesh Viswanathan, Joan Feigenbaum, Sampath Kannan, 1998, STACS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, Bulletin of Symbolic Logic.
Moshe Y. Vardi, Gila Kamhi, Roni Wiener, 2009, J. Low Power Electron..
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 1999, Sistemi Evoluti per Basi di Dati.
Moshe Y. Vardi, 1987, Temporal Logic in Specification.
Moshe Y. Vardi, 2020, Commun. ACM.
Krishnendu Chatterjee, Moshe Y. Vardi, Suguman Bansal, 2021, TACAS.
Ronald Fagin, Moshe Y. Vardi, Ronald Fagin, 1986 .
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi, 2002, KR.
Moshe Y. Vardi, Leonardo Dueñas-Osorio, Javier Rojo, 2018, Structural Safety.
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2004, International Journal on Software Tools for Technology Transfer.
Orna Kupferman, Moshe Y. Vardi, 2004, TACAS.
Moshe Y. Vardi, 1981, Inf. Process. Lett..
Moshe Y. Vardi, Limor Fix, Gila Kamhi, 2001, SMC@FLoC.
Alex S. Taylor, Samin Ishtiaq, Moshe Y. Vardi, 2012, CAV.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, LPAR.
Roni Rosner, David Harel, Moshe Y. Vardi, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Gabriel M. Kuper, Ronald Fagin, Jeffrey D. Ullman, 1986, Adv. Comput. Res..
Serge Abiteboul, Victor Vianu, Moshe Y. Vardi, 1997, JACM.
Amir Pnueli, Orna Kupferman, Moshe Y. Vardi, 1995, J. Comput. Syst. Sci..
Moshe Y. Vardi, Marcelo O. R. Prates, Luis C. Lamb, 2020, IJCAI.
Orna Kupferman, Moshe Y. Vardi, Valerie King, 2001, FoSSaCS.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2013, J. Comput. Syst. Sci..
Moshe Y. Vardi, Sumit Nain, S. Nain, 2007, ATVA.
Maarten Marx, Joel H. Spencer, Phokion G. Kolaitis, 2007, Texts in Theoretical Computer Science. An EATCS Series.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, Chic. J. Theor. Comput. Sci..
Catriel Beeri, Moshe Y. Vardi, C. Beeri, 1984, JACM.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 2004 .
Moshe Y. Vardi, 1991, Theoretical Studies in Computer Science.
Geguang Pu, Moshe Y. Vardi, Shufang Zhu, 2020, ArXiv.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 1997, Distributed Computing.
Ronald Fagin, Moshe Y. Vardi, Ronald Fagin, 1984 .
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2007, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2009, Formal Methods Syst. Des..
Fausto Giunchiglia, Moshe Y. Vardi, Marco Daniele, 1999, CAV.
Lijun Zhang, Jifeng He, Geguang Pu, 2014, ECAI.
Hadas Kress-Gazit, Lydia E. Kavraki, Morteza Lahijanian, 2016, IEEE Transactions on Robotics.
Sanjit A. Seshia, Daniel J. Fremont, Supratik Chakraborty, 2015, TACAS.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2001, CONCUR.
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2014 .
Moshe Y. Vardi, James E. Newman, 2020, ArXiv.
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1999, Int. J. Game Theory.
Moshe Y. Vardi, 2014, CACM.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2005, ICDT.
Moshe Y. Vardi, Pablo Barceló, Miguel Romero, 2016, SIAM J. Comput..
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang, 2020, AAAI.
Moshe Y. Vardi, Kuldeep S. Meel, Leonardo Dueñas-Osorio, 2018, Reliab. Eng. Syst. Saf..
Moshe Y. Vardi, Eric Koskinen, Byron Cook, 2011 .
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2015, Inf. Comput..
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2019, AAAI.
Moshe Y. Vardi, Lucas Martinelli Tabajara, L. M. Tabajara, 2019, IJCAI.
Pierre Wolper, Moshe Y. Vardi, P. Wolper, 1984, STOC '84.
Armando Tacchella, Enrico Giunchiglia, Moshe Y. Vardi, 2001, Electron. Notes Discret. Math..
Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi, 1984, PODS '84.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, PROCOMET.
Moshe Y. Vardi, Miguel Romero, Juan L. Reutter, 2017, Theory of Computing Systems.
Thomas A. Henzinger, Rajeev Alur, Moshe Y. Vardi, 2015, SIGL.
Johann A. Makowsky, Moshe Y. Vardi, 2004, Acta Informatica.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).
Moshe Y. Vardi, Deian Tabakov, D. Tabakov, 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Moshe Y. Vardi, 2013, CACM.
Surajit Chaudhuri, Moshe Y. Vardi, S. Chaudhuri, 1993, PODS '93.
Haim Gaifman, Moshe Y. Vardi, H. Gaifman, 1985, Bull. EATCS.
Moshe Y. Vardi, 2010, CACM.
Harry G. Mairson, Moshe Y. Vardi, Paris C. Kanellakis, 1995, J. Log. Program..
Kousha Etessami, Thomas Wilke, Moshe Y. Vardi, 2002, Inf. Comput..
Avner Landver, Moshe Y. Vardi, Boris Ginsburg, 2002, TACAS.
Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, 1994, TARK.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, TOCL.
Yehoshua Sagiv, Moshe Y. Vardi, Y. Sagiv, 1989, PODS '89.
Moshe Y. Vardi, Kuldeep S. Meel, Leonardo Dueñas-Osorio, 2018, ArXiv.
Moshe Y. Vardi, Suguman Bansal, Suguman Bansal, 2019, CAV.
Ronald Fagin, Moshe Y. Vardi, Ronald Fagin, 1985, STOC '85.
Moshe Y. Vardi, Seth Fogarty, Seth Fogarty, 2009, Log. Methods Comput. Sci..
Dejan Nickovic, Thomas A. Henzinger, Moshe Y. Vardi, 2011, CONCUR.
Moshe Y. Vardi, 2018, Commun. ACM.
Moshe Y. Vardi, 1996, Banff Higher Order Workshop.
Yoad Lustig, Moshe Y. Vardi, 2011, GandALF.
Joseph Sifakis, Rajeev Alur, Orna Grumberg, 2012, Formal Methods Syst. Des..
Ulrike Sattler, Orna Kupferman, Moshe Y. Vardi, 2002, CADE.
Moshe Y. Vardi, Wolfgang Thomas, Henry Kautz, 2006, Synthesis and Planning.
Jeffrey D. Ullman, Yehoshua Sagiv, Raghu Ramakrishnan, 1989, PODS.
Moshe Y. Vardi, 2014, Language, Culture, Computation.
Phokion G. Kolaitis, Moshe Y. Vardi, 2000, J. Comput. Syst. Sci..
Phokion G. Kolaitis, Moshe Y. Vardi, 1998, PODS.
Giuseppe De Giacomo, Moshe Y. Vardi, 2015, IJCAI.
Victor Vianu, Moshe Y. Vardi, 2013, CACM.
Moshe Y. Vardi, 2011, CACM.
Moshe Y. Vardi, 2013, CACM.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, LICS.
Mihalis Yannakakis, Orna Kupferman, Yoad Lustig, 2011, STACS.
Moshe Y. Vardi, Jeffrey M. Dudek, 2020, ArXiv.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, STOC '98.
Ahmed Bouajjani, Moshe Y. Vardi, Thomas Ball, 2016, Formal Methods Syst. Des..
Reinhard Wilhelm, Moshe Y. Vardi, Andrzej Tarlecki, 2011, Dagstuhl Manifestos.
Moshe Y. Vardi, Gila Kamhi, Eli Singerman, 2008, 2008 Formal Methods in Computer-Aided Design.
Supratik Chakraborty, Moshe Y. Vardi, Lucas M. Tabajara, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Phokion G. Kolaitis, Moshe Y. Vardi, 1987, STOC.
Giuseppe De Giacomo, Brian Logan, Natasha Alechina, 2018, AAAI.
Moshe Y. Vardi, 2011, CACM.
Benjamin J. McMahan, Moshe Y. Vardi, Guoqiang Pan, 2004, EDBT.
Moshe Y. Vardi, Kuldeep S. Meel, Aditya A. Shrotri, 2017, FSTTCS.
Serge Abiteboul, Victor Vianu, Moshe Y. Vardi, 1992, [1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference.
Moshe Y. Vardi, Guoqiang Pan, Guoqiang Pan, 2004, CP.
Lydia E. Kavraki, Morteza Lahijanian, Moshe Y. Vardi, 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).
Moshe Y. Vardi, 2014, CACM.
Geguang Pu, Moshe Y. Vardi, Kristin Yvonne Rozier, 2020, Artif. Intell..
Moshe Y. Vardi, Pablo Barceló, Miguel Romero, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Moshe Y. Vardi, Kristin Yvonne Rozier, Kristin Y. Rozier, 2011, FM.
Moshe Y. Vardi, Ulrike Sattler, U. Sattler, 2001 .
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2001, DBPL.
Yoad Lustig, Moshe Y. Vardi, 2009, FoSSaCS.
Ronald Fagin, Moshe Y. Vardi, Ronald Fagin, 1985, STOC 1985.
Larry J. Stockmeyer, Moshe Y. Vardi, L. Stockmeyer, 1985, STOC '85.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, MFCS.
Stéphane Lafortune, Rüdiger Ehlers, Stavros Tripakis, 2017, Discret. Event Dyn. Syst..
Devika Subramanian, Moshe Y. Vardi, Cristian Coarfa, 2000, CP.
Moshe Y. Vardi, Roy Armoni, Ranan Fraer, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..
Serge Abiteboul, Victor Vianu, Moshe Y. Vardi, 1995, Theor. Comput. Sci..
Moshe Y. Vardi, Eli Singerman, Yael Abarbanel, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Moshe Y. Vardi, 2007, STACS.
Haim Gaifman, Moshe Y. Vardi, Stavros S. Cosmadakis, 1988, STOC '88.
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2010, J. Log. Comput..
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 1999, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.
Robert P. Kurshan, Moshe Y. Vardi, S. K. Shukla, 1997, CAV 1997.
Yih-Kuen Tsay, Ming-Hsien Tsai, Moshe Y. Vardi, 2010, CIAA.
Lydia E. Kavraki, Erion Plaku, Moshe Y. Vardi, 2008, 2008 IEEE International Conference on Robotics and Automation.
Tomás Feder, Moshe Y. Vardi, T. Feder, 1993, STOC.
Moshe Y. Vardi, 2008, Commun. ACM.
Moshe Y. Vardi, R. Van Der Meyden, 1998 .
Kenneth A. Ross, Surajit Chaudhuri, Jan Van den Bussche, 2005, SGMD.
Moshe Y. Vardi, Roy Armoni, Nir Piterman, 2005, BMC@CAV.
Tomás Feder, Moshe Y. Vardi, T. Feder, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2010, FSTTCS.
Supratik Chakraborty, Moshe Y. Vardi, Aditya A. Shrotri, 2020, 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
Supratik Chakraborty, Moshe Y. Vardi, Kuldeep S. Meel, 2013, CAV.
Moshe Y. Vardi, Leonid Libkin, 2017, PODS.
Marco Pistore, Moshe Y. Vardi, M. Pistore, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Sharad Malik, Sanjit A. Seshia, Daniel J. Fremont, 2015, AAAI Workshop: Beyond NP.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, CAV.
Moshe Y. Vardi, 2019, Commun. ACM.
Moshe Y. Vardi, 2012, Commun. ACM.
Robert P. Kurshan, Orna Kupferman, Moshe Y. Vardi, 2001, CAV.
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1990, Artif. Intell..
Dana Fisman, Orna Kupferman, Moshe Y. Vardi, 2009, Haifa Verification Conference.
Moshe Y. Vardi, Roderick Bloem, Karin Greimel, 2008, ICALP.
Moshe Y. Vardi, Roberto Sebastiani, Stefano Tonetta, 2007, TACAS.
Gabriel M. Kuper, Moshe Y. Vardi, 1985, SIGMOD '85.
Henry A. Kautz, Moshe Y. Vardi, Wolfgang Thomas, 2005, Synthesis and Planning.
Diego Calvanese, Maurizio Lenzerini, Giuseppe De Giacomo, 2000, CIA.
Pierre Wolper, Doron A. Peled, Moshe Y. Vardi, 1995, PSTV.
Geguang Pu, Moshe Y. Vardi, Jianwen Li, 2019, VSTTE.
Phokion G. Kolaitis, Moshe Y. Vardi, 2008, Complexity of Constraints.
Aniello Murano, Sasha Rubin, Moshe Y. Vardi, 2017, LICS 2017.
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2013 .
Moshe Y. Vardi, Guoqiang Pan, Guoqiang Pan, 2003, CADE.
Moshe Y. Vardi, Ron van der Meyden, R. V. D. Meyden, 2014 .
Sandeep K. Shukla, Robert P. Kurshan, Moshe Y. Vardi, 1997, Formal Methods Syst. Des..
Pierre Wolper, Orna Kupferman, Moshe Y. Vardi, 2000, JACM.
Moshe Y. Vardi, 2017, Commun. ACM.
Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi, 1993, [1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference.
Pierre Wolper, Moshe Y. Vardi, Costas Courcoubetis, 1986, STOC '86.
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2017, Inf. Comput..
Marco Pistore, Moshe Y. Vardi, 2007, J. Artif. Intell. Res..
Moshe Y. Vardi, Guoqiang Pan, Andrea Ferrara, 2005, LPAR.
Lydia E. Kavraki, Morteza Lahijanian, Moshe Y. Vardi, 2020, GandALF.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, 1995, PODC '95.
Aniello Murano, Moshe Y. Vardi, Antonio Di Stasio, 2018, CIAA.
Hadas Kress-Gazit, Lydia E. Kavraki, Morteza Lahijanian, 2013, HSCC '13.
Aniello Murano, Moshe Y. Vardi, Fabio Mogavero, 2014 .
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, 2006, LPAR.
Moshe Y. Vardi, 2001, TACAS.
Moshe Y. Vardi, Kevin W.Smith, Kevin W.Smith, 2021, ArXiv.
Moshe Y. Vardi, Rodrigo Ferreira, R. Ferreira, 2021, SIGCSE.
Aniello Murano, Sasha Rubin, Moshe Y. Vardi, 2021, ACM Trans. Comput. Log..
Lydia E. Kavraki, Morteza Lahijanian, Moshe Y. Vardi, 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA).
Moshe Y. Vardi, 2022, Commun. ACM.
Moshe Y. Vardi, 2021, Commun. ACM.
Moshe Y. Vardi, Kuldeep S. Meel, Supratik Chakraborty, 2021 .
Moshe Y. Vardi, Anshumali Shrivastava, Anastasios Kyrillidis, 2021, Artif. Intell..
Georg Gottlob, Maurizio Lenzerini, Luigi Palopoli, 2021, SEBD.
Moshe Y. Vardi, 2021, Commun. ACM.
Moshe Y. Vardi, 2021, 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Moshe Y. Vardi, Gera Weiss, Suguman Bansal, 2021, CAV.
Moshe Y. Vardi, 2021, Commun. ACM.
Geguang Pu, Moshe Y. Vardi, Jianwen Li, 2021, AAAI.
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang, 2020, AAAI.
Moshe Y. Vardi, Jeffrey M. Dudek, Vu H. N. Phan, 2021, SAT.
Moshe Y. Vardi, 2021, Commun. ACM.
Moshe Y. Vardi, M. Yannakakis, Ibm Almaden, 1992 .
Phokion G. Kolaitis, Moshe Y. Vardi, 1990 .
Giuseppe De Giacomo, Moshe Y. Vardi, Diego Calvanese, 2009 .
Moshe Y. Vardi, A. Mendelzon, M. Graham, 1986 .
Moshe Y. Vardi, M. Lenzerini, QueriesDiego, 1999 .
Moshe Y. Vardi, L. Stockmeyer, Ronald Fagin, 1993, SCT.
Moshe Y. Vardi, W. Aspray, Frank Mayadas, 2009 .
Phokion G. Kolaitis, Moshe Y. Vardi, 1990, LICS 1990.
Samin Ishtiaq, Moshe Y. Vardi, Nir Piterman, 2015, Scientific Reports.
Moshe Y. Vardi, J. Ullman, D. Maier, 1982 .
Moshe Y. Vardi, Deian Tabakov, D. Tabakov, 2007 .
Tim Finin, Moshe Y. Vardi, Tom Henderson, 2003 .
Moshe Y. Vardi, 2016 .
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke, 1997 .
Swarat Chaudhuri, Moshe Y. Vardi, Swarat Chaudhuri, 2013 .
Takeo Kanade, Erich J. Neuhold, Moni Naor, 2018 .
Moshe Y. Vardi, Orna Kupferman, Orna Kupferman, 2003 .
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, 1992 .
Moshe Y. Vardi, R. Sebastiani, S. Tonetta, 2004, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, Amnon Ta-Shmay, 1999 .
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1996 .
Moshe Y. Vardi, S. Rajasekaran, 2021, AAMAS.
Moshe Y. Vardi, P. Traverso, R. Daniele, 2007 .
Moshe Y. Vardi, M. Tsai, Yih-Kuen Tsay, 2010 .
Moshe Y. Vardi, M. Yannakakis, M. Kwiatkowska, 2007 .
Moshe Y. Vardi, Moshe Vardi, 2006 .
Moshe Y. Vardi, T. Henzinger, R. Alur, 1998 .
Giuseppe De Giacomo, Moshe Y. Vardi, Diego Calvanese, 2015, 1509.08979.
Moshe Y. Vardi, Anastasios Kyrillidis, Zhiwei Zhang, 2022, ArXiv.
Joseph Y. Halpern, Moshe Y. Vardi, Ronald Fagin, 2003 .
Moshe Y. Vardi, R. Kupferman, Nir Piterman, 2007 .
Moshe Y. Vardi, O. Kupferman, Amnon Ta-Shmay, 1999 .
Moshe Y. Vardi, Giuseppe Perelli, A. Murano, 2012 .
Moshe Y. Vardi, Demetrios D. Demopoulos, 2004 .
Moshe Y. Vardi, Orna Kupferman, Pierre Wolper, 2001, Inf. Comput..
John C. Mitchell, Moshe Y. Vardi, M. Naor, 2004, Lecture Notes in Computer Science.
Moshe Y. Vardi, Wu-chun Feng, Lijun Zhang, 2022, ArXiv.
Moshe Y. Vardi, J. Ouaknine, Axel Legay, 2018, LICS.
Moshe Y. Vardi, D. Yeshurun, A. Wysenbeek, 1978, The Lancet.
Moshe Y. Vardi, Demetrios D. Demopoulos, C. Moore, 2005, Random Struct. Algorithms.
Moshe Y. Vardi, R. V. D. Meyden, 1998, CONCUR.
Giuseppe De Giacomo, Moshe Y. Vardi, Diego Calvanese, 2015, 1509.08979.
Moshe Y. Vardi, QueriesDiego, Calvanese, 2003 .
Moshe Y. Vardi, Moshe Y. Vardi, 1988, Archaeozoology of the Near East XII.
Moshe Y. Vardi, Zhiwei Zhang, 2022, 2209.13063.
Moshe Y. Vardi, Aditya A. Shrotri, Jeffrey M. Dudek, 2022, IJCAI.
Moshe Y. Vardi, M. Pencina, S. Goldhaber, 2014, Clinical and applied thrombosis/hemostasis : official journal of the International Academy of Clinical and Applied Thrombosis/Hemostasis.
Moshe Y. Vardi, Orna Kupferman, Javier Esparza, 1917, Handbook of Automata Theory.
Giuseppe De Giacomo, Moshe Y. Vardi, Diego Calvanese, 2022 .
Moshe Y. Vardi, D. Yeshurun, A. Wysenbeek, 1978, Lancet.
Moshe Y. Vardi, G. Pu, Shufang Zhu, 2019, Formal Methods in System Design.
Moshe Y. Vardi, Kristin Yvonne Rozier, D. Tabakov, 2012, Formal Methods in System Design.
Moshe Y. Vardi, Eric Koskinen, B. Cook, 2012, Formal Methods in System Design.
Moshe Y. Vardi, Jeffrey M. Dudek, L. Dueñas-Osorio, 2022, 2212.12812.
Moshe Y. Vardi, E. Aygören‐Pürsün, I. Martínez-Saguer, 2019, Pediatric allergy and immunology : official publication of the European Society of Pediatric Allergy and Immunology.
Moshe Y. Vardi, K. Eto, M. Hide, 2020, Allergology international : official journal of the Japanese Society of Allergology.
Moshe Y. Vardi, E. Aygören‐Pürsün, I. Martínez-Saguer, 2018, Annals of Allergy, Asthma & Immunology.
Moshe Y. Vardi, Kuldeep S. Meel, Supratik Chakraborty, 2021, Handbook of Satisfiability.
Moshe Y. Vardi, M. Pencina, V. Novack, 2014, Catheterization and cardiovascular interventions : official journal of the Society for Cardiac Angiography & Interventions.
Moshe Y. Vardi, Orna Kupferman, 2007 .
Moshe Y. Vardi, T. Peterson, R. Ferreira, 2023, IEEE Transactions on Technology and Society.
Moshe Y. Vardi, Jeffrey M. Dudek, 2020, ArXiv.
Moshe Y. Vardi, S. Rajasekaran, Suguman Bansal, 2023, IJCAI.
Moshe Y. Vardi, O. Kupferman, N. Piterman, 2002, LPAR.
Moshe Y. Vardi, A. Murano, F. Mogavero, 2010, FSTTCS.
Moshe Y. Vardi, A. Bhatia, M. R. Maly, 2011, IEEE Robotics & Automation Magazine.
Moshe Y. Vardi, 2018, Commun. ACM.
Moshe Y. Vardi, Christos H. Papadimitriou, Ronald Fagin, 2021, SEBD.
Geguang Pu, Moshe Y. Vardi, Shufang Zhu, 2017, IJCAI.
Moshe Y. Vardi, Bastien Maubert, S. Rubin, 2022, KR.
Phokion G. Kolaitis, Moshe Y. Vardi, Phokion G. Kolaitis, 1992, Inf. Comput..
Moshe Y. Vardi, Kuldeep S. Meel, Supratik Chakraborty, 2019 .
Yiannis N. Moschovakis, Moshe Y. Vardi, 2012, SOFSEM.
Moshe Y. Vardi, O. Kupferman, 1999, CHARME.
Sumit Gulwani, Rajeev Alur, Armando Solar-Lezama, 2020, ArXiv.
Moshe Y. Vardi, Anastasios Kyrillidis, Zhiwei Zhang, 2022, arXiv.org.
Moshe Y. Vardi, Eric Koskinen, Byron Cook, 2010 .
Moshe Y. Vardi, P. Babighian, Gila Kamhi, 2007, Design, Automation and Test in Europe.
Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi, 2019, ArXiv.
Moshe Y. Vardi, O. Kupferman, P. Thiagarajan, 2000, CONCUR.
Moshe Y. Vardi, 2022, Commun. ACM.
Moshe Y. Vardi, 1996, Banff Higher Order Workshop.
Moshe Y. Vardi, Yonit Kesteny, Amir Pnueliz, 2001 .
Moshe Y. Vardi, S. Chaudhuri, 1993, PODS.
Joseph Y. Halpern, Moshe Y. Vardi, Ronald Fagin, 1992 .
Giuseppe De Giacomo, Moshe Y. Vardi, Shufang Zhu, 2021, IJCAI.
Moshe Y. Vardi, Alexander N Gorban, A. N. Gorban, 2007, physics/0703278.
Moshe Y. Vardi, J. Fisher, Nir Piterman, 2011, FM.
Giuseppe De Giacomo, Moshe Y. Vardi, Marcelo O. R. Prates, 2020, IJCAI.
Moshe Y. Vardi, Lijun Zhang, Yong Li, 2020, GandALF.
Moshe Y. Vardi, Eric Koskinen, Hiroshi Unno, 2022 .
Anderson R. Tavares, Moshe Y. Vardi, Luis C. Lamb, 2020, ArXiv.
Moshe Y. Vardi, 2012, Commun. ACM.
Phokion G. Kolaitis, Moshe Y. Vardi, Stephen R. Mahaney, 1997, Chic. J. Theor. Comput. Sci..