编辑配置文件（在新选项卡中打开） 那不勒斯，玛格丽塔 合著者距离 作者ID： 那不勒斯马格里塔 发布日期： 那不勒斯，玛格丽塔;那不勒斯，M。;马格丽塔·那不勒斯;那不勒斯，玛格丽塔 更多。。。较少的 外部链接： ORCID公司 已编制索引的文档： 48出版物自1984年以来 2作为编辑的贡献 合著者： 16位合著者具有49联合出版物 269名Co-Co作者 全部的 前5名合著者 0 单作者的 26 萨尔瓦多拉托雷 19 帕伦特，米姆 10 多梅尼科·帕伦特 9 伊曼纽拉·法希尼 6 乔泽夫·格鲁斯卡 6 Gennaro帕拉托 4 安吉洛·蒙蒂 3 穆拉诺，阿尼洛 2 黛拉·莫妮卡，达里奥 2 巴巴拉·迪·詹保罗 2 马可·费拉 2 亚历山德罗·费兰特 2 安吉洛·蒙塔纳里 1 丽塔·弗朗西斯 1 安德烈亚·马吉奥洛·谢蒂尼 1 热那维亚托托拉 全部的 前5名系列 6 理论计算机科学 3 RAIRO公司。理论信息学及其应用 2 信息学报 2 波兰数学年鉴。系列IV 2 信息与计算 2 国际计算机科学基础杂志 2 计算机基础理论 1 数学系统理论 1 计算机与人工智能 1 复杂系统 1 IEEE软件工程汇刊 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 第二世界大学。努瓦里。信息化 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 50 计算机科学（68至XX） 19 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 组合数学（05-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用125中的次73文件 引用人▼ 年份▼ 具有范围限定匹配关系的多级下推系统的可达性。 Zbl 1343.68172号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 14 2011 关于与价格资源代理的联盟博弈的逻辑。 兹比尔1347.68337 黛拉·莫妮卡，达里奥;那不勒斯，玛格丽塔;帕伦特，米姆 11 2011 基于范围的下推语言。 Zbl 1345.68211号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 9 2014 多级下推自动机的统一方法。 Zbl 1425.68215号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 8 2014 基于范围的下推语言。 Zbl 1344.68124号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 8 2016 多线程程序的时态逻辑。 Zbl 1362.68051号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 6 2012 C-树收缩自动机。 Zbl 0644.68081号 法希尼，E。;那不勒斯，M。 5 1988 参数度量时间间隔逻辑。 Zbl 1284.03148号 巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 5 2010 分层模块检查中的程序复杂性。 Zbl 1182.68124号 穆拉诺，阿尼洛;那不勒斯，玛格丽塔;帕伦特，米姆 5 2008 BC-树收缩自动机：特征和特性。 Zbl 0676.68023号 伊曼纽拉·法希尼;丽塔·弗朗西斯;那不勒斯，马格里塔;多梅尼科·帕伦特 4 1989 一种可判定的密集分支时间时序逻辑。 Zbl 1044.03012号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 4 2000 带有时态逻辑应用程序的时间树自动机。 兹比尔1033.68065 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 4 2001 在给定时间同步一行相同的处理器。 兹比尔0908.68005 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;多梅尼科·帕伦特。 3 1998 分级交替时间时序逻辑。 Zbl 1209.68316号 马可·费拉;那不勒斯，玛格丽塔;帕伦特，米姆 3 2010 关于可视下推语言的成员问题。 Zbl 1161.68544号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 3 2006 定时树上的有限自动机。 Zbl 1032.68095号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 3 2003 分级CTL的模型检查。 Zbl 1213.68375号 亚历山德罗·费兰特;那不勒斯，玛格丽塔;帕伦特，米姆 3 2009 单向连接处理器的同步。 兹比尔1010.68023 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 3 1996 资源短缺情景下的联盟博弈模型检验。 Zbl 1464.68199号 黛拉·莫妮卡，达里奥;那不勒斯，玛格丽塔;帕伦特，米姆 3 2013 同步二维处理器网络的合成方法。 Zbl 0982.68092号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 2 2000 规则树收缩自动机中互连和不确定性的威力。 Zbl 0827.68077号 法希尼，E。;J·格鲁斯卡。;那不勒斯，M。;Parent，D。 2 1995 具有上下文相关属性的分层和递归状态机。 Zbl 1039.68074号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆;Gennaro帕拉托 2 2003 脉动树自动机所接受的语言：结构特征。 Zbl 0790.68087号 法希尼，E。;A.蒙蒂。;那不勒斯，M。;Parent，D。 2 1992 验证依赖于作用域的分层状态机。 Zbl 1147.68051号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆;Gennaro帕拉托 2 2008 使用分级量词进行CTL模型检查。 Zbl 1183.68370号 亚历山德罗·费兰特;那不勒斯，玛格丽塔;帕伦特，米姆 2 2008 参数度量时间间隔逻辑。 Zbl 1317.68112号 迪詹保罗，芭芭拉;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 2 2015 收缩二叉树自动机的最小化和简洁性。 兹伯利0840.68076 约瑟夫·格鲁斯卡;那不勒斯，玛格丽塔;多梅尼科·帕伦特 1 1993 二叉树上循环程序的层次结构。 Zbl 0655.68051号 法希尼，E。;那不勒斯，M。 1 1986 SBTA语言描述简洁。 Zbl 0901.68131号 乔泽夫·格鲁斯卡;安吉洛·蒙蒂;那不勒斯，玛格丽塔;多梅尼科·帕伦特 1 1997 基本网格网络上行刑队同步问题的不同时间解决方案。 Zbl 1112.68101号 乔泽夫·格鲁斯卡;萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 1 2006 用正则语言表示超图。 Zbl 0915.05092号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 1 1998 基本递归字序列函数的层次结构：比较和决策问题。 Zbl 0588.03025号 法希尼，E。;那不勒斯，M。 1 1984 作用域范围内的多级下推系统的可达性。 Zbl 1496.68235号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 1 2020 作用域范围内的多级下推系统的可达性。 Zbl 1496.68235号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 1 2020 基于范围的下推语言。 Zbl 1344.68124号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 8 2016 参数度量时间间隔逻辑。 Zbl 1317.68112号 巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 2 2015 基于范围的下推语言。 Zbl 1345.68211号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 9 2014 多级下推自动机的统一方法。 Zbl 1425.68215号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;Gennaro帕拉托 8 2014 资源短缺情景下的联盟博弈模型检验。 Zbl 1464.68199号 黛拉·莫妮卡，达里奥;那不勒斯，玛格丽塔;帕伦特，米姆 3 2013 多线程程序的时态逻辑。 Zbl 1362.68051号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 6 2012 具有范围限定匹配关系的多级下推系统的可达性。 Zbl 1343.68172号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 14 2011 关于具有定价资源代理的联盟博弈的逻辑。 Zbl 1347.68337号 黛拉·莫妮卡，达里奥;那不勒斯，玛格丽塔;帕伦特，米姆 11 2011 参数度量区间时间逻辑。 Zbl 1284.03148号 巴巴拉·迪·詹保罗;萨尔瓦多拉托雷;那不勒斯，玛格丽塔 5 2010 分级交替时间时序逻辑。 Zbl 1209.68316号 马可·费拉;那不勒斯，玛格丽塔;帕伦特，米姆 3 2010 分级CTL的模型检查。 Zbl 1213.68375号 亚历山德罗·费兰特;那不勒斯，玛格丽塔;帕伦特，米姆 3 2009 分层模块检查中的程序复杂性。 Zbl 1182.68124号 穆拉诺，阿尼洛;那不勒斯，玛格丽塔;帕伦特，米姆 5 2008 验证依赖于作用域的分层状态机。 Zbl 1147.68051号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆;Gennaro帕拉托 2 2008 使用分级量词进行CTL模型检查。 Zbl 1183.68370号 亚历山德罗·费兰特;那不勒斯，玛格丽塔;帕伦特，米姆 2 2008 关于可视下推语言的成员问题。 Zbl 1161.68544号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 3 2006 基本网格网络上行刑队同步问题的不同时间解决方案。 Zbl 1112.68101号 乔泽夫·格鲁斯卡;萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 1 2006 定时树上的有限自动机。 Zbl 1032.68095号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 3 2003 具有上下文相关属性的分层和递归状态机。 Zbl 1039.68074号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆;Gennaro帕拉托 2 2003 带有时态逻辑应用程序的时间树自动机。 Zbl 1033.68065号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 4 2001 一种可判定的密集分支时间时序逻辑。 Zbl 1044.03012号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 4 2000 同步二维处理器网络的合成方法。 Zbl 0982.68092号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 2 2000 在给定时间同步一行相同的处理器。 Zbl 0908.68005号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;多梅尼科·帕伦特。 3 1998 用正则语言表示超粒度。 Zbl 0915.05092号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔 1 1998 SBTA语言描述简洁。 Zbl 0901.68131号 乔泽夫·格鲁斯卡;安吉洛·蒙蒂;那不勒斯，玛格丽塔;多梅尼科·帕伦特 1 1997 单向连接处理器的同步。 Zbl 1010.68023号 萨尔瓦多拉托雷;那不勒斯，玛格丽塔;帕伦特，米姆 3 1996 正则\（Y）树系统自动机中的互连和不确定性的幂。 Zbl 0827.68077号 法希尼，E。;J·格鲁斯卡。;那不勒斯，M。;Parent，D。 2 1995 收缩二叉树自动机的最小化和简洁性。 Zbl 0840.68076号 约瑟夫·格鲁斯卡;那不勒斯，玛格丽塔;多梅尼科·帕伦特 1 1993 脉动树自动机所接受的语言：结构特征。 Zbl 0790.68087号 法希尼，E。;A.蒙蒂。;那不勒斯，M。;Parent，D。 2 1992 BC-树收缩自动机：特征和特性。 Zbl 0676.68023号 伊曼纽拉·法希尼;丽塔·弗朗西斯;那不勒斯，马格里塔;多梅尼科·帕伦特 4 1989 C-树收缩自动机。 Zbl 0644.68081号 法希尼，E。;那不勒斯，M。 5 1988 二叉树上循环程序的层次结构。 Zbl 0655.68051号 法希尼，E。;那不勒斯，M。 1 1986 基本递归字序列函数的层次结构：比较和决策问题。 Zbl 0588.03025号 法希尼，E。;那不勒斯，M。 1 1984 所有引用出版物 前5名被引用出版物 全部的 前5名113位作者引用 13 那不勒斯，玛格丽塔 11 萨尔瓦多拉托雷 10 穆拉诺，阿尼洛 5 娜塔莎·亚历奇纳 5 贝内迪克特·博利格 5 布赖恩·洛根 5 帕伦特，米姆 4 穆罕默德·法乌齐（Mohamed Faouzi Atig） 4 劳拉·博泽利 4 伊曼纽拉·法希尼 4 乔泽夫·格鲁斯卡 4 Gennaro帕拉托 3 本杰明·阿米诺夫 3 保罗·加斯廷 3 彼得·哈贝梅尔 3 桑卡拉·纳拉亚南·克里希纳 3 马丁·库特里布 3 Nguyen，黄岩 3 多梅尼科·帕伦特 3 萨沙·鲁宾 3 洛雷达纳·索伦蒂诺 2 帕罗什·阿齐兹·阿卜杜拉 2 阿克西，S。 2 牛，尼尔斯 2 斯特凡·德姆里。 2 奥尔纳·库普弗曼 2 金·古德斯特兰·拉森 2 安德烈亚·马吉奥洛·谢蒂尼 2 安德烈亚斯·马尔彻 2 瓦迪姆·马尔文 2 安吉洛·蒙蒂 2 阿德里亚诺·佩隆 2 阿尤什·拉贾塞卡兰 2 杰弗里·奥特洛·沙利特 2 乔治·泽采 2 马丁·齐默尔曼 1 西里亚克·艾斯瓦里亚 1 马里奥·阿尔维亚诺 1 罗伯托·巴布蒂 1 巴斯滕，H.J.S。 1 尼古拉·鲍德鲁 1 弗朗西斯科·贝拉迪内利 1 德文德拉·巴韦 1 艾哈迈德·博阿贾尼 1 帕特里夏·布耶 1 曹睿 1 达里奥·卡洛特努托 1 彼得·奇尼 1 西里亚克，爱斯瓦里亚 1 大卫，弗伦达 1 伊利亚州德克雷森佐 1 巴巴拉·迪·詹保罗 1 克莱尔·迪克森 1 康斯坦丁·埃纳 1 马可·费拉 1 乌里·法伦贝格 1 瑞秋·法拉 1 彼得·费蒙维尔 1 塞维琳·弗拉塔尼 1 法语，蒂姆 1 吉安路易吉·格雷科 1 曼纽拉·利迪亚·格林德 1 詹斯·奥利弗·古斯菲尔德 1 安东尼拉·古佐 1 马修·黑格 1 何燕虎 1 奥马尔·因弗索 1 萨米·贾齐里 1 小林，小次郎 1 乔纳森·科尔伯格 1 安德烈亚斯·克雷布斯 1 迪特里赫·库斯克 1 Anthony Widjaja林 1 刘昌娟 1 Lopez-Loces，马里奥·C。 1 拉杜·马达尔 1 尼古拉斯·马基 1 约翰·克里斯托弗（John Christopher McCabe-Dansted） 1 罗伊·门尼克 1 罗兰·梅耶 1 保罗·米拉佐 1 法比奥·莫加维罗 1 马库斯·穆勒·奥尔姆 1 穆西亚·德泽吉 1 塞巴斯蒂安·穆斯卡拉 1 帕维尔·G·瑙莫夫。 1 贝内迪克特·诺德霍夫 1 乔尔·欧·瓦克宁。 1 乔瓦尼·帕尔迪尼 1 朱塞佩·佩雷利 1 拉姆昌德拉·帕瓦德 1 佛朗哥·雷蒙迪 1 阿卜杜尔·拉基布 1 马克·亚历山大·雷诺兹 1 奥思曼·雷津 1 梅耶·罗兰 1 斯巴萨罗伊乔杜里 1 普拉卡什·塞瓦桑 1 戴维·桑吉奥吉 1 克劳斯·希尔马尔·斯普伦格 …还有13位作者 全部的 前5名22篇连载文章中引用 13 理论计算机科学 10 信息与计算 3 人工智能 3 系统设计中的形式化方法 3 RAIRO公司。理论信息学及其应用 2 信息学报 2 国际计算机科学基础杂志 2 计算系统理论 1 离散数学 1 信息处理信件 1 Automatica公司 1 计算机与系统科学杂志 1 数学系统理论 1 人工智能通信 1 国际计算机数学杂志 1 计算与决策科学基础 1 逻辑、语言与信息杂志 1 《数理逻辑季刊》 1 工程中的数学问题 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 RAIRO公司。理论信息学及其应用 全部的 前5名在8个字段中引用 70 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 组合数学（05-XX） 2 数论（11-XX） 2 运筹学、数学规划（90-XX） 1 动力系统和遍历理论（37至XX） 1 系统论；控制（93至XX） 按年份列出的引文