编辑配置文件(在新选项卡中打开) 亚基尔·维泽尔 合著者距离 作者ID: 维泽尔·亚基尔 发布日期: 亚基尔·维泽尔 已编制索引的文档: 10出版物自2013年起 3作为编辑的贡献 合著者: 15位合著者具有13联合出版物 373位联合作者 全部的 前5名合著者 0 单作者的 7 沙龙·肖姆 5 阿里·古芬克尔 三 沙拉德·马利克 2 亚历山大·纳德尔 2 瓦迪姆·里夫钦 1 罗德里克·布洛姆 1 维杰·加内什 1 奥尔纳·格伦伯格 1 阿尔蒂·古普塔 1 弗里茨·亨利恩 1 瑞典雅各布斯 1 哈里·戈文德·维迪拉曼娜·克里希南 1 罗恩·谢默 1 普拉莫德·苏布拉曼扬 1 杨伟坤 系列 三 计算机科学课堂讲稿 1 系统设计中的形式化方法 领域 13 计算机科学(68至XX) 三 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用33中的次30文件 引用人▼ 年份▼ 按需量词。 Zbl 1517.68239号 阿里·古芬克尔;沙龙·肖姆;亚基尔·维泽尔 11 2018 使用插值进行前向-后向可达性分析。 Zbl 1381.68184号 亚基尔·维泽尔;奥尔纳·格伦伯格;沙龙·肖姆 5 2013 以属性为导向的自我组合。 Zbl 07805531号 罗恩·谢默;阿里·古芬克尔;沙龙·肖姆;亚基尔·维泽尔 5 2019 在CNF中高效生成小型插值。 Zbl 1341.68120号 亚基尔·维泽尔;瓦迪姆·里夫钦;亚历山大·纳德尔 三 2013 内插强感应。 Zbl 07805833号 克里希南,Hari Govind Vediramana;亚基尔·维泽尔;维杰·加内什;阿里·古芬克尔 三 2019 IC3–在ICE中翻转E。 Zbl 1484.68105号 维泽尔,雅基尔;阿里·古芬克尔;沙龙·肖姆;沙拉德·马利克 2 2017 快速插值BMC。 Zbl 1381.68185号 亚基尔·维泽尔;阿里·古芬克尔;沙拉德·马利克 2 2015 懒惰的自我组合用于安全验证。 Zbl 1511.68171号 杨伟坤;亚基尔·维泽尔;普拉莫德·苏布拉曼扬;阿尔蒂·古普塔;沙拉德·马利克 2 2018 以属性为导向的自我组合。 Zbl 07805531号 罗恩·谢默;阿里·古芬克尔;沙龙·肖姆;亚基尔·维泽尔 5 2019 内插强感应。 Zbl 07805833号 哈里·戈文德·维迪拉曼娜·克里希南;亚基尔·维泽尔;维杰·加内什;阿里·古芬克尔 三 2019 按需量词。 Zbl 1517.68239号 阿里·古芬克尔;沙龙·肖姆;亚基尔·维泽尔 11 2018 懒惰的自我组合用于安全验证。 Zbl 1511.68171号 杨伟坤;亚基尔·维泽尔;普拉莫德·苏布拉曼扬;阿尔蒂·古普塔;沙拉德·马利克 2 2018 IC3–在ICE中翻转E。 Zbl 1484.68105号 亚基尔·维泽尔;阿里·古芬克尔;沙龙·肖姆;沙拉德·马利克 2 2017 快速插值BMC。 Zbl 1381.68185号 亚基尔·维泽尔;阿里·古芬克尔;沙拉德·马利克 2 2015 使用插值进行交织前后可达性分析。 Zbl 1381.68184号 亚基尔·维泽尔;奥尔纳·格伦伯格;沙龙·肖姆 5 2013 在CNF中高效生成小型插入物。 Zbl 1341.68120号 亚基尔·维泽尔;瓦迪姆·里夫钦;亚历山大·纳德尔 三 2013 所有引用出版物 前5名被引用出版物 全部的 前5名被86位作者引用 2 克拉克·W·巴雷特。 2 吉安皮耶罗·卡博迪 2 Supratik查克拉博蒂 2 阿尔贝托·格里乔 2 阿什图什·古普塔 2 艾哈迈德·埃尔凡 2 马凯·曼 2 奥德·帕顿 2 迪夫耶什·乌纳德卡特 2 亚基尔·维泽尔 1 Alt,Leonardo S。 1 凯文·巴茨 1 乌鸦·贝特纳 1 德克·拜尔 1 艾哈迈德·巴亚特 1 阿明·比尔 1 莱昂内尔·布拉特 1 罗德里克·布洛姆 1 艾哈迈德·博阿贾尼 1 韦尔·阿明(Wael-Amine)Boutglay 1 朱利安·布莱恩 1 卡穆拉蒂,体育。 1 马雷克·查卢帕 1 陈明帅 1 马尔科·艾尔斯 1 克莱门斯·艾森霍费尔 1 吉登·恩斯特 1 格里戈里·费迪尤科维奇 1 约塔姆·M·Y·费尔德曼。 1 伯恩德·芬克贝纳 1 伊莎贝尔·加西亚·孔特雷拉斯 1 帕米娜·乔治奥 1 西尔维奥·吉拉尔迪 1 亚历山德罗·吉亚诺拉 1 劳雷·贡诺德 1 奥哈德·古兹米德 1 奥尔纳·格伦伯格 1 苏米特·古尔瓦尼 1 阿里·古芬克尔 1 彼得·哈贝梅尔 1 凯乔·赫尔扬科 1 安蒂·E·J·海瓦·里宁。 1 瑞典雅各布斯 1 帕维尔·扬契克 1 本杰明·卢西恩·卡明斯基 1 迪帕克·卡普尔 1 Joost-Pieter卡托恩 1 直纪小林 1 科夫罗,简 1 埃里克·科斯金 1 尼古拉·科马托夫 1 科瓦奇,劳拉·伊尔迪科 1 帕斯卡尔·勒加尔 1 卡梅洛·洛伊亚科诺 1 克里斯托夫·马提亚 1 松下幸助 1 肯尼思·麦克米兰。 1 Severin Meier 1 大卫·莫尼奥(David P.Monniaux)。 1 彼得·米勒 1 亚历山大·纳德尔 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 马可·帕莱纳 1 保罗·帕西尼 1 丹尼斯·佩特尔 1 维吉尔·普雷沃斯托 1 贾尔斯·里格尔 1 Franz-Xaver Reichl 1 瓦迪姆·里夫钦 1 马蒂亚斯·施莱普费尔 1 戴维·施密特(David A.Schmidt)。 1 菲利普·施罗德 1 娜塔莎·莎莉吉娜 1 莎莱·申瓦尔德 1 沙龙·肖姆 1 弗里德里希·斯利沃夫斯基 1 维奥里卡Sofrone-Stokkerman 1 斯特雷切克,简 1 斯泽德,斯特凡 1 大雄县Terauchi 1 津田,武士 1 不,Hiroshi 1 丹尼洛·文德拉米内托 1 科尔·维克 1 乔治·威森巴赫 1 于,艾米丽 引用于3个系列 4 系统设计中的形式化方法 1 自动推理杂志 1 计算机科学中的逻辑方法 在4个字段中引用 30 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文