编辑配置文件(在新选项卡中打开) 弗雷德里克·哈齐扎 合著者距离 作者ID: 哈齐萨·弗雷德里克 发布日期: 弗雷德里克·哈齐扎;弗雷德里克·哈齐扎 编入索引的文档: 6出版物自2008年起 合著者: 12位合著者具有6联合出版物 304 Co-Co作者 全部的 前5名合著者 0 单作者的 5 帕罗什·阿齐兹·阿卜杜拉 三 卢卡什·霍利克 三 艾哈迈德·雷兹 1 艾哈迈德·博阿贾尼 1 乔纳森·塞德伯格 1 陈玉芳 1 乔治·德尔扎诺 1 卢卡·霍利克 1 Chih-Duo洪 1 本特·琼森 1 罗兰·梅耶 1 塞巴斯蒂安·沃尔夫 系列 领域 6 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用34中的次31文件 引用人▼ 年份▼ 所有这些都是为了几个(通过视图抽象进行参数化验证)。 Zbl 1426.68160号 帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克 16 2013 一种用于高度并发数据结构的集成规范和验证技术。 Zbl 1381.68141号 帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克;本特·琼森;艾哈迈德·雷兹 9 2013 具有动态内存堆的程序的单调抽象。 Zbl 1155.68423号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;乔纳森·塞德伯格;弗雷德里克·哈齐扎;艾哈迈德·雷兹 7 2008 约束单调抽象:用于参数化验证的CEGAR。 Zbl 1287.68117号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;乔治·德尔扎诺;弗雷德里克·哈齐扎;Chih-Duo洪;艾哈迈德·雷兹 1 2010 视图抽象–教程(特邀论文)。 Zbl 1429.68137号 帕罗什·A·阿卜杜拉。;弗雷德里克·哈齐扎;卢卡·霍利克 1 2015 视图抽象–教程(特邀论文)。 Zbl 1429.68137号 帕罗什·A·阿卜杜拉。;弗雷德里克·哈齐扎;卢卡·霍里克 1 2015 所有这些都是为了几个(通过视图抽象进行参数化验证)。 Zbl 1426.68160号 帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克 16 2013 一种用于高度并发数据结构的集成规范和验证技术。 Zbl 1381.68141号 帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克;本特·琼森;艾哈迈德·雷兹 9 2013 约束单调抽象:用于参数化验证的CEGAR。 Zbl 1287.68117号 帕罗什·阿齐兹·阿卜杜拉;陈玉芳;乔治·德尔扎诺;弗雷德里克·哈齐扎;Chih-Duo洪;艾哈迈德·雷兹 1 2010 具有动态内存堆的程序的单调抽象。 Zbl 1155.68423号 帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;乔纳森·塞德伯格;弗雷德里克·哈齐扎;艾哈迈德·雷兹 7 2008 所有引用出版物 前5名被引用出版物 全部的 前5名79位作者引用 6 帕罗什·阿齐兹·阿卜杜拉 5 艾哈迈德·博阿贾尼 5 康斯坦丁·埃纳 三 迈克尔·埃米 三 托马斯·沃伊纳尔 2 马里乌斯·博兹加 2 约塔姆·M·Y·费尔德曼。 2 彼得·哈贝梅尔 2 贾德·哈姆扎 2 弗雷德里克·哈齐扎 2 卢卡什·霍利克 2 拉杜·奥西夫 2 伊戈尔·康诺夫(Igor V.Konnov)。 2 艾哈迈德·雷兹 2 沙龙·肖姆 2 托马斯·沃尔 2 约瑟夫·威德 1 康斯坦蒂诺斯·阿萨纳西奥 1 贝内迪克特·博利格 1 乔纳森·塞德伯格 1 查克拉波蒂,苏普拉特克 1 Chane-Yack-Fa,拉斐尔 1 玛丽亚·克里斯塔基斯 1 达姆,沃纳 1 乔治·德尔扎诺 1 哈维尔·埃斯帕尔扎 1 阿兰·芬克尔 1 马克·弗拉皮耶 1 保罗·加斯丁 1 迪米特拉·吉安娜科波卢 1 巴加夫·古拉瓦尼。 1 阿里·古芬克尔 1 卢卡·霍利克 1 马提亚斯·霍巴赫 1 尼尔·伊梅尔曼 1 本特·琼森 1 德扬·约瓦诺维奇 1 亚历山大·凯泽。 1 巴巴拉·科尼格 1 帕纳吉奥蒂斯·库瓦罗斯 1 悉达哈·克里希纳 1 丹尼尔·科宁 1 朱尔·库科维奇 1 Ondřej Lengál 1 刘培尊 1 加文·洛 1 吕毅 1 阿梅尔·曼玛 1 皮埃尔·莫罗 1 亚当·莫里森 1 Kedar S.Namjoshi。 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 诺丽,阿迪亚·维塔尔 1 奥德·帕顿 1 托马斯·帕尼 1 Păsăreanu,科琳娜·s。 1 甘尼桑拉马林加姆 1 诺姆·里内茨基 1 亚当·罗加列维奇 1 费尔南多·罗莎·维拉尔多 1 穆利·萨吉夫 1 贾娜·舒伯特 1 约瑟夫·西法基斯 1 Šimáckek,Jiří 1 维奥里卡Sofrone-Stokkerman 1 斯帕拉齐,卢卡 1 弗朗西斯科·斯佩尼 1 一月,Stückrath 1 穆拉利达尔·塔卢普尔 1 理查德·特雷弗(Richard J.Trefler)。 1 聪奎·特里恩 1 王超 1 王超 1 格奥尔格·魏森巴赫 1 克里斯托夫·韦尔泽尔 1 斯科特·卫斯理 1 吴鹏 1 瓦伦丁·Wüstholz 1 弗洛里安·祖勒格 5篇连载文章中引用 三 信息与计算 三 系统设计中的形式化方法 2 信息学报 1 人工智能 1 计算的形式方面 在3个字段中引用 31 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文