Name
Year | Venue | DocType |
|---|---|---|
2017 | SNAPL | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
22 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Karthikeyan Bhargavan | 1 | 1325 | 76.07 |
| Barry Bond | 2 | 0 | 0.34 |
| Antoine Delignat-Lavaud | 3 | 256 | 16.17 |
| Cédric Fournet | 4 | 3698 | 213.79 |
| Chris Hawblitzel | 5 | 578 | 35.08 |
| Catalin Hritcu | 6 | 222 | 15.18 |
| Samin Ishtiaq | 7 | 0 | 0.34 |
| Markulf Kohlweiss | 8 | 1469 | 65.13 |
| Rustan Leino | 9 | 0 | 0.34 |
| Jay R. Lorch | 10 | 0 | 1.01 |
| Kenji Maillard | 11 | 1 | 0.69 |
| Jianyang Pan | 12 | 13 | 0.86 |
| Bryan Parno | 13 | 2400 | 99.97 |
| Jonathan Protzenko | 14 | 88 | 11.94 |
| Tahina Ramananandro | 15 | 78 | 7.64 |
| Ashay Rane | 16 | 76 | 4.80 |
| Aseem Rastogi | 17 | 133 | 14.49 |
| Nikhil Swamy | 18 | 763 | 45.69 |
| Laure Thompson | 19 | 0 | 0.34 |
| Peng Wang | 20 | 385 | 106.03 |
| Santiago Zanella Béguelin | 21 | 114 | 6.28 |
| Jean Karim Zinzindohoue | 22 | 0 | 0.34 |