×
编辑配置文件（在新选项卡中打开）

米歇尔，马祖奇

合著者距离
作者ID： 马祖奇·米切尔“Mazzucchi，Michele”最近发表的zbMATH文章
发布方式： 米歇尔，马祖奇
已编制索引的文档： 3出版物自2009年起
合著者： 8位合著者具有3联合出版物
187位合作作者
全部的 前5名

合著者

0 单作者的
三 丹尼尔·科宁
2 杰拉德·巴斯勒
2 托马斯·沃尔
1 安吉洛·布里洛特
1 何楠楠
1 米特拉·普兰达尔
1 菲利普·吕默
1 乔治·威森巴赫

系列

1 系统设计中的形式化方法

领域

三 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

三出版物有被引用12中的次11文件 引用人▼ 年份▼
并发软件的符号计数器抽象。 Zbl 1242.68055号
杰拉德·巴斯勒;米歇尔，马祖奇;托马斯·沃尔;丹尼尔·克罗宁
9
2009
上下文软件计数器抽象。 Zbl 1213.68362号
杰拉德·巴斯勒;米歇尔，马祖奇;托马斯·沃尔;丹尼尔·克罗宁
2
2010
Simulink模型基于变异的测试用例生成。 Zbl 1312.68130号
安吉洛·布里洛特;何楠楠;米歇尔，马祖奇;丹尼尔·克罗宁;米特拉·普兰达尔;菲利普·吕默;乔治·威森巴赫
1
2010
上下文软件计数器抽象。 Zbl 1213.68362号
杰拉德·巴斯勒;米歇尔，马祖奇;托马斯·沃尔;丹尼尔·克罗宁
2
2010
Simulink模型基于变异的测试用例生成。 Zbl 1312.68130号
安吉洛·布里洛特;何楠楠;米歇尔，马祖奇;丹尼尔·克罗宁;米特拉·普兰达尔;菲利普·吕默;乔治·威森巴赫
1
2010
并发软件的符号计数器抽象。 Zbl 1242.68055号
杰拉德·巴斯勒;米歇尔，马祖奇;托马斯·沃尔;丹尼尔·克罗宁
9
2009
所有引用出版物 前5名被引用出版物
全部的 前5名

被29位作者引用

三 丹尼尔·科宁
2 Balasubramanian，A.R。
2 哈维尔·埃斯帕尔扎
2 伊戈尔·康诺夫（Igor V.Konnov）。
2 米哈伊尔·拉斯金
2 赫尔穆特·维思
2 托马斯·沃尔
2 约瑟夫·威德
1 安德里亚诺夫，P.S。
1 杰拉德·巴斯勒
1 阿明·比尔
1 克莱尔·迪克森
1 阿拉斯泰尔·唐纳森。
1 迈克尔·费希尔
1 保罗·盖纳
1 法特梅·加塞米
1 乌尔里希·赫斯塔特
1 亚历山大·凯泽。
1 拉丁·科斯拉维
1 马里亚娜·拉齐奇
1 斯文·林杰
1 托尼·曼奇尼
1 费德里科·马里奥
1 安娜丽莎·马西尼
1 米歇尔，马祖奇
1 伊戈尔·梅拉蒂
1 迈克尔·陶奇尼格
1 恩里科·特隆西
1 尤塞菲，贝纳兹
全部的 前5名

6篇连载文章中引用

4 系统设计中的形式化方法
1 编程和计算机软件
1 信息与计算
1 计算的形式方面
1 计算机科学中的逻辑方法
1 程序设计中的逻辑和代数方法杂志

在2个字段中引用

11 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的引文