Process Behaviour: Formulae vs. Tests (Extended Abstract) - Andrea Cerone; Matthew Hennessy (EXPRESS, 2010)

Modelling Probabilistic Wireless Networks - (Extended Abstract). - Andrea Cerone; Matthew Hennessy (FMOODS/FORTE, 2012)

Foundations of ad hoc wireless networks - Andrea Cerone (2012)

Modelling Probabilistic Wireless Networks. - Andrea Cerone; Matthew Hennessy (Log. Methods Comput. Sci., 2013)

Parameterised Linearisability. - Andrea Cerone; Alexey Gotsman; Hongseok Yang (ICALP (2), 2014)

Characterising Testing Preorders for Broadcasting Distributed Systems. - Andrea Cerone; Matthew Hennessy (TGC, 2014)

A Framework for Transactional Consistency Models with Atomic Visibility. - Andrea Cerone; Giovanni Bernardi 001; Alexey Gotsman (CONCUR, 2015)

Transaction Chopping for Parallel Snapshot Isolation. - Andrea Cerone; Alexey Gotsman; Hongseok Yang (DISC, 2015)

Modelling MAC-Layer Communications in Wireless Systems. - Andrea Cerone; Matthew Hennessy; Massimo Merro (Log. Methods Comput. Sci., 2015)

Algebraic Laws for Weak Consistency. - Andrea Cerone; Alexey Gotsman; Hongseok Yang (CONCUR, 2017)

Analysing Snapshot Isolation. - Andrea Cerone; Alexey Gotsman (J. ACM, 2018)

Data Consistency in Transactional Storage Systems: a Centralised Approach. - Shale Xiong; Andrea Cerone; Azalea Raad; Philippa Gardner (CoRR, 2019)

Data Consistency in Transactional Storage Systems: A Centralised Semantics. - Shale Xiong; Andrea Cerone; Azalea Raad; Philippa Gardner (ECOOP, 2020)