莫妮卡·内西
人员信息
附属： 意大利拉奎拉大学
优化列表
2020年–今天
2021 
[i1] 卡提克·维德哈亚纳桑（Karthik Vaidhyanathan） , 安东尼奥·布鲁诺 , Eleonora Mendola公司 , 菲利波偏头痛 , Mahyar Tourchi Moghaddam公司 , 亨利·穆奇尼 , 莫妮卡·内西 :
支持数字和沉浸式文化体验的服务。 CoRR公司 abs/2109.07900 ( 2021 )
2000 – 2009
2006 [j7] 莫妮卡·内西 , 朱斯蒂娜·诺塞拉 :
通过重写派生Otway-Rees协议中的类型缺陷攻击。 Nord.J.计算。 13 ( 1-2 ) : 78-97 ( 2006 ) 2005 [第16条] 莫妮卡·内西 , 朱塞皮娜·鲁奇 :
通过重写对Needham-Schoreder对称密钥协议进行形式化和分析。 ARSPA@ICALP 2005 : 95-114 2004 [第15条] 保拉·因弗拉迪 , 法比奥·曼奇内利 , 莫妮卡·内西 :
用于异构环境中适应性应用程序的声明性框架。 囊 2004 : 1177-1183 2003 [j6] 贝内代托·因特里吉拉 , 莫妮卡·内西 :
关于eta-恒等式展开的结构性质。 信息处理。 莱特。 87 ( 6 ) : 327-333 ( 2003 ) [第14条] 莫妮卡·内西 , 朱塞皮娜·鲁奇 , 马西莫·威尔德斯卡 :
协议验证的重写策略。 WRS公司 2003 : 657-672
1990 – 1999
1999 [j5] 莫妮卡·内西 :
在HOL中格式化值传递微积分。 形式方面计算。 11 ( 2 ) : 160-199 ( 1999 ) [第13条] 保拉·因弗拉迪 , 莫妮卡·内西 :
向TRS添加排序：终端模块化的结果。 APPIA-GULP-PRODE公司 1999 : 273-288 1997 【b1】 莫妮卡·内西 :
用高阶逻辑形式化过程计算。 英国剑桥大学， 技术报告/剑桥大学/计算机实验室 411, 1997 第I-X页，1-182页 1996 [第12条] 莫妮卡·内西 :
为HOL中的值传递代理实现模态逻辑的机械化。 无穷 1996 : 31-46 1995 【j4】 保拉·因弗拉迪 , 莫妮卡·内西 :
通过改写确定有限状态CCS表达式的观测一致性。 西奥。 计算。 科学。 139 ( 1&2 ) : 315-354 ( 1995 ) [j3] 保拉·因弗拉迪 , 莫妮卡·内西 :
非线性项重写系统的无穷正规形。 西奥。 计算。 科学。 152 ( 2 ) : 285-303 ( 1995 ) 1993 [第11条] 莫妮卡·内西 , 瓦莱丽亚·德佩瓦 , 艾克·里特 :
重写初级线性逻辑组合器的属性。 HOA公司 1993 : 256-275 [第10条] 莫妮卡·内西 :
HOL中的价值传递CCS。 拥抱 1993 : 352-365 1992 [注2] 米歇尔·博雷尔 
, 保拉·因弗拉迪 , 莫妮卡·内西 :
有限基本LOTOS行为等效的完备公理集。 信息处理。 莱特。 43 ( 三 ) : 155-160 ( 1992 ) 【c9】 保拉·因弗拉迪 , 莫妮卡·内西 :
处理发散重写系统的策略。 CTRS公司 1992 : 458-467 【c8】 莫妮卡·内西 :
在HOL定理证明程序中形式化CSS的模态逻辑。 TPHOL公司 1992 : 279-294 1991 【c7】 保拉·因弗拉迪 , 莫妮卡·内西 :
关于重写过程代数中的行为语义。 AMAST公司 1991 : 108-116 【c6】 莫妮卡·内西 :
通过归纳高阶逻辑中的过程代数规范实现证明的机械化。 CAV汽车 1991 : 288-298 【c5】 洛科·德·尼古拉 , 保拉·因弗拉迪 , 莫妮卡·内西 :
LOTOS规范的等式推理：重写方法。 IWSSD系统 1991 : 148-155 【c4】 保拉·因弗拉迪 , 莫妮卡·内西 :
非线性项重写系统的无穷正规形式。 MFCS公司 1991 : 231-239 【c3】 阿尔伯特·约翰·卡米莱里 , 保拉·因弗拉迪 , 莫妮卡·内西 :
在过程代数验证中结合交互和自动化。 TAPSOFT，第2卷 1991 : 283-296 1990 [j1] 保拉·因弗拉迪 , 莫妮卡·内西 :
验证观测一致性的重写策略。 信息处理。 莱特。 35 ( 4 ) : 191-199 ( 1990 )
1980 – 1989
合著者索引
