Statistics
Publications
8
Citations
479
H-Index
8
Active since
2014
Affiliations
Dimitar Dimitrov is an author at ETH Zurich specializing in computer science, computing, and computer engineering.
Publications per year
2014–2020
8
8
VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov et al. · 2020 · 237 citations · Full text
Dimitar Dimitrov, Veselin Raychev, Martin Vechev et al. · 2014 · 55 citations
Serializability for eventual consistency: criterion, analysis, and applications
Lucas Brutschy, Dimitar Dimitrov, Péter Müller et al. · 2016 · 51 citations
Stateless model checking of event-driven applications
Casper S. Jensen, Anders Møller, Veselin Raychev et al. · 2015 · 45 citations · Full text
Dimitar Dimitrov, Veselin Raychev, Martin Vechev et al. · ACM SIGPLAN Notices · 2014 · 35 citations
1–5 of 8