by Kupferman, Orna, Perelli, Giuseppe, Vardi, Moshe Y.
Published in Annals of mathematics and artificial intelligence (01.09.2016)

by Treangen, Todd J, Vardi, Moshe Y
Published in Nature biotechnology (01.10.2023)

by Li, Jianwen, Pu, Geguang, Zhang, Yueling, Vardi, Moshe Y., Rozier, Kristin Y.
Published in Artificial intelligence (01.12.2020)

by Lahijanian, Morteza, Maly, Matthew R., Fried, Dror, Kavraki, Lydia E., Kress-Gazit, Hadas, Vardi, Moshe Y.
Published in IEEE transactions on robotics (01.06.2016)

by Kyrillidis, Anastasios, Shrivastava, Anshumali, Vardi, Moshe Y., Zhang, Zhiwei
Published in Artificial intelligence (01.10.2021)

by Reutter, Juan L., Romero, Miguel, Vardi, Moshe Y.
Published in Theory of computing systems (01.07.2017)

by Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe Y.
Published in Discrete event dynamic systems (01.06.2017)

by Plaku, Erion, Kavraki, Lydia E, Vardi, Moshe Y
Published in IEEE transactions on robotics (01.06.2010)

by Vardi, Moshe, Levy, Nina S., Levy, Andrew P.
Published in Journal of lipid research (01.09.2013)

by Hide, Michihiro, Fukunaga, Atsushi, Maehara, Junichi, Eto, Kazunori, Hao, James, Vardi, Moshe, Nomoto, Yuji
Published in Allergology international (01.04.2020)

by Kupferman, Orna, Perelli, Giuseppe, Vardi, Moshe Y.
Published in Multi-Agent Systems

by Vardi, Moshe Y., Fogarty, Seth, Li, Yong, Tsay, Yih-Kuen
Published in Principles of Systems Design

by Chakraborty, Supratik, Fried, Dror, Tabajara, Lucas M., Vardi, Moshe Y.
Published in Formal methods in system design (01.04.2022)

by Li, Jianwen, Zhu, Shufang, Pu, Geguang, Zhang, Lijun, Vardi, Moshe Y.
Published in Formal methods in system design (01.11.2019)

by Lustig, Yoad, Vardi, Moshe Y.
Published in International journal on software tools for technology transfer (01.10.2013)

by De Giacomo, Giuseppe, Di Stasio, Antonio, Tabajara, Lucas M., Vardi, Moshe Y., Zhu, Shufang
Published in Formal methods in system design (01.12.2022)

by Peterson, Tina L., Ferreira, Rodrigo, Vardi, Moshe Y.
Published in IEEE transactions on technology and society (01.03.2023)

by Zhu, Shufang, M. Tabajara, Lucas, Pu, Geguang, Y. Vardi, Moshe
Published in Electronic proceedings in theoretical computer science (17.09.2021)

by Bhatia, A., Maly, M. R., Kavraki, L. E., Vardi, M. Y.
Published in IEEE robotics & automation magazine (01.09.2011)

by Meel, Kuldeep S., Shrotri, Aditya A., Vardi, Moshe Y.
Published in Constraints : an international journal (01.10.2019)