pldb wrapped

YWYaron Wolfsthal

3 papers

cited 8×

cites 8

Reply guy/gal

CECindy Eisner

cited you 2×

Mutuals

1. CECindy Eisner2 ⇄ 2
2. DFDana Fisman1 ⇄ 2
3. SBShoham Ben-David2 ⇄ 1
4. YRYoav Rodeh2 ⇄ 1

you ⇄ them

Parasocial crush

KLMKenneth L. McMillan

you: 2 · them: 0

Main character

RuleBase: Model Checking at IBM

CAV 1997 · cited 4×

Vintage

You cite like it's 1997

Deepest dig

Efficient Model Checking by Automated Ordering of Transition Relation Partitions

CAV 1994

Lamport number4

1. YWyou
2. IBIlan Beer
3. HCHana Chockler
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.