pldb wrapped

DGDaniel Geist

5 papers

cited 34×

cites 16

Reply guy/gal

MYVMoshe Y. Vardi

cited you 7×

Mutuals

1. OGOrna Grumberg3 ⇄ 6
2. ABArmin Biere1 ⇄ 1
3. HRAHenrik Reif Andersen1 ⇄ 1
4. JLJørn Lind-Nielsen1 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 4 · them: 0

Secret admirer

OKOrna Kupferman

them: 4 · you: 0

Main character

Efficient Model Checking by Automated Ordering of Transition Relation Partitions

CAV 1994 · cited 13×

Ratio'd

Verifying Temporal Properties of Sequential Machines Without Building their…

CAV 1990 · cited 11× · by your 13×

Vintage

You cite like it's 1996

Deepest dig

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983

Lamport number4

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