Year | DOI | Field |
---|---|---|
2019 | 10.1007/978-3-030-17465-1_20 | Parameterized complexity,Model checking,Computer science,Automaton,Theoretical computer science,Distributed algorithm,Reachability problem,Semantics,Undecidable problem,Bounded function |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ilina Stoilkovska | 1 | 0 | 1.35 |
Igor Konnov | 2 | 57 | 12.06 |
Josef Widder | 3 | 229 | 23.99 |
Florian Zuleger | 4 | 296 | 25.13 |