Eric Koskinen
27 papers
cited 307×
cites 540
Mutuals
- Mooly Sagiv18 ⇄ 10
- Naoki Kobayashi15 ⇄ 9
- Azadeh Farzan8 ⇄ 8
- Andreas Podelski29 ⇄ 7
- Hiroshi Unno7 ⇄ 7
you ⇄ them
Main character
PPoPP 2008 · cited 57×
Ratio'd
PPoPP 2006 · cited 56× · by your 57×
Vintage
You cite like it's 2011
Early adopter
cited 1 paper before they were published
e.g. Proving LTL Properties of Bitvector… (2021) → Bit-Precise Reasoning via Int-Blasting (VMCAI 2022)
Lamport number3
Load-bearing co-author: Moshe Y. Vardi. Without them: 4.
pldb.kirancodes.me/fun · within PLDB