编辑配置文件(在新选项卡中打开) Vigyan Singhal公司 合著者距离 作者ID: 辛格 发布日期: Vigyan Singhal公司 已编制索引的文档: 8出版物自1994年以来 合著者: 14位合著者具有8联合出版物 243位合作作者 全部的 前5名合著者 0 单作者的 7 阿德南·阿齐兹 三 杰森·鲍姆加特纳 三 罗伯特·K·布雷顿。 2 泰米尔·海曼 2 Alberto L.Sangiovanni-Vincentelli。 1 安德森,弗莱明M.B。 1 费利斯·巴拉林 1 阿努吉·戈尔 1 卡尔·P·皮克斯利。 1 库拉姆·萨吉德 1 库穆德·桑瓦尔 1 Thomas R.Shiple。 1 安森·特里普 1 周,海 系列 三 系统设计中的形式化方法 1 ACM计算逻辑事务 领域 8 计算机科学(68至XX) 三 信息与通信理论、电路(94-XX) 1 数理逻辑与基础(03-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用69中的次67文件 引用人▼ 年份▼ 模型检查连续时间马尔可夫链。 Zbl 1365.68313号 阿德南·阿齐兹;库穆德·桑瓦尔;Vigyan辛格哈尔;罗伯特·布雷顿 56 2000 基于BDD的程序,用于具有未知函数的等式理论。 Zbl 1021.68057号 阿努吉·戈尔;库拉姆·萨吉德;周,海;阿德南·阿齐兹;Vigyan Singhal公司 6 2003 公平克里普克结构的等效性。 Zbl 1418.68125号 阿德南·阿齐兹;Vigyan Singhal公司;费利斯·巴拉林;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 5 1994 组合CTL模型检查的依赖于公式的等效性。 Zbl 1019.68064号 阿德南·阿齐兹;托马斯·希普尔;Vigyan Singhal公司;罗伯特·布雷顿;阿尔贝托Sangiovanni-Vincentelli 1 2002 一种用于验证基于锁存的级别敏感网表的抽象算法。 Zbl 1065.68068号 杰森·鲍姆加特纳;泰米尔·海曼;Vigyan Singhal公司;阿德南·阿齐兹 1 2003 基于BDD的具有未解释函数的等式理论的过程。 Zbl 1021.68057号 阿努吉·戈尔;库拉姆·萨吉德;周,海;阿德南·阿齐兹;Vigyan Singhal公司 6 2003 一种用于验证基于锁存的级别敏感网表的抽象算法。 Zbl 1065.68068号 杰森·鲍姆加特纳;泰米尔·海曼;Vigyan Singhal公司;阿德南·阿齐兹 1 2003 组合CTL模型检查的依赖于公式的等效性。 Zbl 1019.68064号 阿德南·阿齐兹;托马斯·希普尔;Vigyan Singhal公司;罗伯特·布雷顿;阿尔贝托Sangiovanni-Vincentelli 1 2002 模型检查连续时间马尔可夫链。 兹比尔1365.68313 阿德南·阿齐兹;库穆德·桑瓦尔;Vigyan Singhal公司;罗伯特·布雷顿 56 2000 公平克里普克结构的等效性。 Zbl 1418.68125号 阿德南·阿齐兹;Vigyan Singhal公司;费利斯·巴拉林;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 5 1994 所有引用的出版物 前5名被引用出版物 全部的 前5名156位作者引用 10 Joost-Pieter卡托恩 5 霍尔格·赫尔曼斯 4 克里斯特尔·拜尔 4 Boudewijn R.哈维尔科特。 三 卢卡·博托卢西 三 奥尔纳·库普弗曼 三 Kwiatkowska,Marta Z。 三 萨代赫·苏贾尼 2 巴哈雷赫巴德班 2 卢博什·布里姆 2 彼得·巴赫霍尔茨 2 科什卡,米兰 2 布,露西娅 2 Dannenberg,弗里茨 2 冯、袁 2 大卫·吉尔伯特 2 恩斯特·莫里茨·哈恩 2 韩婷婷 2 莫尼卡·海纳 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 简·希尔斯顿 2 迭戈·拉特拉 2 鲁帕克·马朱姆达尔 2 梅克·马西克 2 亚历山大·梅雷克莱 2 弗莱明·尼尔森 2 Rajamani,Sriram K。 2 约夫·罗德 2 斯特里赫曼(Ofer Strichman) 2 维雷娜·沃尔夫 2 徐明 2 汉斯·赞特马 2 张丽君 1 亚历山德罗·阿巴特 1 萨伊德·阿贝德 1 奥特曼·阿伊特·穆罕默德 1 侯赛因·阿贾扎尔 1 Badings,Thom S。 1 穆罕默德·埃敏·巴克尔 1 保罗·巴拉里尼 1 罗伯托·巴布蒂 1 卢西亚诺·巴雷西 1 图菲克·贝努希巴 1 博什纳奇·德拉甘 1 多龙·布斯坦 1 詹皮埃罗·卡波迪 1 卡德,莫菲 1 卡穆拉蒂,体育。 1 卢卡·卡德利 1 罗希特·查达 1 陈韬略 1 阿伦·德里克·克拉克 1 尼科莱塔·德·弗朗西斯科 1 洛科·德尼古拉 1 希切姆·黛比 1 何塞·德沙奈斯 1 迪·贝内代托,玛丽亚·多梅尼卡 1 亚历山德罗·迪安诺琴佐 1 苏珊娜·多纳泰利 1 斯特凡·爱德坎普 1 戴安娜·拉比 1 乌里·法伦贝格 1 安斯加·芬克 1 Daniel E.Gebler。 1 玛丽安·盖奥吉 1 卡洛·盖齐 1 霍尔格·吉斯 1 斯蒂芬·吉尔摩(Stephen T.Gilmore)。 1 格内西、斯特凡尼亚 1 Jan Friso,格鲁特 1 奥尔纳·格伦伯格 1 谢尔盖·哈达德 1 大卫·哈雷尔 1 瓦希德·哈希米 1 他,费 1 托马斯·希尔德布兰特。 1 安德拉斯·霍瓦思 1 黄成超 1 布赖恩特·伊斯雷尔森 1 大卫·詹森(David N.Jansen)。 1 詹森,尼尔斯 1 塞巴斯蒂安·荣格斯 1 彼得·坎佩尔 1 丹尼尔·克林克 1 萨瓦斯·科努尔 1 罗伯塔·兰西亚尼 1 Legay、Axel 1 塞巴斯蒂安·勒拉克 1 Leucker,马丁 1 李志斌 1 米歇尔·洛雷蒂 1 沃尔夫冈·马尔旺 1 绍克·莫 1 玛丽亚·马克西莫娃 1 米利奥斯·迪米特里奥斯 1 亚辛·莫赫塔里 1 阿梅内·内贾蒂 1 劳拉·内兹 1 格钦·诺曼 1 安托尼奥·帕切科 …还有56位作者 全部的 前5名17篇连载文章中引用 10 信息与计算 7 理论计算机科学 4 逻辑与代数程序设计杂志 三 信息学报 三 系统设计中的形式化方法 1 计算机与数学及其应用 1 国际通用系统杂志 1 Automatica公司 1 计算 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 美国计算机学会模型和计算机仿真汇刊 1 计算机基础理论 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 60 计算机科学(68至XX) 13 概率论与随机过程(60-XX) 12 数理逻辑与基础(03-XX) 9 生物学和其他自然科学(92-XX) 6 系统论;控制(93至XX) 4 运筹学、数学规划(90-XX) 三 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 场论与多项式(12-XX) 1 常微分方程(34-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 按年份列出的引文