kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Marta Z. Kwiatkowska
33 papers
cited 571×
cites 130
Reply guy/gal
Joost-Pieter Katoen
cited you 59×
Mutuals
  1. Thomas A. Henzinger12 ⇄ 13
  2. Joost-Pieter Katoen8 ⇄ 59
  3. Krishnendu Chatterjee8 ⇄ 31
  4. Guy Katz7 ⇄ 11
  5. Holger Hermanns6 ⇄ 18
you ⇄ them
Parasocial crush
Kenneth L. McMillan
you: 6 · them: 0
Secret admirer
Tim Quatmann
them: 29 · you: 0
Main character
PRISM 4.0: Verification of Probabilistic Real-Time Systems
CAV 2011 · cited 206×
Ratio'd
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
CAV 2010 · cited 41× · by your 89×
Vintage
You cite like it's 2010
Deepest dig
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…
POPL 1983
Lamport number3
  1. you
  2. Mihalis Yannakakis
  3. Robert P. Kurshan
  4. 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.