编辑配置文件(在新选项卡中打开) 斯特凡诺·奎尔 合著者距离 作者ID: 特法诺女王 发布日期: 斯特凡诺·奎尔;奎尔,S。 已编制索引的文档: 7出版物自2002年起 合著者: 13位合著者具有7联合出版物 57位合作作者 全部的 前5名合著者 0 单作者的 6 塞尔吉奥·诺科 5 詹皮埃罗·卡波迪 1 加布里埃尔·比肖夫。 1 尼古拉·鲍里亚 1 Brace,Karl S。 1 保罗·卡穆拉蒂 1 卢兹·加西亚 1 亚历克斯·孔德拉提耶夫 1 卢西亚诺·拉瓦尼奥 1 马可·帕莱纳 1 保罗·帕西尼 1 布鲁诺·维维亚纳 1 渡边洋里 系列 2 可满足性、布尔建模与计算杂志 1 系统设计中的形式化方法 字段 7 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用11中的次9文件 引用人▼ 年份▼ 最大双保留字符串映射问题的7/2近似算法。 Zbl 1380.68464号 尼古拉·鲍里亚;詹皮埃罗·卡波迪;保罗·卡穆拉蒂;马可·帕莱纳;保罗·帕西尼;斯特凡诺·奎尔 4 2016 对模型检查器进行基准测试,以改进算法并调整性能。 Zbl 1247.68160号 詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 4 2011 在基于导向优先BDD的验证中混合向前和向后遍历。 Zbl 1010.68521号 詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 三 2002 最大双保留字符串映射问题的7/2近似算法。 Zbl 1380.68464号 尼古拉·鲍里亚;詹皮埃罗·卡波迪;保罗·卡穆拉蒂;马可·帕莱纳;保罗·帕西尼;斯特凡诺·奎尔 4 2016 对模型检查器进行基准测试,以改进算法并调整性能。 Zbl 1247.68160号 詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 4 2011 在基于导向优先BDD的验证中混合向前和向后遍历。 Zbl 1010.68521号 詹皮埃罗·卡波迪;塞尔吉奥·诺科;斯特凡诺·奎尔 三 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名被22位作者引用 4 詹皮埃罗·卡波迪 2 卡穆拉蒂,体育。 2 陈勇 2 林国辉 2 刘,田 2 罗泰波 2 马可·帕莱纳 2 保罗·帕西尼 2 徐,姚 2 张鹏 1 布莱恩·布鲁巴赫 1 德奥利维拉·奥利维拉,马特乌斯 1 维杰·迪尔瓦 1 克里斯蒂安·科穆塞维茨 1 丹尼尔·科宁 1 卡梅洛·洛伊亚科诺 1 塞尔吉奥·诺科 1 米特拉·普兰达尔 1 斯特凡诺·奎尔 1 苏冰 1 丹尼洛·文德拉米内托 1 梅拉夫·泽哈维 3篇连载文章中引用 4 系统设计中的形式化方法 1 理论计算机科学 1 组合优化期刊 在5个字段中引用 8 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文