编辑配置文件(在新选项卡中打开) 克里斯蒂亚,马克西米利亚诺 合著者距离 作者ID: 克里斯蒂亚·马西米利亚诺 发布日期: 克里斯蒂亚,马克西米利亚诺 编入索引的文档: 11出版物自2015年起 合著者: 4位合著者具有11联合出版物 24位合作作者 合著者 0 单作者的 10 Gianfranco罗西 1 吉多·德卢卡 1 克劳迪娅·弗莱德曼 1 卡洛斯·卢纳 系列 5 自动推理杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 字段 11 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用47中的次14文件 引用人▼ 年份▼ 求解有限集和二元关系上的无量词一阶约束。 Zbl 1468.03009号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 9 2020 限制内涵集的一种判定过程。 Zbl 1496.03041号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 8 2017 Bell-LaPadula安全属性的自动证明。 Zbl 07356979号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 7 2021 有限集合关系代数的集合求解器。 Zbl 1518.68415号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 6 2018 集合、二元关系和部分函数的判定过程。 Zbl 1411.68060号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 5 2016 限制内涵集的自动推理。 Zbl 07432188号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 5 2021 Tokeneer ID站规范的自动验证原型。 兹比尔07461167 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 4 2021 使用集合将部分函数添加到约束逻辑编程中。 Zbl 1379.68053号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西;克劳迪娅·弗莱德曼 三 2015 Bell-LaPadula安全属性的自动证明。 Zbl 07356979号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 7 2021 限制内涵集的自动推理。 Zbl 07432188号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 5 2021 Tokeneer ID站规范的自动验证原型。 兹比尔07461167 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 4 2021 求解有限集和二元关系上的无量词一阶约束。 Zbl 1468.03009号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 9 2020 有限集关系代数的集求解器。 Zbl 1518.68415号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 6 2018 限制内涵集的一种判定过程。 Zbl 1496.03041号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 8 2017 集合、二元关系和部分函数的判定过程。 Zbl 1411.68060号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西 5 2016 使用集合将部分函数添加到约束逻辑编程中。 Zbl 1379.68053号 克里斯蒂亚,马克西米利亚诺;Gianfranco罗西;克劳迪娅·弗莱德曼 三 2015 所有引用出版物 前5名被引用出版物 全部的 前5名16位作者引用 7 克里斯蒂亚,马克西米利亚诺 6 Gianfranco罗西 5 坎通·多梅尼科 三 皮埃特罗·毛吉里 三 奥莫多,尤金尼奥·乔瓦尼 2 玛丽安娜·尼科洛西·阿斯蒙多 2 丹尼尔·弗朗西斯科·桑塔马利亚 1 科恩·克莱森 1 安德烈亚·德·多梅尼科 1 吉多·德·卢卡 1 阿戈斯蒂诺·多维尔 1 安德烈亚·福米萨诺 1 安·利利斯特罗姆 1 卡洛斯·卢纳 1 恩里科·蓬泰利 1 法比奥·塔迪沃 5篇连载文章中引用 6 自动推理杂志 2 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 2 理论计算机科学 2 计算机基础理论 1 ACM计算逻辑事务 在2个字段中引用 14 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 按年份列出的引文