编辑配置文件（在新选项卡中打开） 刘，杨 合著者距离 作者ID： 刘洋10 发布日期： 刘，杨 主页： https://personal.ntu.edu.sg/yangliu（个人）/ 外部链接： ORCID公司·谷歌学者·数据库许可证 已编制索引的文档： 27出版物自2011年起 合著者： 47位合著者具有27联合出版物 2111合著作者 全部的 前5名合著者 0 单作者的 15 董金松 15 孙骏 6 林尚伟 5 大卫·萨南 5 阿文·费南托（Alwen Fernanto Tiu） 4 周，袁 三 埃蒂安·安德烈 三 侯哲 三 胡和声 2 丁左华 2 李毅 2 刘冠军 2 张福源 2 赵永旺 2 赵永新 1 白玉斌 1 陈碧欢 1 陈铁明 1 程坤 1 杜晓宁 1 顾，余 1 阿肯·圭内 1 Hoa，Koh Chuen村 1 勒丁·图安 1 李元芳 1 刘燕 1 卢安图 1 Mai、Phuong-Nam 1 阮、胡武 1 阮楚钦 1 阮文婷 1 庞、军 1 劳雷·佩特鲁奇 1 Pham Duy、Bao Trung先生 1 秦胜超 1 Quan，Thanh-Tho先生 1 史玲 1 司元杰 1 孙静 1 佩琳娜·托尔马赫 1 王瑞 1 王婷 1 杨晓虎 1 张杰 1 张绍杰 1 Zhang，西安 1 郑满文 全部的 前5名系列 2 Automatica公司 2 计算的形式方面 2 计算机科学前沿 1 电气电子工程师学会计算机期刊 1 自动推理杂志 1 实时系统 1 系统设计中的形式化方法 1 人工智能研究杂志 1 计算机基础理论 1 控制理论与应用 1 软件杂志 全部的 前5名领域 24 计算机科学（68至XX） 三 系统论；控制（93至XX） 2 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物被引用33次30文件 引用人▼ 年份▼ 多机器人系统鲁棒控制的分布式方法。 Zbl 1406.93224号 周，袁;胡和声;刘，杨;林尚伟;丁左华 8 2018 一种UTP语义，用于与共享变量通信进程及其在PVS中的形式编码。 Zbl 1398.68373号 史玲;赵永新;刘，杨;孙骏;董金松;秦胜超 4 2018 LTL中量化策略的与跟踪长度无关的运行时监控。 Zbl 1427.68167号 杜晓宁;刘，杨;Tiu，Alwen先生 4 2015 用于验证计算编排。 Zbl 1342.68209号 董金松;刘，杨;孙骏;Zhang，西安 三 2014 改进的基于BDD的时间系统离散分析。 Zbl 1372.68175号 阮楚钦;孙骏;刘，杨;董金松;刘、严 2 2012 工作流网络健全性问题的复杂性。 Zbl 1286.90079号 刘冠军;孙骏;刘，杨;董金松 2 2014 有界工作流网稳健性问题的复杂性。 Zbl 1357.68075号 刘关军;孙骏;刘，杨;董金松 1 2012 自动化规划的模型检查方法。 Zbl 1291.68263号 李毅;董金松;孙静;刘，杨;孙骏 1 2014 SeVe：安全协议验证的自动工具。 Zbl 1251.68142号 卢安图;孙骏;刘，杨;董金松 1 2012 一种有效的事件记录自动机学习算法。 Zbl 1348.68077号 林尚伟;埃蒂安·安德烈;董金松;孙骏;刘，杨 1 2011 分层并发实时系统的参数综合。 兹伯利1314.68081 埃蒂安·安德烈;刘，杨;孙骏;董金松 1 2014 一种避免多机器人系统中高阶死锁的分布式方法。 Zbl 1430.93153号 周，袁;胡和声;刘，杨;林尚伟;丁左华 1 2020 使用两级部分降阶的传感器网络状态空间降阶。 Zbl 1426.68026号 郑满文;大卫·萨南;孙骏;刘，杨;董金松;顾，余 1 2013 CSimpl：用于验证并发程序的基于可靠保证的框架。 Zbl 1452.68053号 大卫·萨南;赵永旺;侯哲;张福源;Tiu，Alwen先生;刘，杨 1 2017 共享变量并发程序的组合推理。 Zbl 1460.68067号 张福源;赵永旺;大卫·桑;刘，杨;Tiu，Alwen先生;林尚伟;孙骏 1 2018 普罗莫卡：承诺协议中代理的概率建模和分析。 Zbl 1401.68337号 阿肯·圭内;刘，杨;张杰 1 2016 一种避免多机器人系统中高阶死锁的分布式方法。 兹比尔1430.93153 周，袁;胡和声;刘，杨;林尚伟;丁左华 1 2020 多机器人系统鲁棒控制的分布式方法。 Zbl 1406.93224号 周，袁;胡和声;刘，杨;林尚伟;丁左华 8 2018 一种UTP语义，用于与共享变量通信进程及其在PVS中的形式编码。 兹比尔1398.68373 史玲;赵永新;刘，杨;孙骏;董金松;秦胜超 4 2018 共享变量并发程序的组合推理。 Zbl 1460.68067号 张福源;赵永旺;大卫·萨南;刘，杨;Tiu，Alwen先生;林尚伟;孙骏 1 2018 CSimpl：用于验证并发程序的基于可靠保证的框架。 Zbl 1452.68053号 大卫·萨南;赵永旺;侯哲;张福源;Tiu，Alwen先生;刘，杨 1 2017 普罗莫卡：承诺协议中代理的概率建模和分析。 Zbl 1401.68337号 阿肯·圭内;刘，杨;张杰 1 2016 LTL中定量策略的独立于跟踪长度的运行时监控。 Zbl 1427.68167号 杜晓宁;刘，杨;Tiu，Alwen先生 4 2015 用于验证计算编排。 兹比尔1342.68209 董金松;刘，杨;孙骏;Zhang，西安 三 2014 工作流网络健全性问题的复杂性。 Zbl 1286.90079号 刘冠军;孙骏;刘，杨;董金松 2 2014 自动化规划的模型检查方法。 Zbl 1291.68263号 李毅;董金松;孙静;刘，杨;孙骏 1 2014 分层并发实时系统的参数综合。 Zbl 1314.68081号 埃蒂安·安德烈;刘，杨;孙骏;董金松 1 2014 使用两级部分降阶的传感器网络状态空间降阶。 兹比尔1426.68026 郑满文;大卫·萨南;孙骏;刘，杨;董金松;顾，余 1 2013 改进的基于BDD的时间系统离散分析。 Zbl 1372.68175号 阮楚钦;孙骏;刘，杨;董金松;刘燕 2 2012 有界工作流网稳健性问题的复杂性。 Zbl 1357.68075号 刘关军;孙骏;刘，杨;董金松 1 2012 SeVe：安全协议验证的自动工具。 Zbl 1251.68142号 卢安图;孙骏;刘，杨;董金松 1 2012 一种有效的事件记录自动机学习算法。 兹比尔1348.68077 林尚伟;埃蒂安·安德烈;董金松;孙骏;刘，杨 1 2011 所有引用出版物 前5名被引用出版物 全部的 前5名被80位作者引用 4 刘，杨 三 刘冠军 三 孙骏 三 朱慧彪 2 David A.Basin。 2 巴拉戈·纳加拉贾·巴特 2 林尚伟 2 大卫·萨南 2 阿文·费南托（Alwen Fernanto Tiu） 2 德米特里·特拉泰尔 2 谢万玲 1 穆萨布·A·阿尔图尔基。 1 埃蒂安·安德烈 1 帕特里夏·鲍耶 1 乔纳森·鲍文（Jonathan P.Bowen）。 1 曹金德 1 曹振福 1 安娜·卡瓦尔坎蒂 1 陈杰 1 陈丽静 1 亚历山德罗·西马蒂 1 丁左华 1 艾维洛·多布里科夫 1 董金松 1 董晓雷 1 杜洪伟 1 段振华 1 埃德蒙·杜菲（Edmund H.Durfee）。 1 范小平 1 约阿金·加巴罗 1 高子友 1 保罗·加斯丁 1 龚俊清 1 格罗兹基，格热戈兹 1 何继峰 1 弗雷德里克·赫布雷托 1 侯哲 1 胡和声 1 马吕斯·克劳泽 1 Sr Djan Krstić 1 塞尔吉奥·莱昂·盖克萨斯 1 Michael Leuschel先生 1 李甘荣 1 李树凯 1 李晓迪 1 李毅 1 龙，飞 1 克里斯蒂安·马胡利亚 1 何塞·梅塞盖尔·瓜伊塔 1 黄家阮 1 内克米耶·奥扎伊 1 劳雷·佩特鲁奇 1 亨利克·皮埃赫 1 佩德罗·里贝罗 1 尤努斯·埃姆雷·萨欣 1 奥坎·桑库尔 1 塞尔娜·伊格莱西亚斯（Serna Iglesias）、玛丽亚·何塞（Maria José） 1 盛，冯 1 Satinder Pal辛格 1 巴拉古鲁·斯里瓦桑 1 苏厚生 1 孙静 1 唐少华 1 田，春 1 田聪 1 斯特凡诺·托内塔 1 王晓天 1 香，双清 1 徐启文 1 Yang，Kai（杨凯） 1 杨丽星 1 杨仁明 1 杨晓武 1 杨宗元 1 张福源 1 张海英 1 张楠 1 赵永旺 1 周，袁 1 朱、陈红 全部的 前5名14篇连载文章中引用 4 计算的形式方面 4 系统设计中的形式化方法 三 Automatica公司 2 信息科学 2 组合优化期刊 1 人工智能 1 富兰克林学院学报 1 理论计算机科学 1 离散事件动态系统 1 工程中的数学问题 1 国际应用数学与计算机科学杂志 1 非线性分析。混合动力系统 1 控制理论与技术 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 22 计算机科学（68至XX） 8 系统论；控制（93至XX） 5 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 变分法与最优控制；最优化（49至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文