编辑配置文件（在新选项卡中打开） 阿扎德法尔赞 合著者距离 作者ID： 法拉赞·阿扎德 发布日期： 阿扎德法尔赞 已编制索引的文档： 24出版物自2004年起 2作为编辑的贡献 合著者： 19位合著者具有26联合出版物 761位联合作者 全部的 前5名合著者 0 单作者的 8 扎卡里·金凯德 5 帕塔萨拉西马杜苏丹 5 安德烈亚斯·波德尔斯基 4 何塞·梅塞盖尔·瓜伊塔 三 斯瓦拉特·乔杜里 三 康斯坦丁埃纳 2 陈玉芳 2 伯克·圣伊里西奇 2 克拉克（Edmund Melson jun Clarke）。 2 苏哈·奥伦·穆特鲁吉尔 2 格里高·罗什乌 2 Tsay，Yih-Kuen先生 2 王，弯腰 1 陈冯 1 马蒂亚斯·海兹曼 1 Jochen Hoenicke公司 1 维克托·尼科莱特 1 弗朗西斯科·索伦蒂诺 1 安东尼·范迪卡斯 系列 2 计算机科学课堂讲稿 领域 26 计算机科学（68至XX） 2 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用143中的次97文件 引用人▼ 年份▼ 将自动合成验证扩展到整个欧米伽规则语言类。 Zbl 1134.68406号 阿扎德法尔赞；陈玉芳；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen先生；王，弯腰 24 2008 学习用于成分验证的最小分离DFA。 Zbl 1234.68166号 陈玉芳；阿扎德法尔赞；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen先生；王，弯腰 21 2009 JavaFAN中Java程序的形式化分析。 Zbl 1103.68611号 阿扎德法尔赞；陈冯；何塞·梅塞格尔；格里高·罗什乌 18 2004 JavaFAN中的正式JVM代码分析。 Zbl 1108.68382号 阿扎德法尔赞；何塞·梅塞格尔；格里高·罗什乌 10 2004 归纳数据流图。 Zbl 1301.68178号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 9 2013 编程语言重写语义的部分降阶。 Zbl 1279.68207号 阿扎德法尔赞；何塞·梅塞格尔 7 2007 监控并发程序中的原子性。 Zbl 1155.68365号 阿扎德法尔赞；马杜苏丹，P。 7 2008 证明参数化程序的活性。 Zbl 1401.68038号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 6 2016 预测原子性违规的复杂性。 Zbl 1234.68076号 阿扎德法尔赞；马杜苏丹，P。 5 2009 使用不可见转换的重写理论的状态空间缩减。 Zbl 1236.68182号 阿扎德法尔赞；何塞·梅塞格尔 5 2006 通过数据和控制的模块化推理验证参数化并发程序。 Zbl 1321.68192号 阿扎德法尔赞；扎卡里·金凯德 5 2012 无界平行度的证明空间。 Zbl 1345.68102号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 5 2015 自动化超安全核查。 兹伯利07805533 阿扎德法尔赞；安东尼·范迪卡斯 5 2019 证明这一点。 兹比尔1284.68395 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 4 2014 因果原子性。 Zbl 1188.68186号 阿扎德法尔赞；马杜苏丹，P。 三 2006 具有嵌套锁的并发程序的合成位向量分析。 Zbl 1306.68013号 阿扎德法尔赞；扎卡里·金凯德 三 2010 嵌套锁下原子性冲突的元分析。 Zbl 1242.68065号 阿扎德法尔赞；马杜苏丹，P。；弗朗西斯科·索伦蒂诺 2 2009 关于非原子写入中的原子性。 Zbl 1420.68052号 康斯坦丁埃纳；阿扎德法尔赞 2 2016 并发程序的因果数据流分析。 Zbl 1186.68111号 阿扎德法尔赞；马杜苏丹，P。 1 2007 决策程序的一致性分析。 Zbl 1284.68386号 斯瓦拉特·乔杜里；阿扎德法尔赞；扎卡里·金凯德 1 2014 自动化超安全核查。 Zbl 07805533号 阿扎德法尔赞；安东尼·范迪卡斯 5 2019 证明参数化程序的活性。 Zbl 1401.68038号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 6 2016 关于非原子写入中的原子性。 Zbl 1420.68052号 康斯坦丁埃纳；阿扎德法尔赞 2 2016 无界并行的证明空间。 Zbl 1345.68102号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 5 2015 证明这一点。 Zbl 1284.68395号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 4 2014 决策程序的一致性分析。 Zbl 1284.68386号 斯瓦拉特·乔杜里；阿扎德法尔赞；扎卡里·金凯德 1 2014 归纳数据流图。 Zbl 1301.68178号 阿扎德法尔赞；扎卡里·金凯德；安德烈亚斯·波德尔斯基 9 2013 通过数据和控制的模块化推理验证参数化并发程序。 Zbl 1321.68192号 阿扎德法尔赞；扎卡里·金凯德 5 2012 具有嵌套锁的并发程序的合成位向量分析。 Zbl 1306.68013号 阿扎德法尔赞；扎卡里·金凯德 三 2010 学习用于成分验证的最小分离DFA。 Zbl 1234.68166号 陈玉芳；阿扎德法尔赞；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen先生；王，弯腰 21 2009 预测原子性违规的复杂性。 兹比尔12346.8076 阿扎德法尔赞；马杜苏丹，P。 5 2009 嵌套锁下原子性冲突的元分析。 Zbl 1242.68065号 阿扎德法尔赞；马杜苏丹，P。；弗朗西斯科·索伦蒂诺 2 2009 将自动组合验证扩展到整个omega正则语言类。 Zbl 1134.68406号 阿扎德法尔赞；陈玉芳；埃德蒙·克拉克（Edmund M.Clarke）。；Tsay，Yih-Kuen先生；王，弯腰 24 2008 监控并发程序中的原子性。 Zbl 1155.68365号 阿扎德法尔赞；马杜苏丹，P。 7 2008 编程语言重写语义的部分降阶。 Zbl 1279.68207号 阿扎德法尔赞；何塞·梅塞格尔 7 2007 并发程序的因果数据流分析。 Zbl 1186.68111号 阿扎德法尔赞；马杜苏丹，P。 1 2007 使用不可见转换的重写理论的状态空间缩减。 Zbl 1236.68182号 阿扎德法尔赞；何塞·梅塞格尔 5 2006 因果原子性。 Zbl 1188.68186号 阿扎德法尔赞；马杜苏丹，P。 三 2006 JavaFAN中Java程序的形式化分析。 Zbl 1103.68611号 阿扎德法尔赞；陈冯；何塞·梅塞格尔；格里高·罗什乌 18 2004 JavaFAN中的正式JVM代码分析。 Zbl 1108.68382号 阿扎德法尔赞；何塞·梅塞格尔；格里高·罗什乌 10 2004 所有引用出版物 前5名被引用出版物 全部的 前5名206位作者引用 9 何塞·梅塞盖尔·瓜伊塔 7 达纳·菲斯曼 7 格里高·罗什乌 6 达纳·安格鲁因 6 奥尔纳·格伦伯格 5 阿扎德法尔赞 5 沙龙·肖姆 4 陈玉芳 4 Jochen Hoenicke公司 4 罗兰·梅耶 4 科琳娜·s·佩斯勒诺。 4 安德烈亚斯·波德尔斯基 4 Şerbănuţă，特拉恩·弗洛林 三 康斯坦丁埃纳 三 海姆，皮尔雷·科里尔 三 帕塔萨拉西马杜苏丹 三 王，弯腰 2 卡拉姆Abd Elkader 2 安、杰 2 尤罕·博伊库特 2 艾哈迈德·博阿贾尼 2 彼得·奇尼 2 哈达尔·弗兰克尔 2 佩德罗·加西亚 2 阿尔蒂·古普塔 2 马修·黑格 2 马蒂亚斯·海兹曼 2 伊戈尔·康诺夫（Igor V.Konnov）。 2 埃里克·科斯基宁 2 李勇 2 刘德鹏 2 安德烈亚斯·洛赫比勒 2 达米安·洛佩斯 2 安卡·穆斯科尔 2 塞巴斯蒂安·穆斯卡拉 2 西里尔·尼科德 2 Peter Csaba，Olveczky 2 普拉卡什·塞瓦桑 2 西尔万·施密茨 2 莎莱·申瓦尔德 2 Tsay，Yih-Kuen先生 2 曼努埃尔·Vázquez de Parga 2 约瑟夫·威德 2 詹伯华 2 詹乃军 2 张丽君 2 张苗苗 1 帕罗什·阿齐兹·阿卜杜拉 1 穆萨布·阿尔图尔基。 1 蒂莫斯·安东尼奥普洛斯 1 安德烈·阿鲁索艾 1 艾琳娜·莫瑞卡 1 作为阿沃，米哈伊尔 1 Bae，Kyungmin先生 1 保罗·巴尔丹 1 艾米莉·巴拉德 1 克什蒂吉·班萨尔 1 斯蒂芬·巴特 1 圣地亚哥包蒂斯塔 1 乌鸦·贝特纳 1 亨利克·比约克隆德 1 约翰娜·比约克隆德 1 Jean-Paul Bodeveix公司 1 乌迪·博克 1 朱利安·布鲁内尔 1 保罗·布鲁内特 1 卢卡斯·布尔瓦恩 1 戴维·谢穆伊尔 1 陈明帅 1 德米特里五世·奇斯蒂科夫。 1 杰根，基督 1 文森佐·西安西亚 1 伯克·圣伊里西奇 1 克拉克（Edmund Melson jun Clarke）。 1 罗伯特·J·科尔文。 1 沃伊切赫，切尔文斯基 1 克里斯蒂娜·大卫 1 丹尼尔·迪特施 1 迪帕克·D’Souza 1 弗朗西斯科·杜兰 1 埃米，迈克尔 1 冯，托马斯·惠宁 1 亨宁费尔瑙 1 皮埃特罗·费拉拉 1 伯恩德·芬克贝纳 1 尼尔斯·弗利什哈克 1 马来K·加奈。 1 普拉纳夫·加格 1 托马斯·杰奈特 1 玛丽安·盖奥吉 1 迪米特拉·吉安娜科波卢 1 丹尼尔·戈拉 1 哈ß，拉尔斯·海尔格 1 Heggenes，皮纳尔 1 希尔斯，马克 1 彼得·霍夫曼 1 卢卡什，霍利克 1 佛罗伦萨伊帕特 1 金、项羽 1 容伯姆·荣格 …还有106位作者 全部的 前5名16篇连载文章中引用 9 信息与计算 8 理论计算机科学 4 计算的形式方面 4 系统设计中的形式化方法 三 自动推理杂志 三 逻辑与代数程序设计杂志 三 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 国际计算机科学基础杂志 1 信息学报 1 人工智能 1 信息科学 1 计算机与系统科学杂志 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 全部的 前5名在6个字段中引用 94 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 历史和传记（01-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文