编辑配置文件（在新选项卡中打开） 马赫什·维斯瓦纳坦 合著者距离 作者ID： viswanathan.mahsh（维斯瓦纳坦·马什） 发布日期： 马赫什·维斯瓦纳坦；维斯瓦纳坦，M。 主页： https://vmahesh.cs.illinois.edu/ 外部链接： 管理程序·数据库许可证 已编制索引的文档： 82出版物自1998年以来 3作为编辑的贡献 合著者： 53位合著者具有85联合出版物 1246名合作作者 全部的 前5名合著者 0 单作者的 24 罗希特·查达 17 帕维特拉·普拉巴卡 13 普拉萨德·西斯特拉。 10 盖尔·杜勒鲁（Geir E.Dullerud）。 9 尼玛·鲁希 8 帕塔萨拉西马杜苏丹 7 乌芒·马图尔 6 萨扬·密特拉 6 塞·库什克 6 弗拉基米罗 5 古尔·阿加（Gul A.Agha）。 4 鲍尔，马修·斯蒂芬 4 琼·费根鲍姆 4 坎南，Sampath K。 4 迪利普·拉古纳特·基尼 4 维拉吉·库马尔 4 拉梅什·维斯瓦纳坦 三 杜吉拉拉，帕拉萨拉·斯里达尔 三 樊楚楚 三 金，蒙祖 三 马丁·施特劳斯。 三 阿比·瓦尔丹 三 王，于 2 本、岳 2 S.Ravi库马尔 2 李因苏普 2 罗尼特·鲁宾菲尔德 2 奥列格·索科尔斯基 2 马修·韦斯特 1 拉杰夫·阿鲁尔 1 吉尔·巴特 1 维杰·V·S·P·巴蒂普罗。 1 雷米发动机盖 1 Cha、Sungdeok 1 Choi、Jin Young 1 芬达·埃尔根 1 斯宾塞·L·戈登。 1 苏珊娜·格拉芙 1 乔·亨德里克斯 1 维沙尔·贾加纳特 1 保罗·克罗格梅尔 1 尼尔曼·库马尔 1 Legay、Axel 1 穆拉利，阿迪蒂亚 1 宁、强 1 Hitoshi大坂 1 安德烈亚斯·帕夫罗甘尼斯 1 齐伯伦 1 秦，曾毅 1 格里高·罗什乌 1 沙姆布瓦迪蒂亚萨哈 1 西斯特拉·普拉萨德（Sistla Prasad），A。 1 莫西·亚亚科夫·瓦尔迪 全部的 前5名系列 5 系统设计中的形式化方法 三 IEEE自动控制汇刊 三 理论计算机科学 2 计算机与系统科学杂志 2 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 1 SIAM计算机杂志 1 算法 1 信息与计算 1 芝加哥理论计算机科学杂志 1 美国医学会杂志 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 全部的 前5名领域 82 计算机科学（68至XX） 13 系统论；控制（93至XX） 11 数学逻辑和基础（03-XX） 4 概率论与随机过程（60-XX） 三 总体主题；集合（00-XX） 三 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 常微分方程（34-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 66出版物有被引用421中的次337文件 引用人▼ 年份▼ 聚光灯。 Zbl 0961.68036号 库马尔，S.拉维；罗尼特·鲁宾菲尔德；马赫什·维斯瓦纳坦 42 2000 在存在不确定性的情况下对马尔可夫链进行模型检验。 Zbl 1180.68179号 塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 25 2006 关于随机系统的统计模型检验。 Zbl 1081.68635号 塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 25 2005 可视下推语言的同余。 Zbl 1085.68079号 拉杰夫·阿鲁尔；维拉吉·库马尔；马杜苏丹，P。；马赫什·维斯瓦纳坦 23 2005 黑盒概率系统的统计模型检验。 Zbl 1103.68639号 塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 21 2004 使用异步原子方法对多线程程序进行模型检查。 Zbl 1188.68198号 塞·库什克；马赫什·维斯瓦纳坦 16 2006 一种高阶模态不动点逻辑。 Zbl 1099.03022号 马赫什·维斯瓦纳坦；拉梅什·维斯瓦纳坦 16 2004 大规模数据流的近似（L^{1}）-差分算法。 Zbl 1029.68157号 琼·费根鲍姆；桑帕斯·坎南；马丁·施特劳斯。；马赫什·维斯瓦纳坦 13 2002 线性系统的节约、基于仿真的验证。 Zbl 1411.68064号 杜吉拉拉，帕拉萨拉·斯里达尔；马赫什·维斯瓦纳坦 13 2016 Java-MaC：Java程序的运行时保证方法。 Zbl 1073.68552号 金，月亮动物园；马赫什·维斯瓦纳坦；桑帕斯·坎南；李因苏普；奥列格·索科尔斯基 11 2004 有限状态监视器中随机化的表现力和复杂性。 Zbl 1325.68128号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 11 2009 自动机对无限字符串的随机化能力。 Zbl 1254.68131号 罗希特·查达；普拉萨德·西斯特拉；马赫什·维斯瓦纳坦 9 2009 布尔程序的最小化、学习和一致性测试。 Zbl 1151.68484号 维拉吉·库马尔；马杜苏丹，P。；马赫什·维斯瓦纳坦 9 2006 马尔可夫决策过程的反例引导抽象再定义框架。 兹比尔1351.68154 罗希特·查达；马赫什·维斯瓦纳坦 9 2010 STORMED混合动力系统。 Zbl 1155.68421号 弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 9 2008 表示为OBDD的图上问题的复杂性。 Zbl 0924.68097号 琼·费根鲍姆；桑帕斯·坎南；莫舍·瓦尔迪。；马赫什·维斯瓦纳坦 8 1999 具有辅助存储的结构良好的过渡系统的可决策性结果。 Zbl 1151.68515号 查达，R。；维斯瓦纳坦，M。 8 2007 查询嵌套单词的自动机。 Zbl 1250.68169号 马杜苏丹，P。；马赫什·维斯瓦纳坦 7 2009 通过重写以增量方式测试扩展的正则语言成员资格。 Zbl 1038.68562号 格里高·罗什乌；马赫什·维斯瓦纳坦 7 2003 正则语言定义的切换线性系统的稳定性分析。 Zbl 1366.93558号 王，于；尼玛·鲁希；盖尔·杜勒鲁（Geir E.Dullerud）。；马赫什·维斯瓦纳坦 7 2017 使用语言推理验证欧米伽正则属性。 Zbl 1087.68062号 阿比·瓦尔丹；塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 7 2005 积极学习验证FIFO自动机的安全性。 Zbl 1117.68416号 阿比·瓦尔丹；塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 6 2004 概率自动机的决定类和表示类。 Zbl 1459.68098号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦；本、岳 6 2015 近似流量计算的动态算法。 Zbl 1362.93019号 帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 6 2011 聚光灯。 Zbl 1027.68514号 Funda Ergün；桑帕斯·坎南；库马尔，S.拉维；罗尼特·鲁宾菲尔德；马赫什·维斯瓦纳坦 5 1998 具有非颤抖接受阈值的概率Büchi自动机。 Zbl 1317.68091号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 5 2011 关于稳定性的推理的前置命令。 Zbl 1362.68179号 帕维特拉·普拉巴卡；盖尔·杜勒鲁；马赫什·维斯瓦纳坦 5 2012 隔离下的空与分层概率自动机的值问题。 Zbl 1486.68093号 罗希特·查达；普拉萨德·西斯特拉；马赫什·维斯瓦纳坦 5 2017 数据流的测试和点检查（扩展抽象）。 Zbl 0961.68038号 费根鲍姆，J。；南卡罗来纳州坎南。；M.施特劳斯。；维斯瓦纳坦，M。 4 2000 概率测度的最小上界及其在抽象中的应用。 Zbl 1160.68436号 罗希特·查达；马赫什·维斯瓦纳坦；拉梅什·维斯瓦纳坦 4 2008 矩形混合系统的基于混合自动机的CEGAR。 Zbl 1426.68175号 帕维特拉·普拉巴卡；杜吉拉拉，帕拉萨拉·斯里达尔；萨扬·密特拉；马赫什·维斯瓦纳坦 4 2013 限制\（\mathrm{LTL}\backslash GU\）的确定性和概率自动机。 Zbl 1420.68132号 基尼，迪利普；马赫什·维斯瓦纳坦 4 2015 自动机对无限字符串的随机化能力。 Zbl 1237.68111号 罗希特·查达；西斯特拉·普拉萨德（Sistla Prasad），A。；马赫什·维斯瓦纳坦 4 2011 确定具有有限输入和输出的程序的差异隐私。 Zbl 1507.68111号 吉尔·巴特；罗希特·查达；维沙尔·贾加纳特；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 4 2020 STORMED混合游戏。 Zbl 1237.91020号 弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 三 2009 循环合成推理的基础。 Zbl 0986.68059号 马赫什·维斯瓦纳坦；拉梅什·维斯瓦纳坦 三 2001 关于混合系统稳定性的可判定性。 Zbl 1362.68180号 帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 三 2013 反应系统运行时监控的基础——MaC语言的基础。 Zbl 1108.68527号 马赫什·维斯瓦纳坦；金，蒙祖 三 2005 将Parikh定理扩展到加权和概率上下文无关文法。 Zbl 1420.68102号 Bhattiprolu，维杰；斯宾塞·戈登；马赫什·维斯瓦纳坦 三 2017 具有未解释功能的程序的可决定合成。 Zbl 1478.68055号 保罗·克罗格迈耶；乌芒·马图尔；穆拉利，阿迪蒂亚；马杜苏丹，P。；马赫什·维斯瓦纳坦 三 2020 具有孤立割点的概率自动机。 Zbl 1398.68304号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 三 2013 一类可判定的平面线性混合系统。 Zbl 1143.68442号 帕维特拉·普拉巴卡；弗拉基米罗；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 三 2008 LTL到限制确定性自动机的最佳转换。 Zbl 1452.68121号 基尼，迪利普；马赫什·维斯瓦纳坦 三 2017 控制器合成实现：可达无效规范和线性动力学。 Zbl 1511.68151号 樊楚楚；乌芒·马图尔；萨扬·密特拉；马赫什·维斯瓦纳坦 三 2018 学习验证分支时间属性。 Zbl 1118.68554号 阿比·瓦尔丹；马赫什·维斯瓦纳坦 2 2007 决定异步程序的分支时间属性。 Zbl 1187.68313号 罗希特·查达；马赫什·维斯瓦纳坦 2 2009 上下文锁定下的可访问性。 Zbl 1352.68059号 罗希特·查达；马杜苏丹，P。；马赫什·维斯瓦纳坦 2 2012 具有不确定性和随机性的模型检查并发程序。 Zbl 1245.68132号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 2 2010 数据流的测试和抽查。 Zbl 1016.68028号 费根鲍姆，J。；南卡罗来纳州坎南。；M.施特劳斯。；维斯瓦纳坦，M。 2 2002 安全规范的概率自动机。 Zbl 1428.68186号 基尼，迪利普；马赫什·维斯瓦纳坦 2 2014 使用面向集合的方法对动力系统进行统计验证。 兹比尔1364.93753 王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 2 2015 时钟漂移下时间自动机的鲁棒模型检验。 Zbl 1366.68152号 尼玛，鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 2 2017 可判定混合游戏规范。 Zbl 1229.93104号 弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 2 2011 干燥VR：汽车系统的数据驱动验证和组合推理。 Zbl 1494.68165号 樊楚楚；Qi，伯伦；萨扬·密特拉；马赫什·维斯瓦纳坦 2 2017 程序验证模公理的决定因素是什么？ Zbl 1483.68200号 乌芒·马图尔；马杜苏丹，P。；马赫什·维斯瓦纳坦 2 2020 一类可判定的平面线性混合系统。 兹伯利1318.68112 帕维特拉·普拉巴卡；弗拉基米罗；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 1 2015 矩形混合系统的基于混合自动机的CEGAR。 Zbl 1341.68109号 帕维特拉·普拉巴卡；杜吉拉拉，帕拉萨拉·斯里达尔；萨扬·密特拉；马赫什·维斯瓦纳坦 1 2015 使用对比和分层样本对PCTL进行统计验证。 Zbl 1425.68270号 王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 1 2019 基于混合的仿射动力学混合自动机CEGAR。 Zbl 1420.68138号 尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 1 2016 通过理性搜索进行精确的定量概率模型检查。 Zbl 1506.68057号 乌芒·马图尔；鲍尔，马修·S。；罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 1 2020 上下文锁定下的可访问性。 Zbl 1274.68064号 雷米发动机盖；罗希特·查达；马赫什·维斯瓦纳坦；马杜苏丹，P。 1 2013 命题树自动机。 Zbl 1151.68460号 乔·亨德里克斯；Hitoshi大坂；马赫什·维斯瓦纳坦 1 2006 随机安全协议中的模型检查安全属性。 Zbl 07370026号 鲍尔，马修·S。；罗希特·查达；马赫什·维斯瓦纳坦 1 2020 重访MITL以确定决策程序。 Zbl 1446.68099号 尼玛·鲁希；马赫什·维斯瓦纳坦 1 2018 具有可达无效规范的线性系统的控制器综合。 Zbl 07564794号 樊楚楚；秦，曾毅；乌芒·马图尔；宁、强；萨扬·密特拉；马赫什·维斯瓦纳坦 1 2022 随机安全协议的验证。 Zbl 1458.68031号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 1 2017 具有可达无效规范的线性系统的控制器综合。 兹伯利07564794 樊楚楚；秦，曾毅；乌芒·马图尔；宁、强；萨扬·密特拉；马赫什·维斯瓦纳坦 1 2022 确定具有有限输入和输出的程序的差异隐私。 Zbl 1507.68111号 吉尔·巴特；查达，罗希特；维沙尔·贾加纳特；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 4 2020 具有未解释功能的程序的可决定合成。 Zbl 1478.68055号 保罗·克罗格迈耶；乌芒·马图尔；穆拉利，阿迪蒂亚；马杜苏丹，P。；马赫什·维斯瓦纳坦 三 2020 程序验证模公理的决定因素是什么？ Zbl 1483.68200号 乌芒·马图尔；马杜苏丹，P。；马赫什·维斯瓦纳坦 2 2020 通过理性搜索进行精确的定量概率模型检查。 Zbl 1506.68057号 乌芒·马图尔；鲍尔，马修·S。；罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 1 2020 随机安全协议中的模型检查安全属性。 Zbl 07370026号 鲍尔，马修·S。；罗希特·查达；马赫什·维斯瓦纳坦 1 2020 使用对比和分层样本对PCTL进行统计验证。 Zbl 1425.68270号 王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 1 2019 控制器合成实现：可达无效规范和线性动力学。 Zbl 1511.68151号 樊楚楚；乌芒·马图尔；萨扬·密特拉；马赫什·维斯瓦纳坦 三 2018 重访MITL以确定决策程序。 Zbl 1446.68099号 尼玛·鲁希；马赫什·维斯瓦纳坦 1 2018 正则语言定义的切换线性系统的稳定性分析。 Zbl 1366.93558号 王，于；尼玛·鲁希；盖尔·杜勒鲁（Geir E.Dullerud）。；马赫什·维斯瓦纳坦 7 2017 隔离下的空与分层概率自动机的值问题。 Zbl 1486.68093号 查达，罗希特；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 5 2017 将Parikh定理扩展到加权和概率上下文无关文法。 Zbl 1420.68102号 维杰·巴蒂普罗；戈登，斯宾塞；马赫什·维斯瓦纳坦 三 2017 LTL到限制确定性自动机的最佳转换。 Zbl 1452.68121号 基尼，迪利普；马赫什·维斯瓦纳坦 三 2017 时钟漂移下时间自动机的鲁棒模型检验。 兹比尔1366.68152 尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 2 2017 干燥VR：汽车系统的数据驱动验证和组合推理。 Zbl 1494.68165号 樊楚楚；齐伯伦；萨扬·密特拉；马赫什·维斯瓦纳坦 2 2017 验证随机安全协议。 Zbl 1458.68031号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 1 2017 线性系统的节约、基于仿真的验证。 Zbl 1411.68064号 杜吉拉拉，帕拉萨拉·斯里达尔；马赫什·维斯瓦纳坦 13 2016 基于混合的仿射动力学混合自动机CEGAR。 Zbl 1420.68138号 尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 1 2016 概率自动机的决定类和表示类。 Zbl 1459.68098号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦；本、岳 6 2015 限制\（\mathrm{LTL}\backslash GU\）的确定性和概率自动机。 Zbl 1420.68132号 基尼，迪利普；马赫什·维斯瓦纳坦 4 2015 使用面向集合的方法对动力系统进行统计验证。 Zbl 1364.93753号 王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 2 2015 一类可判定的平面线性混合系统。 兹伯利1318.68112 帕维特拉·普拉巴卡；弗拉基米罗；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 1 2015 矩形混合系统的基于混合自动机的CEGAR。 Zbl 1341.68109号 帕维特拉·普拉巴卡；杜吉拉拉，帕拉萨拉·斯里达尔；萨扬·密特拉；马赫什·维斯瓦纳坦 1 2015 安全规范的概率自动机。 Zbl 1428.68186号 基尼，迪丽普；马赫什·维斯瓦纳坦 2 2014 矩形混合系统的基于混合自动机的CEGAR。 Zbl 1426.68175号 帕维特拉·普拉巴卡；杜吉拉拉，帕拉萨拉·斯里达尔；萨扬·密特拉；马赫什·维斯瓦纳坦 4 2013 关于混合系统稳定性的可判定性。 Zbl 1362.68180号 帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 三 2013 具有孤立割点的概率自动机。 兹比尔1398.68304 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 三 2013 上下文锁定下的可访问性。 Zbl 1274.68064号 雷米发动机盖；查达，罗希特；马赫什·维斯瓦纳坦；马杜苏丹，P。 1 2013 稳定性推理的先决条件。 Zbl 1362.68179号 帕维特拉·普拉巴卡；盖尔·杜勒鲁；马赫什·维斯瓦纳坦 5 2012 上下文锁定下的可访问性。 Zbl 1352.68059号 罗希特·查达；马杜苏丹，P。；马赫什·维斯瓦纳坦 2 2012 近似流量计算的动态算法。 Zbl 1362.93019号 帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 6 2011 具有非颤抖接受阈值的概率Büchi自动机。 Zbl 1317.68091号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 5 2011 自动机对无限字符串的随机化能力。 Zbl 1237.68111号 罗希特·查达；西斯特拉·普拉萨德（Sistla Prasad），A。；马赫什·维斯瓦纳坦 4 2011 可判定混合游戏规范。 Zbl 1229.93104号 弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 2 2011 马尔可夫决策过程的反例引导抽象再定义框架。 兹比尔1351.68154 罗希特·查达；马赫什·维斯瓦纳坦 9 2010 具有不确定性和随机性的模型检查并发程序。 Zbl 1245.68132号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 2 2010 有限状态监视器中随机化的表现力和复杂性。 Zbl 1325.68128号 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 11 2009 自动机对无限字符串的随机化能力。 兹比尔1254.68131 罗希特·查达；西斯特拉·A·普拉萨德；马赫什·维斯瓦纳坦 9 2009 查询嵌套单词的自动机。 Zbl 1250.68169号 马杜苏丹，P。；马赫什·维斯瓦纳坦 7 2009 STORMED混合游戏。 Zbl 1237.91020号 弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 三 2009 决定异步程序的分支时间属性。 Zbl 1187.68313号 罗希特·查达；马赫什·维斯瓦纳坦 2 2009 STORMED混合动力系统。 Zbl 1155.68421号 弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 9 2008 概率测度的最小上界及其在抽象中的应用。 Zbl 1160.68436号 罗希特·查达；马赫什·维斯瓦纳坦；拉梅什·维斯瓦纳坦 4 2008 一类可判定的平面线性混合系统。 Zbl 1143.68442号 帕维特拉·普拉巴卡；弗拉基米罗；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 三 2008 具有辅助存储的结构良好的过渡系统的可判定性结果。 Zbl 1151.68515号 查达，R。；维斯瓦纳坦，M。 8 2007 学习验证分支时间属性。 Zbl 1118.68554号 阿比·瓦尔丹；马赫什·维斯瓦纳坦 2 2007 在存在不确定性的情况下对马尔可夫链进行模型检验。 Zbl 1180.68179号 塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 25 2006 使用异步原子方法对多线程程序进行模型检查。 Zbl 1188.68198号 塞·库什克；马赫什·维斯瓦纳坦 16 2006 布尔程序的最小化、学习和一致性测试。 Zbl 1151.68484号 维拉吉·库马尔；马杜苏丹，P。；马赫什·维斯瓦纳坦 9 2006 命题树自动机。 Zbl 1151.68460号 乔·亨德里克斯；Hitoshi大坂；马赫什·维斯瓦纳坦 1 2006 关于随机系统的统计模型检验。 Zbl 1081.68635号 塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 25 2005 可视下推语言的同余。 Zbl 1085.68079号 拉杰夫·阿鲁尔；维拉吉·库马尔；马杜苏丹，P。；马赫什·维斯瓦纳坦 23 2005 使用语言推理验证欧米伽正则属性。 兹比尔1087.68062 阿比·瓦尔丹；塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 7 2005 反应式系统运行时监控的基础——MaC语言的基础。 Zbl 1108.68527号 马赫什·维斯瓦纳坦；金，蒙祖 三 2005 黑箱概率系统的统计模型检验。 Zbl 1103.68639号 塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 21 2004 一种高阶模态不动点逻辑。 Zbl 1099.03022号 马赫什·维斯瓦纳坦；拉梅什·维斯瓦纳坦 16 2004 Java-MaC：Java程序的运行时保证方法。 Zbl 1073.68552号 金，月亮动物园；马赫什·维斯瓦纳坦；桑帕斯·坎南；李因苏普；奥列格·索科尔斯基 11 2004 积极学习验证FIFO自动机的安全性。 Zbl 1117.68416号 阿比·瓦尔丹；塞·库什克；马赫什·维斯瓦纳坦；古尔·阿加 6 2004 通过重写以增量方式测试扩展的正则语言成员资格。 Zbl 1038.68562号 格里高·罗什乌；马赫什·维斯瓦纳坦 7 2003 大规模数据流的近似（L^{1}）-差分算法。 Zbl 1029.68157号 琼·费根鲍姆；桑帕斯·坎南；马丁·施特劳斯。；马赫什·维斯瓦纳坦 13 2002 数据流的测试和抽查。 Zbl 1016.68028号 费根鲍姆，J。；南卡罗来纳州坎南。；M.施特劳斯。；维斯瓦纳坦，M。 2 2002 循环合成推理的基础。 Zbl 0986.68059号 马赫什·维斯瓦纳坦；拉梅什·维斯瓦纳坦 三 2001 聚光灯。 Zbl 0961.68036号 S.Ravi库马尔；罗尼特·鲁宾菲尔德；马赫什·维斯瓦纳坦 42 2000 数据流的测试和点检查（扩展抽象）。 Zbl 0961.68038号 费根鲍姆，J。；南卡罗来纳州坎南。；M.施特劳斯。；维斯瓦纳坦，M。 4 2000 表示为OBDD的图上问题的复杂性。 Zbl 0924.68097号 琼·费根鲍姆；桑帕斯·坎南；莫舍·瓦尔迪。；马赫什·维斯瓦纳坦 8 1999 聚光灯。 Zbl 1027.68514号 Funda Ergün；桑帕斯·坎南；S.Ravi库马尔；罗尼特·鲁宾菲尔德；马赫什·维斯瓦纳坦 5 1998 所有引用出版物 前5名被引用出版物 全部的 前5名被665位作者引用 19 马赫什·维斯瓦纳坦 10 马丁·兰格 10 帕维特拉·普拉巴卡 8 克里斯特尔·拜尔 8 弗洛里安·布鲁斯 8 罗希特·查达 8 Joost-Pieter卡托恩 8 Legay、Axel 7 金·古德斯特兰·拉森 7 索菲亚·拉斯霍德尼科娃 7 Kai T.Salomaa。 6 斯坦利·巴克 5 穆罕默德·法乌齐（Mohamed Faouzi Atig） 5 贝诺·德拉哈耶 5 盖尔·杜勒鲁（Geir E.Dullerud）。 5 达纳·菲斯曼 5 普拉萨德·西斯特拉。 4 亚历山德罗·阿巴特 4 帕罗什·阿齐兹·阿卜杜拉 4 马蒂亚斯·阿尔霍夫 4 杜吉拉拉，帕拉萨拉·斯里达尔 4 尼尔斯·詹森 4 塞巴斯蒂安·荣格斯 4 尼古拉斯·科奇杜普尔 4 艾蒂安·洛兹 4 何塞·梅塞盖尔·瓜伊塔 4 保罗·米拉佐 4 萨扬·密特拉 4 吉列尔莫·A·佩雷斯。 4 科曼杜尔·塞沙德里 4 杰里米·斯普洛斯顿 4 彼得·蒂曼。 4 弗拉基米罗 4 詹姆斯·沃雷尔。 三 罗伯托·巴布蒂 三 贝内迪克特·博利格 三 克里希南德·查特吉 三 克拉克（Edmund Melson jun Clarke）。 三 劳伦特·多恩 三 艾曼纽·菲利奥特 三 阿德里安·弗兰卡兰扎 三 马库斯·弗洛姆 三 奥利维尔，高文 三 奥德·戈尔德雷奇 三 埃琳娜·格里戈雷斯库 三 克劳斯·哈维隆德 三 直纪小林 三 阿卡什·库马尔 三 Marta Z.Kwiatkowska。 三 法国勒加尔 三 马丁·勒克 三 弗兰西斯卡，李维 三 亚历山大·奥霍金 三 Peter Csaba，Olveczky 三 拉梅什·克里希南·S·帕拉沃。 三 安德烈·普拉泽 三 皮埃尔·阿莱·雷尼尔 三 达纳·罗恩 三 尼玛·鲁希 三 格里高·罗什乌 三 罗尼特·鲁宾菲尔德 三 塞萨尔·桑切斯 三 伯恩哈德·斯特芬 三 玛丽·斯托琳加 三 泰瑟·图利 三 马克·韦兹林格 三 卡尔·威默 2 乔治·阿赞 2 艾丽卡·阿尔布拉汉姆 2 拉杰夫·阿鲁尔 2 达纳·安格鲁因 2 Badings，Thom S。 2 贝恩德·贝克尔 2 奥姆里·本·利泽尔 2 贝拉德，贝特里奇 2 Nathalie Bertrand 2 艾哈迈德·博阿贾尼 2 劳拉·博泽利 2 弗拉基米尔·布拉弗曼 2 贝努伊特Caillaud 2 查克拉巴蒂，迪帕纳布 2 Choi、Sungwoo 2 Daca，Przemysław公司 2 劳雷·达沃 2 克里斯蒂安·德内特 2 何塞·德斯哈奈斯 2 伊利耶斯·法尔科内 2 樊楚楚 2 纳塔娜·菲亚尔科夫 2 埃尔达尔·菲舍尔 2 皮埃尔·弗拉吉奥德 2 戈兰·弗雷斯 2 弗洛里安·芬克 2 皮埃尔·甘蒂 2 安托万·吉拉德 2 卢卡·格雷科 2 马库斯·格勒 2 拉杜·格罗苏 2 桂伟华 2 郭玉谦 …还有565名作者 全部的 前5名49篇连载文章中引用 35 理论计算机科学 26 系统设计中的形式化方法 18 信息与计算 11 计算机与系统科学杂志 10 Automatica公司 8 计算机科学中的逻辑方法 8 程序设计中的逻辑和代数方法杂志 6 算法 5 逻辑与代数程序设计杂志 4 ACM计算逻辑事务 4 非线性分析。混合动力系统 三 信息学报 三 人工智能 三 离散应用数学 三 SIAM计算机杂志 三 计算系统理论 2 SIAM控制与优化杂志 2 自动推理杂志 2 计算的形式方面 2 机器学习 2 离散事件动态系统 2 分布式计算 2 计算复杂性 2 组合优化期刊 2 应用数学杂志 1 离散数学 1 国际控制杂志 1 数学心理学杂志 1 凯贝内提卡 1 计算机程序设计科学 1 组合数学 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 经济动力学与控制杂志 1 SIAM离散数学杂志 1 随机结构与算法 1 计算几何 1 统计计算与模拟杂志 1 国际鲁棒非线性控制杂志 1 函数编程杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 工程中的数学问题 1 自然与社会中的离散动力学 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 计算机语言、系统和结构 1 计算理论 1 统计与计算 全部的 前5名22个领域被引用 295 计算机科学（68至XX） 46 系统论；控制（93至XX） 40 数学逻辑和基础（03-XX） 24 运筹学、数学规划（90-XX） 20 概率论与随机过程（60-XX） 13 组合数学（05-XX） 12 博弈论、经济学、金融和其他社会和行为科学（91-XX） 9 统计学（62-XX） 8 生物学和其他自然科学（92-XX） 8 信息与通信理论、电路（94-XX） 4 阶、格、有序代数结构（06-XX） 三 总体主题；集合（00-XX） 三 群论与推广（20-XX） 三 数值分析（65-XX） 2 凸和离散几何（52至XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 实函数（26年X月X日） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 流体力学（76-XX） 1 量子理论（81-XX） 按年份列出的引文