编辑配置文件（在新选项卡中打开） 何塞·普伦萨 合著者距离 作者ID： 普罗恩卡·何塞 发布日期： 何塞·普伦萨 外部链接： MGP公司 已编制索引的文档： 13出版物自2006年起 合著者： 15位合著者具有12联合出版物 351合著作者 全部的 前5名合著者 0 单作者的 5 克拉克、戴夫 4 吉尔勒米纳·克莱杜 2 法哈德·阿尔巴 2 吕克·爱迪克索芬 2 罗尔夫·亨尼克 2 钟曼，宋世堂。 2 亚历山大·拉佐维克 2 莫里斯·比克。 1 巴博萨、路易斯·索亚雷斯 1 伊利亚州卡斯特拉尼 1 阿尔西诺·库尼亚 1 Patrícia C.Gonçalves。 1 贡查罗夫，谢尔盖·萨沃斯特·亚诺维奇 1 拉杜·马斯切维奇 1 内维斯、雷纳托 1 莱安德罗·朱恩·巴勒莫。 1 豪尔赫·索萨·品托 系列 1 计算机程序设计科学 1 程序设计中的逻辑和代数方法杂志 领域 12 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用25中的次22文件 引用人▼ 年份▼ 具有特征网络的软件产品线的模块化建模。 Zbl 1350.68063号 拉杜·马斯切维奇；何塞·普伦萨；克拉克、戴夫 12 2011 无点程序转换的框架。 Zbl 1236.68025号 阿尔西诺·库尼亚；豪尔赫·索萨·品托；何塞·普伦萨 4 2006 解构图像。 Zbl 1347.68077号 克拉克、戴夫；何塞·普伦萨；亚历山大·拉佐维克；法哈德·阿尔巴 三 2009 我们能交流吗？使用动态逻辑验证团队自动机。 Zbl 1529.68165号 莫里斯·比克。；吉尔勒米纳·克莱杜；罗尔夫·亨尼克；何塞·普伦萨 2 2023 特色团队自动机。 Zbl 1521.68082号 莫里斯·比克。；吉尔勒米纳·克莱杜；罗尔夫·亨尼克；何塞·普伦萨 2 2021 比较了Orc和Reo的协调模型。 Zbl 1277.68201号 何塞·普伦萨；克拉克、戴夫 1 2008 通过约束满足实现基于渠道的协调。 兹比尔1220.68049 克拉克、戴夫；何塞·普伦萨；亚历山大·拉佐维克；法哈德·阿尔巴 1 2011 用边界元法分析缺口梁裂纹扩展的两个粘结区模型。 Zbl 1416.74097号 哥伦比亚冈卡维斯。；莱安德罗·朱恩·巴勒莫。；普伦萨 1 2018 我们能交流吗？使用动态逻辑验证团队自动机。 Zbl 1529.68165号 莫里斯·比克。；吉尔勒米纳·克莱杜；罗尔夫·亨尼克；何塞·普伦萨 2 2023 特色团队自动机。 Zbl 1521.68082号 莫里斯·比克。；吉尔勒米纳·克莱杜；罗尔夫·亨尼克；何塞·普伦萨 2 2021 用边界元法分析缺口梁裂纹扩展的两个粘结区模型。 Zbl 1416.74097号 贡卡尔维斯，P.C。；莱安德罗·朱恩·巴勒莫。；普伦萨 1 2018 具有特征网络的软件产品线的模块化建模。 Zbl 1350.68063号 拉杜·马斯切维奇；何塞·普伦萨；克拉克、戴夫 12 2011 通过约束满足实现基于渠道的协调。 Zbl 1220.68049号 克拉克、戴夫；何塞·普伦萨；亚历山大·拉佐维克；法哈德·阿尔巴 1 2011 解构图像。 Zbl 1347.68077号 克拉克、戴夫；何塞·普伦萨；亚历山大·拉佐维克；法哈德·阿尔巴 三 2009 比较了Orc和Reo的协调模型。 Zbl 1277.68201号 何塞·普伦萨；克拉克、戴夫 1 2008 无点程序转换的框架。 Zbl 1236.68025号 阿尔西诺·库尼亚；豪尔赫·索萨·品托；何塞·普伦萨 4 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名44位作者引用 5 莫里斯·比克。 4 何塞·普伦萨 三 克拉克、戴夫 三 阿尔西诺·库尼亚 2 法哈德·阿尔巴 2 亚历山大·比尔格拉姆 2 吉尔勒米纳·克莱杜 2 胡安·德·拉腊 2 格内西、斯特凡尼亚 2 戈梅斯·马丁内斯，埃琳娜 2 埃丝特·格拉 2 罗尔夫·亨尼克 2 彼得·格约尔·詹森 2 弗朗科·马扎蒂 2 吉·斯尔巴 2 Peter H.Taankvist。 2 Joost Visser公司 1 佛朗哥·巴巴内拉 1 大卫·巴兹勒 1 哈什·贝哈尔 1 西蒙，布利兹 1 马塞洛·玛丽亚·邦桑格 1 伯尔尼布拉大街 1 费萨尔·法里德·布哈里 1 简·克里斯蒂安森 1 马克西姆·科尔迪 1 Dailey，Matthew N。 1 Dokter，Kasper公司 1 董汝珍 1 约翰·费伯 1 亚历山德罗·范特奇 1 安东尼奥·加门迪亚 1 钟曼，宋世堂。 1 柯伟 1 伊万·拉内斯 1 亚历山大·拉佐维克 1 萨米人拉兹雷格 1 Legay、Axel 1 刘志明 1 拉杜，马斯切维奇 1 雨果·帕切科 1 迈克，帕帕达基斯 1 亚历山德拉·席尔瓦 1 埃米利奥·托斯托 全部的 前5名6篇连载文章中引用 4 程序设计中的逻辑和代数方法杂志 三 计算机程序设计科学 1 计算的形式方面 1 数学成像与视觉杂志 1 计算机基础理论 1 计算机科学中的逻辑方法 在2个字段中引用 22 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 按年份列出的引文