编辑配置文件（在新选项卡中打开） 卡梅洛·洛伊亚科诺 合著者距离 作者ID： loiacono.卡梅洛 发布日期： 卢瓦科诺，卡梅罗 已编制索引的文档： 1出版物自2015年起 合著者： 2位合著者具有1联合出版物 14位合作作者 合著者 0 单作者的 1 吉安皮耶罗·卡博迪 1 Vendraminetto，达尼洛 系列 1 系统设计中的形式化方法 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 无界模型检验中Craig插值压实的优化技术。 Zbl 1341.68117号 吉安皮耶罗·卡博迪;卡梅洛·洛伊亚科诺;丹尼洛·文德拉米内托 3 2015 无界模型检验中Craig插值压缩的优化技术。 Zbl 1341.68117号 吉安皮耶罗·卡博迪;卡梅洛·洛伊亚科诺;丹尼洛·文德拉米内托 3 2015 全部的 前5名12位作者引用 2 吉安皮耶罗·卡博迪 1 Alt，Leonardo S。 1 卡穆拉蒂，体育。 1 格里戈里·费迪尤科维奇 1 安蒂·E·J·海瓦·里宁。 1 帕维尔·扬契克 1 科夫罗，简 1 卡梅洛·洛伊亚科诺 1 马可·帕莱纳 1 保罗·帕西尼 1 娜塔莎·莎莉吉娜 1 丹尼洛·文德拉米内托 连载1篇 3 系统设计中的形式化方法 在3个字段中引用 3 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文