编辑配置文件(在新选项卡中打开) 安德烈亚·塞隆 合著者距离 作者ID: 仙人掌 发布日期: 安德烈亚·塞隆 外部链接: MGP公司 已编制索引的文档: 10出版物自2010年起 合著者: 5位合著者具有10联合出版物 142位合作作者 合著者 0 单作者的 6 阿列克谢·戈茨曼 4 轩尼诗,Matthew C.B。 三 杨红seok 1 乔瓦尼·伯纳迪 1 马西莫·梅罗 系列 2 计算机科学中的逻辑方法 1 美国医学会杂志 领域 9 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用32中的次20文件 引用人▼ 年份▼ 具有原子可见性的事务一致性模型框架。 Zbl 1374.68064号 安德烈亚·塞隆;乔瓦尼·贝尔纳迪;阿列克谢·戈茨曼 6 2015 无线系统中MAC层通信的建模。 Zbl 1395.94007号 安德烈亚·塞隆;马修·轩尼诗;马西莫·梅罗 5 2015 弱一致性代数定律。 Zbl 1442.68104号 安德烈亚·塞隆;阿列克谢·戈斯曼;杨红seok 4 2017 分析快照隔离。 Zbl 1425.68094号 安德烈亚·塞隆;阿列克谢·戈茨曼 4 2018 参数化线性化。 Zbl 1409.68068号 安德烈亚·塞隆;阿列克谢·戈茨曼;杨红seok 4 2014 概率无线网络建模。 Zbl 1274.68225号 塞隆,安德里亚;马修·轩尼诗 2 2013 描述广播分布式系统的测试预订单。 Zbl 1444.68114号 安德烈亚·塞隆;马修·轩尼诗 2 2014 分析快照隔离。 Zbl 1373.68207号 安德烈亚·塞隆;阿列克谢·戈茨曼 2 2016 过程行为:公式与测试(扩展抽象)。 Zbl 1455.68120号 安德烈亚·塞隆;马修·轩尼诗 2 2010 用于并行快照隔离的事务截断。 兹比尔1394.68109 安德烈亚·塞隆;阿列克谢·戈茨曼;杨红seok 1 2015 分析快照隔离。 Zbl 1425.68094号 安德烈亚·塞隆;阿列克谢·戈茨曼 4 2018 弱一致性代数定律。 Zbl 1442.68104号 塞隆,安德里亚;阿列克谢·戈茨曼;杨红seok 4 2017 分析快照隔离。 Zbl 1373.68207号 安德烈亚·塞隆;阿列克谢·戈茨曼 2 2016 具有原子可见性的事务一致性模型框架。 Zbl 1374.68064号 安德烈亚·塞隆;乔瓦尼·伯纳迪;阿列克谢·戈茨曼 6 2015 无线系统中MAC层通信的建模。 兹比尔1395.94007 安德烈亚·塞隆;马修·轩尼诗;马西莫·梅罗 5 2015 用于并行快照隔离的事务截断。 Zbl 1394.68109号 安德烈亚·塞隆;阿列克谢·戈茨曼;杨红seok 1 2015 参数化线性化。 Zbl 1409.68068号 安德烈亚·塞隆;阿列克谢·戈茨曼;杨红seok 4 2014 描述广播分布式系统的测试预订单。 兹伯利1444.68114 安德烈亚·塞隆;马修·轩尼诗 2 2014 概率无线网络建模。 Zbl 1274.68225号 安德烈亚·塞隆;马修·轩尼诗 2 2013 过程行为:公式与测试(扩展抽象)。 Zbl 1455.68120号 安德烈亚·塞隆;轩尼诗,马修 2 2010 所有引用出版物 前5名被引用出版物 全部的 前5名41位作者引用 4 拉诺特、拉格罗 4 马西莫·梅罗 三 西迪·穆罕默德·贝拉希 三 艾哈迈德·博阿贾尼 三 康斯坦丁·埃纳 2 安德烈亚·塞隆 2 阿德里安·弗兰卡兰扎 2 安德烈·穆拉夫斯基。 2 西蒙·蒂尼 2 尼科斯·齐夫列科斯 1 卢卡·埃特罗 1 彼得罗·森恰雷利 1 Dongol,布里耶什 1 法比奥·加杜奇 1 丹尼尔·戈拉 1 阿列克谢·戈茨曼 1 轩尼诗,Matthew C.B。 1 罗伯特·马克·海伦斯 1 Anna Ingólfsdóttir 1 苏雷什·贾甘纳森 1 巴斯·凯茨曼 1 科赫(Christoph T.Koch)。 1 刘,思 1 埃尔南·梅尔格拉蒂 1 何塞·梅塞盖尔·瓜伊塔 1 卡提克·纳加尔 1 法兰克·奈文 1 Olveczky,Peter Csaba 1 彭杰 1 克里斯蒂安·罗尔丹 1 伊万诺·萨尔沃 1 马蒂奥·桑马蒂诺 1 森·古普塔(Sen Gupta,Indranil) 1 塞舌尔,奥尔德林 1 兰·宋 1 布莱希特·范德沃特 1 王琪 1 温汤柳 1 薛、缙云 1 杨红seok 1 你,珍 全部的 前5名8篇连载文章中引用 三 信息与计算 三 计算机科学中的逻辑方法 2 系统设计中的形式化方法 1 信息学报 1 理论计算机科学 1 计算的形式方面 1 国际计算机科学基础杂志 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 20 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的引文