编辑配置文件（在新选项卡中打开） 亚历山德罗·吉亚诺拉 合著者距离 作者ID: 吉安娜·莱斯桑德罗 发布日期： 亚历山德罗·吉亚诺拉 编入索引的文档： 14出版物自2017年起，包括1个附加arXiv预打印 合著者： 14合著者具有14联合出版物 317位Co-Co作者 全部的 前5名合著者 0 单作者的 11 西尔维奥·吉拉尔迪 6 迭戈·卡尔瓦内斯 6 马可·蒙塔利 6 安德烈·里夫金 三 迪帕克·卡普尔 三 尼科莱塔·萨巴迪尼 2 斯特凡诺·卡桑吉安 1 埃琳娜·迪拉沃雷 1 德西里·曼尼卡迪 1 希亚拉·纳索 1 马里奥·罗曼 1 菲律宾斯基亚沃 1 巴布亚州索波辛斯基 1 西蒙·蒂尼 全部的 前5名系列 2 自动推理杂志 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 领域 11 计算机科学（68至XX） 6 数理逻辑与基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物被引用66中的次20文件 引用人▼ 年份▼ 从模型完整性到数据感知流程的验证。 Zbl 1443.68103号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 16 2019 模型完整性、覆盖和叠加。 Zbl 07178974号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 11 2019 基于SMT的数据软件过程验证：一种模型理论方法。 Zbl 1495.68129号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 11 2020 插值、合并和组合（非分离签名情况）。 Zbl 1495.03054号 西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉 9 2017 插值、合并和超错位的模块化结果。 Zbl 1469.03092号 西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉 8 2018 使用MaxDiff对数组进行插值和合并。 Zbl 07410429号 西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔 三 2021 Cospan/Span（Graph）：开放的可重构自动机网络的代数。 Zbl 1433.68223号 亚历山德罗·吉亚诺拉;斯特凡诺·卡桑吉安;尼科莱塔·萨巴迪尼 2 2017 模型完备性、一致插值和叠加演算。（应用于验证数据软件过程）。 Zbl 07433024号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 2 2021 （mathcal{EUF}）中的统一插值：使用DAG表示的算法。 Zbl 07566058号 西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔 1 2022 CospanSpan（图形）：心脏系统的组成描述。 Zbl 1435.68206号 亚历山德罗·吉亚诺拉;斯特凡诺·卡桑吉安;德西里·曼尼卡迪;萨巴迪尼，尼科莱塔;菲利波·希亚维奥;西蒙·蒂尼 1 2020 通过Beth可定义性组合均匀插值。 Zbl 07606344号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 1 2022 组合封面和Beth可定义性。 Zbl 07614513号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 1 2020 （mathcal{EUF}）中的统一插值：使用DAG表示的算法。 兹比尔07566058 西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔 1 2022 通过Beth可定义性组合均匀插值。 Zbl 07606344号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 1 2022 使用MaxDiff对数组进行插值和合并。 Zbl 07410429号 西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔 三 2021 模型完备性、一致插值和叠加演算。（应用于验证数据软件过程）。 Zbl 07433024号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 2 2021 基于SMT的数据软件过程验证：一种模型理论方法。 兹比尔1495.68129 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 11 2020 CospanSpan（图形）：心脏系统的组成描述。 Zbl 1435.68206号 亚历山德罗·吉亚诺拉;斯特凡诺·卡桑吉安;德西里·曼尼卡迪;尼科莱塔·萨巴迪尼;菲利波·希亚维奥;西蒙·蒂尼 1 2020 组合封面和Beth可定义性。 Zbl 07614513号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 1 2020 从模型完整性到数据感知流程的验证。 Zbl 1443.68103号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 16 2019 模型完整性、覆盖和叠加。 Zbl 07178974号 迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 11 2019 插值、合并和超错位的模块化结果。 Zbl 1469.03092号 西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉 8 2018 插值、合并和组合（非分离签名情况）。 Zbl 1495.03054号 西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉 9 2017 Cospan/Span（Graph）：开放的可重构自动机网络的代数。 Zbl 1433.68223号 亚历山德罗·吉亚诺拉;斯特凡诺·卡桑吉安;尼科莱塔·萨巴迪尼 2 2017 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 8 西尔维奥·吉拉尔迪 8 亚历山德罗·吉亚诺拉 5 迭戈·卡尔瓦内斯 5 马可·蒙塔利 5 安德烈·里夫金 2 迪帕克·卡普尔 1 亚历山德罗·阿塔尔 1 马提亚斯·巴兹 1 克拉克·W·巴雷特。 1 西蒙·布利兹 1 胡里奥·卡拉斯克尔。 1 邓玉欣 1 大卫·L·迪尔。 1 布伦丹·方 1 沃尔夫冈·格里斯坎普 1 侯泽晨 1 让·克里斯托夫·荣格 1 Lolic，阿内拉 1 艾瑞克·马德琳 1 马丁·奥列特，纳西索 1 奥斯卡·马汀 1 安德烈亚·马祖洛 1 哈利勒·梅切拉奥伊 1 乔治·梅特卡夫 1 希亚拉·纳索 1 乍得内斯特 1 安德烈斯·诺兹利 1 安娜·奥扎基 1 Park，Junkil公园 1 沙兹·卡迪尔 1 秦旭东 1 卢卡·雷吉奥 1 安德鲁·雷诺兹 1 Maru Sarazola 1 盛英 1 纳塔利亚·西多罗娃 1 维奥里卡Sofrone-Stokkerman 1 多米尼克·索默斯 1 塞萨尔·蒂内利 1 van Dongen，Boudewijn F。 1 阿尔贝托·维尔德乔 1 马可·沃伊格特 1 弗兰克·沃尔特 1 张敏 1 尤尼·佐哈尔 全部的 前5名11篇连载文章中引用 4 自动推理杂志 2 ACM计算逻辑事务 1 信息学报 1 符号逻辑杂志 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 范畴的理论与应用 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 1 Modelirovanie i Analiz信息系统 在5个字段中引用 15 计算机科学（68至XX） 9 数理逻辑与基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 阶、格、有序代数结构（06-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文