default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrea Cerone
@inproceedings{DBLP:conf/ecoop/XiongCRG19,
author = {Shale Xiong and
Andrea Cerone and
Azalea Raad and
Philippa Gardner},
editor = {Robert Hirschfeld and
Tobias Pape},
title = {Data Consistency in Transactional Storage Systems: {A} Centralised
Semantics},
booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {166},
pages = {21:1--21:31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.21},
doi = {10.4230/LIPICS.ECOOP.2020.21},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/XiongCRG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-10615,
author = {Shale Xiong and
Andrea Cerone and
Azalea Raad and
Philippa Gardner},
title = {Data Consistency in Transactional Storage Systems: a Centralised Approach},
journal = {CoRR},
volume = {abs/1901.10615},
year = {2019},
url = {http://arxiv.org/abs/1901.10615},
eprinttype = {arXiv},
eprint = {1901.10615},
timestamp = {Sun, 03 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CeroneG18,
author = {Andrea Cerone and
Alexey Gotsman},
title = {Analysing Snapshot Isolation},
journal = {J. {ACM}},
volume = {65},
number = {2},
pages = {11:1--11:41},
year = {2018},
url = {https://doi.org/10.1145/3152396},
doi = {10.1145/3152396},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CeroneG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CeroneGY17,
author = {Andrea Cerone and
Alexey Gotsman and
Hongseok Yang},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Algebraic Laws for Weak Consistency},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {26:1--26:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.26},
doi = {10.4230/LIPICS.CONCUR.2017.26},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/CeroneGY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CeroneGY17,
author = {Andrea Cerone and
Alexey Gotsman and
Hongseok Yang},
title = {Algebraic Laws for Weak Consistency},
journal = {CoRR},
volume = {abs/1702.06028},
year = {2017},
url = {http://arxiv.org/abs/1702.06028},
eprinttype = {arXiv},
eprint = {1702.06028},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CeroneGY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CeroneG16,
author = {Andrea Cerone and
Alexey Gotsman},
editor = {George Giakkoupis},
title = {Analysing Snapshot Isolation},
booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
pages = {55--64},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933057.2933096},
doi = {10.1145/2933057.2933096},
timestamp = {Tue, 06 Nov 2018 11:07:19 +0100},
biburl = {https://dblp.org/rec/conf/podc/CeroneG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CeroneHM14,
author = {Andrea Cerone and
Matthew Hennessy and
Massimo Merro},
title = {Modelling MAC-Layer Communications in Wireless Systems},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {1},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(1:18)2015},
doi = {10.2168/LMCS-11(1:18)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CeroneHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Cerone0G15,
author = {Andrea Cerone and
Giovanni Bernardi and
Alexey Gotsman},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {A Framework for Transactional Consistency Models with Atomic Visibility},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {58--71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.58},
doi = {10.4230/LIPICS.CONCUR.2015.58},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/Cerone0G15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CeroneGY15,
author = {Andrea Cerone and
Alexey Gotsman and
Hongseok Yang},
editor = {Yoram Moses},
title = {Transaction Chopping for Parallel Snapshot Isolation},
booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
Tokyo, Japan, October 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9363},
pages = {388--404},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48653-5\_26},
doi = {10.1007/978-3-662-48653-5\_26},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CeroneGY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CeroneGY14,
author = {Andrea Cerone and
Alexey Gotsman and
Hongseok Yang},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Parameterised Linearisability},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {98--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_9},
doi = {10.1007/978-3-662-43951-7\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CeroneGY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/CeroneH14,
author = {Andrea Cerone and
Matthew Hennessy},
editor = {Matteo Maffei and
Emilio Tuosto},
title = {Characterising Testing Preorders for Broadcasting Distributed Systems},
booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8902},
pages = {67--81},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45917-1\_5},
doi = {10.1007/978-3-662-45917-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/CeroneH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CeroneH13,
author = {Andrea Cerone and
Matthew Hennessy},
title = {Modelling Probabilistic Wireless Networks},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:26)2013},
doi = {10.2168/LMCS-9(3:26)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CeroneH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CeroneHM13,
author = {Andrea Cerone and
Matthew Hennessy and
Massimo Merro},
editor = {Rocco De Nicola and
Christine Julien},
title = {Modelling MAC-Layer Communications in Wireless Systems},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {16--30},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_2},
doi = {10.1007/978-3-642-38493-6\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CeroneHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ie/Cerone12,
author = {Andrea Cerone},
title = {Foundations of ad hoc wireless networks},
school = {Trinity College Dublin, Ireland},
year = {2012},
url = {https://hdl.handle.net/2262/77606},
timestamp = {Fri, 14 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ie/Cerone12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CeroneH12,
author = {Andrea Cerone and
Matthew Hennessy},
editor = {Holger Giese and
Grigore Rosu},
title = {Modelling Probabilistic Wireless Networks - (Extended Abstract)},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {135--151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_9},
doi = {10.1007/978-3-642-30793-5\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/CeroneH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-6438,
author = {Andrea Cerone and
Matthew Hennessy},
editor = {Sibylle B. Fr{\"{o}}schle and
Frank D. Valencia},
title = {Process Behaviour: Formulae vs. Tests (Extended Abstract)},
booktitle = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
EXPRESS'10, Paris, France, August 30th, 2010},
series = {{EPTCS}},
volume = {41},
pages = {31--45},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.41.3},
doi = {10.4204/EPTCS.41.3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-10 01:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
