kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Aloysius K. Mok
3 papers
cited 16×
cites 12
Reply guy/gal
Orna Grumberg
cited you 2×
Mutuals
  1. Amir Pnueli3 ⇄ 1
  2. Edmund M. Clarke4 ⇄ 1
  3. Sérgio Vale Aguiar Campos1 ⇄ 2
  4. Zohar Manna1 ⇄ 1
you ⇄ them
Parasocial crush
Leslie Lamport
you: 2 · them: 0
Secret admirer
Paul C. Attie
them: 2 · you: 0
Main character
Quantitative Temporal Reasoning
CAV 1990 · cited 12×
Vintage
You cite like it's 1984
Deepest dig
On the Temporal Analysis of Fairness
POPL 1980
Lamport number3
  1. you
  2. E. Allen Emerson
  3. Robert P. Kurshan
  4. Leslie Lamport

Load-bearing co-author: E. Allen Emerson. Without them: 5.

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.