| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 30,19 | 30,19 | Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
|
| 10,06 | 20,12 | Improved Distributed Algorithms for SCC Decomposition
|
| 0,00 | 0,00 | Faster Algorithm for Mean-Payoff Games
|
| 0,00 | 0,00 | Faster Algorithm for Mean-Payoff Games
|
| 6,71 | 20,12 | From Distributed Memory Cycle Detection to Parallel LTL Model Checking
|
| 12,04 | 72,24 | DiVinE Library
|
| 0,00 | 0,00 | Improved Distributed Algorithms for SCC Decomposition
|
Back
(c) Michal Bulant, 2011