×
作者ID: 马西尼亚娜丽莎“Massini,Annalisa”最近发表的zbMATH文章
发布日期: 安娜丽莎·马西尼;马西尼,A。
已编制索引的文档: 15出版物自1994年以来
合著者: 11位合著者具有14份联合出版物
183位合作作者

按年份列出的出版物

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

按年份列出的引文