pldb wrapped

RNRajagopal Nagarajan

5 papers

cited 24×

cites 6

Reply guy/gal

MYMingsheng Ying

cited you 10×

Mutuals

1. MYMingsheng Ying2 ⇄ 10
2. RDRunyao Duan2 ⇄ 2
3. YFYuan Feng2 ⇄ 2

you ⇄ them

Secret admirer

SYShenggang Ying

them: 4 · you: 0

Main character

Communicating quantum processes

POPL 2005 · cited 11×

Vintage

You cite like it's 2009

Deepest dig

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983

Lamport number5

1. RNyou
2. RBRichard Bornat
3. CCCristiano Calcagno
4. LCLuca Cardelli
5. MAMartín Abadi
6. LLLeslie Lamport

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.