| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 5,03 | 30,19 | DiVinE -- A Tool for Distributed Verification
|
| 2,41 | 14,45 | DiVinE -- A Tool for Distributed Verification
|
| 10,06 | 20,12 | Shared Hash Tables in Parallel Model Checking
|
| 24,08 | 72,24 | DiVinE Multi-Core
|
| 4,82 | 14,45 | DiVinE Multi-Core -- A Parallel LTL Model-Checker
|
| 18,06 | 72,24 | DiVinE 2.0
|
| 4,82 | 14,45 | DiVinE 2.0: High-Performance Model Checking
|
| 4,82 | 14,45 | A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
|
| 4,82 | 14,45 | Scalable Multi-core LTL Model-Checking
|
| 10,06 | 30,19 | Scalable Multi-core LTL Model-Checking
|
| 0,00 | 0,00 | Shared Hash Tables in Parallel Model Checking
|
Back
(c) Michal Bulant, 2011