pldb wrapped

DPDavid Parker

23 papers

cited 437×

cites 112

Reply guy/gal

JKJoost-Pieter Katoen

cited you 65×

Mutuals

1. JKJoost-Pieter Katoen15 ⇄ 65
2. SJSebastian Junges10 ⇄ 58
3. KCKrishnendu Chatterjee9 ⇄ 31
4. HHHolger Hermanns8 ⇄ 16
5. TAHThomas A. Henzinger10 ⇄ 8

you ⇄ them

Parasocial crush

KEKousha Etessami

you: 8 · them: 0

Secret admirer

TWTobias Winkler

them: 18 · you: 0

Main character

PRISM 4.0: Verification of Probabilistic Real-Time Systems

CAV 2011 · cited 206×

Ratio'd

Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

CAV 2002 · cited 32× · by your 206×

Vintage

You cite like it's 2008

Deepest dig

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983

Lamport number4

1. DPyou
2. LALuca de Alfaro
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. 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.