Gadi Aleksandrowicz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2006–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FDL | 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, Grschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Knighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Rck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao |
| 2014 | AAAI | The Computational Complexity of Structure-Based Causality. | Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii |
| 2014 | LATA | Formulae for Polyominoes on Twisted Cylinders. | Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet |
| 2013 | FMCAD | Generalized counterexamples to liveness properties. | Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo |
| 2011 | AAIM | Parallel Enumeration of Lattice Animals. | Gadi Aleksandrowicz, Gill Barequet |
| 2008 | COCOON | Counting Polycubes without the Dimensionality Curse. | Gadi Aleksandrowicz, Gill Barequet |
| 2006 | COCOON | Counting | Gadi Aleksandrowicz, Gill Barequet |