Andrea Cerone

According to our database1, Andrea Cerone authored at least 13 papers between 2010 and 2018.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Analysing Snapshot Isolation.
J. ACM, 2018

2017
Algebraic Laws for Weak Consistency.
CoRR, 2017

Algebraic Laws for Weak Consistency.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
Analysing Snapshot Isolation.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

2015
Modelling MAC-Layer Communications in Wireless Systems.
Logical Methods in Computer Science, 2015

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

2014
Characterising Testing Preorders for Broadcasting Distributed Systems.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

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

2013
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

2012
Modelling Probabilistic Wireless Networks - (Extended Abstract).
Proceedings of the Formal Techniques for Distributed Systems, 2012

2010
Process Behaviour: Formulae vs. Tests (Extended Abstract)
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010


  Loading...