Gadi Aleksandrowicz

发表

Joseph Y. Halpern, Hana Chockler, Alexander Ivrii, 2014, AAAI 2014.

Gadi Aleksandrowicz, 2011 .

Gill Barequet, Gadi Aleksandrowicz, G. Barequet, 2011, FAW-AAIM.

I. Arad, H. Landa, Eyal Bairey, 2021, 2112.10418.

Andrei Asinowski, Gill Barequet, Ronnie Barequet, 2017, Inf. Process. Lett..

Andrei Asinowski, Gill Barequet, Ronnie Barequet, 2014, LATA.

Gill Barequet, Gadi Aleksandrowicz, G. Barequet, 2011, Eur. J. Comb..

Andrei Asinowski, Gill Barequet, Gadi Aleksandrowicz, 2013, Discret. Math..

Gill Barequet, Gadi Aleksandrowicz, G. Barequet, 2008, Discret. Math..

Gill Barequet, Gadi Aleksandrowicz, G. Barequet, 2006, Int. J. Comput. Geom. Appl..

Jason Baumgartner, Alexander Ivrii, Ziv Nevo, 2013, 2013 Formal Methods in Computer-Aided Design.

Joseph Y. Halpern, Hana Chockler, Alexander Ivrii, 2014, AAAI.

C. J. Wood, Y. Ben-Haim, W. Shanks, 2023, J. Open Source Softw..

Yong Zhao, Görschwin Fey, Jaan Raik, 2016, 2016 Forum on Specification and Design Languages (FDL).

Jaan Raik, Hans G. Kerkhoff, Sergei Devadze, 2018 .