编辑配置文件(在新选项卡中打开) 曼努埃尔·马扎拉 合著者距离 作者ID: 马扎拉曼纽尔 发布日期: 曼努埃尔·马扎拉 外部链接: ORCID公司 编入索引的文档: 1出版物自2007年起 1作为编辑的贡献 合著者: 2合著者具有2联合出版物 77位合作作者 合著者 0 单作者的 1 罗伯托·卢奇 1 安德烈·沃伦科夫 系列 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 字段 2 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用8中的次7文件 引用人▼ 年份▼ WS-BPEL的基于像素的语义。 Zbl 1178.68367号 罗伯托·卢奇;曼努埃尔·马扎拉 8 2007 WS-BPEL的基于像素的语义。 Zbl 1178.68367号 罗伯托·卢奇;曼努埃尔·马扎拉 8 2007 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 2 格雷戈里奥·迪亚兹 2 罗萨里奥·普格利泽 2 弗朗西斯科·蒂埃齐 1 穆萨布·A·阿尔图尔基。 1 阿尼尔班·巴塔查里亚 1 玛丽亚·艾米利亚·坎布罗内罗 1 洛科·德尼古拉 1 吉安·路易吉,法拉利 1 卡拉·费雷拉 1 亚历山德罗·拉帕杜拉 1 赫梅内吉尔达·马西阿 1 何塞·安东尼奥·马特奥 1 何塞·梅塞盖尔·瓜伊塔 1 Ken G.皮尔斯。 1 巴勃罗·拉巴纳尔 1 伊斯梅尔·罗德里格斯 1 瓦伦蒂安·瓦莱罗 1 卡蒂亚·瓦兹 4篇连载文章中引用 3 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 1 系统设计中的形式化方法 在2个字段中引用 7 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文