Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Gadi Aleksandrowicz
Observed names:
Aleksandrowicz, Gadi,
GADI ALEKSANDROWICZ
Institutions:
IBM (United States),
IBM Research - Haifa
Observed institutions:
IBM (United States),
Technion – Israel Institute of Technology,
King's College London,
Cornell University,
IBM Research - Haifa
OpenAlex ID:
A5016719106
Qiskit Experiments: A Python package to characterize and calibrate quantum computers
2023
·
Naoki Kanazawa
, Daniel J. Egger
, et al.
·
The Journal of Open Source Software
·
43
PDF
COUNTING d-DIMENSIONAL POLYCUBES AND NONRECTANGULAR PLANAR POLYOMINOES
2009
·
GADI ALEKSANDROWICZ
, GILL BAREQUET
·
International Journal of Computational Geometry & Applications
·
25
The Computational Complexity of Structure-Based Causality
2017
·
Gadi Aleksandrowicz
, Hana Chockler
, et al.
·
Journal of Artificial Intelligence Research
·
21
PDF
Counting polycubes without the dimensionality curse
2009
·
Gadi Aleksandrowicz
, Gill Barequet
·
Discrete Mathematics
·
19
The Computational Complexity of Structure-Based Causality
2014
·
Gadi Aleksandrowicz
, Hana Chockler
, et al.
·
Proceedings of the AAAI Conference on Artificial Intelligence
·
8
Counting d-Dimensional Polycubes and Nonrectangular Planar Polyominoes
2006
·
Gadi Aleksandrowicz
, Gill Barequet
·
Lecture notes in computer science
·
8
Designing Reliable Cyber-Physical Systems
2017
·
Gadi Aleksandrowicz
, Eli Arbel
, et al.
·
Lecture notes in electrical engineering
·
6
PDF
Formulae for Polyominoes on Twisted Cylinders
2014
·
Gadi Aleksandrowicz
, Andrei Asinowski
, et al.
·
Lecture notes in computer science
·
5
The Growth Rate of High-Dimensional Tree Polycubes
2011
·
Gadi Aleksandrowicz
, Gill Barequet
·
Electronic Notes in Discrete Mathematics
·
5
The Computational Complexity of Structure-Based Causality
2014
·
Aleksandrowicz, Gadi
, Chockler, Hana
, et al.
·
AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI))
·
3
PDF
Generalized counterexamples to liveness properties
2013
·
Gadi Aleksandrowicz
, Jason Baumgartner
, et al.
·
Formal Methods in Computer-Aided Design
·
3
Parallel Enumeration of Lattice Animals
2011
·
Gadi Aleksandrowicz
, Gill Barequet
·
Lecture notes in computer science
·
3
A polyominoes-permutations injection and tree-like convex polyominoes
2011
·
Gadi Aleksandrowicz
, Andrei Asinowski
, et al.
·
Journal of Combinatorial Theory Series A
·
2
Counting Polycubes without the Dimensionality Curse
2008
·
Gadi Aleksandrowicz
, Gill Barequet
·
Lecture notes in computer science
·
2
Practical Quantum State Tomography for Gibbs states
2021
·
Lifshitz, Yotam Y.
, Bairey, Eyal
, et al.
·
arXiv (Cornell University)
·
1
PDF
Designing reliable cyber-physical systems overview associated to the special session at FDL'16
2016
·
Gadi Aleksandrowicz
, Eli Arbel
, et al.
·
Forum on specification and Design Languages
·
1
Permutations with forbidden patterns and polyominoes on a twisted cylinder of width 3
2013
·
Gadi Aleksandrowicz
, Andrei Asinowski
, et al.
·
Discrete Mathematics
·
1
PDF
Redelmeier's algorithm for counting lattice animals
2011
·
Gadi Aleksandrowicz
, Gill Barequet
·
Annual Symposium on Computational Geometry (SoCG)
·
1
Recovering highly-complex linear recurrences of integer sequences
2017
·
Gadi Aleksandrowicz
, Andrei Asinowski
, et al.
·
Information Processing Letters
Generating Modulo-2 Linear Invariants for Hardware Model Checking
2014
·
Gadi Aleksandrowicz
, Alexander Ivrii
, et al.
·
Lecture notes in computer science
The growth rate of high-dimensional tree polycubes
2013
·
Gadi Aleksandrowicz
, Gill Barequet
·
European Journal of Combinatorics
PDF
Enumeration of Lattice Animals
2011
·
Gadi Aleksandrowicz
Show more works
View as search
Works count:
24
Citation count:
1,591
H-index:
7
I10-index:
5
Year
Topic
Type
