×
编辑配置文件（在新选项卡中打开）

莱萨尼，莫森

合著者距离
作者ID： lesani.mohsen公司“Lesani，Mohsen”最近发表的zbMATH文章
发布方式： 莱萨尼，莫森
已编制索引的文档： 6出版物自2012年起
合著者： 8位合著者具有5联合出版物
265位合作作者
全部的 前5名

合著者

1 单作者的
1 克里斯蒂安·贝尔。
1 埃里克·陈
1 法尔津·豪斯曼
1 李，肖
1 维克托·卢昌科
1 马克·莫尔
1 阿拉什·波丹加尼
1 穆罕默德·礼萨·塔赫里

系列

领域

6 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

2出版物有被引用8中的次8文件 引用人▼ 年份▼
Chapar：经过认证的因果一致分布式键值存储。 兹伯利1347.68117
莱萨尼，莫森;克里斯蒂安·贝尔。;亚当·奇利帕拉
5
2016
用于正式验证软件事务性内存算法的框架。 Zbl 1365.68163号
莱萨尼，莫森;维克托·卢昌科;马克·莫尔
三
2012
Chapar：经过认证的因果一致分布式键值存储。 Zbl 1347.68117号
莱萨尼，莫森;克里斯蒂安·贝尔。;亚当·奇利帕拉
5
2016
用于正式验证软件事务性内存算法的框架。 Zbl 1365.68163号
莱萨尼，莫森;维克托·卢昌科;马克·莫尔
三
2012
所有引用出版物 前5名被引用出版物
全部的 前5名

23位作者引用

三 布里杰什·多戈尔
三 伊戈尔·康诺夫（Igor V.Konnov）。
三 马里亚娜·拉齐奇
三 约瑟夫·威德
2 约翰·德里克
2 西蒙·多尔蒂
2 格哈德·谢尔霍恩
2 海克·卫尔海姆
1 亚历克斯·奥瓦利
1 埃利尼·比拉
1 拉尔斯·比克达尔
1 罗德里克·布洛姆
1 戴维·弗雷
1 西蒙·奥德谢德·格雷格森
1 莫滕·克罗格·杰斯佩森
1 杰·勒·佩宾
1 玛丽特·埃德娜·奥伦布施
1 米歇尔·雷纳尔
1 伊利娜·斯托尔科夫斯卡
1 弗朗索瓦州塔亚尼
1 阿明·蒂曼尼
1 奥列格·特拉夫金
1 赫尔穆特·维思

4篇连载文章中引用

2 计算机科学中的逻辑方法
1 理论计算机科学
1 计算的形式方面
1 系统设计中的形式化方法

在2个字段中引用

8 计算机科学（68至XX）
三 数学逻辑和基础（03-XX）

按年份列出的引文