pldb wrapped

CECindy Eisner

6 papers

cited 43×

cites 18

Reply guy/gal

MYVMoshe Y. Vardi

cited you 8×

Mutuals

1. MYVMoshe Y. Vardi3 ⇄ 8
2. OGOrna Grumberg2 ⇄ 4
3. OKOrna Kupferman2 ⇄ 5
4. RARoy Armoni2 ⇄ 5
5. YWYaron Wolfsthal2 ⇄ 2

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 5 · them: 0

Secret admirer

HCHana Chockler

them: 4 · you: 0

Main character

Efficient Detection of Vacuity in ACTL Formulaas

CAV 1997 · cited 18×

Ratio'd

Resets vs. Aborts in Linear Temporal Logic

TACAS 2003 · cited 6× · by your 7×

Vintage

You cite like it's 1998

Deepest dig

BDD-Based Debugging Of Design Using Language Containment and Fair CTL

CAV 1993

Lamport number4

1. CEyou
2. DFDana Fisman
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.