编辑配置文件（在新选项卡中打开） 圣皮埃特罗（San Pietro）、皮耶路易吉（Pierluigi L.）。 合著者距离 作者ID： san-pietro.pierluigi-l号 发布日期： 圣彼得罗，皮耶路易吉;圣彼得罗，P。;圣皮埃特罗（San Pietro）、皮耶路易吉（Pierluigi L.）。 更多。。。较少的 已编制索引的文档： 35出版物自1993年起 2作为编辑的贡献 合著者： 11位合著者具有32份联合出版物 213合著作者 全部的 前5名合著者 0 单作者的 22 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 10 亚历山德拉·切鲁比尼 5 马蒂奥·普拉德拉 三 安杰洛·莫尔岑蒂 2 帕特里夏·布耶 2 安德烈亚·奥兰迪尼 2 安东尼奥·雷斯蒂沃 1 马塞拉·安塞尔莫 1 安娜·贝列茨卡 1 马尔塞洛·玛丽亚·贝尔萨尼 1 多梅尼科·比安库利 1 比莱基，Włodzimierz 1 佛罗伦萨Bouchy 1 伊曼纽尔·齐亚佩索尼 1 科尔塞蒂，E。 1 阿兰·芬克尔 1 阿基尔·弗里吉里 1 文森佐·玛蒂娜 1 安吉洛·蒙塔纳里 1 穆拉诺，阿尼洛 1 罗西（Matteo A.C.Rossi）。 1 鲍拉·斯波莱蒂尼 全部的 前5名系列 6 理论计算机科学 2 信息与计算 2 国际计算机科学基础杂志 1 计算机语言 1 计算机与系统科学杂志 1 出版物Mathematicae Debrecen 1 计算机程序设计科学 1 计算系统理论 1 离散数学和理论计算机科学。DMTCS公司 1 应用逻辑杂志 1 RAIRO公司。理论信息学及其应用 1 理论计算机科学电子论文集（EPTCS） 领域 37 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用58中的次39文件 引用人▼ 年份▼ 无自动机约束LTL可满足性检查。 Zbl 1310.68141号 马塞洛·M·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;罗西，马蒂奥;圣彼得罗，皮耶路易吉 8 2014 图片语言：平铺系统与平铺重写语法。 兹比尔1160.68392 亚历山德拉·切鲁比尼;雷吉兹、斯特凡诺·克雷斯皮;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 8 2006 从常规语言到严格的本地可测试语言。 Zbl 1290.68069号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 6 2012 在同步实时系统的逻辑规范语言中嵌入时间粒度。 Zbl 0781.68083号 西亚佩索尼，E。;科尔塞蒂，E。;A.蒙塔纳里。;圣彼得罗，P。 6 1993 交换语言及其通过合意方法构成。 Zbl 1464.68163号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 5 2014 一致语言和匹配有限状态计算。 Zbl 1219.68112号 雷吉兹、斯特凡诺·克雷斯皮;圣彼得罗，皮耶路易吉 三 2011 从常规语言到严格的本地可测试语言。 Zbl 1331.68125号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 三 2011 乔姆斯基-施ützenberger定理中缺失的情况。 Zbl 1443.68085号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 三 2016 基于无逗号编码的树语言同态特征。 Zbl 07405991号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 三 2021 正则集对语言的一致定义。 Zbl 1156.68452号 克雷斯皮·雷吉齐，斯特凡诺;圣彼得罗，皮耶路易吉 2 2008 使用Trio2Polomela检查模型时间度量规范。 Zbl 1141.68452号 多梅尼科·比安库利;鲍拉·斯波莱蒂尼;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 2 2007 一种适用于\（K\）-深度语言的多项式时间解析算法。 Zbl 0846.68058号 亚历山德拉·切鲁比尼;圣彼得罗，皮耶路易吉 2 1996 减少可识别图片语言中的本地字母大小。 Zbl 07498719号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;安东尼奥·雷斯蒂沃;圣彼得罗，皮耶路易吉 2 2021 常规语言作为带有小字母的本地函数。 Zbl 1434.68241号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 2 2019 语法相关字母表的非退化Chomsky-Schützenberger定理。 Zbl 1435.68153号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 2 2019 在完全嵌套的循环中提取无同步操作片段。 Zbl 1157.68352号 安娜·贝列茨卡;维洛奇米尔兹·比莱基;圣彼得罗，皮耶路易吉 1 2007 具有一致性的严格局部可测试性等于规则性。 Zbl 1297.68118号 克雷斯皮·雷吉齐，斯特凡诺;圣皮埃特罗（San Pietro）、皮耶路易吉（Pierluigi L.）。 1 2012 基于结构局部可测试性的语言。 Zbl 0960.68084号 亚历山德拉·切鲁比尼;克雷斯皮·雷吉齐、斯特凡诺;圣彼得罗，皮耶路易吉 1 1999 关于多深度文法和标签区分控制文法之间的关系。 Zbl 1047.68073号 亚历山德拉·切鲁比尼;圣彼得罗，皮耶路易吉 1 1999 编程语言的关联定义。 Zbl 0995.68056号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 1 2000 关于多深度文法与树邻接文法的关系。 Zbl 0981.68096号 亚历山德拉·切鲁比尼;圣皮耶特罗，皮尔路易吉 1 1999 具有一致性的严格局部可测试性等于正则性和其他属性。 Zbl 1408.68094号 雷吉兹、斯特凡诺·克雷斯皮;圣彼得罗，皮耶路易吉 1 2013 确定性计数器和并行匹配计算。 Zbl 1298.68129号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 1 2013 树连接语言和多按钮语言。 Zbl 0961.68075号 A.切鲁比尼。;圣彼得罗，P。 1 2000 Deque语言、自动机和平面图。 Zbl 1517.68181号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 1 2018 基于无逗号编码的树语言同态特征。 Zbl 07405991号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 三 2021 减少可识别图片语言中的本地字母大小。 兹伯利07498719 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;安东尼奥·雷斯蒂沃;圣彼得罗，皮耶路易吉 2 2021 常规语言作为带有小字母的本地函数。 Zbl 1434.68241号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 2 2019 语法相关字母表的非退化Chomsky-Schützenberger定理。 Zbl 1435.68153号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 2 2019 Deque语言、自动机和平面图。 兹比尔1517.68181 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 1 2018 Chomsky-Schützenberger定理中的缺失情况。 Zbl 1443.68085号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 三 2016 不使用自动机的约束LTL可满足性检查。 Zbl 1310.68141号 马塞洛·M·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;罗西，马蒂奥;圣彼得罗，皮耶路易吉 8 2014 交换语言及其通过合意方法构成。 Zbl 1464.68163号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 5 2014 具有一致性的严格局部可测试性等于正则性和其他属性。 Zbl 1408.68094号 雷吉兹、斯特凡诺·克雷斯皮;圣彼得罗，皮耶路易吉 1 2013 确定性计数器和并行匹配计算。 Zbl 1298.68129号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 1 2013 从常规语言到严格的本地可测试语言。 Zbl 1290.68069号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 6 2012 具有一致性的严格局部可测试性等于正则性。 Zbl 1297.68118号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣皮埃特罗（San Pietro）、皮耶路易吉（Pierluigi L.）。 1 2012 一致语言和匹配有限状态计算。 Zbl 1219.68112号 雷吉兹、斯特凡诺·克雷斯皮;圣彼得罗，皮耶路易吉 三 2011 从常规语言到严格的本地可测试语言。 Zbl 1331.68125号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣皮耶特罗，皮尔路易吉 三 2011 正则集对语言的一致定义。 Zbl 1156.68452号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 2 2008 使用Trio2Polomela检查模型时间度量规范。 Zbl 1141.68452号 多梅尼科·比安库里;鲍拉·斯波莱蒂尼;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 2 2007 在完全嵌套的循环中提取无同步操作片段。 Zbl 1157.68352号 安娜·贝列茨卡;维洛奇米尔兹·比莱基;圣彼得罗，皮耶路易吉 1 2007 图片语言：平铺系统与平铺重写语法。 Zbl 1160.68392号 亚历山德拉·切鲁比尼;雷吉兹、斯特凡诺·克雷斯皮;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 8 2006 编程语言的关联定义。 Zbl 0995.68056号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;马蒂奥·普拉德拉;圣彼得罗，皮耶路易吉 1 2000 树连接语言和多按钮语言。 Zbl 0961.68075号 A.切鲁比尼。;圣彼得罗，P。 1 2000 基于结构局部可测试性的语言。 兹比尔0960.68084 亚历山德拉·切鲁比尼;克雷斯皮·雷吉齐、斯特凡诺;圣彼得罗，皮耶路易吉 1 1999 关于多深度文法和标签区分控制文法之间的关系。 Zbl 1047.68073号 亚历山德拉·切鲁比尼;圣彼得罗，皮耶路易吉 1 1999 关于多深度文法与树邻接文法的关系。 Zbl 0981.68096号 亚历山德拉·切鲁比尼;圣彼得罗，皮耶路易吉 1 1999 深度语言的多项式时间解析算法。 Zbl 0846.68058号 亚历山德拉·切鲁比尼;圣彼得罗，皮耶路易吉 2 1996 在同步实时系统的逻辑规范语言中嵌入时间粒度。 Zbl 0781.68083号 西亚佩索尼，E。;科尔塞蒂，E。;A.蒙塔纳里。;圣彼得罗，P。 6 1993 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 14 克雷斯皮·雷吉齐，斯特凡诺 10 圣皮埃特罗（San Pietro）、皮耶路易吉（Pierluigi L.）。 4 亚历山德拉·切鲁比尼 4 比安卡·特鲁特 三 安吉洛·蒙塔纳里 2 马尔塞洛·玛丽亚·贝尔萨尼 2 艾伦·D·伯恩斯。 2 尤根·达索 2 马尔滕·德·里杰克 2 亨宁费尔瑙 2 阿基尔·弗里吉里 2 奥斯卡·H·伊巴拉。 2 卡洛斯·马丁·维德 2 伊恩·麦克奎伦 2 米纳克希·帕拉马斯万 2 马蒂奥·普拉德拉 2 安东尼奥·雷斯蒂沃 2 马库斯·施密德。 1 鲍拉·博尼佐尼 1 埃兹贝特·苏哈伊·瓦尔朱 1 德奥利维拉·奥利维拉，马特乌斯 1 阿德里安·霍里亚·德迪乌 1 乔伊·埃雷蒙迪 1 克劳迪奥·费雷蒂 1 卡洛·阿尔贝托·福里亚 1 多拉·贾马雷西 1 伊恩·海耶斯。 1 利马耶·努坦 1 维奥莱塔·罗纳蒂 1 米纳·马哈扬 1 吉安卡洛·莫里 1 维克托·米特拉纳 1 亚当·奥布图 1 亚历山大·奥霍金 1 乔瓦尼·皮奇奇尼 1 阿尔贝托·波利里蒂 1 卢卡·普里吉奥尼埃罗 1 马克·亚历山大·雷诺兹 1 罗丝琳·萨加亚·玛丽（Roslin Sagaya Mary，Anthonath） 1 鲍拉·斯波莱蒂尼 1 Gyorgy Vaszil公司 1 Vojtěch Vorel 1 克里斯蒂安·沃特纳 1 魏坤 1 詹姆斯·C·P·伍德科克。 全部的 前5名11篇连载文章中引用 7 理论计算机科学 6 信息与计算 三 国际计算机科学基础杂志 2 RAIRO公司。理论信息学及其应用 1 信息学报 1 圣母院形式逻辑杂志 1 实时系统 1 国际计算机数学杂志 1 模式识别 1 系统设计中的形式化方法 1 计算系统理论 在3个字段中引用 36 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的引文