编辑配置文件（在新选项卡中打开） 马蒂奥·普拉德拉 合著者距离 作者ID： 普拉德拉马泰奥 发布日期： 马蒂奥·普拉德拉 外部链接： 逆戟鲸 已编制索引的文档： 38出版物自2000年起 合著者： 19位合著者具有38联合出版物 253位合作作者 全部的 前5名合著者 0 单作者的 17 迪诺·曼德里奥利 14 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 12 维奥莱塔·罗纳蒂 5 米歇尔·齐亚里 4 亚历山德拉·切鲁比尼 4 圣彼得罗，皮尔路易吉。 三 安杰洛·莫岑蒂 三 费德里卡·帕内拉 2 曼弗雷德·德罗斯特 2 斯特凡·杜克 1 亚历山德罗·巴伦吉 1 马尔塞洛·玛丽亚·贝尔萨尼 1 多梅尼科·比安库利 1 马尔科·科伦贝蒂 1 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡（Stefan） 1 阿基尔·弗里吉里 1 弗朗西斯科·蓬蒂吉亚 1 马泰奥·罗西。 1 鲍拉·斯波莱蒂尼 全部的 前5名系列 4 理论计算机科学 2 信息处理信件 2 信息与计算 2 计算机科学中的逻辑方法 1 计算机语言 1 计算机与系统科学杂志 1 SIAM计算机杂志 1 模式识别 1 离散数学和理论计算机科学。DMTCS公司 1 应用逻辑杂志 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 领域 38 计算机科学（68至XX） 13 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用148中的次75文件 引用人▼ 年份▼ 运算符优先语言：它们的自动机理论和逻辑特征。 Zbl 1522.68278号 维奥莱塔·罗纳蒂；迪诺·曼德里奥利；费德里卡·帕内拉；马蒂奥·普拉德拉 17 2015 图片语法的统一方法。 Zbl 1235.68096号 马蒂奥·普拉德拉；亚历山德拉·切鲁比尼；雷吉兹、斯特凡诺·克雷斯皮 14 2011 改写语法和图片语言。 兹比尔1079.68047 雷吉兹、斯特凡诺·克雷斯皮；马蒂奥·普拉德拉 13 2005 泛化输入驱动语言：理论和实践益处。 Zbl 1382.68136号 迪诺·曼德里奥利；马蒂奥·普拉德拉 9 2018 图片语言：平铺系统与平铺重写语法。 Zbl 1160.68392号 亚历山德拉·切鲁比尼；雷吉兹、斯特凡诺·克雷斯皮；马蒂奥·普拉德拉；圣彼得罗，皮耶路易吉 8 2006 无自动机约束LTL可满足性检查。 Zbl 1310.68141号 马尔塞洛·贝尔萨尼。；阿基尔·弗里吉里；安杰洛·莫岑蒂；马蒂奥·普拉德拉；罗西，马蒂奥；圣彼得罗，皮耶路易吉 8 2014 操作员优先时序逻辑和模型检查。 Zbl 1464.68197号 米歇尔·齐亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉 7 2020 用Wang自动机确定图像语言的可识别性。 Zbl 1286.68291号 维奥莱塔·罗纳蒂；马蒂奥·普拉德拉 6 2010 基于Wang tiles的自动机扫描图片的策略。 Zbl 1219.68100号 维奥莱塔·罗纳蒂；马蒂奥·普拉德拉 6 2011 基于Wang tiles的自动机图像识别。 Zbl 1274.68160号 维奥莱塔·罗纳蒂；马蒂奥·普拉德拉 5 2010 蛇形确定瓷砖系统。 Zbl 1250.68168号 维奥莱塔·罗纳蒂；马蒂奥·普拉德拉 5 2009 优先自动机和语言。 兹比尔1252.68178 维奥莱塔·罗纳蒂；迪诺·曼德里奥利；马蒂奥·普拉德拉 4 2011 运算符优先语法的并行分析。 Zbl 1259.68101号 亚历山德罗·巴伦吉；克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡（Stefan）；迪诺·曼德里奥利；马蒂奥·普拉德拉 4 2013 区域语言和平铺：图片语法的统一方法。 Zbl 1173.68549号 亚历山德拉·切鲁比尼；克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉 4 2008 模型检查结构化上下文无关语言。 Zbl 1493.68207号 米歇尔·齐亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉 三 2021 图片语法的CKY解析器。 Zbl 1184.68301号 雷吉兹、斯特凡诺·克雷斯皮；马蒂奥·普拉德拉 三 2008 运算符优先级\（\omega \）-语言。 Zbl 1381.68130号 费德里卡·帕内拉；马蒂奥·普拉德拉；维奥莱塔·罗纳蒂；迪诺·曼德里奥利 三 2013 图片语言：从Wang tiles到2D语法。 Zbl 1256.68098号 亚历山德拉·切鲁比尼；马蒂奥·普拉德拉 三 2009 加权运算符优先语言。 Zbl 1441.68121号 曼弗雷德·德罗斯特；斯特凡·杜克；迪诺·曼德里奥利；马蒂奥·普拉德拉 三 2017 自由语言的一阶逻辑可定义性。 Zbl 1465.68122号 维奥莱塔·罗纳蒂；迪诺·曼德里奥利；费德里卡·帕内拉；马蒂奥·普拉德拉 三 2015 运算符优先语言的时序逻辑和模型检查。 Zbl 1528.68215号 米歇尔·齐亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉 三 2018 结构化无上下文语言的星型、一阶可定义性和非周期性。 Zbl 07369988号 迪诺·曼德里奥利；马蒂奥·普拉德拉；克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 三 2020 无形结构语言的逻辑表征：以弗洛伊德语言为例。 Zbl 1303.68080号 维奥莱塔·罗纳蒂；迪诺·曼德里奥利；马蒂奥·普拉德拉 2 2013 使用Trio2Polomela检查模型时间度量规范。 Zbl 1141.68452号 多梅尼科·比安库利；鲍拉·斯波莱蒂尼；安杰洛·莫岑蒂；马蒂奥·普拉德拉；圣彼得罗，皮耶路易吉 2 2007 朝向输入驱动的局部可解析语言理论。 Zbl 1355.68154号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；维奥莱塔·罗纳蒂；迪诺·曼德里奥利；马蒂奥·普拉德拉 2 2017 高阶运算符优先语言。 Zbl 1483.68159号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉 2 2017 编程语言的关联定义。 Zbl 0995.68056号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉；圣彼得罗，皮耶路易吉 1 2000 瓦片重写语法。 Zbl 1037.68067号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉 1 2003 超越运算符-接收语法和语言。 Zbl 1444.68092号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉 1 2020 通过平铺指定的图片的基于SAT的解析器和完成器。 Zbl 1131.68515号 马蒂奥·普拉德拉；雷吉兹、斯特凡诺·克雷斯皮 1 2008 本地链接访问语言。 Zbl 1465.68138号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；维奥莱塔·罗纳蒂；迪诺·曼德里奥利；马蒂奥·普拉德拉 1 2015 结构化上下文无关语言的一阶完全时态逻辑。 Zbl 07577575号 米歇尔·齐亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉 1 2022 结构化上下文无关语言的一阶完全时态逻辑。 Zbl 07577575号 米歇尔·齐亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉 1 2022 模型检查结构化上下文无关语言。 Zbl 1493.68207号 米歇尔·齐亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉 三 2021 操作员优先时序逻辑和模型检查。 Zbl 1464.68197号 米歇尔·齐亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉 7 2020 结构化无上下文语言的星型、一阶可定义性和非周期性。 Zbl 07369988号 迪诺·曼德里奥利；马蒂奥·普拉德拉；克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 三 2020 超越运算符-接收语法和语言。 Zbl 1444.68092号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉 1 2020 泛化输入驱动语言：理论和实践益处。 Zbl 1382.68136号 迪诺·曼德里奥利；马蒂奥·普拉德拉 9 2018 运算符优先语言的时序逻辑和模型检查。 Zbl 1528.68215号 米歇尔·齐亚里；迪诺·曼德里奥利；马蒂奥·普拉德拉 三 2018 加权运算符优先语言。 Zbl 1441.68121号 曼弗雷德·德罗斯特；斯特凡·杜克；迪诺·曼德里奥利；马蒂奥·普拉德拉 三 2017 朝向输入驱动的局部可解析语言理论。 Zbl 1355.68154号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；维奥莱塔·罗纳蒂；迪诺·曼德里奥利；马蒂奥·普拉德拉 2 2017 高阶运算符优先语言。 Zbl 1483.68159号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉 2 2017 运算符优先语言：它们的自动机理论和逻辑特征。 Zbl 1522.68278号 维奥莱塔·罗纳蒂；迪诺·曼德里奥利；费德里卡·帕内拉；马蒂奥·普拉德拉 17 2015 自由语言的一阶逻辑可定义性。 Zbl 1465.68122号 维奥莱塔·罗纳蒂；迪诺·曼德里奥利；费德里卡·帕内拉；马蒂奥·普拉德拉 三 2015 本地链接访问语言。 Zbl 1465.68138号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；维奥莱塔·罗纳蒂；迪诺·曼德里奥利；马蒂奥·普拉德拉 1 2015 无自动机约束LTL可满足性检查。 Zbl 1310.68141号 马尔塞洛·贝尔萨尼。；阿基尔·弗里吉里；安杰洛·莫岑蒂；马蒂奥·普拉德拉；罗西，马蒂奥；圣彼得罗，皮耶路易吉 8 2014 运算符优先语法的并行分析。 Zbl 1259.68101号 亚历山德罗·巴伦吉；克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡（Stefan）；迪诺·曼德里奥利；马蒂奥·普拉德拉 4 2013 运算符优先级\（\omega \）-语言。 Zbl 1381.68130号 费德里卡·帕内拉；马蒂奥·普拉德拉；维奥莱塔·罗纳蒂；迪诺·曼德里奥利 三 2013 无形结构语言的逻辑表征：以弗洛伊德语言为例。 Zbl 1303.68080号 维奥莱塔·罗纳蒂；迪诺·曼德里奥利；马蒂奥·普拉德拉 2 2013 图片语法的统一方法。 Zbl 1235.68096号 马蒂奥·普拉德拉；亚历山德拉·切鲁比尼；雷吉兹、斯特凡诺·克雷斯皮 14 2011 基于Wang tiles的自动机扫描图片的策略。 Zbl 1219.68100号 维奥莱塔·罗纳蒂；马蒂奥·普拉德拉 6 2011 优先自动机和语言。 兹比尔1252.68178 维奥莱塔·罗纳蒂；迪诺·曼德里奥利；马蒂奥·普拉德拉 4 2011 用Wang自动机确定图像语言的可识别性。 Zbl 1286.68291号 维奥莱塔·罗纳蒂；马蒂奥·普拉德拉 6 2010 基于Wang tiles的自动机图像识别。 Zbl 1274.68160号 维奥莱塔·罗纳蒂；马蒂奥·普拉德拉 5 2010 蛇形确定瓷砖系统。 Zbl 1250.68168号 维奥莱塔·罗纳蒂；马蒂奥·普拉德拉 5 2009 图片语言：从Wang tiles到2D语法。 Zbl 1256.68098号 亚历山德拉·切鲁比尼；马蒂奥·普拉德拉 三 2009 区域语言和平铺：图片语法的统一方法。 Zbl 1173.68549号 亚历山德拉·切鲁比尼；克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉 4 2008 图片语法的CKY解析器。 Zbl 1184.68301号 雷吉兹、斯特凡诺·克雷斯皮；马蒂奥·普拉德拉 三 2008 通过平铺指定的图片的基于SAT的解析器和完成器。 Zbl 1131.68515号 马蒂奥·普拉德拉；雷吉兹、斯特凡诺·克雷斯皮 1 2008 使用Trio2Polomela检查模型时间度量规范。 Zbl 1141.68452号 多梅尼科·比安库利；鲍拉·斯波莱蒂尼；安杰洛·莫岑蒂；马蒂奥·普拉德拉；圣彼得罗，皮耶路易吉 2 2007 图片语言：平铺系统与平铺重写语法。 Zbl 1160.68392号 亚历山德拉·切鲁比尼；雷吉兹、斯特凡诺·克雷斯皮；马蒂奥·普拉德拉；圣彼得罗，皮耶路易吉 8 2006 改写语法和图片语言。 兹比尔1079.68047 雷吉兹、斯特凡诺·克雷斯皮；马蒂奥·普拉德拉 13 2005 瓦片重写语法。 Zbl 1037.68067号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉 1 2003 编程语言的关联定义。 Zbl 0995.68056号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）；马蒂奥·普拉德拉；圣彼得罗，皮耶路易吉 1 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名被71位作者引用 24 马蒂奥·普拉德拉 14 迪诺·曼德里奥利 13 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 10 马塞拉·安塞尔莫 10 多拉·贾马雷西 10 玛丽亚·马多尼亚 8 马尔塞洛·玛丽亚·贝尔萨尼 8 维奥莱塔·罗纳蒂 7 马泰奥·罗西。 6 Daniel Průsh a，丹尼尔 5 亚历山德拉·切鲁比尼 5 米歇尔·齐亚里 4 弗朗蒂舍克先生 4 皮埃尔路易吉·圣彼得罗 三 曼弗雷德·德罗斯特 三 亨宁费尔瑙 三 阿基尔·弗里吉里 三 Subramanian、Kumbakonam Govindarajan 2 斯特凡·杜克 2 伊纳州费希特纳 2 鲁道夫·弗伦德 2 克里斯蒂娜·格南 2 Joost-Pieter卡托恩 2 安杰洛·莫岑蒂 2 弗里德里希·奥托 2 费德里卡·帕内拉 2 圣彼得罗，皮尔路易吉。 2 拉尼·西罗莫尼 2 托拜厄斯·温克勒 1 阿提姆·阿尔哈佐夫 1 埃琳娜·巴库奇 1 卢西亚诺·巴雷西 1 安东尼奥·贝尔尼尼 1 斯特凡诺·比洛塔 1 保拉博尼佐尼 1 埃兹贝特·苏哈伊·瓦尔朱 1 德奥利维拉·奥利维拉，马特乌斯 1 克里斯蒂安·迪利茨 1 杜晓宁 1 克劳迪奥·费雷蒂 1 卢卡·费鲁奇 1 卡洛·阿尔贝托·福里亚 1 文卡特拉曼·戈帕兰 1 Gutsfeld、Jens Oliver 1 塞尔吉·伊万诺夫 1 卡拉 1 斯特芬·科佩基 1 迪特里赫·库斯克 1 刘，杨 1 法比奥·马可尼 1 吉安卡洛·莫里 1 Minamide、Yasuhiko 1 马库斯·穆勒·奥尔姆 1 亚当·奥布图 1 米纳克希·帕拉马斯万 1 伦佐·平扎尼 1 弗朗西斯科·蓬蒂吉亚 1 加埃塔诺夸特罗奇 1 克劳斯·莱因哈特 1 安东尼奥·雷斯蒂沃 1 马克·亚历山大·雷诺兹 1 罗丝琳·萨加亚·玛丽（Roslin Sagaya Mary，Anthonath） 1 马库斯·施密德。 1 阿米罗申·辛茹尔 1 鲍拉·斯波莱蒂尼 1 托马斯·杜拉里亚·格纳纳拉吉 1 阿文·费尔南托 1 尤亚·尤扎托 1 VanLeeuwen、Brian Kevin 1 易卜拉欣·文卡特 1 迈克尔·韦哈尔 全部的 前5名20篇连载文章中引用 16 理论计算机科学 5 信息与计算 4 国际计算机科学基础杂志 三 信息学报 三 计算机与系统科学杂志 三 计算机科学中的逻辑方法 2 信息处理信件 2 自动机、语言和组合学杂志 2 RAIRO公司。理论信息学及其应用 1 离散应用数学 1 SIAM计算机杂志 1 计算的形式方面 1 国际计算机数学杂志 1 模式识别 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 1 Forma公司 1 应用逻辑杂志 1 密码学和通信 1 计算机科学评论 全部的 前5名在7个字段中引用 73 计算机科学（68至XX） 23 数理逻辑与基础（03-XX） 三 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 群论与推广（20-XX） 1 歧管和细胞复合体（57-XX） 按年份列出的引文