编辑配置文件(在新选项卡中打开) 马克·巴蒂 合著者距离 作者ID: 电池标记 发布日期: 马克·巴蒂 已编制索引的文档: 9出版物自2002年起 合著者: 13合著者具有6联合出版物 177联合作者 全部的 前5名合著者 1 单作者的 2 多兹,迈克 2 阿列克谢·戈茨曼 2 斯科特·欧文斯 2 约翰·威克森 1 乔治·康斯坦丁德斯(George A.Constantinides)。 1 西蒙·库克西 1 克鲁克斯,安德鲁 1 阿拉斯泰尔·唐纳森。 1 Hudson Smith,A。 1 马苏奇,A.P。 1 阿努克·帕拉迪斯 1 马尔科·帕维奥蒂 1 萨卡,苏斯米特 1 彼得·休厄尔 1 泰勒·索伦森 1 菲利普·斯特德曼 1 Tjark韦伯 系列 2 欧洲物理杂志B。凝聚物质和复杂系统 1 拓扑及其应用 字段 6 计算机科学(68-XX) 2 组合数学(05-XX) 1 群论与推广(20-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 8出版物有被引用33中的次22文件 引用人▼ 年份▼ 对C++并发进行数学化。 Zbl 1284.68165号 马克·巴蒂;斯科特·欧文斯;萨卡,苏斯米特;彼得·休厄尔;Tjark韦伯 17 2011 随机平面图和伦敦街道网络。 Zbl 1188.05140号 马苏奇,A.P。;D.史密斯。;克鲁克斯,A。;M·巴蒂。 6 2009 弱内存并发中的模块化松散依赖。 Zbl 1508.68045号 马尔科·帕维奥蒂;西蒙·库克西;阿努克·帕拉迪斯;丹尼尔·赖特;斯科特·欧文斯;马克·巴蒂 5 2020 自动比较内存一致性模型。 Zbl 1380.68110号 约翰·威克森;马克·巴蒂;泰勒·索伦森;乔治·康斯坦丁德斯(George A.Constantinides)。 4 2017 C/C++并发的库抽象。 Zbl 1301.68088号 马克·巴蒂;多兹,迈克;阿列克谢·戈茨曼 4 2013 大伦敦建筑几何中的缩放和异速生长。 Zbl 1189.91172号 M·巴蒂。;卡瓦略,R。;Hudson Smith,A。;R·弥尔顿。;D.史密斯。;斯特德曼,P。 三 2008 检修C11和OpenCL中的SC原子。 Zbl 1347.68034号 马克·巴蒂;阿拉斯泰尔·唐纳森。;约翰·维克森 2 2016 在松弛内存上对编译器优化进行组合验证。 Zbl 1418.68044号 多兹,迈克;马克·巴蒂;阿列克谢·戈茨曼 1 2018 弱内存并发中的模块化松散依赖。 Zbl 1508.68045号 马尔科·帕维奥蒂;西蒙·库克西;阿努克·帕拉迪斯;丹尼尔·赖特;斯科特·欧文斯;马克·巴蒂 5 2020 在松弛内存上对编译器优化进行组合验证。 Zbl 1418.68044号 多兹,迈克;马克·巴蒂;阿列克谢·戈茨曼 1 2018 自动比较内存一致性模型。 Zbl 1380.68110号 约翰·威克森;马克·巴蒂;泰勒·索伦森;乔治·康斯坦丁德斯(George A.Constantinides)。 4 2017 检修C11和OpenCL中的SC原子。 Zbl 1347.68034号 马克·巴蒂;阿拉斯泰尔·唐纳森。;约翰·威克森 2 2016 C/C++并发的库抽象。 Zbl 1301.68088号 马克·巴蒂;多兹,迈克;阿列克谢·戈茨曼 4 2013 对C++并发进行数学化。 Zbl 1284.68165号 马克,巴蒂;斯科特·欧文斯;萨卡,苏斯米特;彼得·休厄尔;Tjark韦伯 17 2011 随机平面图和伦敦街道网络。 Zbl 1188.05140号 马苏奇,A.P。;D.史密斯。;克鲁克斯,A。;M·巴蒂。 6 2009 大伦敦建筑几何中的缩放和异速生长。 Zbl 1189.91172号 M·巴蒂。;卡瓦略,R。;哈德森·史密斯(A.Hudson-Smith)。;米尔顿,R。;D.史密斯。;斯特德曼,P。 三 2008 所有引用出版物 排名前五的出版物 全部的 前5名49位作者引用 4 布里杰什·多戈尔 4 海克,韦尔海姆 三 西蒙·多尔蒂 三 维克托·瓦菲亚迪斯 2 斯蒂芬·布鲁克斯。 2 罗伯特·J·科尔文。 2 萨迪·达尔瓦迪 2 瑞安·卡瓦纳 2 罗伯特·克雷伯斯 2 吕毅 2 斯科特·欧文斯 1 帕罗什·阿齐兹·阿卜杜拉 1 阿利亚斯·阿拉马维 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 劳拉·巴格曼 1 马克·巴蒂 1 伯恩,彼得 1 史蒂文·程 1 西蒙·库克西 1 约翰·德里克 1 马可·多科 1 Daniel Schnetzer,法瓦 1 阿德韦特·阿米特·戈博莱 1 丽莎·海姆 1 贾拉尔·卡瓦什 1 萨尔夫拉兹·库希德 1 桑卡拉·纳拉亚南·克里希纳 1 奥里·拉哈夫 1 刘志明 1 朗,腾 1 亨德里克·马兰德 1 Kuldeep S.梅尔。 1 阿努克·帕拉迪斯 1 马尔科·帕维奥蒂 1 古斯塔沃·佩特里 1 彼得·休厄尔 1 Divyanjali Sharma 1 沙尔马,苏博德·K·。 1 格雷姆·史密斯 1 马丁·斯特芬 1 沃尔克·斯托尔茨 1 塔尔莫乌斯塔卢 1 王超 1 王超 1 王开元 1 王文喜 1 克尔斯滕·温特 1 吴鹏 1 弗朗西斯科·扎帕·纳德利 全部的 前5名7篇连载文章中引用 2 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 计算的形式方面 1 分布式计算 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 在2个字段中引用 22 计算机科学(68-XX) 5 数学逻辑和基础(03-XX) 按年份列出的引文