编辑配置文件(在新选项卡中打开) 恩里卡·尼科里尼 合著者距离 作者ID: 尼科里尼·恩里卡 发布日期: 恩里卡·尼科里尼 编入索引的文档: 13出版物自2005年以来 合著者: 6位合著者具有13联合出版物 153位合作作者 全部的 前5名合著者 0 单作者的 9 丹尼尔·祖切利 8 西尔维奥·吉拉尔迪 6 西尔维奥·兰伊斯 4 克里斯托夫·林盖森 4 米歇尔·鲁西诺维奇 1 玛丽亚·保拉(Maria Paola Bonacina) 系列 1 自动推理杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 ACM计算逻辑事务 领域 10 数学逻辑和基础(03-XX) 10 计算机科学(68至XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用89中的次47文件 引用人▼ 年份▼ 面向阵列系统的SMT模型检查。 Zbl 1165.68406号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 12 2008 无穷状态系统可满足性与模型检验的组合方法。 Zbl 1213.68378号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 11 2007 Nelson-Oppen和基于重写的决策程序的可决定性和不可决定性结果。 Zbl 1222.03011号 玛丽亚·保拉(Maria Paola Bonacina);西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 11 2006 将理论并的可满足性过程与共享计数算子相结合。 Zbl 1215.03051号 恩里卡·尼科里尼;克里斯托夫·林盖森;迈克尔·鲁西诺维奇 9 2010 一个全面的组合框架。 Zbl 1407.03011号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;丹尼尔·祖切利 9 2008 共享整数偏移量的理论组合的可满足性程序。 Zbl 1234.68262号 恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 8 2009 阵列理论扩展的决策程序。 Zbl 1125.68115号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 7 2007 交换群的可组合扩张。 Zbl 1250.03021号 恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 7 2009 综合决策程序的综合框架。 兹比尔1171.03306 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;丹尼尔·祖切利 5 2005 具有算术约束的数据结构:非不相交组合。 Zbl 1193.68090号 恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 5 2009 通过集成决策过程和实例化策略来决定数组理论的扩展。 Zbl 1152.68519号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·拉尼斯;丹尼尔·祖切利 三 2006 Noetherianity和组合问题。 Zbl 1148.03010号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 2 2007 将理论并的可满足性过程与共享计数算子相结合。 兹比尔1215.03051 恩里卡·尼科里尼;克里斯托夫·林盖森;迈克尔·鲁西诺维奇 9 2010 共享整数偏移量的理论组合的可满足性程序。 Zbl 1234.68262号 恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 8 2009 交换群的可组合扩张。 Zbl 1250.03021号 恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 7 2009 具有算术约束的数据结构:非不相交组合。 Zbl 1193.68090号 恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 5 2009 面向阵列系统的SMT模型检查。 Zbl 1165.68406号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 12 2008 一个全面的组合框架。 Zbl 1407.03011号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;丹尼尔·祖切利 9 2008 无穷状态系统可满足性与模型检验的组合方法。 Zbl 1213.68378号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 11 2007 阵列理论扩展的决策程序。 Zbl 1125.68115号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 7 2007 Noetherianity和组合问题。 Zbl 1148.03010号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 2 2007 Nelson-Oppen和基于重写的决策程序的可决定性和不可决定性结果。 Zbl 1222.03011号 玛丽亚·保拉(Maria Paola Bonacina);西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 11 2006 通过集成决策过程和实例化策略来决定数组理论的扩展。 Zbl 1152.68519号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利 三 2006 综合决策程序的综合框架。 Zbl 1171.03306号 西尔维奥·吉拉尔迪;恩里卡·尼科里尼;丹尼尔·祖切利 5 2005 所有引用出版物 前5名被引用出版物 全部的 前5名被75位作者引用 9 克里斯托夫·林盖森 8 西尔维奥·吉拉尔迪 6 恩里卡·尼科里尼 6 西尔维奥·兰伊斯 4 玛丽亚·保拉(Maria Paola Bonacina) 4 亚历山德罗·西马蒂 4 亚历山德罗·吉亚诺拉 4 马可·蒙塔利 三 迭戈·卡尔瓦内斯 三 Paula Chocron 三 穆纳乔·埃切宁 三 帕斯卡·方丹 三 阿尔贝托·格里乔 三 安德烈·里夫金 三 米歇尔·鲁西诺维奇 三 斯特凡诺·托内塔 三 丹尼尔·祖切利 2 莱昂纳多·德·莫拉 2 维克多·昆卡 2 克里斯托弗·林奇(Christopher A.Lynch)。 2 尼古拉斯·佩尔蒂埃 2 罗德里戈·拉亚 2 维奥里卡Sofrone-Stokkerman 2 陈德康 1 本杰明·阿米诺夫 1 克拉克·W·巴雷特。 1 西蒙·布利兹 1 罗伯托·布鲁托梅索 1 斯特凡·德姆里。 1 邓玉欣 1 阿米特·库马尔·达尔 1 乔里·杜布罗文 1 保罗·费利 1 安德斯·弗朗森 1 大卫·加兰 1 圣菲省格拉汉·伦格兰德 1 顾,明 1 他,费 1 凯乔·赫尔扬科 1 托马斯·希伦布兰德 1 侯泽晨 1 卡斯滕·伊勒曼 1 格兰特·伊拉西 1 瑞典雅各布斯 1 汤米·A·琼蒂拉。 1 赫莱内·基什内尔 1 科瓦奇,劳拉·伊尔迪科 1 阿列克谢·利西萨(Alexei P.Lisitsa)。 1 艾瑞克·马德琳 1 恩里科·马格纳戈 1 何塞·梅塞盖尔·瓜伊塔 1 塞尔吉奥·莫弗 1 塞萨尔·穆尼奥斯。 1 秦旭东 1 吉安卢卡·雷登迪 1 卡米洛·罗查 1 马可·罗维里 1 萨沙·鲁宾 1 伊凡·鲁奇金 1 阿诺德·桑尼尔 1 布拉德利·施默尔(Bradley R.Schmerl)。 1 罗伯托·塞巴斯蒂亚尼 1 瓦莱里奥·塞尼 1 Natarajan Shankar 1 孙家光 1 阳光,约书亚 1 塞萨尔·蒂内利 1 托马斯·瓦尔塞奇 1 马可·沃伊格特 1 安德烈·沃伦科夫 1 王,弯腰 1 克里斯托夫·韦登巴赫 1 莎拉·温克勒 1 张敏 1 周敏(Zhou,Min) 全部的 前5名11篇连载文章中引用 9 自动推理杂志 三 信息与计算 三 程序设计中的逻辑和代数方法杂志 2 符号计算杂志 2 数学与人工智能年鉴 1 信息学报 1 信息处理信件 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 在3个字段中引用 46 计算机科学(68至XX) 21 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 按年份列出的引文