| A Framework for Transactional Consistency Models with Atomic Visibility A Cerone, G Bernardi, A Gotsman CONCUR 2015, 58-71, 2015 | 114 | 2015 |
| Analysing snapshot isolation A Cerone, A Gotsman Journal of the ACM (JACM) 65 (2), 1-41, 2018 | 60 | 2018 |
| Algebraic laws for weak consistency A Cerone, A Gotsman, H Yang 28th International Conference on Concurrency Theory (CONCUR 2017), 2017 | 35 | 2017 |
| Transaction Chopping for Parallel Snapshot Isolation A Cerone, A Gotsman, H Yang 29th International Symposium on Distributed Computing - DISC 2015, 2015 | 26 | 2015 |
| Parameterised Linearisability A Cerone, A Gotsman, H Yang ICALP 2014, 2014 | 19 | 2014 |
| Modelling probabilistic wireless networks A Cerone, M Hennessy | 17 | 2012 |
| Modelling MAC-layer communications in wireless systems. A Cerone, M Hennessy, M Merro Coordination Models and Languages, 2013 | 14 | 2013 |
| Modelling mac-layer communications in wireless systems A Cerone, M Hennessy, M Merro Logical Methods in Computer Science 11, 2015 | 12 | 2015 |
| Process Behaviour: Formulae vs. Tests (Extended Abstract) A Cerone, M Hennessy Arxiv preprint arXiv:1011.6438, 2010 | 10* | 2010 |
| Process behaviour: Formulae versus tests A Cerone, M Hennessy | 10* | 2010 |
| Data consistency in transactional storage systems: A centralised semantics S Xiong, A Cerone, A Raad, P Gardner 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 8 | 2020 |
| Foundations of Ad Hoc Wireless Networks A Cerone Trinity College Dublin, 2012 | 7 | 2012 |
| Data consistency in transactional storage systems: a centralised approach S Xiong, A Cerone, A Raad, P Gardner arXiv preprint arXiv:1901.10615, 2019 | 2 | 2019 |
| Characterising Testing Preorders for Broadcasting Distributed Systems A Cerone, M Hennessy TGC 2014, 2014 | 2 | 2014 |
| A simple probabilistic broadcast language A Cerone, M Hennessy | 2 | 2012 |
| Algebraic laws for weak consistency (extended version) A Cerone, A Gotsman, H Yang arXiv preprint arXiv:1702.06028, 2017 | 1 | 2017 |
| 28th International Conference on Concurrency Theory (CONCUR 2017) AF Donaldson, J Ketema, T Sorensen, J Wickerson, R Brenguier, A Pauly, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | 1 | 2017 |
| Parameterised linearizability H Yang, A Cerone, A Gotsman Springer, 2014 | | 2014 |
| Un Approccio Incrementale alla Semantica della Sicurezza A Cerone Universita' degli studi di Roma La Sapienza, 2008 | | 2008 |
| Analysing and Optimising Parallel Snapshot Isolation G Bernardi, A Cerone, A Gotsman, H Yang | | |
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
