kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Carlo Ghezzi
25 papers
cited 124×
cites 72
Reply guy/gal
David S. Rosenblum
cited you 6×
Mutuals
  1. Jeff Kramer6 ⇄ 4
  2. Sebastián Uchitel5 ⇄ 4
  3. Jeff Magee4 ⇄ 3
  4. Corina S. Pasareanu2 ⇄ 3
  5. David S. Rosenblum2 ⇄ 6
you ⇄ them
Parasocial crush
David Parker
you: 4 · them: 0
Secret admirer
Henry Hoffmann
them: 6 · you: 0
Main character
Run-time efficient probabilistic model checking
ICSE 2011 · cited 21×
Ratio'd
Model-based Verification of Web Service Compositions
ASE 2003 · cited 14× · by your 17×
Vintage
You cite like it's 2006
Deepest dig
Program Slicing
ICSE 1981
Lamport number4
  1. you
  2. Luciano Baresi
  3. Moshe Y. Vardi
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Luciano Baresi. 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.