pldb wrapped

AKAyrat Khalimov

6 papers

cited 29×

cites 39

Reply guy/gal

MSMouhammad Sakr

cited you 6×

Mutuals

1. BFBernd Finkbeiner1 ⇄ 2
2. HCHana Chockler1 ⇄ 1
3. KCKrishnendu Chatterjee1 ⇄ 1
4. MEMasoud Ebrahimi1 ⇄ 1
5. MLMichael Luttenberger1 ⇄ 1

you ⇄ them

Parasocial crush

APAmir Pnueli

you: 5 · them: 0

Secret admirer

CWChristopher Wagner

them: 4 · you: 0

Main character

Tight Cutoffs for Guarded Protocols with Fairness

VMCAI 2016 · cited 10×

Vintage

You cite like it's 2010

Deepest dig

Synthesis of Communicating Processes from Temporal Logic Specifications

TOPLAS 1984

Lamport number4

1. AKyou
2. RBRoderick Bloem
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.