编辑配置文件（在新选项卡中打开） 西里尔·阿尔托 合著者距离 作者ID： 亚瑟·西里尔 发布日期： 西里尔·阿尔托 外部链接： MGP公司 已编制索引的文档： 5出版物自2003年起 4作为编辑的贡献 合著者： 22合著者具有9联合出版物 507合著作者 全部的 前5名合著者 0 单作者的 三 克劳斯·哈维隆德 三 Peter Csaba，Olveczky 2 阿明·比尔 2 洛瑞，迈克 2 科琳娜·s·佩斯勒诺。 2 格里高·罗什乌 2 威廉·维瑟 1 霍华德·巴林杰 1 马塞尔·鲍尔 1 多龙·德鲁辛斯基 1 帕斯卡·尤格斯特 1 Masami Hagiya 1 萨尔夫拉兹·库希德 1 Legay、Axel 1 Watcharin Leungwattanakit先生 1 Doron A.Peled。 1 维克多·舒潘 1 塞·库什克 1 吉诺里·塔纳贝 1 华盛顿，里奇 1 山本三郎 1 鲍里斯·兹维穆勒 系列 三 计算机与信息科学中的通信 1 理论计算机科学 1 计算机科学课堂讲稿 领域 9 计算机科学（68至XX） 4 一般性和全局性主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用17中的次14文件 引用人▼ 年份▼ 结合测试用例生成和运行时验证。 Zbl 1080.68062号 西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔夫拉兹·库希德;洛瑞，迈克;科琳娜·帕萨雷努;格里高·罗什乌;塞·库什克;威廉·维瑟;华盛顿，里奇 12 2005 测试用例生成和运行时分析实验。 Zbl 1021.68503号 西里尔·阿尔托;多龙·德鲁辛基;艾伦·戈德堡;克劳斯·哈维隆德;洛瑞，迈克;科琳娜·帕萨雷努;格里戈·罗苏;威廉·维瑟 三 2003 JNuke：高效的Java动态分析。 Zbl 1103.68602号 西里尔·阿尔托;维克多·舒潘;阿明·比尔;帕斯卡·尤格斯特;马塞尔·鲍尔;鲍里斯·茨威穆勒 1 2004 用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。 Zbl 1346.68003号 1 2016 用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。 兹比尔1346.68003 1 2016 结合测试用例生成和运行时验证。 Zbl 1080.68062号 西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔夫拉兹·库希德;洛瑞，迈克;科琳娜·帕萨雷努;格里高·罗什乌;塞·库什克;威廉·维瑟;华盛顿，里奇 12 2005 JNuke：高效的Java动态分析。 兹比尔1103.68602 西里尔·阿尔托;维克多·舒潘;阿明·比尔;帕斯卡·尤格斯特;马塞尔·鲍尔;鲍里斯·兹维穆勒 1 2004 测试用例生成和运行时分析实验。 Zbl 1021.68503号 西里尔·阿尔托;多龙·德鲁辛基;艾伦·戈德堡;克劳斯·哈维隆德;洛瑞，迈克;科琳娜·帕萨雷努;格里戈·罗苏;威廉·维瑟 三 2003 所有引用出版物 前5名被引用出版物 全部的 前5名42位作者引用 三 阿德里安·弗兰卡兰扎 2 卢卡·埃特罗 2 伊恩·卡萨尔 2 Anna Ingólfsdóttir 2 维克托·五·库利亚明。 1 沃尔夫冈·阿伦特 1 西里尔·阿尔托 1 霍华德·巴林格 1 安德烈亚斯·拉斐尔·布拉斯 1 博尔祖·博纳克达尔普尔 1 伊贡博格尔 1 霍华德·鲍曼 1 切诺夫，E.S。 1 杰苏斯·莫里西奥·奇曼托 1 克莱尔·西尼 1 伯恩德·芬克贝纳 1 塞巴斯蒂安·费奇迈斯特 1 鲁道夫·戈麦斯 1 尤里·古里维奇 1 克劳斯·哈维隆德 1 萨尔夫拉兹·库希德 1 简·Křetínsk 1 拉尔斯·库茨 1 洛瑞，迈克 1 尼古拉斯·马基 1 列夫·纳奇曼森 1 萨马内纳瓦布波尔 1 戈登·佩斯。 1 科琳娜·s·佩斯勒诺。 1 吉列尔莫·A·佩雷斯。 1 A.V.Ponomarenko。 1 Jean-François拉斯金 1 格里高·罗什乌 1 鲁巴诺夫。 1 杰拉尔多·施奈德 1 菲利普·施诺贝伦 1 塞·库什克 1 苏，李 1 玛格斯·维纳斯 1 威廉·维瑟 1 华盛顿，Rich 1 兹宾，R.S。 全部的 前5名7篇连载文章中引用 2 编程和计算机软件 2 计算的形式方面 2 系统设计中的形式化方法 1 信息学学报 1 信息处理信件 1 理论计算机科学 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 14 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文