Mutuals
- David Walker19 ⇄ 7
- Ryan Beckett7 ⇄ 8
Loris D'Antoni6 ⇄ 8
- Alejandro Aguirre8 ⇄ 5
- Lars Birkedal15 ⇄ 5
you ⇄ them
Ratio'd
ESOP 2011 · cited 30× · by your 31×
Vintage
You cite like it's 2015
Early adopter
cited 1 paper before they were published
e.g. Outcome Logic: A Unifying Foundation… (2023) → Hyper Hoare Logic: (Dis-)Proving Program… (PLDI 2024)
Lamport number4
pldb.kirancodes.me/fun · within PLDB