Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.2168/LMCS-9(1:8)2013 | Logical Methods in Computer Science |
DocType | Volume | Citations |
Journal | 9 | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stefan Kiefer | 1 | 345 | 36.87 |
| Andrzej S. Murawski | 2 | 324 | 32.93 |
| Joël Ouaknine | 3 | 1481 | 99.25 |
| Björn Wachter | 4 | 326 | 20.09 |
| James Worrell | 5 | 1040 | 81.17 |