编辑配置文件（在新选项卡中打开） 埃莉诺拉·尼奇亚雷利 合著者距离 作者ID： 尼奇亚雷利奥诺拉 发布日期： 埃莉诺拉·尼奇亚雷利 已编制索引的文档： 1出版物自2003年以来 合著者： 3位合著者具有1联合出版物 109合著者 合著者 0 单作者的 1 保罗·乔治尼 1 约翰·米洛波洛斯 1 罗伯托·塞巴斯蒂亚尼 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 目标模型的形式化推理技术。 兹比尔1274.68423 保罗·乔治尼；约翰·米洛波洛斯；埃莉诺拉·尼奇亚雷利；罗伯托·塞巴斯蒂亚尼 1 2003 目标模型的形式化推理技术。 Zbl 1274.68423号 保罗·乔治尼；约翰·米洛波洛斯；埃莉诺拉·尼奇亚雷利；罗伯托·塞巴斯蒂亚尼 1 2003 3位作者引用 1 法比奥·马萨奇 1 约翰·米洛波洛斯 1 尼古拉·赞诺 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文