Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | 4,82 | 14,45 | On Digraph Width Measures in Parameterized Algorithmics
|
0,00 | 0,00 | Qualitative Reachability in Stochastic BPA Games
|
14,45 | 14,45 | DAG-width - Connectivity Measure for Directed Graphs
|
11,20 | 33,60 | Stanse - Static Analysis Framework for C Code
|
30,19 | 30,19 | Clique-Width and Parity Games
|
14,45 | 14,45 | Clique-Width and Parity Games
|
Back
(c) Michal Bulant, 2011