kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
David A. Basin
21 papers
cited 63×
cites 99
Reply guy/gal
Josef Widder
cited you 5×
Mutuals
  1. Cezara Dragoi3 ⇄ 2
  2. Josef Widder2 ⇄ 5
  3. Ahmed Bouajjani1 ⇄ 1
  4. Amir Pnueli1 ⇄ 1
  5. Anders Sandholm3 ⇄ 1
you ⇄ them
Parasocial crush
Koushik Sen
you: 5 · them: 0
Secret admirer
Amin Timany
them: 3 · you: 0
Main character
Cutoff Bounds for Consensus Algorithms
CAV 2017 · cited 14×
Ratio'd
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of…
CAV 2015 · cited 12× · by your 14×
Vintage
You cite like it's 2011
Deepest dig
On the Construction of Submodule Specifications and Communication Protocols
TOPLAS 1983
Lamport number4
  1. you
  2. Alessandro Armando
  3. Marius Minea
  4. Robert P. Kurshan
  5. 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.