安德烈亚·塞隆
人员信息
优化列表
2020年–今天
2020 [第10条] Shale Xiong公司 , 安德烈亚·塞隆 , 杜鹃花 , 菲利普·加德纳 :
事务存储系统中的数据一致性:集中语义。 ECOOP公司 2020 : 21:1-21:31
2010 – 2019
2019 [i2] Shale Xiong公司 , 安德烈亚·塞隆 , 杜鹃花 , 菲利普·加德纳 :
事务存储系统中的数据一致性:集中式方法。 CoRR公司 abs/1901.10615 ( 2019 ) 2018 [j3] 安德烈亚·塞隆 , 亚历克谢·戈茨曼 :
分析快照隔离。 美国临床医学杂志 65 ( 2 ) : 11:1-11:41 ( 2018 ) 2017 【c9】 安德烈亚·塞隆 , 亚历克谢·戈茨曼 , 杨红seok :
弱一致性代数定律。 CONCUR公司 2017 : 26:1-26:18 [i1] 安德烈亚·塞隆 , 亚历克谢·戈茨曼 , 杨红seok :
弱一致性代数定律。 CoRR公司 abs/1702.06028 ( 2017 ) 2016 【c8】 安德烈亚·塞隆 , 亚历克谢·戈茨曼 :
分析快照隔离。 PODC公司 2016 : 55-64 2015 [注2] 安德烈亚·塞隆 , 马修·轩尼诗 , 马西莫·梅罗 :
无线系统中MAC层通信的建模。 日志。 方法计算。 科学。 11 ( 1 ) ( 2015 ) 【c7】 安德烈亚·塞隆 , 乔瓦尼·贝尔纳迪 , 亚历克谢·戈茨曼 :
具有原子可见性的事务一致性模型的框架。 CONCUR公司 2015 : 58-71 【c6】 安德烈亚·塞隆 , 亚历克谢·戈茨曼 , 杨红seok :
并行快照隔离的事务截断。 磁盘 2015 : 388-404 2014 【c5】 安德烈亚·塞隆 , 亚历克谢·戈茨曼 , 杨红seok :
参数化线性化。 ICALP(二) 2014 : 98-109 【c4】 安德烈亚·塞隆 , 马修·轩尼诗 :
广播分布式系统的特征测试预订单。 TGC公司 2014 : 67-81 2013 [j1] 安德烈亚·塞隆 , 马修·轩尼诗 :
概率无线网络建模。 日志。 方法计算。 科学。 9 ( 三 ) ( 2013 ) 【c3】 安德烈亚·塞隆 , 马修·轩尼诗 , 马西莫·梅罗 :
无线系统中MAC层通信的建模。 协调 2013 : 16-30 2012 【b1】 安德烈亚·塞隆 :
特设无线网络的基础。 爱尔兰都柏林三一学院, 2012 【c2】 安德烈亚·塞隆 , 马修·轩尼诗 :
概率无线网络建模(扩展抽象)。 FMOODS/FORTE公司 2012 : 135-151 2010 【c1】 安德烈亚·塞隆 , 马修·轩尼诗 :
过程行为:公式与测试(扩展摘要)。 EXPRESS(快递) 2010 : 31-45