kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Florian Furbach
6 papers
cited 49×
cites 83
Reply guy/gal
Thomas Haas
cited you 12×
Mutuals
  1. Viktor Vafeiadis6 ⇄ 5
  2. Ahmed Bouajjani8 ⇄ 2
  3. Mark Batty3 ⇄ 1
  4. Michalis Kokologiannakis1 ⇄ 5
  5. Ori Lahav4 ⇄ 1
you ⇄ them
Parasocial crush
Jade Alglave
you: 12 · them: 0
Secret admirer
Dirk Beyer
them: 9 · you: 0
Main character
BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings
CAV 2019 · cited 31×
Ratio'd
Stateless Model Checking for POWER
CAV 2016 · cited 30× · by your 31×
Vintage
You cite like it's 2013
Deepest dig
Symbolic Model Checking with Rich ssertional Languages
CAV 1997
Lamport number4
  1. you
  2. Parosh Aziz Abdulla
  3. Doron A. Peled
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Parosh Aziz Abdulla. 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.