编辑配置文件(在新选项卡中打开) 埃内斯托·皮门特尔 合著者距离 作者ID: 皮门特尔·埃内斯托 发布日期: 埃内斯托·皮门特尔;皮门特尔,E。 已编制索引的文档: 28出版物自1997年以来 4作为编辑的贡献 合著者: 28位合著者具有28联合出版物 297位合作作者 全部的 前5名合著者 1 单作者的 8 卡洛斯·卡纳尔 7 何塞·玛丽亚·特罗亚 6 安东尼奥·布罗吉 6 玛丽亚·德尔马·加拉多 4 佩德罗·梅里诺 三 玛丽亚·阿尔普恩特 三 巴勃罗·洛佩兹 三 艾丽西亚·维拉纽埃娃 2 何塞·曼努埃尔·阿尔瓦雷斯 2 乔舒亚·霍达斯。 2 Jean-Marie雅克 2 路易斯·洛皮斯 2 哈维尔·洛佩兹 2 安东尼奥·马尼亚 2 杰苏斯·马丁内斯 2 杰弗里·波拉科 2 卢博米拉·斯托伊洛娃 2 安东尼奥·瓦莱西略 2 Yagüe,玛丽埃玛一世。 1 哈维尔·库波 1 利迪亚·富恩特斯 1 M·M·加拉多。 1 杰夫·克莱默 1 何塞·安东尼奥·马汀 1 莫里纳·布拉沃,J.M。 1 安东尼奥·内布罗。 1 巴勃罗·努涅兹 1 卡洛斯·马德罗纳尔 1 瓦伦蒂安·瓦莱罗 全部的 前5名系列 6 计算机程序设计科学 三 逻辑与代数程序设计杂志 2 《计算机杂志》。A部分/B部分 1 计算物理杂志 1 理论计算机科学 1 计算的形式方面 1 实时系统 1 Informatica(卢布尔雅那) 1 逻辑程序设计理论与实践 1 理论计算机科学电子笔记 全部的 前5名领域 31 计算机科学(68至XX) 4 总体主题;集合(00-XX) 三 数理逻辑与基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用61中的次46文件 引用人▼ 年份▼ 规范化web服务编排。 Zbl 1271.68083号 安东尼奥·布罗吉;运河,卡洛斯;埃内斯托·皮门特尔;安东尼奥·瓦莱西略 11 2004 具有不连续地形的浅水方程的Riemann问题:干湿情况。 Zbl 1416.76025号 卡洛斯·帕雷斯;埃内斯托·皮门特尔 9 2019 软件架构中的兼容性和继承性。 兹伯利0988.68026 卡洛斯·卡纳尔;埃内斯托·皮门特尔;JoséM·特罗亚。 7 2002 改进用于抽象模型检查的LTL公式。 Zbl 1015.68123号 玛丽亚·德尔马·加拉多;佩德罗·梅里诺;埃内斯托·皮门特尔 6 2002 用于tccp程序抽象模型检查的语义框架。 Zbl 1087.68053号 玛丽亚·阿尔普恩特;玛丽亚·德尔马·加拉多;埃内斯托·皮门特尔;艾丽西亚·维拉纽埃娃 6 2005 通过灵活的服务调整组件。 Zbl 1103.68462号 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔 三 2006 行为类型和成分适应。 Zbl 1108.68376号 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔 三 2004 测量部件自适应。 Zbl 1081.68531号 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔 三 2004 关于软件适应的语义。 Zbl 1101.68476号 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔 2 2006 用于抽象模型检查的PROMELA的广义语义。 Zbl 1086.68083号 玛丽亚·德尔马·加拉多;佩德罗·梅里诺;埃内斯托·皮门特尔 2 2004 重新审视线性逻辑证明搜索中的资源管理。 Zbl 0938.03054号 洛佩斯,巴勃罗;埃内斯托·皮门特尔 2 1999 基于源到源转换的同步并发语言抽象分析框架。 Zbl 1278.68065号 Alpunte,M。;M·M·加拉多。;皮门特尔,E。;维拉努埃瓦。 2 2007 安全调整合同。 Zbl 1213.68615号 J.A.马汀。;皮门特尔,E。 2 2011 自动生成适应合同。 Zbl 1347.68090号 何塞·安东尼奥·马汀;埃内斯托·皮门特尔 2 2009 在SDL中集成可调度性分析和设计技术。 Zbl 1020.68013号 何塞·M·阿尔瓦雷斯。;曼努埃尔·迪亚兹;路易斯·洛皮斯;埃内斯托·皮门特尔;JoséM·特罗亚。 1 2003 线性逻辑程序设计中用于证明搜索的资源管理标记帧系统。 Zbl 1020.68020号 乔舒亚·霍达斯。;巴勃罗·洛佩兹;杰弗里·波拉科;卢博米拉·斯托伊洛娃;埃内斯托·皮门特尔 1 2002 在重写逻辑中为声明性编程编写程序。 兹比尔1111.68382 莫里纳·布拉沃,J.M。;皮门特尔,E。 1 2003 \(\alpha\)SPIN:使用抽象扩展SPIN。 Zbl 1077.68707号 玛丽亚·德尔马·加拉多;杰苏斯·马丁内斯;佩德罗·梅里诺;埃内斯托·皮门特尔 1 2002 安全适配器的合成。 Zbl 1236.68062号 J.A.马汀。;马蒂内利,F。;皮门特尔,E。 1 2012 具有不连续地形的浅水方程的Riemann问题:干湿情况。 Zbl 1416.76025号 卡洛斯·帕雷斯;埃内斯托·皮门特尔 9 2019 安全适配器的合成。 Zbl 1236.68062号 J.A.马汀。;马蒂内利,F。;皮门特尔,E。 1 2012 安全调整合同。 Zbl 1213.68615号 J.A.马汀。;皮门特尔,E。 2 2011 自动生成适应合同。 Zbl 1347.68090号 何塞·安东尼奥·马汀;埃内斯托·皮门特尔 2 2009 基于源到源转换的同步并发语言抽象分析框架。 Zbl 1278.68065号 Alpunte,M。;M·M·加拉多。;皮门特尔,E。;维拉努埃瓦。 2 2007 通过灵活的服务调整组件。 Zbl 1103.68462号 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔 三 2006 关于软件适应的语义。 Zbl 1101.68476号 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔 2 2006 用于tccp程序抽象模型检查的语义框架。 兹比尔1087.68053 玛丽亚·阿尔普恩特;玛丽亚·德尔马·加拉多;埃内斯托·皮门特尔;艾丽西亚·维拉纽埃娃 6 2005 规范化web服务编排。 Zbl 1271.68083号 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔;安东尼奥·瓦莱西略 11 2004 行为类型和成分适应。 Zbl 1108.68376号 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔 三 2004 测量部件自适应。 兹比尔1081.68531 安东尼奥·布罗吉;卡洛斯·卡纳尔;埃内斯托·皮门特尔 三 2004 用于抽象模型检查的PROMELA的广义语义。 Zbl 1086.68083号 玛丽亚·德尔马·加拉多;佩德罗·梅里诺;埃内斯托·皮门特尔 2 2004 在SDL中集成可调度性分析和设计技术。 Zbl 1020.68013号 何塞·M·阿尔瓦雷斯。;曼纽尔·迪亚兹;路易斯·略皮斯;埃内斯托·皮门特尔;JoséM·特罗亚。 1 2003 在重写逻辑中为声明性编程编写程序。 Zbl 1111.68382号 莫里纳·布拉沃,J.M。;皮门特尔,E。 1 2003 软件架构中的兼容性和继承性。 兹伯利0988.68026 卡洛斯·卡纳尔;埃内斯托·皮门特尔;JoséM·特罗亚。 7 2002 改进用于抽象模型检查的LTL公式。 Zbl 1015.68123号 玛丽亚·德尔马·加拉多;佩德罗·梅里诺;埃内斯托·皮门特尔 6 2002 线性逻辑程序设计中用于证明搜索的资源管理标记帧系统。 Zbl 1020.68020号 乔舒亚·霍达斯。;巴勃罗·洛佩兹;杰弗里·波拉科;卢博米拉·斯托伊洛娃;埃内斯托·皮门特尔 1 2002 \(\alpha\)SPIN:使用抽象扩展SPIN。 Zbl 1077.68707号 玛丽亚·德尔马·加拉多;杰苏斯·马丁内斯;佩德罗·梅里诺;埃内斯托·皮门特尔 1 2002 重新审视线性逻辑证明搜索中的资源管理。 Zbl 0938.03054号 巴勃罗·洛佩兹;埃内斯托·皮门特尔 2 1999 所有引用的出版物 前5名被引用出版物 全部的 前5名84位作者引用 6 艾丽西亚·维拉纽埃娃 4 玛丽亚·艾米利亚·坎布罗内罗 4 玛丽亚·德尔马·加拉多 4 格雷戈里奥·迪亚兹 4 卡洛斯·奥拉特 4 瓦伦蒂安·瓦莱罗 三 马可·科米尼 三 赫梅内吉尔达·马西阿 三 劳拉·蒂托洛 2 亚历山德罗·阿尔迪尼 2 法哈德·阿尔巴 2 克里斯特尔·拜尔 2 佛罗伦萨雪佛龙 2 冯成良 2 奥雷利·胡罗 2 莱斯卡耶,阿列克谢 2 刘铁刚 2 伊莱恩·皮门特尔 2 埃内斯托·皮门特尔 2 菲利普·奎因内克 2 俞长生 1 Aleksyuk,Andrey I。 1 玛丽亚·阿尔普恩特 1 詹姆·阿里亚斯 1 巴博萨、路易斯·索亚雷斯 1 马可·安东尼奥·巴博萨 1 巴里奥·索尔扎诺,曼努埃尔 1 Beato,M.Encarnación 1 维塔利·贝利科夫。 1 马可·贝尔纳多 1 米歇尔·比多特 1 安东尼奥·布罗吉 1 Praveen Chandrashekar公司 1 陈振邦 1 蝉蜕、阿加塔 1 卡洛斯·库斯塔(Carlos E.Cuesta)。 1 Cuong、Dao Huy 1 巴勃罗·德拉富恩特 1 瓦莱里亚·德·佩瓦 1 丁左华 1 董健 1 弗朗西斯科·杜兰 1 米歇尔·古兹曼 1 Zdeněk Hanzálek 1 罗尔夫·亨尼克 1 Hoai Linh、Nguyen Ba 1 侯哲 1 黄金焕 1 Jaeyong Jung 1 拉曼·卡扎米亚金 1 朱利安·科勒梅耶 1 比约恩·莱尔曼 1 李定芳 1 刘,杨 1 拉尔夫·利夫 1 马克西姆·马拉霍夫。 1 何塞·安东尼奥·马丁 1 恩里克·马丁内斯 1 孙孟 1 佩德罗·梅里诺 1 亚历山大·莫塔。 1 博尼费斯·恩孔加 1 梅里姆·乌代尔尼 1 劳拉·帕尼佐 1 胡安·何塞·帕尔多 1 埃内斯托·皮门特尔·加西亚 1 马可·皮斯托雷 1 大卫·普兰迪 1 科拉多·普里亚米 1 蒲飞 1 保拉·夸里亚 1 罗德里戈·A·拉莫斯。 1 吉赛尔·雷斯 1 卡米洛·鲁埃达 1 格温·萨拉恩 1 奥古斯托·桑帕约。 1 大卫·萨南 1 孙孟 1 阿文·费尔南托 1 弗兰克·巴伦西亚。 1 Waszniowski,利伯 1 卡斯滕·沃尔夫 1 曾志强 1 张文辉 全部的 前5名17篇连载文章中引用 8 逻辑与代数程序设计杂志 5 计算机程序设计科学 三 理论计算机科学 2 计算物理杂志 2 应用数学与计算 2 计算的形式方面 1 计算机和流体 1 应用数值数学 1 实时系统 1 约束条件 1 非线性科学与数值模拟中的通信 1 逻辑程序设计理论与实践 1 中国科学。F系列 1 欧洲应用和工业数学系列(ESAIM):数学建模和数值分析 1 计算机科学中的逻辑方法 1 应用数学与力学进展 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 36 计算机科学(68至XX) 7 流体力学(76-XX) 6 偏微分方程(35-XX) 5 数理逻辑与基础(03-XX) 5 数值分析(65-XX) 2 经典热力学,传热(80-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文