编辑配置文件（在新选项卡中打开） 帕基·卢西奥 合著者距离 作者ID： 卢西奥·帕基 发布日期： 帕基·卢西奥；卢西奥，P。 已编制索引的文档： 24出版物自1999年起 2作为编辑的贡献 合著者： 16位合著者具有24联合出版物 189位联合作者 全部的 前5名合著者 1 单作者的 12 蒙特塞拉特赫莫 7 费尔南多·奥雷贾斯 6 哈维尔·阿尔维斯 5 亚历山大·博洛托夫 5 玛丽莎·纳瓦罗 4 Jose Gaintzarain 三 亚历克斯·阿布因 三 埃尔维拉·皮诺 2 爱德米拉·巴萨雷拉 1 罗莎·阿鲁阿巴雷纳 1 迪亚斯，De Cerio Unai 1 Joxe Gaintzarain先生 1 雷诺，K.鲁斯坦M。 1 莫雷诺，吉纳斯 1 里卡多·佩纳 1 德国里戈 1 塞萨尔·桑切斯 全部的 前5名系列 2 理论计算机科学 2 ACM计算逻辑事务 2 理论计算机科学电子笔记 1 逻辑程序设计杂志 1 自动推理杂志 1 逻辑与计算杂志 1 应用的分类结构 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 领域 20 计算机科学（68至XX） 15 数理逻辑与基础（03-XX） 2 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用40中的次29文件 引用人▼ 年份▼ PLTL的无割和无不变序列演算。 Zbl 1179.03056号 Joxe Gaintzarain先生；蒙特塞拉特赫莫；帕基·卢西奥；玛丽莎·纳瓦罗；费尔南多·奥雷贾斯 9 2007 PLTL的表和序列的双重系统。 Zbl 1183.68596号 Jose Gaintzarain；蒙特塞拉特赫莫；帕基·卢西奥；玛丽莎·纳瓦罗；费尔南多·奥雷贾斯 7 2009 结合直觉主义和经典一阶逻辑的结构化序列计算。 Zbl 0961.03008号 帕基·卢西奥 5 2000 PLTL的系统语义表。 Zbl 1278.03041号 Gaintzarain，J。；M.赫莫。；卢西奥，P。；纳瓦罗，M。 4 2007 使用单程表对PLTL进行认证模型检查。 Zbl 1515.68171号 亚历克斯·阿布因；亚历山大·博洛托夫；迪亚斯，De Cerio Unai；蒙特塞拉特赫尔莫；帕基·卢西奥 三 2019 静态嵌入含义的强大逻辑编程视图。 Zbl 0948.68031号 R.阿鲁阿巴雷纳。；卢西奥，P。；纳瓦罗，M。 2 1999 用于定义常规逻辑程序的组合语义的代数框架。 Zbl 0933.68031号 帕基·卢西奥；费尔南多·奥雷贾斯；埃尔维拉·皮诺 2 1999 分支时间逻辑\（\mathsf{ECTL}^{#}\）及其树型单程表：扩展\（\mathsf{ECTL}^+\）的公平性表示。 兹比尔1433.03049 亚历山大·博洛托夫；蒙特塞拉特赫莫；帕基·卢西奥 2 2020 扩展ECTL（^+）的公平性表示：一种树型单程表方法。 Zbl 1487.68154号 亚历山大·博洛托夫；蒙特塞拉特赫莫；帕基·卢西奥 1 2018 约束正规逻辑编程的函数框架。 Zbl 1132.68324号 帕基·卢西奥；费尔南多·奥雷贾斯；爱德米拉·巴萨雷拉；埃尔维拉·皮诺 1 2006 无不变子句时间解析。 Zbl 1408.03006号 Jose Gaintzarain；蒙特塞拉特赫尔莫；帕基·卢西奥；玛丽莎·纳瓦罗；费尔南多·奥雷贾斯 1 2013 从确定逻辑程序中消除局部变量。 Zbl 1272.68074号 哈维尔·阿尔维斯；帕基·卢西奥 1 2005 约束正规逻辑编程的函数框架。 Zbl 1147.68013号 卢西奥，P。；F.奥雷贾斯。；E.帕萨雷拉。；皮诺，E。 1 2008 一阶逻辑本体的自动白盒测试。 Zbl 1442.68225号 哈维尔·阿尔维斯；蒙特塞拉特赫莫；帕基·卢西奥；德国里戈 1 2019 自然Mergesort稳定性和正确性的断言证明。 Zbl 1367.68080号 雷诺，K.鲁斯坦M。；帕基·卢西奥 1 2015 更具表现力的声明式时序逻辑编程语言的逻辑基础。 Zbl 1353.68035号 Jose Gaintzarain；帕基·卢西奥 1 2013 分支时间逻辑\（\mathsf{ECTL}^{#}\）及其树型单程表：扩展\（\mathsf{ECTL}^+\）的公平性表示。 Zbl 1433.03049号 亚历山大·博洛托夫；蒙特塞拉特赫莫；帕基·卢西奥 2 2020 使用单程表对PLTL进行认证模型检查。 Zbl 1515.68171号 亚历克斯·阿布因；亚历山大·博洛托夫；迪亚斯，De Cerio Unai；蒙特塞拉特赫莫；帕基·卢西奥 三 2019 一阶逻辑本体的自动白盒测试。 Zbl 1442.68225号 哈维尔·阿尔维斯；蒙特塞拉特赫莫；帕基·卢西奥；德国里戈 1 2019 扩展ECTL（^+）的公平性表示：一种树型单程表方法。 Zbl 1487.68154号 亚历山大·博洛托夫；蒙特塞拉特赫莫；帕基·卢西奥 1 2018 自然Mergesort稳定性和正确性的断言证明。 Zbl 1367.68080号 雷诺，K.鲁斯坦M。；帕基·卢西奥 1 2015 无不变子句时间解析。 Zbl 1408.03006号 Jose Gaintzarain；蒙特塞拉特赫尔莫；帕基·卢西奥；玛丽莎·纳瓦罗；费尔南多·奥雷贾斯 1 2013 更具表现力的声明式时序逻辑编程语言的逻辑基础。 Zbl 1353.68035号 Jose Gaintzarain；帕基·卢西奥 1 2013 PLTL的表和序列的双重系统。 Zbl 1183.68596号 Jose Gaintzarain；蒙特塞拉特赫莫；帕基·卢西奥；玛丽莎·纳瓦罗；费尔南多·奥雷贾斯 7 2009 约束正规逻辑编程的函数框架。 Zbl 1147.68013号 卢西奥，P。；F.奥雷贾斯。；Pasarella，E。；皮诺，E。 1 2008 PLTL的无割和无不变序列演算。 Zbl 1179.03056号 Joxe Gaintzarain先生；蒙特塞拉特赫莫；帕基·卢西奥；玛丽莎·纳瓦罗；费尔南多·奥雷贾斯 9 2007 PLTL的系统语义表。 Zbl 1278.03041号 Gaintzarain，J。；M.赫莫。；卢西奥，P。；纳瓦罗，M。 4 2007 约束正规逻辑编程的函数框架。 Zbl 1132.68324号 帕基·卢西奥；费尔南多·奥雷贾斯；爱德米拉·巴萨雷拉；埃尔维拉·皮诺 1 2006 从确定逻辑程序中消除局部变量。 Zbl 1272.68074号 哈维尔·阿尔维斯；帕基·卢西奥 1 2005 结合直觉主义和经典一阶逻辑的结构化序列计算。 Zbl 0961.03008号 帕基·卢西奥 5 2000 静态嵌入含义的强大逻辑编程视图。 Zbl 0948.68031号 R.阿鲁阿巴雷纳。；卢西奥，P。；纳瓦罗，M。 2 1999 用于定义常规逻辑程序的组合语义的代数框架。 Zbl 0933.68031号 帕基·卢西奥；费尔南多·奥雷贾斯；埃尔维拉·皮诺 2 1999 所有引用的出版物 前5名被引用出版物 全部的 前5名43位作者引用 9 帕基·卢西奥 8 蒙特塞拉特赫莫 5 费尔南多·奥雷贾斯 4 亚历山大·博洛托夫 4 玛丽莎·纳瓦罗 三 罗马斯·阿隆德里斯 三 Jose Gaintzarain 2 亚历克斯·阿布因 2 哈洛达斯·吉德拉 2 爱德米拉·巴萨雷拉 2 埃尔维拉·皮诺 1 彼得罗·阿巴特 1 凯·布伦勒 1 马可·科米尼 1 Jean-François康多塔 1 德迪奥斯·卡斯特罗，哈维尔 1 乌尔里希·富巴赫 1 拉杰夫·普拉巴卡尔·戈尔 1 劳埃德·亨伯斯通 1 诺里希罗·卡米德 1 特蕾莎·克雷默 1 Hidenori Kurokawa 1 马丁·兰格 1 李晓楠 1 刘欣 1 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 1 贝特朗·马祖尔 1 潘，张 1 里卡多·佩纳 1 艾达，普留什凯维奇 1 普利乌什凯维奇乌斯，里贾曼塔斯 1 潘奇阿，维特 1 雅库布Salhi 1 塞萨尔·桑切斯 1 克劳迪娅·肖恩 1 Michael Sioutis先生 1 托马斯·施图德 1 劳拉·蒂托洛 1 特里斯卡，简 1 艾丽西亚·维拉纽埃娃 1 维莱姆，维科迪尔 1 弗洛里安·维德曼 1 邹丽（音） 全部的 前5名12篇连载文章中引用 三 自动推理杂志 三 逻辑与代数程序设计杂志 2 Studia Logica公司 2 理论计算机科学 2 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 1 信息科学 1 纯逻辑与应用逻辑年鉴 1 逻辑、语言与信息杂志 1 应用的分类结构 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 21 数理逻辑与基础（03-XX） 18 计算机科学（68至XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文