kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Fabian Immler
4 papers
cited 6×
cites 6
Reply guy/gal
Adrián Doña Mateo
cited you 1×
Mutuals
  1. André Platzer1 ⇄ 1
  2. Ivana Vukotic1 ⇄ 1
  3. Marcus Völp1 ⇄ 1
  4. Rose Bohrer1 ⇄ 1
  5. Vincent Rahli1 ⇄ 1
you ⇄ them
Parasocial crush
Antoine Girard
you: 2 · them: 0
Main character
Smooth manifolds and types to sets for linear algebra in Isabelle/HOL
CPP 2019 · cited 4×
Vintage
You cite like it's 2013
Deepest dig
Static Analysis of Numerical Algorithms
SAS 2006
Lamport number5
  1. you
  2. Yong Kiam Tan
  3. Scott Owens
  4. Rajeev Alur
  5. Robert P. Kurshan
  6. Leslie Lamport

Load-bearing co-author: Yong Kiam Tan. Without them: 6.

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.