Juan Chen
13 papers
cited 230×
cites 146
Mutuals
- Karthikeyan Bhargavan5 ⇄ 5
- Andrew D. Gordon12 ⇄ 4
- Matthias Felleisen4 ⇄ 4
- Ranjit Jhala4 ⇄ 12
- Steve Zdancewic6 ⇄ 4
you ⇄ them
Vintage
You cite like it's 2006
Early adopter
cited 2 papers before they were published
e.g. Type-preserving compilation of… (2010) → Refinement types for secure implementations (TOPLAS 2011)
Lamport number3
pldb.kirancodes.me/fun · within PLDB