编辑配置文件（在新选项卡中打开） 维维亚娜·马斯卡迪 合著者距离 作者ID： 马斯卡迪·维维亚纳 发布日期： 维维亚娜·马斯卡迪 已编制索引的文档： 8出版物自2001年起 2作为编辑的贡献 合著者： 22合著者具有10联合出版物 577合著者 全部的 前5名合著者 0 单作者的 三 大卫·安科纳 三 费兰多，安吉洛 2 马蒂奥·巴多尼 2 毛里齐奥·马特利 1 克里斯蒂娜·巴罗利奥 1 拉斐尔·卡多佐。 1 丹尼斯，路易斯·阿比盖尔 1 托马斯·艾特 1 玛丽·法雷尔 1 迈克尔·费希尔 1 马特·勒克库克 1 马可·马拉提亚 1 西蒙·马里尼 1 安德烈亚·奥米西尼 1 法比奥·帕帕奇尼 1 多梅尼科·佩莱格里尼 1 阿尔贝托·佩特罗西 1 Leon S.斯特林。 1 苏布拉曼尼亚，V.S。 1 保罗·托罗尼 1 Vasconcelos，Wamberto W。 1 弗洛里亚诺·齐尼 系列 1 系统设计中的形式化方法 1 计算机基础理论 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 领域 10 计算机科学（68至XX） 2 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用7中的次7文件 引用人▼ 年份▼ 比较跟踪表达式和线性时序逻辑以进行运行时验证。 Zbl 1475.68172号 大卫·安科纳；费兰多，安吉洛；维维亚娜·马斯卡迪 三 2016 容错代理。 Zbl 1012.68541号 托马斯·艾特；维维亚娜·马斯卡迪；苏布拉曼尼亚，V.S。 2 2002 智能软件代理的基于逻辑的规范语言。 Zbl 1085.68131号 维维亚娜·马斯卡迪；毛里齐奥·马特利；利昂·斯特林 1 2004 代理、多代理系统和声明式编程：什么、何时、何地、为什么、谁、如何？ Zbl 1285.68188号 马蒂奥·巴多尼；克里斯蒂娜·巴罗格里奥；维维亚娜·马斯卡迪；安德烈亚·奥米西尼；保罗·托罗尼 1 2010 比较跟踪表达式和线性时序逻辑以进行运行时验证。 Zbl 1475.68172号 大卫·安科纳；费兰多，安吉洛；维维亚娜·马斯卡迪 三 2016 代理、多代理系统和声明式编程：什么、何时、何地、为什么、谁、如何？ Zbl 1285.68188号 马蒂奥·巴多尼；克里斯蒂娜·巴罗利奥；维维亚娜·马斯卡迪；安德烈亚·奥米西尼；保罗·托罗尼 1 2010 智能软件代理的基于逻辑的规范语言。 Zbl 1085.68131号 维维亚娜·马斯卡迪；毛里齐奥·马特利；利昂·斯特林 1 2004 容错代理。 Zbl 1012.68541号 托马斯·艾特；维维亚娜·马斯卡迪；苏布拉曼尼亚，V.S。 2 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名18位作者引用 2 费兰多，安吉洛 2 迈克尔·费希尔 2 维维亚娜·马斯卡迪 1 大卫·安科纳 1 法布里西奥·安吉乌利 1 拉斐尔·卡多佐。 1 丹尼斯，路易斯·阿比盖尔 1 尤尔根·迪克斯 1 玛丽·法雷尔 1 吉安路易吉·格雷科 1 斯坦尼斯拉夫·克拉吉 1 约昂·莱特 1 莱斯，拉斯蒂斯拉夫 1 马特·勒克库克 1 路易吉·帕洛波利 1 法比奥·帕帕奇尼 1 马丁·斯洛塔 1 沃伊塔什，彼得 3篇连载文章中引用 2 数学与人工智能年鉴 1 模糊集与系统 1 系统设计中的形式化方法 在2个字段中引用 7 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文