编辑配置文件(在新选项卡中打开) 玛丽亚·艾米利亚·坎布罗内罗 合著者距离 作者ID: 柬埔寨 发布日期: 玛丽亚·艾米利亚·坎布罗内罗;米米利亚·坎布罗内罗;玛丽亚·埃米利亚·坎布罗内罗;坎布罗内罗,M.E。 更多。。。较少的 已编制索引的文档: 6出版物自2006年起 合著者: 9合著者具有6份联合出版物 63位合作作者 全部的 前5名合著者 0 单作者的 5 瓦伦蒂安·瓦莱罗 4 格雷戈里奥·迪亚兹 三 赫梅内吉尔达梅西 1 阿尔贝托·阿兰达·加西亚 1 克里斯蒂安·科伦坡 1 路易斯·利亚纳 1 恩里克·马丁内斯 1 戈登·佩斯。 1 胡安·何塞·帕尔多 系列 三 逻辑与代数程序设计杂志 1 计算机程序设计科学 1 欧洲控制杂志 领域 5 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用11次8文件 引用人▼ 年份▼ 使用时间自动机验证web服务编排。 Zbl 1207.68082号 米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;瓦伦蒂安·瓦莱罗;恩里克·马丁内斯 7 2011 用于设计和分析web服务编排的Petri网方法。 Zbl 1188.68205号 瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达梅西 三 2009 具有时间限制的WS-CDL子集的阻塞操作语义。 Zbl 1183.68077号 瓦伦蒂安·瓦莱罗;格雷戈里奥·迪亚斯;玛丽亚·艾米利亚·坎布罗内罗;赫梅内吉尔达梅西 1 2009 使用时间自动机验证web服务编排。 Zbl 1207.68082号 米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;瓦伦蒂安·瓦莱罗;恩里克·马丁内斯 7 2011 用于设计和分析web服务编排的Petri网方法。 Zbl 1188.68205号 瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达梅西 三 2009 具有时间限制的WS-CDL子集的阻塞操作语义。 Zbl 1183.68077号 瓦伦蒂安·瓦莱罗;格雷戈里奥·迪亚斯;玛丽亚·艾米利亚·坎布罗内罗;赫梅内吉尔达梅西 1 2009 所有引用出版物 前5名被引用出版物 全部的 前5名23位作者引用 三 格雷戈里奥·迪亚兹 三 吉田、Nobuko 2 劳拉·博奇 2 玛丽亚·艾米利亚·坎布罗内罗 2 罗曼·德曼根 2 本田、高黑 2 鲁米亚纳内科娃 2 瓦伦蒂安·瓦莱罗 1 陈子春 1 朱尔根·丁格尔 1 胡雷蒙德 1 赫梅内吉尔达梅西 1 恩里克·马丁内斯 1 何塞·安东尼奥·马特奥 1 浦、葛光 1 巴勃罗·拉巴纳尔 1 伊斯梅尔·罗德里格斯 1 鲁迪、凯伦 1 苏婷 1 Waez,马里兰州Tawhid Bin 1 王,郑 1 肖浩 1 赵永新 全部的 前5名6篇连载文章中引用 三 逻辑与代数程序设计杂志 1 理论计算机科学 1 计算的形式方面 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 计算机科学评论 在1个字段中引用 8 计算机科学(68至XX) 按年份列出的引文