Andrea Cerone

Orcid: 0000-0003-1349-6693

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Data Consistency in Transactional Storage Systems: A Centralised Semantics.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Data Consistency in Transactional Storage Systems: a Centralised Approach.
CoRR, 2019

2018
Analysing Snapshot Isolation.
J. ACM, 2018

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

2015
Modelling MAC-Layer Communications in Wireless Systems.
Log. Methods Comput. Sci., 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.
Log. Methods Comput. Sci., 2013

2012
Foundations of ad hoc wireless networks
PhD thesis, 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...