kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Hsi-Ming Ho
3 papers
cited 1×
cites 39
Reply guy/gal
B. Srivathsan
cited you 1×
Mutuals
  1. B. Srivathsan2 ⇄ 1
  2. Paul Gastin3 ⇄ 1
  3. Prerak Contractor1 ⇄ 1
  4. R. Govind2 ⇄ 1
  5. S. Akshay2 ⇄ 1
you ⇄ them
Parasocial crush
Alfons Laarman
you: 3 · them: 0
Main character
MightyL: A Compositional Translation from MITL to Timed Automata
CAV 2017 · cited 2×
Vintage
You cite like it's 2011
Deepest dig
Using Partial Orders to Improve Automatic Verification Methods
CAV 1990
Lamport number4
  1. you
  2. Rupak Majumdar
  3. Rajeev Alur
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Rupak Majumdar. 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.