Counting d-Dimensional Polycubes and Nonrectangular Planar Polyominoes. - Gadi Aleksandrowicz; Gill Barequet (COCOON, 2006)

Counting polycubes without the dimensionality curse. - Gadi Aleksandrowicz; Gill Barequet (Discret. Math., 2009)

Counting d-Dimensional Polycubes and nonrectangular Planar polyominoes. - Gadi Aleksandrowicz; Gill Barequet (Int. J. Comput. Geom. Appl., 2009)

Parallel Enumeration of Lattice Animals. - Gadi Aleksandrowicz; Gill Barequet (FAW-AAIM, 2011)

Redelmeier's algorithm for counting lattice animals. - Gadi Aleksandrowicz; Gill Barequet (SCG, 2011)

The Growth Rate of High-Dimensional Tree Polycubes. - Gadi Aleksandrowicz; Gill Barequet (Electron. Notes Discret. Math., 2011)

Enumeration of lattice animals. - Gadi Aleksandrowicz (2011)

A polyominoes-permutations injection and tree-like convex polyominoes. - Gadi Aleksandrowicz; Andrei Asinowski; Gill Barequet (J. Comb. Theory A, 2012)

Generalized counterexamples to liveness properties. - Gadi Aleksandrowicz; Jason Baumgartner; Alexander Ivrii; Ziv Nevo (FMCAD, 2013)

Permutations with forbidden patterns and polyominoes on a twisted cylinder of width 3. - Gadi Aleksandrowicz; Andrei Asinowski; Gill Barequet (Discret. Math., 2013)

Generating Modulo-2 Linear Invariants for Hardware Model Checking. - Gadi Aleksandrowicz; Alexander Ivrii; Oded Margalit; Dan Rasin (Haifa Verification Conference, 2014)

Formulae for Polyominoes on Twisted Cylinders. - Gadi Aleksandrowicz; Andrei Asinowski; Gill Barequet; Ronnie Barequet (LATA, 2014)

Designing reliable cyber-physical systems overview associated to the special session at FDL'16. - Gadi Aleksandrowicz; Eli Arbel; Roderick Bloem; Timon D. ter Braak; Sergei Devadze; Görschwin Fey; Maksim Jenihhin; Artur Jutman; Hans G. Kerkhoff; Robert Könighofer; Jan Malburg; Shiri Moran; et al. (FDL, 2016)

Recovering highly-complex linear recurrences of integer sequences. - Gadi Aleksandrowicz; Andrei Asinowski; Gill Barequet; Ronnie Barequet (Inf. Process. Lett., 2017)

The Computational Complexity of Structure-Based Causality. - Gadi Aleksandrowicz; Hana Chockler; Joseph Y. Halpern; Alexander Ivrii (J. Artif. Intell. Res., 2017)

Qiskit Experiments: A Python package to characterize and calibrate quantum computers. - Naoki Kanazawa; Daniel J. Egger; Yael Ben-Haim; Helena Zhang; William E. Shanks; Gadi Aleksandrowicz; Christopher J. Wood (J. Open Source Softw., 2023)