pldb wrapped

SVASérgio Vale Aguiar Campos

3 papers

cited 314×

cites 11

Reply guy/gal

MYVMoshe Y. Vardi

cited you 15×

Mutuals

1. EAEE. Allen Emerson4 ⇄ 3
2. APAmir Pnueli2 ⇄ 2
3. OGOrna Grumberg2 ⇄ 3
4. APSA. Prasad Sistla3 ⇄ 1
5. AKMAloysius K. Mok2 ⇄ 1

you ⇄ them

Parasocial crush

KHKiyoharu Hamaguchi

you: 2 · them: 0

Secret admirer

TBTevfik Bultan

them: 10 · you: 0

Main character

Symbolic Model Checking

CAV 1996 · cited 309×

Ratio'd

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

TOPLAS 1986 · cited 243× · by your 309×

Vintage

You cite like it's 1990

Deepest dig

The Temporal Logic of Branching Time

POPL 1981

Lamport number3

1. SVAyou
2. MMMarius Minea
3. RPKRobert P. Kurshan
4. 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.