Concepedia
Statistics
Publications
6
Citations
134
H-Index
Active since
2008
Affiliations
University of Bremen(Current)
TU Dortmund University
Eindhoven University of Technology
Damian Sulewski is an author at University of Bremen specializing in computer science, computing, and parallel computing.
Publications per year
2008–2011
Parallel probabilistic model checking on general purpose graphics processors
Dragan Bošnački, Stefan Edelkamp, Damian Sulewski et al. · International Journal on Software Tools for Technology Transfer · 2010 · 39 citations
Computing, Computer Engineering, Computer Science +11
GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units
Dragan Bošnački, Stefan Edelkamp, Damian Sulewski et al. · 2010 · 29 citations
Computing, Computer Science, High-performance Computing +17
Perfect Hashing for State Space Exploration on the GPU
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel · Proceedings of the International Conference on Automated Planning and Scheduling · 2010 · 24 citations · Full text
Computing, Computer Engineering, Computer Science +17
Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU
Damian Sulewski, Stefan Edelkamp, Peter Kissmann · Proceedings of the International Conference on Automated Planning and Scheduling · 2011 · 18 citations · Full text
Flash-Efficient LTL Model Checking with Minimal Counterexamples
Stefan Edelkamp, Damian Sulewski · 2008 · 12 citations
Computing, Computer Engineering, Computer Science +15
1–5 of 6