Concepedia

Author

Dimitar Dimitrov

ETH ZurichORCID

Also Known As

D Dimitrov, D. Dimitrov, Dimitar Dimitrov, Dimitrov, Dimitar

31

Publications

529

Citations

9

H-Index

33

Concepts

All Affiliations

ETH ZurichAarhus UniversityNew York University
DD

About

Dimitar Dimitrov is an author at ETH Zurich specializing in formal verification, engineering, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

475

2

Computer Science

8

8

475

3

Systems Engineering

3

3

301

4

Computer Engineering

2

2

52

5

Data Science

2

2

56

Dimitar Dimitrov

×

8

Publications

475

Citations

8

H-Index

YearCitations

VerX: Safety Verification of Smart Contracts

Anton Permenev, Dimitar Dimitrov, Petar Tsankov,

2020

233

Commutativity race detection

Dimitar Dimitrov, Veselin Raychev, Martin Vechev,

2014

55

Serializability for eventual consistency: criterion, analysis, and applications

Lucas Brutschy, Dimitar Dimitrov, Péter Müller,

2016

51

Stateless model checking of event-driven applications

Casper S. Jensen, Anders Møller, Veselin Raychev,

2015

45

Commutativity race detection

Dimitar Dimitrov, Veselin Raychev, Martin Vechev,

ACM SIGPLAN Notices

2014

35

Static serializability analysis for causal consistency

Lucas Brutschy, Dimitar Dimitrov, Péter Müller,

2018

28

Race Detection in Two Dimensions

Dimitar Dimitrov, Martin Vechev, Vivek Sarkar

2015

17

Stateless model checking of event-driven applications

Casper S. Jensen, Anders Møller, Veselin Raychev,

ACM SIGPLAN Notices

2015

11

Page 1