Gadi Aleksandrowicz

20 papers A* 1B 1C 2Misc 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
Qiskit Experiments: A Python package to characterize and calibrate quantum computers.
J. Open Source Softw.
Naoki Kanazawa, Daniel J. Egger, Yael Ben-Haim, Helena Zhang, William E. Shanks, Gadi Aleksandrowicz, Christopher J. Wood
2017 J jnl
Recovering highly-complex linear recurrences of integer sequences.
Inf. Process. Lett.
Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet
2017 J jnl
The Computational Complexity of Structure-Based Causality.
J. Artif. Intell. Res.
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2016 C conf
Designing reliable cyber-physical systems overview associated to the special session at FDL'16.
FDL
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
2014 C conf
Formulae for Polyominoes on Twisted Cylinders.
LATA
Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet
2014 — conf
Generating Modulo-2 Linear Invariants for Hardware Model Checking.
Haifa Verification Conference
Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin
2014 A* conf
The Computational Complexity of Structure-Based Causality.
AAAI
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2014 J jnl
The Computational Complexity of Structure-Based Causality.
CoRR
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2014 J jnl
The growth rate of high-dimensional tree polycubes.
Eur. J. Comb.
Gadi Aleksandrowicz, Gill Barequet
2013 B conf
Generalized counterexamples to liveness properties.
FMCAD
Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo
2013 J jnl
Permutations with forbidden patterns and polyominoes on a twisted cylinder of width 3.
Discret. Math.
Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet
2012 J jnl
A polyominoes-permutations injection and tree-like convex polyominoes.
J. Comb. Theory A
Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet
2011 — —
Enumeration of lattice animals.
Gadi Aleksandrowicz
2011 — conf
Parallel Enumeration of Lattice Animals.
FAW-AAIM
Gadi Aleksandrowicz, Gill Barequet
2011 — conf
Redelmeier's algorithm for counting lattice animals.
SCG
Gadi Aleksandrowicz, Gill Barequet
2011 J jnl
The Growth Rate of High-Dimensional Tree Polycubes.
Electron. Notes Discret. Math.
Gadi Aleksandrowicz, Gill Barequet
2009 J jnl
Counting d-Dimensional Polycubes and nonrectangular Planar polyominoes.
Int. J. Comput. Geom. Appl.
Gadi Aleksandrowicz, Gill Barequet
2009 J jnl
Counting polycubes without the dimensionality curse.
Discret. Math.
Gadi Aleksandrowicz, Gill Barequet
2008 Misc conf
Counting Polycubes without the Dimensionality Curse.
COCOON
Gadi Aleksandrowicz, Gill Barequet
2006 Misc conf
Counting
COCOON
Gadi Aleksandrowicz, Gill Barequet