kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Denghang Hu
3 papers
cited 26×
cites 48
Reply guy/gal
Vojtech Havlena
cited you 7×
Mutuals
  1. Lukás Holík8 ⇄ 5
  2. David Chocholatý2 ⇄ 4
  3. Juraj Síc2 ⇄ 4
  4. Ondrej Lengál2 ⇄ 6
  5. Vojtech Havlena2 ⇄ 7
you ⇄ them
Parasocial crush
Ahmed Rezine
you: 5 · them: 0
Secret admirer
Michal Hecko
them: 3 · you: 0
Main character
Solving string constraints with Regex-dependent functions through transducers…
POPL 2022 · cited 23×
Vintage
You cite like it's 2017
Deepest dig
Symbolic Model Checking without BDDs
TACAS 1999
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.