Seguir
Andrea Cerone
Andrea Cerone
Software Engineer, Trili Tech
Dirección de correo verificada de trili.tech
Título
Citado por
Citado por
Año
A Framework for Transactional Consistency Models with Atomic Visibility
A Cerone, G Bernardi, A Gotsman
CONCUR 2015, 58-71, 2015
1082015
Analysing snapshot isolation
A Cerone, A Gotsman
Journal of the ACM (JACM) 65 (2), 1-41, 2018
532018
Algebraic laws for weak consistency
A Cerone, A Gotsman, H Yang
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
332017
Transaction Chopping for Parallel Snapshot Isolation
A Cerone, A Gotsman, H Yang
29th International Symposium on Distributed Computing - DISC 2015, 2015
262015
Parameterised Linearisability
A Cerone, A Gotsman, H Yang
ICALP 2014, 2014
182014
Modelling probabilistic wireless networks
A Cerone, M Hennessy
172012
Modelling MAC-layer communications in wireless systems.
A Cerone, M Hennessy, M Merro
Coordination Models and Languages, 2013
142013
Modelling mac-layer communications in wireless systems
A Cerone, M Hennessy, M Merro
Logical Methods in Computer Science 11, 2015
122015
Process Behaviour: Formulae vs. Tests (Extended Abstract)
A Cerone, M Hennessy
Arxiv preprint arXiv:1011.6438, 2010
9*2010
Process behaviour: Formulae versus tests
A Cerone, M Hennessy
9*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
72020
Foundations of Ad Hoc Wireless Networks
A Cerone
Trinity College Dublin, 2012
72012
Data consistency in transactional storage systems: a centralised approach
S Xiong, A Cerone, A Raad, P Gardner
arXiv preprint arXiv:1901.10615, 2019
22019
Characterising Testing Preorders for Broadcasting Distributed Systems
A Cerone, M Hennessy
TGC 2014, 2014
22014
A simple probabilistic broadcast language
A Cerone, M Hennessy
22012
Algebraic laws for weak consistency (extended version)
A Cerone, A Gotsman, H Yang
arXiv preprint arXiv:1702.06028, 2017
12017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19