pith. sign in

Emmanouela Stachtiari

Identifiers

  • name variant Emmanouela Stachtiari 0.60 · backfill

Papers (2)

  1. VeriSolid: Correct-by-Design Smart Contracts for Ethereum cs.CR · 2019 · author #3
  2. Cloud elasticity using probabilistic model checking cs.DC · 2014 · author #2

Mentions

  • 1405.4699 #2 · backfill · confidence 0.70 Emmanouela Stachtiari

Frequent Coauthors