Author of the publication

Formulae for Polyominoes on Twisted Cylinders.

, , , and . LATA, volume 8370 of Lecture Notes in Computer Science, page 76-87. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Parallel Enumeration of Lattice Animals., and . FAW-AAIM, volume 6681 of Lecture Notes in Computer Science, page 90-99. Springer, (2011)Generalized counterexamples to liveness properties., , , and . FMCAD, page 169-180. IEEE, (2013)Counting d-Dimensional Polycubes and Nonrectangular Planar Polyominoes., and . COCOON, volume 4112 of Lecture Notes in Computer Science, page 418-427. Springer, (2006)Redelmeier's algorithm for counting lattice animals., and . SCG, page 283-284. ACM, (2011)Counting d-Dimensional Polycubes and nonrectangular Planar polyominoes., and . Int. J. Comput. Geom. Appl., 19 (3): 215-229 (2009)The Computational Complexity of Structure-Based Causality., , , and . AAAI, page 974-980. AAAI Press, (2014)Formulae for Polyominoes on Twisted Cylinders., , , and . LATA, volume 8370 of Lecture Notes in Computer Science, page 76-87. Springer, (2014)Enumeration of lattice animals.. Technion - Israel Institute of Technology, Israel, (2011)Generating Modulo-2 Linear Invariants for Hardware Model Checking., , , and . Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 54-67. Springer, (2014)Counting Polycubes without the Dimensionality Curse., and . COCOON, volume 5092 of Lecture Notes in Computer Science, page 100-109. Springer, (2008)