Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.14279/tuj.eceasst.66.885 | ECEASST |
Field | DocType | Volume |
Linearizability,Separation logic,Programming language,Interval temporal logic,Non-blocking algorithm,Computer science,Heap (data structure),Theoretical computer science,Allocator,Proof assistant,Liveness | Journal | 66 |
Citations | PageRank | References |
2 | 0.37 | 11 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bogdan Tofan | 1 | 86 | 4.93 |
| Gerhard Schellhorn | 2 | 769 | 56.43 |
| Gidon Ernst | 3 | 144 | 14.46 |
| Jörg Pfähler | 4 | 82 | 6.28 |
| Wolfgang Reif | 5 | 64 | 4.83 |