Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-31784-3_26 | ATVA |
Field | DocType | Citations |
Discrete mathematics,Model checking,Exponential function,Computer science,Automaton,Emptiness,Probabilistic logic,True quantified Boolean formula,Time complexity,Parity (mathematics) | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christel Baier | 1 | 3053 | 185.85 |
Frantisek Blahoudek | 2 | 48 | 4.02 |
Alexandre Duret Lutz | 3 | 213 | 17.70 |
Joachim Klein | 4 | 91 | 5.77 |
David Müller | 5 | 22 | 2.39 |
Jan Strejcek | 6 | 99 | 13.83 |