编辑配置文件(在新选项卡中打开) 王法恩 合著者距离 作者ID: 王法恩 发布日期: 王法恩 已编制索引的文档: 30份出版物自1995年起 5名编辑的贡献 合著者: 14位合著者具有18联合出版物 329位联合作者 全部的 前5名合著者 16 单作者的 4 黄忠浩 4 斯文·舍韦 3 Yen、Hsuchun 3 于、方 2 熊宝安 2 黄耿典 2 黄耿典 2 奥古斯托·桑帕约。 1 蔡林赞 1 冀伟 1 Doron A.Peled。 1 吴荣勋 1 杨亚兰 1 姚丽伟 全部的 前5名系列 5 理论计算机科学 3 计算机科学课堂讲稿 2 国际计算机科学基础杂志 1 信息学报 1 电气电子工程师学会计算机期刊 1 信息与计算 1 实时系统 全部的 前5名领域 35 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 5 总体主题;集合(00-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用40中的次32文件 引用人▼ 年份▼ 实时系统的参数定时分析。 Zbl 0872.68041号 王法恩 13 1996 策略交互的时间逻辑。 兹比尔1343.68157 王法恩;黄忠浩;于、方 6 2011 实时系统的时序参数表征。 Zbl 1279.68225号 王法恩;Yen、Hsu-Chun 3 2003 使用类BDD数据结构对时间自动机进行有效验证。 Zbl 1022.68586号 王法恩 3 2003 密集时间系统的TCTL必然性分析。 Zbl 1279.68223号 王法恩;黄耿典;于、方 2 2003 模型检查迭代游戏。 Zbl 1381.68167号 黄忠浩;斯文·舍韦;王法恩 2 2013 密集时间自动机的符号模拟检验。 Zbl 1141.68441号 王法恩 2 2007 具有凹路径条件的稠密时间自动机的时程估计。 兹比尔1183.68384 王法恩 2 2008 为实时系统自动生成具有区域相关覆盖注释的测试用例。 Zbl 1170.68518号 黄耿典;王法恩 1 2005 基于时间凸性分析的稠密时间系统的高效模型检验。 Zbl 1279.68222号 王法恩 1 2013 开放式实时系统的参数优化。 Zbl 0997.68504号 王法恩;Yen、Hsu-Chun 1 2001 使用状态、事件和多个公平性假设对分布式实时系统进行建模检查。 Zbl 1108.68530号 王法恩 1 2004 节点覆盖游戏的复杂性。 Zbl 1312.68070号 王法恩;斯文·舍韦;吴荣勋 1 2015 符号分支互模拟——环境中密集时间系统的检查。 Zbl 1237.68127号 王法恩 1 2009 具有广播行为的分布式实时系统的有效验证。 Zbl 1230.68155号 王法恩;姚丽伟;杨亚兰 1 2011 节点覆盖游戏的复杂性。 Zbl 1312.68070号 王法恩;斯文·舍韦;吴荣勋 1 2015 模型检查迭代游戏。 Zbl 1381.68167号 黄忠浩;斯文·舍韦;王法恩 2 2013 基于时间凸性分析的稠密时间系统的高效模型检验。 兹比尔1279.68222 王法恩 1 2013 策略交互的时间逻辑。 Zbl 1343.68157号 王法恩;黄忠浩;于、方 6 2011 具有广播行为的分布式实时系统的有效验证。 Zbl 1230.68155号 王法恩;姚丽伟;杨亚兰 1 2011 符号分支互模拟——环境中密集时间系统的检查。 Zbl 1237.68127号 王法恩 1 2009 具有凹路径条件的稠密时间自动机的时程估计。 Zbl 1183.68384号 王法恩 2 2008 密集时间自动机的符号模拟检验。 Zbl 1141.68441号 王法恩 2 2007 使用实时系统的区域相关覆盖注释自动生成测试用例。 Zbl 1170.68518号 黄、耿典;王法恩 1 2005 具有状态、事件和多个公平性假设的分布式实时系统的模型检查。 Zbl 1108.68530号 王法恩 1 2004 实时系统的时序参数表征。 Zbl 1279.68225号 王法恩;Yen、Hsu-Chun 3 2003 使用类BDD数据结构对时间自动机进行有效验证。 Zbl 1022.68586号 王法恩 3 2003 密集时间系统的TCTL必然性分析。 Zbl 1279.68223号 王法恩;黄耿典;于、方 2 2003 开放式实时系统的参数优化。 Zbl 0997.68504号 王法恩;Yen、Hsu-Chun 1 2001 实时系统的参数定时分析。 Zbl 0872.68041号 王法恩 13 1996 所有引用出版物 前5名被引用出版物 全部的 前5名76位作者引用 4 尼古拉斯·马基 3 帕特里夏·布耶 3 莱姆,迪迪埃 3 奥利维尔·鲁克斯。 3 王法恩 2 埃蒂安·安德烈 2 休伯特·加拉维 2 帕特里克·加迪 2 Marta Z.Kwiatkowska。 2 萨尔瓦多拉托雷 2 弗雷德里克·朗 2 金·古德斯特兰·拉森 2 Yen、Hsuchun 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 尼古拉·贝内什 1 彼得·贝兹克 1 阿迪森·路易斯·博尼法西奥 1 劳拉·博泽利 1 朱利安·布鲁内尔 1 克利斯朵夫·查尔顿 1 托马斯·查泰恩 1 克里希南德·查特吉 1 戴维·谢穆伊尔 1 陈建良 1 亚历山德罗·西马蒂 1 兰斯·克莱维兰 1 阿登尼索·达席尔瓦·西芒 1 巴巴拉·迪·詹保罗 1 朱尔根·丁格尔 1 劳伦特·多恩 1 埃曼纽尔·恩克雷纳兹 1 乌里·法伦贝格 1 艾曼纽·菲利奥特 1 彼得·丰塔纳 1 劳伦·弗里堡 1 东野东彦 1 阿列克桑德拉·乔瓦诺维奇。 1 弗朗索瓦·拉鲁西尼 1 李广元 1 弗洛里安·洛伯 1 何塞·卡洛斯·马尔多纳多 1 克劳德·马丁内斯 1 法比奥·莫加维罗 1 哈桑·莫塔列比 1 阿纳多·维埃拉·穆拉 1 穆拉诺,阿尼洛 1 中田昭夫 1 那不勒斯,玛格丽塔 1 德扬·尼科维奇 1 格钦·诺曼 1 乔尔·欧·瓦克宁。 1 彭云泉 1 朱塞佩·佩雷利 1 巴勃罗·拉巴纳尔 1 Jean-François拉斯金 1 伊斯梅尔·罗德里格斯 1 阿姆诺·罗森曼 1 马可·罗维里 1 费尔南多·鲁比奥 1 鲁迪、凯伦 1 佐佐木素古鲁 1 杰里米·斯普洛斯顿 1 吉·斯尔巴 1 扬·施托克 1 玛丽·斯托琳加 1 Tadaaki Tanimoto 1 斯特凡诺·托内塔 1 路易斯·马里·特劳努埃兹 1 佩特拉·范登博斯 1 莫西·亚亚科夫·瓦尔迪 1 Waez,Md Tawhid Bin 1 王富之 1 詹姆斯·沃雷尔。 1 颜荣杰 1 张文良 全部的 前5名12篇连载文章中引用 6 信息与计算 4 理论计算机科学 2 国际计算机科学基础杂志 1 倒排索引综述 1 计算的形式方面 1 实时系统 1 离散事件动态系统 1 系统设计中的形式化方法 1 计算系统理论 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 计算机科学评论 全部的 前5名在7个字段中引用 31 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文