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
