编辑配置文件（在新选项卡中打开） 迭戈·马姆斯勒 合著者距离 作者ID： 马姆塞勒·迪戈 发布日期： 迭戈·马姆斯勒 已编制索引的文档： 6出版物自2016年起 2作为编辑的贡献 合著者： 18位合著者具有6联合出版物 214合著作者 全部的 前5名合著者 2 单作者的 2 特洛伊·凯欣·阿斯塔特 2 安东尼奥·塞隆 2 路易斯·库托。 2 大卫·德尔马斯 2 布里杰什·多戈尔 2 玛丽·法雷尔 2 马里奥·格雷舍尔 2 劳蕾·贡诺德 2 里卡多·吉多蒂 2 马丁·库特里布 2 马特·勒克库克 2 佩德罗·蒙泰罗。 2 内尔玛·莫雷拉 2 何塞·努诺·奥利维拉 2 丹尼尔·拉提乌 2 埃米尔·塞克林斯基 1 哈布托姆·卡西·吉迪 1 阿纳·彼得罗夫斯卡 系列 2 计算机科学课堂讲稿 1 计算的形式方面 1 计算机科学科学年鉴 1 程序设计中的逻辑和代数方法杂志 领域 8 计算机科学（68至XX） 2 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用15中的次6文件 引用人▼ 年份▼ FACTum中建筑设计模式的交互验证。 Zbl 1425.68273号 迭戈·马姆斯勒；哈布托姆·卡西·吉迪 4 2019 使用配置跟踪指定动态架构的属性。 Zbl 1482.68144号 迭戈·马姆斯勒；马里奥·格雷舍尔 4 2016 建筑设计模式的层次化规范和验证。 Zbl 1425.68272号 迭戈·马姆斯勒 三 2018 动态架构中的激活、连接和行为。 兹比尔1424.68003 迭戈·马姆斯勒；马里奥·格雷舍尔 2 2016 面向动态架构的微积分。 Zbl 1444.68120号 迭戈·马姆斯勒 2 2017 FACTum中建筑设计模式的交互验证。 Zbl 1425.68273号 迭戈·马姆斯勒；哈布托姆·卡西·吉迪 4 2019 建筑设计模式的层次化规范和验证。 Zbl 1425.68272号 迭戈·马姆斯勒 三 2018 面向动态架构的微积分。 Zbl 1444.68120号 迭戈·马姆斯勒 2 2017 使用配置跟踪指定动态架构的属性。 Zbl 1482.68144号 迭戈·马姆斯勒；马里奥·格雷舍尔 4 2016 动态架构中的激活、连接和行为。 兹比尔1424.68003 迭戈·马姆斯勒；马里奥·格雷舍尔 2 2016 所有引用出版物 前5名被引用出版物 全部的 前5名8位作者引用 2 盖列塔，莱特里奥 2 迭戈·马姆斯勒 2 玛丽亚，皮图 2 乔治·拉霍尼斯 2 佐里卡萨瓦诺维奇 1 哈布托姆·卡西·吉迪 1 阿纳·彼得罗夫斯卡 1 雨果·托雷斯·维埃拉 4篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 计算机科学中的逻辑方法 在2个字段中引用 6 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文