Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.2168/LMCS-10(4:21)2014 | Logical Methods in Computer Science |
DocType | Volume | Citations |
Journal | 10 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Parosh Aziz Abdulla | 1 | 2010 | 122.22 |
| Lorenzo Clemente | 2 | 114 | 9.24 |
| Richard Mayr | 3 | 389 | 22.29 |
| Sven Sandberg | 4 | 140 | 9.64 |