( en | de | ru )

 

Disambiguierung von "Aleksandrowicz, Gadi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Computational Complexity of Structure-Based Causality.

, , , und . AAAI, Seite 974-980. AAAI Press, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Paulina Aleksandrowicz

Gadi Algazi

Paula Aleksandrowicz

Gadi Lenz

Alfred Gadiel

 

Weitere Publikationen von Autoren mit dem selben Namen

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