编辑配置文件（在新选项卡中打开） 乌芒·马图尔 合著者距离 作者ID： 马图尔·乌芒 发布日期： 乌芒·马图尔 已编制索引的文档： 11出版物自2014年起 合著者： 20位合著者具有11联合出版物 359名合著者 全部的 前5名合著者 0 单作者的 7 马赫什·维斯瓦纳坦 三 帕塔萨拉西马杜苏丹 2 罗希特·查达 2 范、楚楚 2 萨扬·密特拉 2 安德烈亚斯·帕夫罗甘尼斯 1 马修·史蒂文·鲍尔 1 布伦特·卡默 1 阿德里亚·加斯科恩 1 桑卡拉·纳拉亚南·克里希纳 1 保罗·克罗格迈耶 1 鲁查·库尔卡尼 1 阿迪蒂亚·穆拉利 1 宁、强 1 普拉萨德·西斯特拉。 1 秦，曾毅 1 Shambwaditya萨哈 1 斯特凡·施温 1 阿什什·库马尔·蒂瓦里 1 阿舒托什·特里维迪 系列 1 IEEE自动控制汇刊 1 系统设计中的形式化方法 全部的 前5名领域 10 计算机科学（68至XX） 三 系统理论；控制（93至XX） 2 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用16中的次13文件 引用人▼ 年份▼ 使用符号模型检查计算信息流。 Zbl 1360.68359号 罗希特·查达;乌芒·马图尔;斯特凡·施温 4 2014 控制器合成实现：可达无效规范和线性动力学。 Zbl 1511.68151号 樊楚楚;乌芒·马图尔;萨扬·密特拉;马赫什·维斯瓦纳坦 三 2018 具有未解释功能的程序的可决定合成。 Zbl 1478.68055号 保罗·克罗格迈耶;乌芒·马图尔;阿迪蒂亚·穆拉利;马杜苏丹，P。;马赫什·维斯瓦纳坦 三 2020 程序验证模公理的决定因素是什么？ Zbl 1483.68200号 乌芒·马图尔;马杜苏丹，P。;马赫什·维斯瓦纳坦 2 2020 寻找证据来找到程序：基于修饰组件的程序合成。 Zbl 1494.68057号 加斯康，阿德里亚;阿什什·蒂瓦里;布伦特·卡默;乌芒·马图尔 2 2017 具有可达无效规范的线性系统的控制器综合。 Zbl 07564794号 樊楚楚;秦，曾毅;乌芒·马图尔;宁、强;萨扬·密特拉;马赫什·维斯瓦纳坦 1 2022 通过理性搜索进行精确的定量概率模型检查。 Zbl 1506.68057号 乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦 1 2020 具有可达无效规范的线性系统的控制器综合。 Zbl 07564794号 樊楚楚;秦，曾毅;乌芒·马图尔;宁、强;萨扬·密特拉;马赫什·维斯瓦纳坦 1 2022 具有未解释功能的程序的可决定合成。 Zbl 1478.68055号 保罗·克罗格迈耶;乌芒·马图尔;阿迪蒂亚·穆拉利;马杜苏丹，P。;马赫什·维斯瓦纳坦 三 2020 程序验证模公理的决定因素是什么？ Zbl 1483.68200号 乌芒·马图尔;马杜苏丹，P。;马赫什·维斯瓦纳坦 2 2020 通过理性搜索进行精确的定量概率模型检查。 Zbl 1506.68057号 乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦 1 2020 控制器合成实现：可达无效规范和线性动力学。 兹比尔1511.68151 樊楚楚;乌芒·马图尔;萨扬·密特拉;马赫什·维斯瓦纳坦 三 2018 寻找证据来找到程序：基于修饰组件的程序合成。 Zbl 1494.68057号 阿德里亚·加斯科恩;阿什什·蒂瓦里;布伦特·卡默;乌芒·马图尔 2 2017 使用符号模型检查计算信息流。 Zbl 1360.68359号 罗希特·查达;乌芒·马图尔;斯特凡·施温 4 2014 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 1 亚历山德罗·阿巴特 1 阿米尔·穆罕默德（Amir-Mhammadian，Sepehr） 1 羽毛球，Thom S。 1 Johannes Bechberger 1 法布里西奥·比昂迪 1 陈景凯 1 陈振邦 1 安德烈亚·科斯蒂亚 1 杜一德 1 流亡，莱奥 1 樊楚楚 1 艾曼纽·菲利奥特 1 伯恩德·芬克贝纳 1 萨道纳·哈马杜 1 菲利普·海姆 1 洪伟江 1 黄康静 1 尼尔斯·詹森 1 川本裕介 1 阿伊拉特·哈利莫夫 1 Kress-Gazit，哈达斯 1 Legay、Axel 1 穆罕默德·穆罕默德·莫哈盖吉 1 阿里·A·诺鲁齐。 1 卡图西亚帕拉米德斯 1 诺埃米，传球 1 纳迪亚·波里卡波娃 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 邱晓康 1 利西奥·罗芒 1 萨德拉·萨德拉迪尼 1 萨利希，哈伊亚姆 1 弗拉迪米罗·萨松 1 盖·谢尔 1 伊利亚·谢尔盖 1 达里尔·斯图尔特 1 玛丽·斯托琳加 1 俄罗斯·特德雷克 1 路易斯·马里·特劳努埃兹 1 王，季 1 亚历山大·维格尔 1 乔治·威森巴赫 1 布莱恩·查尔斯·威廉姆斯 1 朱，艾米 引用于4个系列 2 系统设计中的形式化方法 1 计算机与系统科学杂志 1 计算的形式方面 1 人工智能研究杂志 在5个字段中引用 12 计算机科学（68至XX） 三 系统理论；控制（93至XX） 1 总体主题；集合（00-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文