奥尔德罗格（Ernst-Rüdiger Olderog）;伯恩哈德·斯特芬;易、王 模型检查、综合和学习。 （英语） Zbl 1522.68339号 Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).MSC公司：60年第68季度 第68季度32 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1--7（2022；Zbl 1522.68339） 全文： 内政部
安、杰;詹乃军;李晓山;张苗苗;易、王 模型检查有界连续时间扩展线性持续时间不变量。 （英语） Zbl 1409.68165号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。81-90（2018年）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.An}等人，in：《第21届ACM混合系统国际会议论文集：计算与控制》，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。81-90（2018年；Zbl 1409.68165） 全文： 内政部
帕维尔·克查尔;帕罗什·阿齐兹·阿卜杜拉;易、王 时间自动机的抽样语义。 （英语） Zbl 1214.68195号 日志。方法计算。科学。 6，第3号，第14号论文，37页（2010年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Král}等人，《日志》。方法计算。科学。6，第3号，第14号论文，37页（2010年；Zbl 1214.68195） 全文： 内政部 arXiv公司
费斯曼，埃琳娜;帕维尔·科卡尔;保罗·佩特森;易、王 任务自动机：可调度性、可判定性和不可判定性。 （英语） Zbl 1121.68062号 Inf.计算。 205，第8期，1149-1172（2007）.MSC公司：65年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人，《信息计算》。205，第8号，1149--1172（2007；Zbl 1121.68062） 全文： 内政部
埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 基于时间自动机的固定优先级系统可调度性分析。 （英语） Zbl 1088.68087号 西奥。计算。科学。 354，第2期，301-317（2006）.MSC公司：65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人，Theor。计算。科学。354，第2号，301--317（2006；Zbl 1088.68087） 全文： 内政部
何继峰;洪丹凡;浦、葛光;邱宗燕;易、王 探索同步模型硬件/软件分区的最佳解决方案。 （英语） 兹比尔1103.68404 正式Asp。计算。 17，第4期，443-460（2005）.MSC公司：68平方米 68米99 PDF格式BibTeX公司 XML格式引用 \textit{J.He}等人，正式Asp。计算。17，第4号，443--460（2005；Zbl 1103.68404） 全文： 内政部
葛光、浦;洪丹凡;何继峰;易、王 同步模型的硬件/软件分区的最佳方法。 （英语） Zbl 1196.68136号 Boiten，Eerke A.（编辑）等，《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议，IFM 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21377-5/pbk）。计算机科学课堂讲稿2999363-381（2004）。MSC公司：60年第68季度 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Geguang}等人，Lect。注释计算。科学。2999363--381（2004年；Zbl 1196.68136） 全文： 内政部
埃琳娜·费斯曼;易、王 实时任务可调度性分析的通用方法。 （英语） Zbl 1088.68525号 Nord.J.计算。 11，第2期，129-147（2004）.MSC公司：68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}和\textit{W.Yi}，Nord.J.Compute。11，第2129--147号（2004年；兹bl 1088.68525）
Larsen，Kim G。;弗雷德里克·拉尔森;保罗·佩特森;易、王 模型检查实时系统的紧凑数据结构和状态空间缩减。 （英语） Zbl 1081.68010号 实时系统。 25，编号2-3，255-275（2003）.MSC公司：68第05页 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，《实时系统》。25，编号2--3255-275（2003；Zbl 1081.68010） 全文： 内政部
托拜厄斯·阿姆内尔;埃琳娜·费斯曼;保罗·佩特森;易、王;孙红燕 时间自动机的代码合成。 （英语） Zbl 1088.68625号 Nord.J.计算。 9，第4号，269-300（2002）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Amnell}等人，Nord.J.计算。9，编号4269-300（2002年；兹bl 1088.68625）
林惠民;易、王 公理化时间自动机。 （英语） Zbl 1025.68057号 学报信息。 38，第4期，277-305（2002）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛H.Lin｝和\textit｛W.Yi｝，Acta Inf.38，第4期，第277-305页（2002年；Zbl 1025.68057） 全文： 内政部
马格纳斯·林达尔;保罗·佩特森;易、王 齿轮控制器的形式化设计和分析。 （英语） Zbl 0993.68133号 国际期刊软件。技术工具。Transf公司。3，第3期，353-368（2001）。MSC公司：68单位07 PDF格式BibTeX公司 XML格式 全文： 内政部
林惠民;易、王 时间自动机的证明系统。 （英语） Zbl 0961.68071号 Tiuryn，Jerzy（编辑），《软件科学和计算结构基础》。第三届国际会议，FOSSACS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1784, 208-222 (2000).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}和\textit{W.Yi}，Lect。注释计算。科学。1784208--222（2000年；Zbl 0961.68071）