( en | de | ru )

 

Disambiguation of "Sulewski, Damian"

Author of the publication

copydeleteadd this publication to your clipboard
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.

, , , and . MKWI, page 2295-2308. Universitätsverlag Göttingen, (2010)

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.

Damian Blumenröder

Damian Hecker

Damian Kopyto

Damián Cornejo

Hans Damian

 

Other publications of authors with the same name

Efficient Explicit-State Model Checking on General Purpose Graphics Processors., and . SPIN, volume 6349 of Lecture Notes in Computer Science, page 106-123. Springer, (2010)External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU., and . MoChArt, volume 6572 of Lecture Notes in Computer Science, page 12-31. Springer, (2010)Can Flash Memory Help in Model Checking?, , , , and . FMICS, volume 5596 of Lecture Notes in Computer Science, page 150-165. Springer, (2008)Distributed Verification of Multi-threaded C++ Programs., , and . PDMC@CAV, volume 198 of Electronic Notes in Theoretical Computer Science, page 33-46. Elsevier, (2007)GPU Exploration of Two-Player Games with Perfect Hash Functions., , and . SOCS, page 23-30. AAAI Press, (2010)Large scale parallel state space search utilizing graphics processing units and solid state disks.. Dortmund University of Technology, (2012)Program Model Checking via Action Planning., , and . MoChArt, volume 6572 of Lecture Notes in Computer Science, page 32-51. Springer, (2010)Perfect Hashing for State Space Exploration on the GPU., , and . ICAPS, page 57-64. AAAI, (2010)Efficient Probabilistic Model Checking on General Purpose Graphics Processors., , and . SPIN, volume 5578 of Lecture Notes in Computer Science, page 32-49. Springer, (2009)Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search., , , and . MKWI, page 2295-2308. Universitätsverlag Göttingen, (2010)