kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Igor Konnov
6 papers
cited 22×
cites 75
Reply guy/gal
Oded Padon
cited you 5×
Mutuals
  1. Oded Padon7 ⇄ 5
  2. Sharon Shoham5 ⇄ 5
  3. Giuliano Losa4 ⇄ 4
  4. Mooly Sagiv3 ⇄ 3
  5. Alexander Bakst2 ⇄ 2
you ⇄ them
Parasocial crush
Edmund M. Clarke
you: 7 · them: 0
Secret admirer
Ivana Vukotic
them: 2 · you: 0
Main character
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of…
CAV 2015 · cited 12×
Ratio'd
FAST Extended Release
CAV 2006 · cited 9× · by your 12×
Vintage
You cite like it's 2015
Deepest dig
Using Partial Orders to Improve Automatic Verification Methods
CAV 1990
Lamport number4
  1. you
  2. Natasha Sharygina
  3. Hana Chockler
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Natasha Sharygina. 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.