Gadi Aleksandrowicz

发表

Gill Barequet, Gadi Aleksandrowicz, 2009, Int. J. Comput. Geom. Appl..

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

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

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

Andrei Asinowski, Gill Barequet, Gadi Aleksandrowicz, 2013, 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 2014.

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

Gill Barequet, Gadi Aleksandrowicz, 2014, Eur. J. Comb..

Gill Barequet, Gadi Aleksandrowicz, 2011, SoCG '11.

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

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

Gill Barequet, Gadi Aleksandrowicz, 2008, COCOON.

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

Alexander Ivrii, Oded Margalit, Gadi Aleksandrowicz, 2014, Haifa Verification Conference.

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

Andrei Asinowski, Gill Barequet, Gadi Aleksandrowicz, 2012, J. Comb. Theory, Ser. A.