pldb wrapped

APSA. Prasad Sistla

25 papers

cited 409×

cites 91

Reply guy/gal

MYVMoshe Y. Vardi

cited you 21×

Mutuals

1. APAmir Pnueli10 ⇄ 13
2. Somesh Jha8 ⇄ 7
3. OGOrna Grumberg4 ⇄ 17
4. PWPierre Wolper4 ⇄ 9
5. EMCEdmund M. Clarke9 ⇄ 3

you ⇄ them

Parasocial crush

LLLeslie Lamport

you: 6 · them: 0

Secret admirer

ABAhmed Bouajjani

them: 8 · you: 0

Main character

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic…

TOPLAS 1986 · cited 243×

Ratio'd

Proving Liveness Properties of Concurrent Programs

TOPLAS 1982 · cited 48× · by your 243×

Vintage

You cite like it's 2001

Deepest dig

On the Temporal Analysis of Fairness

POPL 1980

Lamport number3

1. APSyou
2. EAEE. Allen Emerson
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: E. Allen Emerson. Without them: 4.

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.