According to our database1, Andrea Cerone authored at least 10 papers between 2010 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Algebraic Laws for Weak Consistency.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Analysing Snapshot Isolation.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016
Transaction Chopping for Parallel Snapshot Isolation.
Proceedings of the Distributed Computing - 29th International Symposium, 2015
A Framework for Transactional Consistency Models with Atomic Visibility.
Proceedings of the 26th International Conference on Concurrency Theory, 2015
Characterising Testing Preorders for Broadcasting Distributed Systems.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014
Modelling Probabilistic Wireless Networks.
Logical Methods in Computer Science, 2013
Modelling MAC-Layer Communications in Wireless Systems.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
Modelling Probabilistic Wireless Networks - (Extended Abstract).
Proceedings of the Formal Techniques for Distributed Systems, 2012
Process Behaviour: Formulae vs. Tests (Extended Abstract)
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010