编辑配置文件（在新选项卡中打开） 迈克尔·埃米 合著者距离 作者ID： emmi.michael公司 发布方式： 埃米，迈克尔 外部链接： MGP公司 已编制索引的文档： 17出版物自2006年起 1名编辑贡献 合著者： 18位合著者具有18联合出版物 380名合著者 全部的 前5名合著者 0 单一作者 10 康斯坦丁·埃纳 8 艾哈迈德·博阿贾尼 4 贾德·哈姆扎 三 鲁帕克·马朱姆达尔 1 拉纳德普·比斯沃斯 1 塞萨拉·德拉戈伊 1 皮埃尔·甘蒂 1 兰吉特·贾拉 1 德扬·约瓦诺维奇 1 埃迪·科勒 1 悉达哈·克里希纳 1 苏哈·奥伦·穆特鲁吉尔 1 布尔库·库拉希奥格鲁·奥兹坎 1 沙兹·卡迪尔 1 茨沃尼米尔·拉卡马里奇 1 费尔南多·罗莎·维拉尔多 1 塞尔达尔·塔西兰 1 王晶波 系列 1 信息与计算 1 计算机科学课堂讲稿 领域 18 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用87中的次65文件 引用人▼ 年份▼ 根据顺序规范验证并发程序。 Zbl 1381.68048号 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 16 2013 并发对象的可追踪细化检查。 Zbl 1345.68096号 艾哈迈德·布瓦贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 12 2015 延迟调度。 Zbl 1284.68087号 迈克尔·埃米;卡迪尔，沙兹;茨沃尼米尔·拉卡马里奇 12 2011 关于将线性化能力降低到状态可达性。 Zbl 1395.68089号 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 10 2015 实时软件验证的决策问题。 Zbl 1178.68340号 迈克尔·埃米;鲁帕克·马朱姆达尔 10 2006 递归并行程序的分析。 Zbl 1321.68184号 艾哈迈德·博阿贾尼;迈克尔·埃米 8 2012 消息传递程序的有界相位分析。 Zbl 1352.68057号 艾哈迈德·博阿贾尼;迈克尔·埃米 6 2012 验证引用计数实现。 Zbl 1234.68254号 迈克尔·埃米;兰吉特·贾拉;埃迪·科勒;鲁帕克·马朱姆达尔 三 2009 使用正向仿真验证线性化能力。 Zbl 1494.68067号 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;苏哈·奥伦·穆特鲁吉尔 三 2017 验证事件驱动异步程序对并发的健壮性。 兹比尔1485.68054 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;布尔库·库拉希奥格鲁·奥兹坎;塞尔达尔·塔西兰 2 2017 关于将线性化能力降低到状态可达性。 兹比尔1395.68090 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 2 2018 使用基于事件的同步分析异步程序。 Zbl 1335.68053号 迈克尔·埃米;皮埃尔·甘蒂;鲁帕克·马朱姆达尔;费尔南多·罗莎·维拉尔多 1 2015 监测弱一致性。 兹比尔1511.68181 迈克尔·埃米;康斯坦丁·埃纳 1 2018 关于检查复制数据类型一致性的复杂性。 Zbl 1533.68144号 拉纳德普·比斯沃斯;迈克尔·埃米;康斯坦丁·埃纳 1 2019 关于检查复制数据类型一致性的复杂性。 Zbl 1533.68144号 拉纳德普·比斯沃斯;迈克尔·埃米;康斯坦丁·埃纳 1 2019 关于将线性化能力降低到状态可达性。 Zbl 1395.68090号 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 2 2018 监测弱一致性。 兹比尔1511.68181 迈克尔·埃米;康斯坦丁·埃纳 1 2018 使用正向仿真验证线性化能力。 Zbl 1494.68067号 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁埃纳;苏哈·奥伦·穆特鲁吉尔 三 2017 验证事件驱动异步程序对并发的健壮性。 Zbl 1485.68054号 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;布尔库·库拉希奥格鲁·奥兹坎;塞尔达尔·塔西兰 2 2017 并发对象的可追踪细化检查。 Zbl 1345.68096号 艾哈迈德·布瓦贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 12 2015 关于将线性化能力降低到状态可达性。 Zbl 1395.68089号 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 10 2015 使用基于事件的同步分析异步程序。 Zbl 1335.68053号 迈克尔·埃米;皮埃尔·甘蒂;鲁帕克·马朱姆达尔;费尔南多·罗莎·维拉尔多 1 2015 根据顺序规范验证并发程序。 Zbl 1381.68048号 艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;哈姆扎，贾德 16 2013 递归并行程序的分析。 Zbl 1321.68184号 艾哈迈德·博阿贾尼;迈克尔·埃米 8 2012 消息传递程序的有界相位分析。 Zbl 1352.68057号 艾哈迈德·布瓦贾尼;迈克尔·埃米 6 2012 延迟调度。 兹比尔1284.68087 迈克尔·埃米;沙兹·卡迪尔;茨沃尼米尔·拉卡马里奇 12 2011 验证引用计数实现。 Zbl 1234.68254号 迈克尔·埃米;兰吉特·贾拉;埃迪·科勒;鲁帕克·马朱姆达尔 三 2009 实时软件验证的决策问题。 Zbl 1178.68340号 迈克尔·埃米;鲁帕克·马朱姆达尔 10 2006 所有引用出版物 前5名被引用出版物 全部的 前5名133位作者引用 12 康斯坦丁·埃纳 10 艾哈迈德·博阿贾尼 6 帕罗什·阿齐兹·阿卜杜拉 6 穆罕默德·法乌齐（Mohamed Faouzi Atig） 6 贾德·哈姆扎 5 迈克尔·埃米 三 布里杰什·多戈尔 2 艾尔维拉·阿尔伯特 2 劳拉·博泽利 2 维克多·库克 2 戴米安·德切夫 2 曼弗雷德·德罗斯特 2 米盖尔·戈梅斯·扎马洛亚 2 罗伯特·马克 2 丹尼尔·科宁 2 Shuvendu Kumar拉希里 2 拉尔，阿卡什 2 吕毅 2 阿尼埃洛·穆拉诺 2 维塔利·佩雷沃什奇科夫 2 阿德里亚诺·佩隆 2 克里斯蒂娜·彼得森。 2 卡迪尔，沙兹 2 阿尔伯特·鲁比奥 2 马蒂奥·桑马蒂诺 2 亚历山德拉·席尔瓦 2 贾里·斯坦曼 2 王超 2 海克·卫尔海姆 2 吴鹏 1 西里亚克·艾斯瓦里亚 1 拉赫达尔·阿克伦 1 阿萨亚，斯尼格达 1 克什蒂吉·班萨尔 1 西迪·穆罕默德·贝拉希 1 阿米恩·比尔 1 贝内迪克特·博利格 1 蔡晓娟 1 阿曼多·卡斯塔涅达 1 伯克·圣伊里西奇 1 洛伦佐·克莱门特 1 纳塔娜·库兰特 1 乔治·德尔扎诺 1 约翰·德里克 1 朱尔根·丁格尔 1 西蒙·多尔蒂 1 阿拉斯泰尔·唐纳森。 1 阿扎德法尔赞 1 约塔姆·M·Y·费尔德曼。 1 保罗·加斯丁 1 埃琳娜·贾奇诺 1 阿德韦特·阿米特·戈博莱 1 拉希德·格拉乌伊 1 阿尔蒂·古普塔 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 米盖尔·伊莎贝尔 1 兰吉特·贾拉 1 安德鲁·D·约翰逊。 1 索拉巴·乔希 1 德扬·约瓦诺维奇 1 卡隆，葡萄园 1 拉加万·科蒙多尔 1 库尔根·科尼 1 伊戈尔·康诺夫（Igor V.Konnov）。 1 埃里克·科斯金 1 伯恩哈德克拉格尔 1 桑卡拉·纳拉亚南·克里希纳 1 悉达哈·克里希纳 1 朱尔·库科维奇 1 K.Narayan Kumar 1 萨尔瓦多拉托雷 1 科西莫·拉内夫 1 萨沃米尔·拉索塔 1 兰科·拉齐奇 1 杰罗姆·勒鲁 1 李春苗 1 刘高刚 1 刘秀英 1 鲁帕克·马朱姆达尔 1 Filip马佐维耶基 1 亚当·莫里森 1 马达瓦恩·穆昆德 1 塞巴斯蒂安·穆斯卡拉 1 苏哈·奥伦·穆特鲁吉尔 1 那不勒斯，玛格丽塔 1 库马尔·纳拉扬。 1 小川，水井裕人 1 乔尔·欧·瓦克宁。 1 布尔库·库拉希奥格鲁·奥兹坎 1 画家，扎卡里 1 Gennaro帕拉托 1 彭杰 1 Micha Pilipczuk 1 M·普拉文。 1 亚历山大·拉比诺维奇 1 甘尼桑拉马林加姆 1 艾哈迈德·雷兹 1 奥思曼·雷津 1 诺姆·里内茨基 1 吉尔德·瓦莱里亚·罗德里格斯 …还有33位作者 全部的 前5名12篇连载文章中引用 6 信息与计算 三 系统设计中的形式化方法 2 计算 1 信息学报 1 信息处理信件 1 计算机与系统科学杂志 1 计算的形式化方面 1 国际计算机科学基础杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 65 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 按年份列出的引文