编辑配置文件（在新选项卡中打开） 易、王 合著者距离 作者ID： 王毅 发布日期： 易、王；Yi，W。 主页： 网址：https://user.it.uu.se/~伊/ 外部链接： 逆戟鲸·谷歌学者·数据库许可证 已编制索引的文档： 51出版物自1991年起 5名编辑的贡献 合著者： 57位合著者具有55联合出版物 1341位联合作者 全部的 前5名合著者 1 单作者的 14 保罗·佩特森 10 金·古德斯特兰·拉森 9 帕维尔·克查尔 7 埃琳娜·费斯曼 5 关，南 4 帕罗什·阿齐兹·阿卜杜拉 4 埃克伯格，蓬图斯 4 列奥尼德·莫克鲁辛 4 马丁·斯蒂格 三 本特·琼森 三 弗雷德里克·拉尔森 三 林惠民 2 托拜厄斯·阿姆内尔 2 格德·贝尔曼 2 约翰·本特森 2 亚历山大·戴维 2 洪丹凡 2 刘迪 2 奥尔德罗格（Ernst-Rüdiger Olderog） 2 贾斯汀·皮尔逊 2 菲利普·吕默 2 托多·斯特凡诺夫 2 Steffen，伯恩哈德 2 卡斯滕·韦斯 1 贾卡里亚·阿卜杜拉 1 安、杰 1 杜，何 1 高惠民 1 葛光、浦 1 W.O.David格里芬 1 何继峰 1 何庆强 1 侯赛因·霍贾特 1 黄凯 1 姜旭 1 何继峰 1 Kristoffersen，Káre J。 1 李凤 1 李晓山 1 李宣东 1 马格纳斯·林达尔 1 刘松然 1 刘伟晨 1 刘志明 1 蒂齐亚娜·玛格丽亚 1 莫特扎·莫哈基奇 1 莫勒，M.奥利弗 1 浦、葛光 1 邱宗燕 1 施，张 1 杰琳娜·斯帕西奇 1 Subotic，铺面 1 孙红燕 1 孙景浩 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 詹乃军 1 张苗苗 全部的 前5名系列 5 实时系统 4 电气电子工程师学会计算机期刊 4 北欧计算机杂志 4 计算机科学课堂讲稿 2 理论计算机科学 2 信息与计算 1 信息学报 1 计算的形式方面 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 56 计算机科学（68至XX） 5 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用528中的次376文件 引用人▼ 年份▼ 简单地说，很高兴。 Zbl 1060.68577号 Larsen，Kim G。；保罗·佩特森；易、王 156 1997 时间自动机：语义、算法和工具。 Zbl 1088.68119号 约翰·本特森；易、王 71 2004 过程代数的概率扩张。 Zbl 1062.68081号 本特·琼森；易、王；Larsen，Kim G。 44 2001 CCS+Time=实时系统的交织模型。 Zbl 0769.68027号 易、王 33 1991 任务自动机：可调度性、可判定性和不可判定性。 Zbl 1121.68062号 埃琳娜·费斯曼；帕维尔·科卡尔；保罗·佩特森；易、王 24 2007 时间抽象的交互模拟：隐式规范和可决策性。 Zbl 0887.68068号 Larsen，Kim G。；易、王 19 1997 限定和形成广义混合临界零星任务系统的需求。 Zbl 1291.68075号 埃克伯格，蓬图斯；易、王 18 2014 实时系统的模型检查。 Zbl 1507.68193号 Larsen，Kim G。；保罗·佩特森；易、王 16 1995 使用时钟差异图进行高效的定时可达性分析。 Zbl 1046.68577号 贝尔曼，G。；拉森，K.G。；皮尔逊，J。；魏斯，C。；Yi，W。 11 1999 通信时间自动机：越同步，验证越困难。 Zbl 1188.68192号 帕维尔·科卡尔；易、王 11 2006 异步进程的时间自动机：可调度性和可判定性。 Zbl 1043.68589号 埃琳娜·费斯曼；保罗·佩特森；易、王 11 2002 用于静态优先级可行性分析的组合抽象细化。 Zbl 1343.68037号 马丁·斯蒂格；易、王 11 2015 基于时间自动机的固定优先级系统可调度性分析。 Zbl 1088.68087号 埃琳娜·费斯曼；列奥尼德·莫克鲁辛；保罗·佩特森；易、王 10 2006 TIMES–嵌入式系统建模和实现的工具。 Zbl 1043.68513号 托拜厄斯·阿姆内尔；埃琳娜·费斯曼；列奥尼德·莫克鲁辛；保罗·佩特森；易、王 10 2002 时钟差异图。 Zbl 0937.68086号 Larsen，Kim G。；贾斯汀·皮尔逊；卡斯滕·韦斯；易、王 9 1999 时间自动机的代码合成。 Zbl 1088.68625号 托拜厄斯·阿姆内尔；埃琳娜·费斯曼；保罗·佩特森；易、王；孙红燕 6 2002 时间自动机可调度性分析中的可判定和不可判定问题。 Zbl 1126.68456号 帕维尔·克查尔；易、王 6 2004 时间自动机的抽样语义。 Zbl 1214.68195号 帕维尔·克查尔；帕罗什·阿齐兹·阿卜杜拉；易、王 6 2010 齿轮控制器的形式化设计和分析。 Zbl 0993.68133号 马格纳斯·林达尔；保罗·佩特森；易、王 5 2001 R-自动机。 Zbl 1160.68396号 帕罗什·阿齐兹·阿卜杜拉；帕维尔·科卡尔；易、王 5 2008 实时工作负载的基于图形的模型：一项调查。 Zbl 1337.68050号 马丁·斯蒂格；易、王 5 2015 使用UPPAAL自动验证音频控制协议。 Zbl 1008.68009号 约翰·本特森；W.O.David格里芬；Kristoffersen，Káre J。；Larsen，Kim G。；弗雷德里克·拉尔森；保罗·佩特森；易、王 4 2002 实时任务可调度性分析的通用方法。 Zbl 1088.68525号 埃琳娜·费斯曼；易、王 4 2004 模型检查实时系统的紧凑数据结构和状态空间缩减。 Zbl 1081.68010号 Larsen，Kim G。；弗雷德里克·拉尔森；保罗·佩特森；易、王 4 2003 用于通信定时系统的喇叭子句。 Zbl 1464.68207号 侯赛因·霍贾特；菲利普·吕默；Subotic，铺面；易、王 4 2014 时间自动机的抽样通用性。 Zbl 1195.68052号 帕罗什·阿齐兹·阿卜杜拉；帕维尔·科卡尔；易、王 三 2007 概率过程的测试预订单可以通过模拟来表征。 兹比尔0997.68082 本特·琼森；易、王 三 2002 广义多帧任务的最优资源共享协议。 Zbl 1304.68024号 埃克伯格，蓬图斯；关，南；马丁·斯蒂格；易、王 三 2015 定时系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。 Zbl 1097.68008号 2 2005 使用两个时钟进行可调度性分析。 Zbl 1031.68031号 埃琳娜·费斯曼；列奥尼德·莫克鲁辛；保罗·佩特森；易、王 2 2003 定时与定时触发自动机。 Zbl 1099.68069号 帕维尔·克查尔；列奥尼德·莫克鲁辛；蒂亚加拉扬，P.S。；易、王 2 2004 带有实时扩展的UML状态图的正式验证。 Zbl 1059.68542号 亚历山大·戴维；莫勒，M.奥利弗；易、王 2 2002 实时通信时序过程网络中时间语言包含的可决定性。 Zbl 1044.68690号 易、王；本特·琼森 1 1994 混合临界系统基于图形的任务模型的可调度性分析。 Zbl 1351.68044号 埃克伯格，蓬图斯；易、王 1 2016 时间自动机的证明系统。 Zbl 0961.68071号 林惠民；易、王 1 2000 用于构建和分析系统的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。 Zbl 0960.00058号 1 2001 可变执行时间抢占式实时任务的多处理器可调度性分析。 Zbl 1141.68353号 帕维尔·科卡尔；马丁·斯蒂格；易、王 1 2007 通过状态空间划分细化引擎控制器的工作负载模型。 Zbl 1444.68029号 莫特扎·莫哈基奇；贾卡里亚·阿卜杜拉；埃克伯格，蓬图斯；易、王 1 2017 非精确混合临界实时任务的调度分析。 Zbl 1433.68072号 刘迪；关，南；杰琳娜·斯帕西奇；陈刚；刘松然；托多·斯特凡诺夫；易、王 1 2018 时间抽象的互模拟：隐式规范和可判定性。 Zbl 1511.68143号 Larsen，Kim G。；易、王 1 1994 非精确混合临界实时任务的调度分析。 Zbl 1433.68072号 刘迪；关，南；杰琳娜·斯帕西奇；陈刚；刘松然；托多·斯特凡诺夫；易、王 1 2018 通过状态空间划分细化引擎控制器的工作负载模型。 Zbl 1444.68029号 莫特扎·莫哈基奇；贾卡里亚·阿卜杜拉；埃克伯格，蓬图斯；易、王 1 2017 混合临界系统基于图形的任务模型的可调度性分析。 Zbl 1351.68044号 埃克伯格，蓬图斯；易、王 1 2016 用于静态优先级可行性分析的组合抽象细化。 Zbl 1343.68037号 马丁·斯蒂格；易、王 11 2015 实时工作负载的基于图形的模型：一项调查。 Zbl 1337.68050号 马丁·斯蒂格；易、王 5 2015 广义多帧任务的最优资源共享协议。 Zbl 1304.68024号 埃克伯格，蓬图斯；关，南；马丁·斯蒂格；易、王 三 2015 限定和形成广义混合临界零星任务系统的需求。 Zbl 1291.68075号 埃克伯格，蓬图斯；易、王 18 2014 用于通信定时系统的喇叭子句。 Zbl 1464.68207号 侯赛因·霍贾特；菲利普·吕默；Subotic，帕夫勒；易、王 4 2014 时间自动机的抽样语义。 Zbl 1214.68195号 帕维尔·克查尔；帕罗什·阿齐兹·阿卜杜拉；易、王 6 2010 R-自动机。 Zbl 1160.68396号 帕罗什·阿齐兹·阿卜杜拉；帕维尔·科卡尔；易、王 5 2008 任务自动机：可调度性、可判定性和不可判定性。 Zbl 1121.68062号 埃琳娜·费斯曼；帕维尔·科卡尔；保罗·佩特森；易、王 24 2007 时间自动机的抽样通用性。 Zbl 1195.68052号 帕罗什·阿齐兹·阿卜杜拉；帕维尔·科卡尔；易、王 三 2007 具有可变执行时间的抢占式实时任务的多处理器可调度性分析。 Zbl 1141.68353号 帕维尔·科卡尔；马丁·斯蒂格；易、王 1 2007 通信时间自动机：越同步，验证越困难。 Zbl 1188.68192号 帕维尔·科卡尔；易、王 11 2006 基于时间自动机的固定优先级系统可调度性分析。 Zbl 1088.68087号 埃琳娜·费斯曼；列奥尼德·莫克鲁辛；保罗·佩特森；易、王 10 2006 时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。 Zbl 1097.68008号 2 2005 时间自动机：语义、算法和工具。 Zbl 1088.68119号 约翰·本特森；易、王 71 2004 时间自动机可调度性分析中的可判定和不可判定问题。 Zbl 1126.68456号 帕维尔·克查尔；易、王 6 2004 实时任务可调度性分析的通用方法。 Zbl 1088.68525号 埃琳娜·费斯曼；易、王 4 2004 定时与定时触发自动机。 Zbl 1099.68069号 帕维尔·克查尔；列奥尼德·莫克鲁辛；蒂亚加拉扬，P.S。；易、王 2 2004 模型检查实时系统的紧凑数据结构和状态空间缩减。 Zbl 1081.68010号 Larsen，Kim G。；弗雷德里克·拉尔森；保罗·佩特森；易、王 4 2003 使用两个时钟进行可调度性分析。 Zbl 1031.68031号 埃琳娜·费斯曼；列奥尼德·莫克鲁辛；保罗·佩特森；易、王 2 2003 异步进程的时间自动机：可调度性和可判定性。 Zbl 1043.68589号 埃琳娜·费斯曼；保罗·佩特森；易、王 11 2002 TIMES–嵌入式系统建模和实现的工具。 Zbl 1043.68513号 托拜厄斯·阿姆内尔；埃琳娜·费斯曼；列奥尼德·莫克鲁辛；保罗·佩特森；易、王 10 2002 时间自动机的代码合成。 Zbl 1088.68625号 托拜厄斯·阿姆内尔；埃琳娜·费斯曼；保罗·佩特森；易、王；孙红燕 6 2002 使用UPPAAL自动验证音频控制协议。 Zbl 1008.68009号 约翰·本特森；W.O.David格里芬；Kristoffersen，Káre J。；Larsen，Kim G。；弗雷德里克·拉尔森；保罗·佩特森；易、王 4 2002 概率过程的测试预订单可以通过仿真来表征。 Zbl 0997.68082号 本特·琼森；易、王 三 2002 带有实时扩展的UML状态图的正式验证。 Zbl 1059.68542号 亚历山大·戴维；莫勒，M.奥利弗；易、王 2 2002 过程代数的概率扩展。 Zbl 1062.68081号 本特·琼森；易、王；Larsen，Kim G。 44 2001 齿轮控制器的形式化设计与分析。 兹比尔0993.68133 马格纳斯·林达尔；保罗·佩特森；易、王 5 2001 用于构建和分析系统的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。 Zbl 0960.00058号 1 2001 时间自动机的证明系统。 Zbl 0961.68071号 林惠民；易、王 1 2000 使用时钟差异图进行高效的定时可达性分析。 Zbl 1046.68577号 贝尔曼，G。；拉森，K.G。；皮尔逊，J。；魏斯，C。；Yi，W。 11 1999 时钟差异图。 Zbl 0937.68086号 Larsen，Kim G。；贾斯汀·皮尔逊；卡斯滕·韦斯；易、王 9 1999 简单地说，很高兴。 Zbl 1060.68577号 Larsen，Kim G。；保罗·佩特森；易、王 156 1997 时间抽象互模拟：隐含规范和可判定性。 Zbl 0887.68068号 Larsen，Kim G。；易、王 19 1997 实时系统的模型检查。 Zbl 1507.68193号 Larsen，Kim G。；保罗·佩特森；易、王 16 1995 实时通信时序过程网络中时间语言包含的可决定性。 Zbl 1044.68690号 易、王；本特·琼森 1 1994 时间抽象互模拟：隐式规范和可判定性。 Zbl 1511.68143号 Larsen，Kim G。；易、王 1 1994 CCS+时间=实时系统的交错模型。 Zbl 0769.68027号 易、王 33 1991 所有引用的出版物 前5名被引用出版物 全部的 前5名701位作者引用 22 金·古德斯特兰·拉森 14 埃蒂安·安德烈 14 帕特里夏·鲍耶 13 莱姆，迪迪埃 9 尼古拉斯·马基 9 易、王 8 Marta Z.Kwiatkowska。 8 奥利维尔·H·鲁克斯。 8 西蒙·蒂尼 7 拉诺特、拉格罗 7 格钦·诺曼 6 保罗·加斯丁 6 李因苏普 5 乌里·法伦贝格 5 奥德·马勒 5 何塞·梅塞盖尔·瓜伊塔 5 Jean-François拉斯金 5 奥坎·桑库尔 4 帕罗什·阿齐兹·阿卜杜拉 4 卢卡·埃特罗 4 阿克西，S。 4 尤金·亚萨林 4 Jos C.M.Baeten。 4 马可·贝尔纳多 4 托马斯·查泰恩 4 科琳娜·科斯特 4 当、哲 4 佩德罗·鲁宾·达吉尼奥 4 亚历山德拉·迪·皮耶罗 4 劳伦·弗里堡 4 弗雷德里克·赫布雷托 4 阿列克桑德拉·乔瓦诺维奇。 4 Legay、Axel 4 Peter Csaba，Olveczky 4 罗西（Matteo A.C.Rossi）。 4 巴拉古鲁·斯里瓦桑 4 Vaandrager，Frits W。 4 赫伯特，威克利基 三 艾切尔尼格，伯恩哈德·K。 三 尼古拉斯·巴塞特 三 劳拉·博奇 三 加布里埃尔·乔巴努 三 牧场克利夫兰 三 德波尔（Frank S。 三 马蒂杰斯·德·维特（Mathijs M.de Weerdt）。 三 贝诺·德拉哈耶 三 安吉洛·富法罗 三 休伯特·加拉维 三 Daniel E.Gebler。 三 鲁道夫·戈麦斯 三 克里斯·汉金。 三 埃纳尔·布罗赫·约翰森 三 艾哈迈德·库姆西 三 帕维尔·克查尔 三 弗雷德里克·朗 三 尼格罗、利贝罗 三 穆斯塔法·努勒法特 三 卡图西亚帕拉米德斯 三 保罗·佩特森 三 Pierluigi San彼得罗 三 卡琳·夸斯 三 米歇尔·阿德里安 三 雅各布斯·E·罗达。 三 鲁道夫·施拉特 三 奥列格·索科尔斯基 三 杰里米·斯普洛斯顿 三 孙骏 三 四川省韦尔市 三 安德烈·索夫斯基 三 西蒙·威默 三 塞斯·维特芬 三 塞尔吉奥·尤文 三 曾海波 2 奥马尔·巴塔内赫 2 阿曼，博格丹 2 安徒生、亨利克·雷夫 2 阿夫尼，盖伊 2 穆罕默德·阿卜杜拉希·阿兹戈米 2 巴特尔斯，福尔克 2 Marcelo Maria贝尔萨尼 2 贝内迪克特·博利格 2 马吕斯·博兹加 2 帕特丽斯·布莱蒙德·格雷戈里 2 托马斯·布里海耶 2 埃德·布林克斯马 2 玛丽亚·艾米利亚·坎布罗内罗 2 曹永志 2 弗兰克·卡塞兹 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 安娜·卡瓦尔坎蒂 2 伊万娜·乔纳 2 康斯坦丁诺斯·查齐科科拉基斯 2 Choi、Jin Young 2 汤姆·乔西亚 2 弗朗科·西西雷利 2 洛伦佐·克莱门特 2 弗拉维奥·科拉迪尼 2 Thao Dang先生 2 亚历山大·戴维 2 洛科·德尼古拉 …还有601多名作者 全部的 前5名43篇连载文章被引用 54 理论计算机科学 30 实时系统 23 信息与计算 19 系统设计中的形式化方法 16 计算的形式方面 14 信息学报 13 逻辑与代数程序设计杂志 11 程序设计中的逻辑和代数方法杂志 9 计算机科学中的逻辑方法 5 离散事件动态系统 4 计算机程序设计科学 4 国际计算机科学基础杂志 三 国际控制杂志 三 信息处理信件 三 分布式计算 三 计算机基础理论 2 计算机与系统科学杂志 2 国际鲁棒非线性控制杂志 2 欧洲控制杂志 2 高阶和符号计算 1 倒排索引综述 1 应用数学与计算 1 Automatica公司 1 模糊集与系统 1 信息科学 1 模拟中的数学和计算机 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 算法 1 自动推理杂志 1 计算数学与建模 1 运筹学年鉴 1 机器学习 1 工程、通信和计算中的应用代数 1 逻辑、语言与信息杂志 1 工程中的数学问题 1 美国计算机学会期刊 1 萨达纳 1 自然计算 1 应用逻辑杂志 1 计算机科学中的数学 1 计算机科学评论 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名在15个字段中引用 356 计算机科学（68至XX） 38 数理逻辑与基础（03-XX） 27 系统论；控制（93至XX） 13 运筹学、数学规划（90-XX） 13 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 5 信息与通信理论、电路（94-XX） 三 概率论与随机过程（60-XX） 三 生物学和其他自然科学（92-XX） 2 组合数学（05-XX） 2 范畴理论；同调代数（18-XX） 2 动力系统和遍历理论（37至XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 一般拓扑结构（54至XX） 按年份列出的引文