Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yang Wang
Claudia Calabrese
Maria Concetta Palumbo
Christoph Sticksel
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Hagberg Aric
Home
/
Author
/
DAMIAN SULEWSKI
Author Info
Open Visualization
Name
Affiliation
Papers
DAMIAN SULEWSKI
TZI, University of Bremen, Germany
13
Collaborators
Citations
PageRank
13
87
6.45
Referers
Referees
References
122
369
297
Search Limit
100
369
Publications (13 rows)
Collaborators (13 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Parallel probabilistic model checking on general purpose graphics processors
16
0.69
2011
Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU.
5
0.45
2011
External memory breadth-first search with delayed duplicate detection on the GPU
2
0.38
2010
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.
4
0.59
2010
GPU Exploration of Two-Player Games with Perfect Hash Functions.
6
0.46
2010
Efficient explicit-state model checking on general purpose graphics processors
13
0.61
2010
Perfect Hashing for State Space Exploration on the GPU
8
0.53
2010
Program model checking via action planning
4
0.41
2010
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
15
0.81
2009
Flash-Efficient LTL Model Checking with Minimal Counterexamples
7
0.42
2008
Distributed Verification of Multi-threaded C++ Programs
1
0.35
2008
Can Flash Memory Help in Model Checking?
4
0.40
2008
External Memory Search for Verification of Multi-threaded C++ Programs
2
0.35
2008
1