kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Ilan Beer
8 papers
cited 84×
cites 22
Reply guy/gal
Moshe Y. Vardi
cited you 16×
Mutuals
  1. Orna Grumberg6 ⇄ 9
  2. Anthony McIsaac1 ⇄ 3
  3. Cindy Eisner1 ⇄ 2
  4. Dana Fisman1 ⇄ 2
  5. David Van Campenhout1 ⇄ 2
you ⇄ them
Parasocial crush
Edmund M. Clarke
you: 5 · them: 0
Secret admirer
Limor Fix
them: 6 · you: 0
Main character
Efficient Detection of Vacuity in ACTL Formulaas
CAV 1997 · cited 18×
Ratio'd
Verifying Temporal Properties of Sequential Machines Without Building their…
CAV 1990 · cited 11× · by your 13×
Vintage
You cite like it's 1995
Deepest dig
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…
POPL 1983
Lamport number3
  1. you
  2. Hana Chockler
  3. Robert P. Kurshan
  4. Leslie Lamport

Load-bearing co-author: Hana Chockler. Without them: 4.

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.