编辑配置文件（在新选项卡中打开） 西蒙·沃尔 合著者距离 作者ID： ware.simon软件 发布日期： 西蒙·沃尔 已编制索引的文档： 6出版物自2012年起 合著者： 6位合著者具有6联合出版物 135位合作作者 全部的 前5名合著者 0 单作者的 4 马利克，罗比 2 林、李勇 2 苏荣 1 泰、若晨 1 沃尔特·默里（Walter Murray），沃纳姆（Wonham） 1 朱玉婷 系列 2 离散事件动态系统 1 Automatica公司 1 IEEE自动控制汇刊 1 国际计算机科学基础杂志 1 控制理论与技术 领域 5 系统论；控制（93至XX） 2 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用10中的次6文件 引用人▼ 年份▼ 使用注释自动机的离散事件系统的冲突保护抽象。 Zbl 1267.93111号 西蒙·沃尔;罗比·马利克 4 2012 监督控制和成分验证中的渐进事件。 Zbl 1324.93095号 西蒙·沃尔;马利克，罗比 2 2014 使用抽象和规范自动机对广义非阻塞属性进行组合验证。 Zbl 1291.68270号 西蒙·沃尔;罗比·马利克 2 2013 关于组合非阻塞验证中反例的计算。 Zbl 1448.93205号 罗比·马利克;西蒙·沃尔 1 2020 针对网络时延有限的有损信道的网络监督综合是非网络综合。 Zbl 1494.93046号 林、李勇;朱玉婷;泰、若晨;西蒙·沃尔;苏荣 1 2022 针对网络时延有限的有损信道的网络监督综合是非网络综合。 Zbl 1494.93046号 林立勇;朱玉婷;泰、若晨;西蒙·沃尔;苏荣 1 2022 关于组合非阻塞验证中反例的计算。 Zbl 1448.93205号 罗比·马利克;西蒙·威尔 1 2020 监督控制和成分验证中的渐进事件。 Zbl 1324.93095号 西蒙·沃尔;罗比·马利克 2 2014 使用抽象和规范自动机对广义非阻塞属性进行组合验证。 Zbl 1291.68270号 西蒙·沃尔;罗比·马利克 2 2013 使用注释自动机的离散事件系统的冲突保护抽象。 Zbl 1267.93111号 西蒙·沃尔;马利克，罗比 4 2012 所有引用出版物 前5名被引用出版物 全部的 前5名10位作者引用 5 罗比·马利克 2 西蒙·沃尔 1 马丁·费比安 1 莱杜克（Ryan J.Leduc）。 1 林、李勇 1 萨哈尔·莫哈杰拉尼 1 苏荣 1 泰、若晨 1 Marcelo C.M.Teixeira。 1 朱玉婷 2篇连载文章中引用 5 离散事件动态系统 1 控制理论与技术 在2个字段中引用 6 系统论；控制（93至XX） 1 计算机科学（68至XX） 按年份列出的引文