编辑配置文件（在新选项卡中打开） 沙迦·伊扎基 合著者距离 作者ID： 伊扎基·沙查尔 发布日期： 沙迦·伊扎基；伊扎基，S。 已编制索引的文档： 14出版物自2013年以来 合著者： 26位合著者具有14联合出版物 435位合作作者 全部的 前5名合著者 0 单作者的 7 诺姆·里内茨基 6 沙龙·肖姆 4 穆利·萨吉夫 三 奥伦·伊什·沙洛姆 三 希拉·佩勒 2 尼古拉·S·比约纳。 2 尼尔·伊梅尔曼 2 阿列克桑德·卡比雪夫 1 安妮迪亚·班纳吉 1 萨拉·科恩（Sara A.Cohen）。 1 雪莉·格罗斯曼 1 苏米特·古尔瓦尼 1 托默·科特克 1 奥里·拉哈夫 1 马涅维奇，罗马 1 阿列克桑达尔·纳内夫斯基 1 马坦一世·贝利德。 1 纳迪亚·波里卡波娃 1 巴特·陈·罗森伯格 1 鲁本·罗伊，N.S。 1 谢尔盖，伊利亚 1 伊坦·辛格 1 奥尔·塔米尔 1 赫尔穆特·维思 1 埃兰·雅哈夫 1 弗洛里安·祖勒格 系列 1 信息学报 1 美国医学会杂志 领域 14 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用24中的次22文件 引用人▼ 年份▼ 普适不变量的属性定向推理或证明其缺失。 Zbl 1381.68169号 A.卡比雪夫。；北卡罗来纳州比约纳。；伊扎基，S。；北卡罗来纳州里内茨基。；绍姆，S。 8 2015 通过有效的命题公式对堆路径进行模块化推理。 Zbl 1284.68403号 沙迦·伊扎基；安妮迪亚·班纳吉；尼尔·伊梅尔曼；奥里·拉哈夫；阿列克桑达尔·纳内夫斯基；穆利·萨吉夫 5 2014 压缩阵列程序：通过归纳秩减少进行循环验证。 Zbl 07228504号 奥伦·伊什·沙洛姆；沙迦·伊扎基；诺姆·里内茨基；沙龙·肖姆 4 2020 普适不变量的属性定向推理或证明其缺失。 Zbl 1426.68050号 阿列克桑德·卡比雪夫；尼古拉·比约纳；沙迦·伊扎基；诺姆·里内茨基；沙龙·肖姆 4 2017 关于使用嵌入式SQL自动验证web应用程序。 Zbl 1402.68123号 沙迦·伊扎基；托默·科特克；诺姆·里内茨基；穆利·萨吉夫；奥尔·塔米尔；赫尔穆特·维思；弗洛里安·祖勒格 1 2017 结合符号和数值推理解决几何问题。 Zbl 1407.68513号 沙迦·伊扎基；苏米特·古尔瓦尼；尼尔·伊梅尔曼；穆利·萨吉夫 1 2013 用于合成的基于抽象的交互模型。 Zbl 1446.68034号 希拉·佩勒；沙迦·伊扎基；沙龙·肖姆 1 2018 压缩阵列程序：通过归纳秩减少进行循环验证。 Zbl 07228504号 奥伦·伊什·沙洛姆；沙迦·伊扎基；诺姆·里内茨基；沙龙·肖姆 4 2020 基于抽象的合成交互模型。 Zbl 1446.68034号 希拉·佩勒；沙迦·伊扎基；沙龙·肖姆 1 2018 普适不变量的属性定向推理或证明其缺失。 Zbl 1426.68050号 阿列克桑德·卡比雪夫；尼古拉·比约纳；沙迦·伊扎基；诺姆·里内茨基；沙龙·肖姆 4 2017 关于使用嵌入式SQL自动验证web应用程序。 兹比尔1402.68123 沙迦·伊扎基；托默·科特克；诺姆·里内茨基；穆利·萨吉夫；奥尔·塔米尔；赫尔穆特·维思；弗洛里安·祖勒格 1 2017 普适不变量的属性定向推理或证明其缺失。 Zbl 1381.68169号 A.卡比雪夫。；北卡罗来纳州比约纳。；伊扎基，S。；北卡罗来纳州里内茨基。；绍姆，S。 8 2015 通过有效的命题公式对堆路径进行模块化推理。 Zbl 1284.68403号 沙迦·伊扎基；安妮迪亚·班纳吉；尼尔·伊梅尔曼；奥里·拉哈夫；阿列克桑达尔·纳内夫斯基；穆利·萨吉夫 5 2014 结合符号和数值推理解决几何问题。 Zbl 1407.68513号 沙迦·伊扎基；苏米特·古尔瓦尼；尼尔·伊梅尔曼；穆利·萨吉夫 1 2013 所有引用的出版物 前5名被引用出版物 全部的 前5名56位作者引用 4 沙龙·肖姆 三 亚历山德罗·西马蒂 三 阿尔贝托·格里乔 三 帕塔萨拉西马杜苏丹 2 约塔姆·M·Y·费尔德曼。 2 沙迦·伊扎基 2 肯尼思·麦克米兰。 2 奥德·帕顿 2 吉安卢卡·雷登迪 2 穆利·萨吉夫 1 亚历克斯·艾肯 1 尼古拉·S·比约纳。 1 皮埃尔·布赫斯 1 朱利安·布莱恩 1 查克拉波蒂，苏普拉特克 1 科恩、利隆 1 阿斯亚·弗鲁姆金 1 普拉纳夫·加格 1 西尔维奥·吉拉尔迪 1 亚历山德罗·吉亚诺拉 1 劳雷·贡诺德 1 阿什图什·古普塔 1 阿里·古芬克尔 1 韩，杰西·迈克尔 1 洛依茨海露 1 尼尔·伊梅尔曼 1 奥伦·伊什·沙洛姆 1 迪帕克·卡普尔 1 瑞安·克鲁格 1 安大略省Lhoták 1 克里斯托夫·Löding 1 马图尔，乌芒 1 佐尔坦·米克洛斯 1 大卫·莫尼奥（David P.Monniaux）。 1 塞尔吉奥·莫弗 1 克里斯坦·米勒 1 阿迪蒂亚·穆拉利 1 丹尼尔·奈德 1 Park，大军 1 希拉·佩勒 1 卢卡斯·佩尼亚 1 丹尼斯·佩特尔 1 诺姆·里内茨基 1 安德烈·里巴尔琴科 1 Shambwaditya萨哈 1 赫尔穆特·塞德尔 1 丹尼尔·塞尔萨姆 1 拉胡尔·夏尔马 1 Rituraj Singh 1 维奥里卡Sofrone-Stokkerman 1 斯特凡诺·托内塔 1 乌纳德卡特，迪维什 1 科尔·维克 1 马赫什·维斯瓦纳坦 1 马可·沃伊格特 1 埃兰·雅哈夫 3篇连载文章中引用 2 自动推理杂志 2 系统设计中的形式化方法 1 信息学报 在2个字段中引用 22 计算机科学（68至XX） 9 数理逻辑与基础（03-XX） 按年份列出的引文