kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Fabio Zanasi
6 papers
cited 15×
cites 10
Reply guy/gal
Alessandro Di Giorgio
cited you 3×
Mutuals
  1. Dexter Kozen2 ⇄ 1
  2. Filippo Bonchi1 ⇄ 1
  3. Nate Foster2 ⇄ 1
  4. Sam Staton1 ⇄ 1
  5. Younesse Kaddar1 ⇄ 1
you ⇄ them
Secret admirer
Alessio Santamaria
them: 3 · you: 0
Main character
Full Abstraction for Signal Flow Graphs
POPL 2015 · cited 6×
Vintage
You cite like it's 2016
Deepest dig
Kleene Algebra with Tests
TOPLAS 1997
Lamport number4
  1. you
  2. Tobias Kappé
  3. J. Gregory Morrisett
  4. Fred B. Schneider
  5. Leslie Lamport

Load-bearing co-author: Tobias Kappé. 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.