pldb wrapped

SBShoham Ben-David

10 papers

cited 77×

cites 40

Reply guy/gal

MYVMoshe Y. Vardi

cited you 16×

Mutuals

1. OGOrna Grumberg6 ⇄ 7
2. MYVMoshe Y. Vardi2 ⇄ 16
3. ACAlessandro Cimatti1 ⇄ 2
4. AMAnthony McIsaac1 ⇄ 2
5. ATArmando Tacchella1 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 7 · them: 0

Secret admirer

LFLimor Fix

them: 6 · you: 0

Main character

Efficient Detection of Vacuity in ACTL Formulaas

CAV 1997 · cited 18×

Ratio'd

The Modular Framework of Computer-Aided Verification

CAV 1990 · cited 7× · by your 9×

Vintage

You cite like it's 2003

Deepest dig

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983

Lamport number3

1. SByou
2. HCHana Chockler
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Hana Chockler. 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.