Andrea Cerone
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Process behaviour: formulae vs. tests (extended abstract) | 2021-02-24 | Paper |
| Process behaviour: formulae vs. tests (extended abstract) (available as arXiv preprint) | 2021-02-24 | Paper |
| Algebraic laws for weak consistency | 2020-05-27 | Paper |
| Analysing snapshot isolation Journal of the ACM | 2018-12-06 | Paper |
| Transaction chopping for parallel snapshot isolation | 2018-08-24 | Paper |
| Analysing snapshot isolation Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | 2017-09-29 | Paper |
| A framework for transactional consistency models with atomic visibility | 2017-09-12 | Paper |
| Characterising testing preorders for broadcasting distributed systems Trustworthy Global Computing | 2016-06-09 | Paper |
| Modelling MAC-layer communications in wireless systems Logical Methods in Computer Science | 2015-04-22 | Paper |
| Parameterised linearisability Automata, Languages, and Programming | 2014-07-01 | Paper |
| Modelling probabilistic wireless networks Logical Methods in Computer Science | 2013-09-26 | Paper |
Research outcomes over time
This page was built for person: Andrea Cerone
