Andrea Cerone

According to our database, Andrea Cerone authored at least 13 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Data Consistency in Transactional Storage Systems: A Centralised Semantics.

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Data Consistency in Transactional Storage Systems: a Centralised Approach.

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

CoRR, 2019

2018

Analysing Snapshot Isolation.

Andrea Cerone, Alexey Gotsman

J. ACM, 2018

2017

Algebraic Laws for Weak Consistency.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2015

Modelling MAC-Layer Communications in Wireless Systems.

Andrea Cerone, Matthew Hennessy, Massimo Merro

Log. Methods Comput. Sci., 2015

Transaction Chopping for Parallel Snapshot Isolation.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the Distributed Computing - 29th International Symposium, 2015

A Framework for Transactional Consistency Models with Atomic Visibility.

Andrea Cerone, Giovanni Bernardi, Alexey Gotsman

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Characterising Testing Preorders for Broadcasting Distributed Systems.

Andrea Cerone, Matthew Hennessy

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Parameterised Linearisability.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Modelling Probabilistic Wireless Networks.

Andrea Cerone, Matthew Hennessy

Log. Methods Comput. Sci., 2013

2012

Foundations of ad hoc wireless networks

Andrea Cerone

PhD thesis, 2012

Modelling Probabilistic Wireless Networks - (Extended Abstract).

Andrea Cerone, Matthew Hennessy

Proceedings of the Formal Techniques for Distributed Systems, 2012

2010

Process Behaviour: Formulae vs. Tests (Extended Abstract)

Andrea Cerone, Matthew Hennessy

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010