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

• Abhishek Dubey 1 shared papers
• Anastasia Mavridou 1 shared papers
• Anastasios Gounaris 1 shared papers
• Aron Laszka 1 shared papers
• Athanasios Naskos 1 shared papers
• Dimitrios Tsoumakos 1 shared papers
• Ioannis Konstantinou 1 shared papers
• Panagiotis Katsaros 1 shared papers
• Spyros Sioutas 1 shared papers