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

塞尔吉奥·诺科

合著者距离
作者ID： 诺科麦角“Nocco，Sergio”最近发表的zbMATH文章
发布日期： 塞尔吉奥·诺科;诺科，S。
已编制索引的文档： 6出版物自2002年起
合著者： 9合著者具有6联合出版物
39位合作作者
全部的 前5名

合著者

0 单作者的
6 斯特凡诺·奎尔
4 詹皮埃罗·卡波迪
1 加布里埃尔·比肖夫。
1 Brace，Karl S。
1 卢兹·加西亚
1 亚历克斯·孔德拉提耶夫
1 卢西亚诺·拉瓦尼奥
1 布鲁诺·维维亚纳
1 渡边洋里

系列

2 可满足性、布尔建模与计算杂志
1 系统设计中的形式化方法

领域

6 计算机科学（68至XX）
1 运筹学、数学规划（90-XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物有被引用7次5文件 引用人▼ 年份▼
对模型检查器进行基准测试，以改进算法并调整性能。 Zbl 1247.68160号
詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔
4
2011
在基于导向优先BDD的验证中混合向前和向后遍历。 Zbl 1010.68521号
詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔
三
2002
对模型检查器进行基准测试，以改进算法并调整性能。 Zbl 1247.68160号
詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔
4
2011
在基于导向优先BDD的验证中混合向前和向后遍历。 Zbl 1010.68521号
詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔
三
2002
全部的 前5名

11位作者引用

4 詹皮埃罗·卡波迪
2 卡穆拉蒂，体育。
2 马可·帕莱纳
2 保罗·帕西尼
1 维杰·迪尔瓦
1 丹尼尔·科宁
1 卡梅洛·洛伊亚科诺
1 塞尔吉奥·诺科
1 米特拉·普兰达尔
1 斯特凡诺·奎尔
1 丹尼洛·文德拉米内托

连载1篇

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

在3个字段中引用

5 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文