玛格丽塔·那不勒斯
人员信息
优化列表
2020年–今天
2020 [公元24年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Gennaro Parlato公司 以下为:
作用域范围内的多级下推系统的可达性。 Inf.计算。 275 以下为: 104588 ( 2020 )
2010 – 2019
2016 [公元23年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Gennaro Parlato公司 以下为:
基于范围的下推语言。 发现的国际期刊。 计算。 科学。 27 ( 2 ) 以下为: 215-234 ( 2016 ) 2015 [公元22年] 芭芭拉·迪·詹保罗 , 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
参数度量时间间隔逻辑。 西奥。 计算。 科学。 564 以下为: 131-148 ( 2015 ) 2014 [公元32年] 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
射击队同步问题的最小和非最小时间解。 使用新资源进行计算 2014 以下为: 114-128 [公元31年] 萨尔瓦托雷拉托雷 , 玛格丽塔·那不勒斯 , Gennaro Parlato公司 以下为:
基于范围的下推语言。 语言理论的发展 2014 以下为: 116-128 [公元30年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Gennaro Parlato公司 以下为:
多栈下推自动机的统一方法。 多功能控制系统(1) 2014 以下为: 377-389 2013 [公元29年] 达里奥·德拉·莫妮卡 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
资源短缺情景下的联盟博弈模型检验。 甘道夫 2013 以下为: 240-255 2012 [公元21年] 安吉洛·蒙塔纳里 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
前言。 发现的国际期刊。 计算。 科学。 23 ( 三 ) ( 2012 ) [公元28年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
多线程程序的时态逻辑。 IFIP TCS 2012 以下为: 225-239 2011 [公元27年] 达里奥·德拉·莫妮卡 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
与价格资源代理的联合游戏。 CILC公司 2011 以下为: 341-347 [公元26年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
具有范围匹配关系的多堆栈下推系统的可达性。 CONCUR公司 2011 以下为: 203-218 [c25] 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
测试生成的分级CTL模型检查。 SpringSim(TMS-DEVS)软件 2011 以下为: 59-66 [公元24年] 达里奥·德拉·莫妮卡 , 玛格丽塔·那不勒斯 , Mimmo Parente公司 以下为:
关于价格资源代理联合博弈的逻辑。 M4M/LAMAS公司 2011 以下为: 215-228 [i2] 玛格丽塔·那不勒斯 , Mimmo Parente公司 以下为:
测试生成的分级CTL模型检查。 CoRR公司 abs/1111.2768 ( 2011 ) 2010 [公元20年] 马可·费拉 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
分级交替时间时序逻辑。 芬丹。 信息学 105 ( 1-2 ) 以下为: 189-210年 ( 2010 ) 【c23】 亚历山德罗·费兰特 , 毛里齐奥·梅莫利 , 玛格丽塔·那不勒斯 , Mimmo父母 , 弗朗西斯科·索伦蒂诺 以下为:
用于分级CTL模型检查的NuSMV扩展。 CAV汽车 2010 以下为: 670-673 [公元22年] 芭芭拉·迪·詹保罗 , 萨尔瓦托雷拉托雷 , 玛格丽塔·那不勒斯 以下为:
参数度量间隔时间逻辑。 拉丁美洲旅游协会 2010 以下为: 249-260 【c21】 马可·费拉 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
分级交替时间时序逻辑。 LPAR(达喀尔) 2010 以下为: 192-211 [电子1] 安吉洛·蒙塔纳里 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
2010年6月17日至18日,意大利米诺里(阿马尔菲海岸),GANDALF 2010,第一届游戏、自动化、逻辑和形式验证研讨会论文集。 EPTCS系统 25, 2010 [目录]
2000 – 2009
2009 [公元19年] 亚历山德罗·费兰特 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
分级CTL的模型检查。 芬丹。 信息学 96 ( 三 ) 以下为: 323-339 ( 2009 ) [公元20年] 亚历山德罗·费兰特 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
分级CTL:可满足性和符号模型检查。 ICFEM公司 2009 以下为: 306-325 2008 [公元18年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 , Gennaro Parlato公司 以下为:
与作用域相关的层次状态机的验证。 Inf.计算。 206 ( 9-10 ) 以下为: 1161-1177 ( 2008 ) [第19条] 亚历山德罗·费兰特 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
CTL模型-使用分级量词进行检查。 ATVA公司 2008 以下为: 18-32 [第18条] 阿尼洛·穆拉诺 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
分层模块检查中的程序复杂性。 LPAR公司 2008 以下为: 318-332 2007 [公元17年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
语法描述的可视下推语言的单词问题。 形式方法系统。 设计。 31 ( 三 ) 以下为: 265-279 ( 2007 ) [第17条] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 , Gennaro Parlato公司 以下为:
简洁层次状态机的验证。 拉丁美洲旅游协会 2007 以下为: 485至496 2006 [公元16年] 乔泽夫·格鲁斯卡 , 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
基本网格网络上行刑队同步问题的不同时间解决方案。 RAIRO提奥。 信息学应用。 40 ( 2 ) 以下为: 177-206年 ( 2006 ) [第16条] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
关于可视下推语言的成员问题。 ATVA公司 2006 以下为: 96-109 2005 [公元15年] 萨尔瓦托雷·拉托雷 , 阿尼洛·穆拉诺 , 玛格丽塔·那不勒斯 以下为:
树自动机的弱Muller接受条件。 西奥。 计算。 科学。 332 ( 1-3 ) 以下为: 233-250 ( 2005 ) [i1] 乔泽夫·格鲁斯卡 , 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
射击队同步问题的各种解决方案。 CoRR公司 abs/cs/0511044 ( 2005 ) 2003 [公元14年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
定时欧米伽树上的有限自动机。 西奥。 计算。 科学。 293 ( 三 ) 以下为: 479-505 ( 2003 ) [第15条] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 , Gennaro Parlato公司 以下为:
具有上下文相关属性的分层和递归状态机。 ICALP公司 2003 以下为: 776-789 [第14条] 玛格丽塔·那不勒斯 , Mimmo Parente公司 , 阿德里亚诺·佩隆 以下为:
具有时间限制的协议的规范和验证。 梅菲斯托 2003 以下为: 205-227 2002 [第13条] 萨尔瓦托雷·拉托雷 , 阿尼洛·穆拉诺 , 玛格丽塔·那不勒斯 以下为:
树自动机的弱Muller验收条件。 VMCAI公司 2002 以下为: 240-254 2001 [j13] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
带有时态逻辑应用程序的时间树自动机。 信息学报 38 ( 2 ) 以下为: 89-116 ( 2001 ) [公元12年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
无限图的基于自动机的表示。 RAIRO提奥。 信息学应用。 35 ( 4 ) 以下为: 311-330 ( 2001 ) [第12条] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
具有通信约束的二维元胞自动机射击队同步问题。 MCU(微控制器) 2001 以下为: 264-275 [第11条] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
时间欧米伽树上的有限自动机模型。 猫 2001 以下为: 158-173 2000 [公元11年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
一种用于同步二维处理器网络的组合方法。 RAIRO提奥。 信息学应用。 34 ( 6 ) 以下为: 549-564 ( 2000 ) [第10条] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
一种可判定的密集分支时间时序逻辑。 FSTTCS公司 2000 以下为: 139-150
1990 – 1999
1998 [公元10年] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
在给定时间同步同一系列处理器。 芬丹。 信息学 34 ( 1-2 ) 以下为: 103-128 ( 1998 ) 【c9】 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 以下为:
用正则语言表示超G图。 多功能控制系统 1998 以下为: 571-579 1997 [公元9年] 乔泽夫·格鲁斯卡 , 安吉洛·蒙蒂 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
SBTA语言描述简洁。 西奥。 计算。 科学。 179 ( 1-2 ) 以下为: 251-271 ( 1997 ) 【c8】 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
单向连接处理器的同步。 FCT公司 1997 以下为: 293-304 【c7】 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo Parente公司 以下为:
在给定时间同步同一系列处理器。 TAPSOFT公司 1997 以下为: 405-416 1996 [j8] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 以下为:
单向连接处理器的同步。 复杂系统。 10 ( 4 ) ( 1996 ) [j7] 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
平行词替换。 芬丹。 信息学 27 ( 1 ) 以下为: 27-36 ( 1996 ) 1995 [j6] 伊曼纽拉·法希尼 , 乔泽夫·格鲁斯卡 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
规则Y-树收缩自动机中互连和不确定性的能力。 数学。 系统。 理论 28 ( 三 ) 以下为: 245至266 ( 1995 ) 【c6】 乔泽夫·格鲁斯卡 , 安吉洛·蒙蒂 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
SBTA语言的状态复杂性。 拉丁语 1995 以下为: 346-357 1994 【c5】 乔泽夫·格鲁斯卡 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
收缩树自动机的优化。 IFIP大会(1) 1994 以下为: 247-252 1993 [j5] 乔泽夫·格鲁斯卡 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
收缩二叉树自动机的最小化和简洁性。 科学。 安·库扎大学。 2 以下为: 13-26 ( 1993 ) 【c4】 安德烈亚·德卢西亚 , 玛格丽塔·那不勒斯 , 詹尼·托托拉 , 毛里齐奥·图奇 以下为:
软件开发环境WSDW的工具开发语言TDL。 瑞典克朗 1993 以下为: 421-428 1992 【j4】 伊曼纽拉·法希尼 , 安吉洛·蒙蒂 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
收缩Y树自动机接受的语言:结构特征。 信息学报 29 ( 8 ) 以下为: 761-778 ( 1992 ) [c3] 安德烈亚·德卢西亚 , A.皇帝 , 玛格丽塔·那不勒斯 , 詹尼·托托拉 , 毛里齐奥·图奇 以下为:
软件开发工作台WSDW。 瑞典克朗 1992 以下为: 213年至221年 1991 【c2】 伊曼纽拉·法希尼 , 安吉洛·蒙蒂 , 玛格丽塔·那不勒斯 , 多梅尼科家长 以下为:
收缩Y树自动机:闭包属性和决策问题。 FCT公司 1991 以下为: 210-219
1980 – 1989
1988 [j3] 伊曼纽拉·法希尼 , 玛格丽塔·那不勒斯 以下为:
C-Tree收缩自动机。 西奥。 计算。 科学。 56 以下为: 155-186 ( 1988 ) [注2] 安德烈亚·马吉奥洛·谢蒂尼 , 玛格丽塔·那不勒斯 , 热那维法·托托拉 以下为:
Web结构:表示和操作程序的工具。 IEEE传输。 软件工程。 14 ( 11 ) 以下为: 1621-1639 ( 1988 ) 1985 【c1】 伊曼纽拉·法希尼 , 玛格丽塔·那不勒斯 以下为:
同步自下而上树自动机和L-系统。 TAPSOFT,第1卷 1985 以下为: 298-307 1984 [j1] 伊曼纽拉·法希尼 , 玛格丽塔·那不勒斯 以下为:
基本递归词序列函数的层次结构:比较和决策问题。 西奥。 计算。 科学。 29 以下为: 185-227 ( 1984 )