Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Valeria Vignali
Maria Concetta Palumbo
Josep M. Olm
Michael Nowak
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
DRAGAN BOŠNAČKI
Author Info
Open Visualization
Name
Affiliation
Papers
DRAGAN BOŠNAČKI
Eindhoven University of Technology, Department of Biomedical Engineering, P.O. Box 513, Den Dolech 2, 5612 MB, Eindhoven, The Netherlands
13
Collaborators
Citations
PageRank
20
113
7.22
Referers
Referees
References
184
369
324
Search Limit
100
369
Publications (13 rows)
Collaborators (20 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Improving GPU sparse matrix-vector multiplication for probabilistic model checking
10
0.53
2012
Parallel probabilistic model checking on general purpose graphics processors
16
0.69
2011
Model checking software: on some new waves and some evergreens
4
0.47
2010
Partial-order reduction for general state exploring algorithms
16
0.67
2009
Behavioural Analysis of an I2C Linux Driver
2
0.38
2009
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
15
0.81
2009
Survey on Directed Model Checking
14
0.52
2008
Efficient approximate verification of Promela models via symmetry markers
5
0.40
2007
Improving spin's partial-order reduction for breadth-first search
16
0.88
2005
On some galois connection based abstractions for the mu-calculus
0
0.34
2005
Cluster-Based Partial-Order Reduction
8
0.67
2004
Black box checking for biochemical networks
0
0.34
2004
A light-weight algorithm for model checking with symmetry reduction and weak fairness
7
0.52
2003
1