pldb wrapped

XCXin Chen

10 papers

cited 73×

cites 61

Reply guy/gal

SMSayan Mitra

cited you 11×

Mutuals

1. Eva Darulova2 ⇄ 2
2. ADAlexandre Donzé1 ⇄ 1
3. APAndré Platzer1 ⇄ 1
4. ATAshish Tiwari1 ⇄ 1
5. DZDaming Zou1 ⇄ 1

you ⇄ them

Parasocial crush

Koushik Sen

you: 6 · them: 0

Secret admirer

MVMahesh Viswanathan

them: 7 · you: 0

Main character

Flow*: An Analyzer for Non-linear Hybrid Systems

CAV 2013 · cited 51×

Vintage

You cite like it's 2013

Deepest dig

HORNSAT, Model Checking, Verification and games (Extended Abstract)

CAV 1996

Lamport number4

1. XCyou
2. SSSriram Sankaranarayanan
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Sriram Sankaranarayanan. Without them: 5.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.