Gadi Aleksandrowicz

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 4

Top Topics

Convex Constraints

Horizontal And Vertical Projections

Computational Complexity

Top Venues

Inf. Process. Lett.

J. Artif. Intell. Res.

Publications

Naoki Kanazawa, Daniel J. Egger, Yael Ben-Haim, Helena Zhang, William E. Shanks, Gadi Aleksandrowicz, Christopher J. Wood
Qiskit Experiments: A Python package to characterize and calibrate quantum computers. J. Open Source Softw. 8 (87) (2023)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. 58 (2017)
Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet
Recovering highly-complex linear recurrences of integer sequences. Inf. Process. Lett. 127 (2017)
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, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
Designing reliable cyber-physical systems overview associated to the special session at FDL'16. FDL (2016)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. AAAI (2014)
Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet
Formulae for Polyominoes on Twisted Cylinders. LATA (2014)
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
The Computational Complexity of Structure-Based Causality. CoRR (2014)
Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin
Generating Modulo-2 Linear Invariants for Hardware Model Checking. Haifa Verification Conference (2014)
Gadi Aleksandrowicz, Gill Barequet
The growth rate of high-dimensional tree polycubes. Eur. J. Comb. 35 (2014)
Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo
Generalized counterexamples to liveness properties. FMCAD (2013)
Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet
Permutations with forbidden patterns and polyominoes on a twisted cylinder of width 3. Discret. Math. 313 (10) (2013)
Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet
A polyominoes-permutations injection and tree-like convex polyominoes. J. Comb. Theory, Ser. A 119 (3) (2012)
Gadi Aleksandrowicz, Gill Barequet
The Growth Rate of High-Dimensional Tree Polycubes. Electron. Notes Discret. Math. 38 (2011)
Gadi Aleksandrowicz, Gill Barequet
Redelmeier's algorithm for counting lattice animals. SCG (2011)
Gadi Aleksandrowicz, Gill Barequet
Parallel Enumeration of Lattice Animals. FAW-AAIM (2011)
Gadi Aleksandrowicz, Gill Barequet
Counting d-Dimensional Polycubes and nonrectangular Planar polyominoes. Int. J. Comput. Geom. Appl. 19 (3) (2009)
Gadi Aleksandrowicz, Gill Barequet
Counting polycubes without the dimensionality curse. Discret. Math. 309 (13) (2009)
Gadi Aleksandrowicz, Gill Barequet
Counting Polycubes without the Dimensionality Curse. COCOON (2008)
Gadi Aleksandrowicz, Gill Barequet
-Dimensional Polycubes and Nonrectangular Planar Polyominoes. COCOON (2006)