pldb wrapped

DBDoron Bustan

4 papers

cited 9×

cites 15

Reply guy/gal

DFDana Fisman

cited you 2×

Mutuals

1. DFDana Fisman3 ⇄ 2
2. CECindy Eisner3 ⇄ 1
3. IBIlan Beer3 ⇄ 1
4. RARoy Armoni2 ⇄ 1
5. SBShoham Ben-David3 ⇄ 1

you ⇄ them

Parasocial crush

AFAlon Flaisher

you: 3 · them: 0

Secret admirer

SSSven Schewe

them: 2 · you: 0

Main character

Resets vs. Aborts in Linear Temporal Logic

TACAS 2003 · cited 6×

Vintage

You cite like it's 1992

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number3

1. DByou
2. OKOrna Kupferman
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.