pldb wrapped

SASScott A. Smolka

21 papers

cited 76×

cites 91

Reply guy/gal

JKJoost-Pieter Katoen

cited you 7×

Mutuals

1. APAndreas Podelski2 ⇄ 4
2. KGLKim Guldstrand Larsen3 ⇄ 2
3. RCRance Cleaveland6 ⇄ 2
4. TAHThomas A. Henzinger2 ⇄ 3
5. APAmir Pnueli2 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 10 · them: 0

Secret admirer

SJSebastian Junges

them: 7 · you: 0

Main character

Incremental Model Checking in the Modal Mu-Calculus

CAV 1994 · cited 17×

Ratio'd

The State of SPIN

CAV 1996 · cited 15× · by your 16×

Vintage

You cite like it's 1996

Deepest dig

Finite Differencing of Computable Expressions

TOPLAS 1982

Lamport number4

1. SASyou
2. RGRadu Grosu
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.