Andrea Cerone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2012–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECOOP | Data Consistency in Transactional Storage Systems: A Centralised Semantics. | Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner |
| 2017 | CONCUR | Algebraic Laws for Weak Consistency. | Andrea Cerone, Alexey Gotsman, Hongseok Yang |
| 2016 | PODC | Analysing Snapshot Isolation. | Andrea Cerone, Alexey Gotsman |
| 2015 | CONCUR | A Framework for Transactional Consistency Models with Atomic Visibility. | Andrea Cerone, Giovanni Bernardi, Alexey Gotsman |
| 2014 | ICALP | Parameterised Linearisability. | Andrea Cerone, Alexey Gotsman, Hongseok Yang |
| 2013 | Coordination | Modelling MAC-Layer Communications in Wireless Systems. | Andrea Cerone, Matthew Hennessy, Massimo Merro |
| 2012 | FORTE | Modelling Probabilistic Wireless Networks - (Extended Abstract). | Andrea Cerone, Matthew Hennessy |