编辑配置文件（在新选项卡中打开） 利可宾，埃尔维尼亚 合著者距离 作者ID： 利维尼亚riccobene.elvinia 发布日期： 利可宾，埃尔维尼亚 外部链接： ORCID公司 已编制索引的文档： 13出版物自1993年起 3作为编辑的贡献 合著者： 20位合著者具有16联合出版物 275位合作作者 全部的 前5名合著者 0 单作者的 5 伊贡博格尔 5 安吉洛·加甘蒂尼 三 亚历山德拉·卡瓦拉 2 保罗·阿卡尼 2 帕特里齐亚·斯坎杜拉 1 阿彻，迈拉·M。 1 詹保罗·贝拉 1 安德烈·邦巴达 1 西尔维娅·邦凡蒂 1 约翰·德里克 1 格内西、斯特凡尼亚 1 康斯坦斯·海特迈尔。 1 罗克萨娜·玛丽亚·霍洛姆 1 萨尔夫拉兹·库希德 1 Michael Leuschel先生 1 玛丽安娜·尼科洛西·阿斯蒙多 1 亚历山大·拉施克 1 史蒂夫·里夫斯 1 萨尔瓦多林齐维罗 1 克劳斯·迪特·施韦 系列 三 计算机科学课堂讲稿 1 计算的形式方面 1 通用计算机科学杂志 领域 16 计算机科学（68至XX） 三 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用20次17文件 引用人▼ 年份▼ 使用Spin根据ASM规范生成测试。 Zbl 1021.68522号 安吉洛·加甘蒂尼;利可宾，埃尔维尼亚;萨尔瓦多林齐维罗 6 2003 在PVS中编码抽象状态机。 Zbl 0976.68105号 安吉洛·加甘蒂尼;利可宾，埃尔维尼亚 三 2000 用TAME证明I/O自动机的不变量。 Zbl 1034.68572号 迈拉·阿彻;康斯坦斯·海特迈尔;利可宾，埃尔维尼亚 三 2002 UML活动图的ASM语义。 Zbl 0983.68130号 伊贡博格尔;亚历山德拉·卡瓦拉;利可宾，埃尔维尼亚 三 2000 建模UML状态机的动力学。 Zbl 0976.68516号 伊贡博格尔;亚历山德拉·卡瓦拉;利可宾，埃尔维尼亚 2 2000 Kerberos身份验证系统的形式化分析。 Zbl 0960.68010号 詹保罗·贝拉;利可宾，埃尔维尼亚 2 1997 基于ASM的云系统自适应组件的形式化设计。 Zbl 1345.68021号 保罗·阿卡尼;罗克萨娜·玛丽亚·霍洛姆;利可宾，埃尔维尼亚 1 2016 基于ASM的云系统自适应组件的形式化设计。 Zbl 1345.68021号 保罗·阿卡尼;罗珊娜·玛丽亚;利可宾，埃尔维尼亚 1 2016 使用Spin根据ASM规范生成测试。 Zbl 1021.68522号 安吉洛·加甘蒂尼;利可宾，埃尔维尼亚;萨尔瓦多林齐维罗 6 2003 用TAME证明I/O自动机的不变量。 Zbl 1034.68572号 迈拉·阿彻;康斯坦斯·海特迈尔;利可宾，埃尔维尼亚 三 2002 在PVS中编码抽象状态机。 Zbl 0976.68105号 安吉洛·加甘蒂尼;利可宾，埃尔维尼亚 三 2000 UML活动图的ASM语义。 Zbl 0983.68130号 伊贡博格尔;亚历山德拉·卡瓦拉;利可宾，埃尔维尼亚 三 2000 建模UML状态机的动态。 Zbl 0976.68516号 伊贡博格尔;亚历山德拉·卡瓦拉;利可宾，埃尔维尼亚 2 2000 Kerberos身份验证系统的形式化分析。 Zbl 0960.68010号 詹保罗·贝拉;利可宾，埃尔维尼亚 2 1997 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 三 安吉洛·加甘蒂尼 2 保罗·阿卡尼 2 伊贡博格尔 2 安德烈亚·卡尔瓦格纳 2 亚历山德拉·卡瓦拉 2 利可宾，埃尔维尼亚 1 米拉·阿彻（Myla M.Archer）。 1 安德烈·邦巴达 1 西尔维娅·邦凡蒂 1 查林，帕特里斯 1 安东尼奥·西斯特尼诺 1 格雷戈·恩格斯 1 文森佐·格瓦西 1 保拉·格拉文 1 罗克萨娜·玛丽亚·霍洛姆 1 詹姆斯·哈金斯。 1 费哈特·肯德克 1 林洪平 1 博扬·马里科维奇 1 阿扬·J·穆伊（Arjan J.Mooij）。 1 斯坦尼斯拉斯南城 1 佐兰·奥格尼亚诺维奇 1 瓦希德·拉夫 1 阿德尔·拉赫曼尼（Adel T.Rahmani）。 1 朱迪·罗米恩 1 帕特里齐亚·斯坎杜拉 1 丹尼尔·辛尼格 1 克里斯蒂安·索尔滕伯恩 1 Robert F.Stärk。 1 查尔斯·华莱士 1 海克·卫尔海姆 1 威格·威瑟林克 5篇连载文章中引用 4 计算的形式方面 2 理论计算机科学 1 计算机与系统科学杂志 1 自动推理杂志 1 工程软件进展 在4个字段中引用 17 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 1 数学教育（97-XX） 按年份列出的引文