Name
Year | DOI | Venue |
|---|---|---|
2019 | 10.1007/978-3-030-30942-8_12 | FM |
Field | DocType | Citations |
Linearizability,Sequential data,Computer science,Queue,Correctness,Theoretical computer science,Mathematical proof,Concurrent data structure,AKA,Formal proof | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| John Derrick | 1 | 102 | 3.90 |
| Simon Doherty | 2 | 3 | 0.73 |
| Brijesh Dongol | 3 | 193 | 25.27 |
| Gerhard Schellhorn | 4 | 769 | 56.43 |
| Heike Wehrheim | 5 | 1013 | 104.85 |