Andrea Cerone

A Framework for Transactional Consistency Models with Atomic Visibility

Andrea Cerone, Giovanni Bernardi, Alexey Gotsman · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 84 citations · Full text

Computing, Computer Science, Computer Systems +17

Analysing Snapshot Isolation

Andrea Cerone, Alexey Gotsman · Journal of the ACM · 2018 · 35 citations

Computing, Computer Science, Computer Systems +15

Analysing Snapshot Isolation

Andrea Cerone, Alexey Gotsman · 2016 · 25 citations

Computing, Computer Science, Computer Systems +15

Modelling Probabilistic Wireless Networks

Andrea Cerone, Matthew Hennessy · Logical Methods in Computer Science · 2013 · 11 citations · Full text

Computing, Computer Science, Computer Systems +15

Algebraic Laws for Weak Consistency

Andrea Cerone, Alexey Gotsman, Hongseok Yang · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 11 citations · Full text

Computing, Computer Science, Databases +15