kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Miroslav N. Velev
7 papers
cited 22×
cites 20
Reply guy/gal
Ofer Strichman
cited you 5×
Mutuals
  1. Ofer Strichman2 ⇄ 5
  2. Yoav Rodeh2 ⇄ 3
  3. Amir Pnueli2 ⇄ 1
  4. David L. Dill7 ⇄ 1
  5. Ganesh Gopalakrishnan1 ⇄ 1
you ⇄ them
Parasocial crush
Jerry R. Burch
you: 7 · them: 0
Secret admirer
Shuvendu K. Lahiri
them: 4 · you: 0
Main character
Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions
CAV 1999 · cited 17×
Ratio'd
Deciding Equality Formulas by Small Domains Instantiations
CAV 1999 · cited 13× · by your 17×
Vintage
You cite like it's 1998
Deepest dig
Model Checking and Abstraction
POPL 1992
Lamport number5
  1. you
  2. Randal E. Bryant
  3. Thomas W. Reps
  4. Rajeev Alur
  5. Robert P. Kurshan
  6. Leslie 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.