编辑配置文件(在新选项卡中打开) 伊莱恩·皮门特尔 合著者距离 作者ID: 青椒醛 发布日期: 伊莱恩·皮门特尔 外部链接: ORCID公司 已编制索引的文档: 47出版物自2002年以来,包括2个附加arXiv预打印 8作为编辑的贡献 合著者: 39位合著者具有51联合出版物 605合著作者 全部的 前5名合著者 1 单作者的 19 卡洛斯·奥拉特 10 Vivek Nigam先生 7 勒曼,比约恩 5 戴尔·艾伦·米勒 5 Ronchi Della Rocca,西蒙 4 路易斯·卡洛斯·佩雷拉(Luiz Carlos P.D.Pereira)。 三 埃本·布莱斯德尔 三 瓦莱里亚·德·佩瓦 三 Max Iosifovich,卡诺维奇 三 斯捷潘·勒沃维奇,库兹涅佐夫 三 索尼娅·马林 三 卢卡·保里尼 三 吉赛尔·赖斯 三 安德烈·斯克洛夫 2 贝内维特斯,马里奥·R·F·。 2 蝉蜕、阿加塔 2 蒂齐亚诺·达尔蒙特 2 Ruy JoséGuerra Barretto De Queiroz 2 乔尔·德斯佩鲁 2 尼古拉·奥利维蒂 2 卡米洛·罗查 2 销售,艾默生 2 布鲁诺·泽维尔 1 毛里西奥·阿亚拉·林科恩 1 考斯托夫·乔杜里 1 Fermüller,Christian G。 1 卢西利亚·菲格雷多 1 贝洛·奥里藏特 1 Fairouz D.卡马雷丁。 1 巴托克·克林 1 蒂莫·朗 1 莫里纳·布拉沃,J.M。 1 维克托·雨果·纳西门托 1 乔安·内托 1 雷文莎·拉马纳亚克 1 卢卡·罗维斯 1 卡米洛·鲁埃达 1 贝蒂·文内里 1 马尔科·沃尔佩 1 Wells,Joe B。 全部的 前5名系列 6 理论计算机科学 三 逻辑程序设计理论与实践 三 理论计算机科学电子笔记 2 逻辑与计算杂志 2 MSCS公司。计算机科学中的数学结构 2 逻辑与代数程序设计杂志 2 理论计算机科学电子论文集(EPTCS) 1 合成 1 纯逻辑与应用逻辑年鉴 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 1 程序设计中的逻辑和代数方法杂志 字段 49 数学逻辑和基础(03-XX) 27 计算机科学(68-XX) 8 总体主题;集合(00-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 38出版物有被引用188中的次88文件 引用人▼ 年份▼ 并发约束规划中模态的一般证明系统。 Zbl 1390.68485号 Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 17 2013 用于指定顺序演算证明系统的形式化框架。 兹比尔1259.03077 戴尔·米勒;伊莱恩·皮门特尔 17 2013 用于指定和推理证明系统的扩展框架。 Zbl 1403.03125号 Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯 16 2016 正常和非正常模式的后续计算模块化。 兹比尔1433.03131 比约恩·莱尔曼;伊莱恩·皮门特尔 11 2019 用次指数指定线性逻辑中的证明系统。 Zbl 1347.03103号 Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯 10 2011 次指数并发约束规划。 Zbl 1332.68027号 卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生 10 2015 关于序列系统的规范。 Zbl 1143.03348号 伊莱恩·皮门特尔;戴尔·米勒 8 2005 关于并行系统中的次指数、聚焦和模式。 Zbl 1373.68298号 Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 8 2017 嵌套序列计算中的证明搜索。 Zbl 1471.03079号 比约恩·莱尔曼;伊莱恩·皮门特尔 7 2015 使用线性逻辑对序列系统进行推理。 Zbl 1015.03060号 戴尔·米勒;伊莱恩·皮门特尔 6 2002 并发约束编程中的动态空间。 Zbl 1335.68180号 卡洛斯·奥拉特;Vivek Nigam先生;伊莱恩·皮门特尔 6 2014 混合和次指数线性逻辑。 Zbl 1395.03034号 乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 5 2017 强归一化的操作特征。 Zbl 1180.68105号 卢卡·保里尼;伊莱恩·皮门特尔;西蒙娜·隆奇·德拉·罗卡 5 2006 证明重写逻辑中序列系统的结构性质。 Zbl 1521.03059号 卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·罗查 5 2018 软并发约束规划的证明理论研究。 Zbl 1309.68034号 伊莱恩·皮门特尔;卡洛斯·奥拉特;Vivek Nigam先生 5 2014 具有模态的子结构逻辑的统一框架。 Zbl 1402.03030号 比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔 5 2017 线性逻辑作为逻辑框架的新观点。 Zbl 1498.03158号 卡洛斯·奥拉特;伊莱恩·皮门特尔;布鲁诺·泽维尔 4 2020 证明系统的语义视图。 Zbl 1509.03159号 伊莱恩·皮门特尔 4 2018 关于并发行为和关注线性逻辑。 兹比尔1371.68197 卡洛斯·奥拉特;伊莱恩·皮门特尔 4 2017 从证明理论的角度来看交集类型。 Zbl 1272.03082号 伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙;卢卡·罗维斯 4 2012 具有不同极性分配的多焦点证明。 Zbl 1394.03070号 伊莱恩·皮门特尔;Vivek Nigam先生;乔安·内托 三 2016 访问权限的并发约束编程解释。 Zbl 1478.68056号 卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达 三 2018 线性逻辑作为指定序列演算的框架。 Zbl 1061.03072号 戴尔·米勒;伊莱恩·皮门特尔 三 2004 序列化嵌套系统。 Zbl 1468.03075号 伊莱恩·皮门特尔;雷文莎·拉马纳亚克;比约恩·莱尔曼 三 2019 再次验证并发约束编程的正确性。 Zbl 1342.68238号 卡洛斯·奥拉特;伊莱恩·皮门特尔 三 2015 惰性强规范化。 兹比尔1272.68087 卢卡·保里尼;伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙 三 2005 混合线性逻辑,重温。 Zbl 1456.03095号 考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 2 2019 通过非正规模态逻辑的最优超序列计算构建反模型。 Zbl 1485.03048号 蒂齐亚诺·达尔蒙特;比约恩·莱尔曼;尼古拉·奥利维蒂;伊莱恩·皮门特尔 2 2020 通过聚焦从公理到综合推理规则。 Zbl 07501985号 索尼娅·马林;戴尔·米勒;伊莱恩·皮门特尔;马尔科·沃尔佩 2 2022 直觉线性逻辑的ILLTP库。 Zbl 1486.03026号 卡洛斯·奥拉特;瓦莱里亚·德·佩瓦;伊莱恩·皮门特尔;吉赛尔·赖斯 2 2019 安全调整合同。 Zbl 1213.68615号 J.A.马汀。;皮门特尔,E。 2 2011 在重写逻辑中为声明性编程编写程序。 Zbl 1111.68382号 莫里纳·布拉沃,J.M。;皮门特尔,E。 1 2003 从无切割计算到自动演绎:有界收缩的情况。 Zbl 1401.03034号 蝉蜕、阿加塔;比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔 1 2017 非结合、非交换的多模态线性逻辑。 Zbl 07628203号 埃本·布莱斯德尔;马克斯·卡诺维奇;库兹涅佐夫(Stepan L.Kuznetsov)。;伊莱恩·皮门特尔;安德烈·斯克洛夫 1 2022 有成本证明的博弈模型。 Zbl 1468.03025号 蒂莫·朗;卡洛斯·奥拉特;伊莱恩·皮门特尔;Fermüller,Christian G。 1 2019 普适模态逻辑。 Zbl 07437023号 索尼娅·马林;路易斯·卡洛斯·佩雷拉;伊莱恩·皮门特尔;销售,艾默生 1 2020 安全适配器的合成。 Zbl 1236.68062号 J.A.马汀。;马蒂内利,F。;皮门特尔,E。 1 2012 从不同寻常的角度来看,标准化程度很高。 Zbl 1222.03020号 卢卡·保里尼;伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙 1 2011 通过聚焦从公理到综合推理规则。 Zbl 07501985号 索尼娅·马林;戴尔·米勒;伊莱恩·皮门特尔;马尔科·沃尔佩 2 2022 非关联、非交换的多模态线性逻辑。 Zbl 07628203号 埃本·布莱斯德尔;马克斯·卡诺维奇;库兹涅佐夫(Stepan L.Kuznetsov)。;伊莱恩·皮门特尔;安德烈·斯克洛夫 1 2022 线性逻辑作为逻辑框架的新观点。 Zbl 1498.03158号 卡洛斯·奥拉特;伊莱恩·皮门特尔;布鲁诺·泽维尔 4 2020 通过非正规模态逻辑的最优超序列计算构建反模型。 Zbl 1485.03048号 蒂齐亚诺·达尔蒙特;比约恩·莱尔曼;尼古拉·奥利维蒂;伊莱恩·皮门特尔 2 2020 普世模态逻辑。 Zbl 07437023号 索尼娅·马林;路易斯·卡洛斯·佩雷拉;伊莱恩·皮门特尔;艾默生销售部 1 2020 正常和非正常模式的后续计算模块化。 Zbl 1433.03131号 比约恩·莱尔曼;伊莱恩·皮门特尔 11 2019 序列化嵌套系统。 Zbl 1468.03075号 伊莱恩·皮门特尔;雷文莎·拉马纳亚克;比约恩·莱尔曼 三 2019 混合线性逻辑,重温。 Zbl 1456.03095号 考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 2 2019 直觉线性逻辑的ILLTP库。 Zbl 1486.03026号 卡洛斯·奥拉特;瓦莱里亚·德·佩瓦;伊莱恩·皮门特尔;吉赛尔·赖斯 2 2019 有成本证明的博弈模型。 兹比尔1468.03025 蒂莫·朗;卡洛斯·奥拉特;伊莱恩·皮门特尔;Fermüller,Christian G。 1 2019 证明重写逻辑中序列系统的结构性质。 Zbl 1521.03059号 卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·罗查 5 2018 证明系统的语义视图。 Zbl 1509.03159号 伊莱恩·皮门特尔 4 2018 访问权限的并发约束编程解释。 Zbl 1478.68056号 卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达 三 2018 关于并行系统中的次指数、聚焦和模式。 Zbl 1373.68298号 Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 8 2017 混合和次指数线性逻辑。 Zbl 1395.03034号 乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 5 2017 具有模态的子结构逻辑的统一框架。 Zbl 1402.03030号 比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔 5 2017 关于并发行为和关注线性逻辑。 Zbl 1371.68197号 卡洛斯·奥拉特;伊莱恩·皮门特尔 4 2017 从无切割计算到自动演绎:有界收缩的情况。 Zbl 1401.03034号 蝉蜕、阿加塔;比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔 1 2017 用于指定和推理证明系统的扩展框架。 兹比尔1403.03125 Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯 16 2016 具有不同极性赋值的多焦点证明。 Zbl 1394.03070号 伊莱恩·皮门特尔;Vivek Nigam先生;乔安·内托 三 2016 次指数并发约束编程。 Zbl 1332.68027号 卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生 10 2015 嵌套序列计算中的证明搜索。 Zbl 1471.03079号 比约恩·莱尔曼;伊莱恩·皮门特尔 7 2015 再次验证并发约束编程的正确性。 Zbl 1342.68238号 卡洛斯·奥拉特;伊莱恩·皮门特尔 三 2015 并发约束编程中的动态空间。 Zbl 1335.68180号 卡洛斯·奥拉特;Vivek Nigam先生;伊莱恩·皮门特尔 6 2014 软并发约束规划的证明理论研究。 Zbl 1309.68034号 伊莱恩·皮门特尔;卡洛斯·奥拉特;Vivek Nigam先生 5 2014 并发约束规划中模态的一般证明系统。 Zbl 1390.68485号 Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 17 2013 一种用于指定连续微积分证明系统的形式化框架。 Zbl 1259.03077号 戴尔·米勒;伊莱恩·皮门特尔 17 2013 从证明理论的角度来看交集类型。 Zbl 1272.03082号 伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙;卢卡·罗维斯 4 2012 安全适配器的合成。 Zbl 1236.68062号 J.A.马汀。;马蒂内利,F。;皮门特尔,E。 1 2012 用次指数指定线性逻辑中的证明系统。 Zbl 1347.03103号 Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯 10 2011 安全调整合同。 Zbl 1213.68615号 J.A.马汀。;皮门特尔,E。 2 2011 从不同寻常的角度来看,标准化程度很高。 Zbl 1222.03020号 卢卡·保里尼;伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙 1 2011 强归一化的操作特征。 Zbl 1180.68105号 卢卡·保里尼;伊莱恩·皮门特尔;西蒙娜·隆奇·德拉·罗卡 5 2006 关于序列系统的规范。 兹比尔1143.03348 伊莱恩·皮门特尔;戴尔·米勒 8 2005 惰性强规范化。 Zbl 1272.68087号 卢卡·保里尼;伊莱恩·皮门特尔;Ronchi Della Rocca,西蒙 三 2005 线性逻辑作为指定序列演算的框架。 兹比尔1061.03072 戴尔·米勒;伊莱恩·皮门特尔 三 2004 在重写逻辑中为声明性编程编写程序。 Zbl 1111.68382号 莫里纳·布拉沃,J.M。;皮门特尔,E。 1 2003 使用线性逻辑推理顺序系统。 Zbl 1015.03060号 戴尔·米勒;伊莱恩·皮门特尔 6 2002 所有引用出版物 排名前五的出版物 全部的 前5名118位作者引用 20 伊莱恩·皮门特尔 19 卡洛斯·奥拉特 12 Vivek Nigam先生 6 蝉蜕、阿加塔 5 斯捷潘·勒沃维奇,库兹涅佐夫 5 吉赛尔·赖斯 4 考斯托夫·乔杜里 4 Max Iosifovich,卡诺维奇 4 卢卡·保里尼 4 安德烈·斯克洛夫 4 布鲁诺·泽维尔 4 玛格丽塔·佐齐 三 瓦莱里亚·德·佩瓦 三 亚历杭德罗·迪亚斯·卡洛 三 莫雷诺,法拉斯基 三 比约恩·莱尔曼 三 索尼娅·马林 三 戴尔·艾伦·米勒 三 卡米洛·鲁埃达 三 卢茨斯特拉汉堡 2 埃本·布莱斯德尔 2 戴维·齐亚鲁吉 2 蒂齐亚诺·达尔蒙特 2 乔尔·德斯佩鲁 2 Gilles Dowek 2 戴安娜埃尔米思 2 安德烈亚·马西尼 2 奥利韦蒂,尼古拉 2 路易斯·卡洛斯·佩雷拉(Luiz Carlos P.D.Pereira)。 2 泰西,马蒂奥 2 安娜·扎曼斯基 1 莫辛·曼沙德·阿巴斯 1 贝尼亚米·阿卡托利 1 马特奥·阿克拉维奥 1 詹姆·阿里亚斯 1 巴勃罗·阿里吉 1 费德里科·阿西埃里 1 阿诺·阿夫隆 1 马提亚斯·巴兹 1 大卫·巴尔德 1 安纳托利·彼得罗维奇(AnatoliĭPetrovich) 1 斯特凡诺·贝拉尔迪 1 萨马拉·伯恩斯 1 路易斯·凯雷斯 1 卡洛斯·卡莱罗 1 陈金生 1 凯特琳·达布雷拉 1 杰里米·道森。 1 乌戈·德利古罗 1 Myriam德塞因特-卡特琳 1 德奥塔维亚诺,伊塔拉·洛夫雷多 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 圣地亚哥埃斯科瓦尔 1 艾米·费尔蒂(Amy P.Felty)。 1 Fermüller,Christian G。 1 毛罗·法拉利 1 佛罗伦萨,卡米洛 1 吉多·菲奥里诺 1 福田洋介 1 毛里齐奥·加布里埃利 1 Aleksandr Sergeevich,Gerasimov 1 亚历山大五世(Alexander V.Gheorghiu)。 1 玛丽安娜·吉兰多 1 戈雷,拉吉夫·普拉巴卡尔 1 朱塞佩·格雷科 1 查尔斯·格雷洛伊斯 1 朱利奥·格雷里 1 斯特凡诺游击队 1 米歇尔·古兹曼 1 斯特凡·哈尔 1 穆罕默德·哈希姆 1 罗斯·霍恩 1 安德烈·因德泽扎克(Andrzej Indrzejczak) 1 奥里·拉哈夫 1 蒂莫·朗 1 亚历山大·雷奇 1 托梅尔·利巴尔 1 路易吉·利科里 1 蒂姆·S·里昂。 1 马丁·奥列特,纳西索 1 西蒙·马提尼 1 何塞·梅塞盖尔·瓜伊塔 1 Zan Naeem 1 萨拉·内格里 1 若昂·内托 1 多米尼克·A·乌节。 1 奥兰德利,尤金尼奥 1 卡图西亚帕拉米德斯 1 亚历山德拉·帕尔米吉亚诺 1 萨利姆·珀西 1 佩雷斯(Jorge A.Pérez)。 1 弗兰克·芬宁 1 毛罗·皮科洛 1 Gian Luca波扎托 1 萨马尔·拉赫穆尼 1 雷文莎·拉马纳亚克 1 乔安·拉斯加 1 卡米洛·罗查 1 Ronchi Della Rocca,西蒙 …还有18位作者 全部的 前5名22篇连载文章中引用 10 理论计算机科学 7 MSCS公司。计算机科学中的数学结构 三 纯逻辑与应用逻辑年鉴 三 自动推理杂志 三 程序设计中的逻辑和代数方法杂志 2 Studia Logica公司 2 信息与计算 2 逻辑程序设计理论与实践 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 哲学逻辑杂志 1 符号逻辑杂志 1 合成 1 逻辑科公报 1 应用非经典逻辑杂志 1 符号逻辑公报 1 计算机基础理论 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 泛逻辑 1 计算机科学中的逻辑方法 1 符号逻辑述评 1 维斯特尼克·乌德穆茨科戈大学。马特马提卡。梅哈尼卡。Komp'yuternye Nauki公司 全部的 前5名在8个字段中引用 65 数学逻辑和基础(03-XX) 45 计算机科学(68-XX) 三 总体主题;集合(00-XX) 三 量子理论(81-XX) 2 历史和传记(01-XX) 2 生物学和其他自然科学(92-XX) 1 几个复变量和分析空间(32-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文