pldb wrapped

GNGethin Norman

12 papers

cited 340×

cites 54

Reply guy/gal

JKJoost-Pieter Katoen

cited you 46×

Mutuals

1. HHHolger Hermanns6 ⇄ 14
2. JKJoost-Pieter Katoen6 ⇄ 46
3. CBChristel Baier4 ⇄ 12
4. ASAistis Simaitis2 ⇄ 2
5. EMCEdmund M. Clarke7 ⇄ 2

you ⇄ them

Parasocial crush

KLMKenneth L. McMillan

you: 5 · them: 0

Secret admirer

SJSebastian Junges

them: 37 · 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 2004

Deepest dig

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983

Lamport number4

1. GNyou
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.