Name
Year | Venue | Field |
|---|---|---|
2014 | TACAS | Discrete mathematics,Model checking,Vertex (geometry),Nested word,Computer science,Correctness,Call site,Invariant (mathematics),Recursion,Craig interpolation |
DocType | Citations | PageRank |
Conference | 1 | 0.36 |
References | Authors | |
1 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Evren Ermis | 1 | 25 | 2.91 |
| Alexander Nutz | 2 | 69 | 8.58 |
| Daniel Dietsch | 3 | 80 | 13.53 |
| Jochen Hoenicke | 4 | 292 | 20.43 |
| Andreas Podelski | 5 | 2760 | 197.87 |