Gadi Aleksandrowicz

According to our database, Gadi Aleksandrowicz authored at least 16 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

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., July, 2023

2017

The Computational Complexity of Structure-Based Causality.

Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii

J. Artif. Intell. Res., 2017

Recovering highly-complex linear recurrences of integer sequences.

Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet

Inf. Process. Lett., 2017

2016

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, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2014

Formulae for Polyominoes on Twisted Cylinders.

Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet

Proceedings of the Language and Automata Theory and Applications, 2014

Generating Modulo-2 Linear Invariants for Hardware Model Checking.

Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Permutations with forbidden patterns and polyominoes on a twisted cylinder of width 3.

Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet

Discret. Math., 2013

Generalized counterexamples to liveness properties.

Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

A polyominoes-permutations injection and tree-like convex polyominoes.

Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet

J. Comb. Theory A, 2012

2011

Enumeration of lattice animals.

Gadi Aleksandrowicz

PhD thesis, 2011

The Growth Rate of High-Dimensional Tree Polycubes.

Gadi Aleksandrowicz, Gill Barequet

Electron. Notes Discret. Math., 2011

Redelmeier's algorithm for counting lattice animals.

Gadi Aleksandrowicz, Gill Barequet

Proceedings of the 27th ACM Symposium on Computational Geometry, 2011

Parallel Enumeration of Lattice Animals.

Gadi Aleksandrowicz, Gill Barequet

Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2011

2009

Counting d-Dimensional Polycubes and nonrectangular Planar polyominoes.

Gadi Aleksandrowicz, Gill Barequet

Int. J. Comput. Geom. Appl., 2009

Counting polycubes without the dimensionality curse.

Gadi Aleksandrowicz, Gill Barequet

Discret. Math., 2009

2006

Counting <i>d</i>-Dimensional Polycubes and Nonrectangular Planar Polyominoes.

Gadi Aleksandrowicz, Gill Barequet

Proceedings of the Computing and Combinatorics, 12th Annual International Conference, 2006