Damien Sereni
7 papers
cited 95×
cites 99
Mutuals
- Andreas Podelski7 ⇄ 2
- Andrey Rybalchenko7 ⇄ 2
- Eelco Visser2 ⇄ 2
- Patrick Lam5 ⇄ 2
- Alex Aiken2 ⇄ 1
you ⇄ them
Ratio'd
CC 2003 · cited 32× · by your 56×
Vintage
You cite like it's 2002
Early adopter
cited 4 papers before they were published
e.g. Termination Analysis of Higher-Order… (2005) → Automatic Termination Proofs for Programs with… (CAV 2006)
Lamport number4
Load-bearing co-author: Ondrej Lhoták. Without them: 5.
pldb.kirancodes.me/fun · within PLDB