kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Benjamin Bittner
1 papers
cited 8×
cites 4
Reply guy/gal
Stefano Tonetta
cited you 4×
Mutuals
  1. Stefano Tonetta3 ⇄ 4
  2. Anthony Fernandes Pires1 ⇄ 2
  3. David Jones1 ⇄ 1
  4. Greg Kimberly1 ⇄ 2
  5. R. Robinson1 ⇄ 1
you ⇄ them
Secret admirer
Martin Jonás
them: 2 · you: 0
Main character
The xSAP Safety Analysis Platform
TACAS 2016 · cited 8×
Ratio'd
Efficient Anytime Techniques for Model-Based Safety Analysis
CAV 2015 · cited 6× · by your 8×
Deepest dig
The nuXmv Symbolic Model Checker
CAV 2014
Lamport number5
  1. you
  2. Cristian Mattarei
  3. Clark W. Barrett
  4. Kedar S. Namjoshi
  5. Robert P. Kurshan
  6. 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.