编辑配置文件（在新选项卡中打开） 西瓦尼特·鲁阿 合著者距离 作者ID: 鲁亚·西特瓦尼特 发布日期： 西瓦尼特·鲁阿;Ruah，S。 编入索引的文档： 8出版物自1998年以来 合著者： 9合著者具有8联合出版物 561合著作者 全部的 前5名合著者 0 单作者的 4 肖姆·本·达维德 4 达纳·菲斯曼 三 阿米尔·普努利 2 Lenore D.扎克。 1 塔玛拉·阿伦 1 科普提，费迪 1 达姆，沃纳 1 莫尼·奈尔 1 徐，英 系列 1 理论计算机科学 1 信息与计算 1 系统设计中的形式化方法 领域 8 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物被引用56中的次43文件 引用人▼ 年份▼ 使用不可见不变量进行自动演绎验证。 Zbl 0978.68539号 阿米尔·普努利;Ruah，西特瓦尼特;勒诺尔·扎克 25 2001 自动计算归纳断言的参数化验证。 兹比尔0991.68541 塔玛拉·阿伦;阿米尔·普努利;西瓦尼特·鲁阿;徐，英;勒诺尔·扎克 18 2001 在正则表达式中嵌入有限自动机。 Zbl 1223.68063号 肖姆·本·达维德;达纳·菲斯曼;西瓦尼特·鲁阿 4 2008 安全简单子集。 Zbl 1176.68112号 肖姆·本·达维德;达纳·菲斯曼;西瓦尼特·鲁阿 三 2006 用于硬件验证的Herbrand自动机。 Zbl 0940.68051号 达姆，W。;A.普努利。;Ruah，S。 三 1998 暂时性先行失败：精炼真空。 Zbl 1151.68469号 肖姆·本·达维德;达纳·菲斯曼;西瓦尼特·鲁阿 2 2007 实践中的空白：暂时的先例失败。 Zbl 1322.68132号 肖姆·本·达维德;科普提，费迪;达纳·菲斯曼;西瓦尼特·鲁阿 1 2015 实践中的空白：暂时的先例失败。 Zbl 1322.68132号 肖姆·本·达维德;科普提，费迪;达纳·菲斯曼;西瓦尼特·鲁阿 1 2015 在正则表达式中嵌入有限自动机。 Zbl 1223.68063号 肖姆·本·达维德;达纳·菲斯曼;西瓦尼特·鲁阿 4 2008 暂时性先行失败：精炼真空。 Zbl 1151.68469号 肖姆·本·达维德;达纳·菲斯曼;西瓦尼特·鲁阿 2 2007 安全简单子集。 兹比尔1176.68112 肖姆·本·达维德;达纳·菲斯曼;西瓦尼特·鲁阿 三 2006 使用不可见不变量进行自动演绎验证。 兹伯利0978.68539 阿米尔·普努利;西瓦尼特·鲁阿;勒诺尔·扎克 25 2001 使用自动计算的归纳断言进行参数化验证。 Zbl 0991.68541号 塔玛拉·阿伦;阿米尔·普努利;西瓦尼特·鲁阿;徐，英;勒诺尔·扎克 18 2001 用于硬件验证的Herbrand自动机。 Zbl 0940.68051号 达姆，W。;A.普努利。;Ruah，S。 三 1998 所有引用出版物 前5名被引用出版物 全部的 前5名84位作者引用 6 帕罗什·阿齐兹·阿卜杜拉 4 乔治·德尔扎诺 4 艾哈迈德·雷兹 4 Lenore D.扎克。 三 达纳·菲斯曼 三 麦克米兰，肯尼斯·L。 三 Kedar S.Namjoshi。 三 阿米尔·普努利 2 萨伊德·阿贝德 2 奥特曼·阿伊特·穆罕默德 2 肖姆·本·达维德 2 马吕斯·博兹加 2 亚历山德罗·西马蒂 2 阿尔贝托·格里乔 2 拉杜·奥西夫 2 亚辛·莫赫塔里 2 西蒙娜·奥尔赞 2 吉安卢卡·雷东迪 2 西瓦尼特·鲁阿 2 约瑟夫·西法基斯 2 索菲涅·塔哈尔 2 穆拉利达尔·塔卢普尔 2 理查德·特雷弗（Richard J.Trefler）。 2 赫尔穆特·维思 2 托马斯·沃伊纳尔 2 Tim A.C.Willemse。 1 保罗·C·阿提。 1 弗兰兹·巴德 1 伊塔·巴拉班 1 萨米克·巴苏 1 安德烈亚斯·鲍尔 1 贝拉德，贝特里奇 1 汉斯·贝勒 1 Jean-Paul Bodeveix公司 1 艾哈迈德·博阿贾尼 1 朱利安·布鲁内尔 1 戴维·谢穆伊尔 1 哈娜·乔克勒 1 玛丽亚·克里斯塔基斯 1 克拉克（Edmund Melson jun Clarke）。 1 科恩，阿里尔 1 科普提，费迪 1 朱尔斯·德沙奈斯 1 辛迪·艾斯纳 1 哈维尔·埃斯帕尔扎 1 方，易 1 迪米特拉·吉安娜科波卢 1 阿里·古芬克尔 1 彼得·哈伯梅尔 1 西尔万·霍尔 1 弗雷德里克·哈齐扎 1 努梅内·本·亨达 1 卢卡·霍利克 1 亚历山大大帝。 1 帕纳吉奥蒂斯·库瓦罗斯 1 波胡斯拉夫·科埃纳 1 丹尼尔·科宁 1 帕斯卡·拉福卡德 1 小米、劳瑞 1 豪尔赫·纳瓦斯（Jorge A.Navas）。 1 科琳娜·s·佩斯勒诺。 1 佩拉斯、昆廷 1 波托普·布图卡鲁，玛丽亚·格拉迪纳利 1 罗马克里希南，C.R。 1 雷，桑迪普 1 弗拉德·鲁苏 1 亚尼夫·萨阿尔 1 马可·萨梅尔 1 亚历杭德罗·桑切斯。 1 塞萨尔·桑切斯 1 宋晓宇 1 圣丹尼斯，理查德 1 斯特里赫曼（Ofer Strichman） 1 罗伯·萨默斯 1 蒂里·米格（Yann Thierry-Mieg） 1 阿文·费南托（Alwen Fernanto Tiu） 1 塞巴斯蒂安·蒂谢尔 1 雨果·特伦布雷 1 科尔·维克 1 托马斯·沃尔 1 克里斯托夫·韦尔泽尔 1 斯科特·卫斯理 1 瓦伦丁·Wüstholz 1 埃琳娜·齐诺维耶娃 全部的 前5名13篇连载文章中引用 6 系统设计中的形式化方法 三 理论计算机科学 1 信息学报 1 人工智能 1 国际通用系统杂志 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 信息与计算 1 自动推理杂志 1 离散事件动态系统 1 分布式计算 1 计算机语言、系统和结构 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 42 计算机科学（68至XX） 9 数理逻辑与基础（03-XX） 1 差分和函数方程（39至XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文