编辑配置文件（在新选项卡中打开） 尼玛·鲁希 合著者距离 作者ID： 鲁希·尼玛 发布日期： 尼玛·鲁希 已编制索引的文档： 15出版物自2002年起 合著者： 17位合著者具有13联合出版物 319合著作者 全部的 前5名合著者 0 单作者的 9 马赫什·维斯瓦纳坦 4 帕维特拉·普拉巴卡 三 盖尔·杜勒鲁（Geir E.Dullerud）。 三 王，于 2 南卡罗莱纳州阿拉姆。 2 格温·萨拉恩 2 马修·韦斯特 1 尼科斯·阿雷奇加 1 Jyotirmoy V.德斯穆赫。 1 高思春 1 詹姆斯·卡宾斯基 1 拉姆尼特·考尔 1 孔顺浩 1 李因苏普 1 塞耶德·哈桑（Seyyed Hassan Mirian） 1 奥列格·索科尔斯基 1 阿曼多·索拉勒扎马 1 詹姆斯·韦默（James E.Weimer）。 系列 1 IEEE自动控制汇刊 1 IAPQR交易 1 《Aligarh统计杂志》 1 系统设计中的形式化方法 1 Informatica（卢布尔雅那） 全部的 前5名领域 12 计算机科学（68至XX） 5 系统论；控制（93至XX） 三 数学逻辑和基础（03-XX） 2 概率论与随机过程（60-XX） 1 常微分方程（34-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用15中的次14文件 引用人▼ 年份▼ 正则语言定义的切换线性系统的稳定性分析。 Zbl 1366.93558号 王，于；尼玛·鲁希；盖尔·杜勒鲁（Geir E.Dullerud）。；马赫什·维斯瓦纳坦 7 2017 使用面向集合的方法对动力系统进行统计验证。 Zbl 1364.93753号 王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 2 2015 时钟漂移下时间自动机的鲁棒模型检验。 兹比尔1366.68152 尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 2 2017 重访MITL以确定决策程序。 Zbl 1446.68099号 尼玛·鲁希；马赫什·维斯瓦纳坦 1 2018 基于混合的仿射动力学混合自动机CEGAR。 Zbl 1420.68138号 尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 1 2016 使用对比和分层样本对PCTL进行统计验证。 Zbl 1425.68270号 王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 1 2019 通过翻译成FSP来分析Chor规范。 Zbl 1364.68143号 尼玛·鲁希；格温·萨拉恩；塞耶德·哈桑（Seyyed Hassan Mirian） 1 2009 使用对比和分层样本对PCTL进行统计验证。 Zbl 1425.68270号 王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 1 2019 重访MITL以确定决策程序。 Zbl 1446.68099号 尼玛·鲁希；马赫什·维斯瓦纳坦 1 2018 正则语言定义的切换线性系统的稳定性分析。 Zbl 1366.93558号 王，于；尼玛·鲁希；盖尔·杜勒鲁（Geir E.Dullerud）。；马赫什·维斯瓦纳坦 7 2017 时钟漂移下时间自动机的鲁棒模型检验。 兹比尔1366.68152 尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 2 2017 基于混合的仿射动力学混合自动机CEGAR。 Zbl 1420.68138号 尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 1 2016 使用面向集合的方法对动力系统进行统计验证。 Zbl 1364.93753号 王，于；尼玛·鲁希；马修·韦斯特；马赫什·维斯瓦纳坦；盖尔·杜勒鲁（Geir E.Dullerud）。 2 2015 通过翻译成FSP来分析Chor规范。 Zbl 1364.68143号 尼玛·鲁希；格温·萨拉恩；塞耶德·哈桑（Seyyed Hassan Mirian） 1 2009 所有引用出版物 前5名被引用出版物 全部的 前5名43位作者引用 2 乔治·阿赞 2 安托万·吉拉德 2 卢卡·格雷科 2 桂伟华 2 郭玉谦 2 保罗·梅森 2 尼玛·鲁希 2 马赫什·维斯瓦纳坦 1 尼古拉·阿萨纳索普洛斯 1 玛丽亚·艾米利亚·坎布罗内罗 1 程浩宇 1 马修·克利夫兰 1 格雷戈里奥·迪亚兹 1 盖尔·杜勒鲁（Geir E.Dullerud）。 1 Falchetto，Vinícius B。 1 托马斯·费雷尔 1 安德烈·里卡多·菲奥拉万蒂 1 戈兰·弗雷斯 1 傅文星 1 米尔科·贾科布 1 龚萍 1 拉多斯拉夫·伊万诺夫 1 拉斐尔·荣格斯。 1 林德曼，拉尔斯 1 吕芳 1 马一峰 1 赫梅内吉尔达·马西阿 1 Meeko M.K.Oishi。 1 肯德里克·奥尔蒂斯。 1 乔治·帕帕斯。 1 胡安·何塞·帕尔多 1 帕维特拉·普拉巴卡 1 罗伯特·肖滕（Robert N.Shorten）。 1 马修斯·苏扎 1 孙西明 1 亚当·索普。 1 瓦伦蒂安·瓦莱罗 1 王，于 1 马修·韦斯特 1 吴宇虎 1 埃纳州扎法内拉 1 赵晓翰 1 朱素鹏 全部的 前5名引用于6个系列 5 Automatica公司 1 人工智能 1 国际控制杂志 1 计算机程序设计科学 1 系统设计中的形式化方法 1 工程中的数学问题 全部的 前5名在7个字段中引用 8 系统论；控制（93至XX） 7 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 动力系统和遍历理论（37至XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文