编辑配置文件(在新选项卡中打开) 安娜丽莎·马西尼 合著者距离 作者ID: 马西尼亚娜丽莎 发布日期: 安娜丽莎·马西尼;马西尼,A。 已编制索引的文档: 15出版物自1994年以来 合著者: 11位合著者具有14份联合出版物 183位合作作者 全部的 前5名合著者 1 单作者的 8 Tiziana卡拉莫内里 4 托尼·曼奇尼 4 费德里科玛丽 4 伊戈尔·梅拉蒂 4 恩里科·特隆西 三 伊姆里希·弗托 2 朱塞佩·A·德比亚斯。 2 鲁博米·托罗 1 克莱门蒂(Andrea E.F.Clementi)。 1 Ferrone,C。 1 伊万诺·萨尔沃 全部的 前5名系列 2 信息处理信件 2 理论计算机科学 1 离散应用数学 1 离散数学 1 电气电子工程师学会计算机期刊 1 网络 1 复杂系统 1 并行与分布式计算杂志 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 字段 13 计算机科学(68-XX) 4 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用32中的次26文件 引用人▼ 年份▼ 全(k)元树的抗体宽度。 Zbl 1202.05119号 Tiziana卡拉莫内里;安娜丽莎·马西尼;Török,Lébomír;维特奥,伊姆里奇 6 2006 SyLVaaS:作为服务的系统级正式验证。 Zbl 1374.68294号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 5 2016 多级互连网络上的全对所有个性化通信。 Zbl 1019.68002号 安娜丽莎·马西尼 4 2003 边带宽度的新结果。 Zbl 1070.68115号 Tiziana卡拉莫内里;安娜丽莎·马西尼;伊姆里希·弗罗·奥里奇 4 2003 检查多级互连网络等效性的有效算法。 Zbl 1072.68002号 Tiziana卡拉莫内里;安娜丽莎·马西尼 4 2004 全(k)元树的抗体宽度。 Zbl 1208.05126号 Tiziana卡拉莫内里;安娜丽莎·马西尼;托罗克,卢博米尔;维特奥,伊姆里奇 三 2009 最小化最大预期验证时间。 Zbl 1422.68164号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2017 互连网络的最佳三维布局。 兹比尔0973.68005 卡拉莫内里,T。;马西尼,A。 1 2001 细胞自动机上的快速并行算法。 Zbl 0834.68084号 克莱门蒂,A。;德比亚斯,G.A。;马西尼,A。 1 1994 关于检查模拟脚本的等效性。 Zbl 1518.68212号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2021 系统级形式验证的模拟器语义。 Zbl 1476.68153号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2015 关于检查模拟脚本的等效性。 Zbl 1518.68212号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2021 最小化最大预期验证时间。 Zbl 1422.68164号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 2 2017 SyLVaaS:作为服务的系统级正式验证。 Zbl 1374.68294号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 5 2016 系统级形式验证的模拟器语义。 兹比尔1476.68153 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2015 全(k)元树的抗体宽度。 Zbl 1208.05126号 Tiziana卡拉莫内里;安娜丽莎·马西尼;Lörök;乌博米尔;Vrt&rsquo的;o、 伊姆里奇 三 2009 全(k)元树的抗体宽度。 Zbl 1202.05119号 Tiziana卡拉莫内里;安娜丽莎·马西尼;Török,Lébomír;Vrt&rsquo的;o、 伊姆里奇 6 2006 检查多级互连网络等效性的有效算法。 Zbl 1072.68002号 Tiziana卡拉莫内里;安娜丽莎·马西尼 4 2004 多级互连网络上的全对所有个性化通信。 Zbl 1019.68002号 安娜丽莎·马西尼 4 2003 边带宽度的新结果。 Zbl 1070.68115号 Tiziana卡拉莫内里;安娜丽莎·马西尼;伊姆里希·弗罗·奥里奇 4 2003 互连网络的最佳三维布局。 Zbl 0973.68005号 卡拉莫内里,T。;马西尼,A。 1 2001 细胞自动机上的快速并行算法。 Zbl 0834.68084号 克莱门蒂,A。;De Biase,总会计师。;马西尼,A。 1 1994 所有引用出版物 前5名被引用出版物 全部的 前5名57位作者引用 三 托尼·曼奇尼 三 安娜丽莎·马西尼 三 伊戈尔·梅拉蒂 三 鲁博米·托罗 三 恩里科·特隆西 三 伊姆里希·弗托 2 迈克尔·贝科斯(Michael A.Bekos)。 2 张飞煌 2 陈秋元 2 马利安·恰 2 斯特凡·多布雷夫 2 迈克尔·考夫曼 2 斯蒂芬·科波罗夫。 2 拉斯蒂斯拉夫·克拉洛维奇 2 费德里科·马里奥 2 达纳州帕尔杜布斯卡 2 桑卡·维拉莫尼 1 约瑟夫·巴洛夫 1 里查班萨尔 1 鲍学文 1 保罗·波托尼 1 Chen,Qian Matteo先生 1 Chen,Richard B。 1 陈永明 1 周,嗯,Y。 1 洛科·德尼古拉 1 萨尔瓦多迪格雷戈里奥 1 索丽娜·杜米特里斯库 1 大卫·亚瑟·爱普斯坦 1 阿尔贝托·芬齐 1 丹尼尔·戈拉 1 黄,Frank Kwangming 1 姜涛 1 Frédéric Lardeux公司 1 李,乔 1 Liaw,Sheng-Chyang先生 1 林,兰 1 林毅勋 1 林仁春 1 Victor W.刘。 1 泽维·米勒 1 德鲁夫·穆巴伊 1 阿扎里亚帕斯 1 奥列格·皮库尔科 1 安德拉斯·普卢哈尔 1 丹·普里蒂金 1 拉米雷斯·托雷斯,加布里埃尔 1 爱德华多·罗德里格斯·特洛 1 希勒·罗梅罗·莫西瓦斯 1 伊万诺·萨尔沃 1 马库斯·辛尔 1 卡马尔·斯利瓦斯塔瓦 1 斯塔夫罗普洛斯,康斯坦蒂诺斯S。 1 王晓翰 1 Jerzy Wojciechowski 1 吴晓琳 1 于明芬 全部的 前5名12篇连载文章中引用 6 理论计算机科学 5 离散应用数学 2 离散算法杂志 2 程序设计中的逻辑和代数方法杂志 1 离散数学 1 信息处理信件 1 计算机与运筹学 1 启发式杂志 1 组合优化期刊 1 CEJOR公司。中欧运筹学杂志 1 计算机基础理论 1 RAIRO公司。理论信息学及其应用 在4个字段中引用 17 组合数学(05-XX) 13 计算机科学(68-XX) 6 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 按年份列出的引文