编辑配置文件(在新选项卡中打开) 詹皮埃罗·卡波迪 合著者距离 作者ID: cabodi.gianpiero公司 发布方式: 詹皮埃罗·卡波迪;卡波迪,G。 已编制索引的文档: 11出版物自2001年起 合著者: 16位合著者具有10联合出版物 54位合作作者 全部的 前5名合著者 1 单作者的 5 斯特凡诺·奎尔 4 塞尔吉奥·诺科 三 马可·帕莱纳 三 保罗·帕西尼 2 卡穆拉蒂,体育。 2 保罗·卡穆拉蒂 2 丹尼洛·文德拉米内托 1 加布里埃尔·比肖夫。 1 尼古拉·鲍里亚 1 Brace,Karl S。 1 法布里西奥·菲诺奇亚罗 1 亚历克斯·孔德拉提耶夫 1 卢西亚诺·拉瓦尼奥 1 卢瓦科诺,卡梅罗 1 马尔科·穆尔恰诺 1 渡边洋里 系列 4 系统设计中的形式化方法 领域 11 计算机科学(68至XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用16中的次11文件 引用人▼ 年份▼ 最大双保留字符串映射问题的7/2近似算法。 Zbl 1380.68464号 尼古拉·鲍里亚;詹皮埃罗·卡波迪;保罗·卡穆拉蒂;马可·帕莱纳;保罗·帕西尼;斯特凡诺·奎尔 4 2016 对模型检查器进行基准测试,以改进算法并调整性能。 Zbl 1247.68160号 詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 4 2011 在基于导向优先BDD的验证中混合向前和向后遍历。 Zbl 1010.68521号 詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 三 2002 无界模型检验中Craig插值压实的优化技术。 Zbl 1341.68117号 詹皮埃罗·卡波迪;卡梅洛·洛伊亚科诺;丹尼洛·文德拉米内托 三 2015 Meta-BDDs:布尔函数分层符号操作的分解表示。 Zbl 0991.68547号 詹皮埃罗·卡波迪 2 2001 最大双保留字符串映射问题的7/2近似算法。 Zbl 1380.68464号 尼古拉·鲍里亚;詹皮埃罗·卡波迪;保罗·卡穆拉蒂;马可·帕莱纳;保罗·帕西尼;斯特凡诺·奎尔 4 2016 无界模型检验中Craig插值压实的优化技术。 兹比尔1341.68117 詹皮埃罗·卡波迪;卡梅洛·洛伊亚科诺;丹尼洛·文德拉米内托 三 2015 对模型检查器进行基准测试,以改进算法并调整性能。 Zbl 1247.68160号 詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 4 2011 在基于导向优先BDD的验证中混合向前和向后遍历。 Zbl 1010.68521号 詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 三 2002 Meta-BDDs:布尔函数分层符号操作的分解表示。 Zbl 0991.68547号 詹皮埃罗·卡波迪 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名31位作者引用 4 詹皮埃罗·卡波迪 2 卡穆拉蒂,体育。 2 陈勇 2 林国辉 2 刘,田 2 罗泰波 2 马可·帕莱纳 2 保罗·帕西尼 2 徐,姚 2 张鹏 1 Alt,Leonardo S。 1 布莱恩·布鲁巴赫 1 德奥利维拉·奥利维拉,马特乌斯 1 维杰·迪尔瓦 1 格里戈里·费迪尤科维奇 1 奥尔纳·格伦伯格 1 泰米尔·海曼 1 安蒂·E·J·海瓦·里宁。 1 帕维尔·扬契克 1 科夫罗,简 1 克里斯蒂安·科穆塞维奇 1 丹尼尔·科宁 1 卡梅洛·洛伊亚科诺 1 塞尔吉奥·诺科 1 米特拉·普兰达尔 1 斯特凡诺·奎尔 1 阿萨夫·舒斯特 1 娜塔莎·莎莉吉娜 1 苏冰 1 丹尼洛·文德拉米内托 1 梅拉夫·泽哈维 3篇连载文章中引用 6 系统设计中的形式化方法 1 理论计算机科学 1 组合优化期刊 在5个字段中引用 10 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文