pldb wrapped

KHKiyoharu Hamaguchi

6 papers

cited 22×

cites 11

Reply guy/gal

ACAlessandro Cimatti

cited you 5×

Parasocial crush

EAEE. Allen Emerson

you: 6 · them: 0

Secret admirer

STStefano Tonetta

them: 4 · you: 0

Main character

Another Look at LTL Model Checking

CAV 1994 · cited 22×

Ratio'd

The Temporal Logic of Branching Time

POPL 1981 · cited 14× · by your 22×

Vintage

You cite like it's 1985

Deepest dig

The Temporal Logic of Branching Time

POPL 1981

Lamport number4

1. KHyou
2. EMCEdmund M. Clarke
3. EAEE. Allen Emerson
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.