Raghavan Komondoor
13 papers
cited 108×
cites 133
Mutuals
Manu Sridharan3 ⇄ 3
- Ranjit Jhala2 ⇄ 3
Rupak Majumdar2 ⇄ 2
- Andreas Katis3 ⇄ 1
- Arie van Deursen1 ⇄ 1
you ⇄ them
Vintage
You cite like it's 2008
Early adopter
cited 1 paper before they were published
e.g. Symbolic Fixpoint Algorithms for… (2023) → Solving Infinite-State Games via Acceleration (POPL 2024)
Lamport number4
Load-bearing co-author: G. Ramalingam. Without them: 5.
pldb.kirancodes.me/fun · within PLDB