编辑配置文件（在新选项卡中打开） 马可·科米尼 合著者距离 作者ID： comini.marco公司 发布日期： 马可·科米尼;M.科米尼。 外部链接： MGP公司 已编制索引的文档： 19出版物自1996年起 合著者： 19位合著者具有19联合出版物 246位合作作者 全部的 前5名合著者 0 单作者的 8 李维，乔治 5 罗伯塔·戈里 5 艾丽西亚·维拉纽埃娃 4 劳拉·蒂托洛 三 玛丽亚·希亚拉（Maria Chiara Meo） 2 玛丽亚·阿尔普特 2 乔瓦尼·巴奇 2 玛丽亚·德尔马·加拉多 2 圣地亚哥埃斯科瓦尔 2 莫雷诺，法拉斯基 2 保罗·沃尔佩 1 黛米斯·巴利斯 1 安德烈·巴鲁佐 1 费卢西奥·达米亚尼 1 马可·费利乌。 1 何塞·伊波拉 1 萨尔瓦多卢卡斯 1 朱利安娜·维蒂埃洛 1 塞缪尔·弗雷希 全部的 前5名系列 2 理论计算机科学 2 逻辑程序设计理论与实践 1 计算机程序设计科学 1 逻辑编程杂志 1 信息与计算 1 计算的形式方面 领域 19 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用65中的次46文件 引用人▼ 年份▼ 抽象诊断。 Zbl 0947.68024号 马可·科米尼;李维，乔治;玛丽亚·希亚拉（Maria Chiara Meo）;朱利安娜·维蒂埃洛 17 1999 功能程序的抽象诊断。 Zbl 1278.68056号 玛丽亚·阿尔普特;马可·科米尼;圣地亚哥埃斯科瓦尔;莫雷诺，法拉斯基;萨尔瓦多卢卡斯 11 2003 逻辑程序的观察理论。 Zbl 1007.68020号 马可·科米尼;李维，乔治;玛丽亚·希亚拉（Maria Chiara Meo） 11 2001 定时并发约束程序的抽象诊断。 Zbl 1222.68053号 马可·科米尼;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 8 2011 SLD衍生物的组成性质。 Zbl 0912.68124号 马可·科米尼;玛丽亚·希亚拉（Maria Chiara Meo） 5 1999 术语重写系统的紧凑不动点语义。 Zbl 1209.68285号 Alpunte，M。;M.科米尼。;埃斯科瓦尔，S。;M.法拉斯基。;J·伊波拉。 三 2010 基于抽象解释的逻辑程序验证。 Zbl 0966.68034号 马可·科米尼;罗伯塔·戈里;李维，乔治;保罗·沃尔佩 2 1999 基于抽象解释的逻辑程序验证。 Zbl 1071.68531号 马可·科米尼;罗伯塔·戈里;李维，乔治;保罗·沃尔佩 2 2003 一阶功能逻辑程序的抽象诊断。 Zbl 1326.68052号 乔瓦尼·巴奇;马可·科米尼 1 2011 （mathsf{tccp}）的泛性质的抽象分析。 Zbl 1362.68044号 马可·科米尼;玛丽亚·德尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 1 2015 关于多态递归、类型系统和抽象解释。 Zbl 1149.68340号 马可·科米尼;费卢西奥·达米亚尼;塞缪尔·弗雷奇 1 2008 函数逻辑语言中的逻辑特性为自动合成规范带来了额外的困难。 Zbl 1281.68075号 乔瓦尼·巴奇;马可·科米尼;马可·费利乌。;艾丽西亚·维拉纽埃娃 1 2012 逻辑程序作为逻辑程序归纳验证中的规范。 Zbl 1263.68034号 马可·科米尼;罗伯塔·戈里;李维，乔治 1 2001 逻辑程序的基于断言的归纳验证方法。 Zbl 1264.68110号 马可·科米尼;罗伯塔·戈里;李维，乔治 1 2001 （mathsf{tccp}）的泛性质的抽象分析。 Zbl 1362.68044号 马可·科米尼;玛丽亚·德尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 1 2015 函数逻辑语言中的逻辑特性为自动合成规范带来了额外的困难。 Zbl 1281.68075号 乔瓦尼·巴奇;马可·科米尼;马可·费利乌。;艾丽西亚·维拉纽埃娃 1 2012 定时并发约束程序的抽象诊断。 Zbl 1222.68053号 马可·科米尼;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 8 2011 一阶功能逻辑程序的抽象诊断。 Zbl 1326.68052号 乔瓦尼·巴奇;马可·科米尼 1 2011 术语重写系统的紧凑不动点语义。 Zbl 1209.68285号 Alpunte，M。;M.科米尼。;埃斯科瓦尔，S。;M.法拉斯基。;J·伊波拉。 三 2010 关于多态递归、类型系统和抽象解释。 Zbl 1149.68340号 马可·科米尼;费卢西奥·达米亚尼;塞缪尔·弗雷希 1 2008 功能程序的抽象诊断。 兹比尔1278.68056 玛丽亚·阿尔普特;马可·科米尼;圣地亚哥埃斯科瓦尔;莫雷诺，法拉斯基;萨尔瓦多卢卡斯 11 2003 基于抽象解释的逻辑程序验证。 Zbl 1071.68531号 马可·科米尼;罗伯塔·戈里;李维，乔治;保罗·沃尔佩 2 2003 逻辑程序的观察理论。 Zbl 1007.68020号 马可·科米尼;李维，乔治;玛丽亚·希亚拉（Maria Chiara Meo） 11 2001 逻辑程序作为逻辑程序归纳验证中的规范。 兹比尔1263.68034 马可·科米尼;罗伯塔·戈里;李维，乔治 1 2001 逻辑程序的基于断言的归纳验证方法。 Zbl 1264.68110号 马可·科米尼;罗伯塔·戈里;李维，乔治 1 2001 抽象诊断。 Zbl 0947.68024号 马可·科米尼;李维，乔治;玛丽亚·希亚拉（Maria Chiara Meo）;朱利安娜·维蒂埃洛 17 1999 SLD衍生物的组成特性。 Zbl 0912.68124号 马可·科米尼;玛丽亚·希亚拉（Maria Chiara Meo） 5 1999 基于抽象解释的逻辑程序验证。 Zbl 0966.68034号 马可·科米尼;罗伯塔·戈里;李维，乔治;保罗·沃尔佩 2 1999 所有引用出版物 前5名被引用出版物 全部的 前5名68位作者引用 8 马可·科米尼 7 玛丽亚·阿尔普特 6 莫雷诺，法拉斯基 4 拉斐尔·卡巴列罗（Rafael E.Caballero）。 4 罗伯塔·戈里 4 叶卡捷琳娜·科门丹茨卡亚 4 李维，乔治 4 詹姆斯·利普顿（James B.Lipton）。 4 卡洛斯·奥拉特 4 艾丽西亚·维拉纽埃娃 三 吉安卢卡·阿马托 三 圣地亚哥埃斯科瓦尔 三 马丁·奥列特，纳西索 三 权力，约翰 三 阿德里安·里斯科 三 劳拉·蒂托洛 三 阿尔贝托·维尔德乔 2 塞尔吉奥·安托伊 2 黛米斯·巴利斯 2 科雷亚，弗朗西斯科·何塞 2 玛丽亚·德尔马·加拉多 2 罗伯托·贾科巴齐 2 迈克尔·哈纳斯 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 何塞·伊波拉 2 玛丽亚·希亚拉（Maria Chiara Meo） 2 卡图西亚帕拉米德斯 1 艾尔维拉·阿尔伯特 1 詹姆·阿里亚斯 1 乔瓦尼·巴奇 1 安娜丽莎·博西 1 布埃诺，弗朗西斯科 1 法国科雷亚 1 帕特里克·库索特 1 拉迪亚·库索特 1 卢特菲·达尔马万 1 拉斐尔·德尔瓦多·维塞达 1 冯、袁 1 斯泰西·芬克尔斯坦。 1 彼得·弗雷德。 1 毛里齐奥·加布里埃利 1 埃米利奥·杰苏斯·加列戈·阿里亚斯 1 葡萄藤古普塔 1 米歇尔·古兹曼 1 乔纳森·赫拉斯 1 拉德哈·贾加迪桑 1 马克西米利亚诺·克莱门 1 李，三江 1 乌默·利卡特 1 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 1 佩德罗·洛佩兹·加西亚 1 朱利奥·马里诺 1 盖·安德鲁·麦库斯克 1 罗伯特·W·麦克格雷。 1 苏珊娜·尼娃 1 丹尼尔·帕尔多 1 埃蒂安·佩耶特 1 德国普埃布拉 1 弗朗西斯科·兰扎托 1 马里奥·罗德里格斯-阿塔莱霍 1 胡安·罗德里格斯·霍塔拉 1 卡米洛·鲁埃达 1 詹姆·桑切斯·埃尔南德斯 1 朱莉娅·萨皮尼亚 1 Vijay A.萨拉斯瓦特。 1 马丁·施密特 1 弗朗西丝卡·斯科扎里 1 弗兰克·巴伦西亚。 全部的 前5名10篇连载文章中引用 11 理论计算机科学 4 逻辑程序设计理论与实践 三 信息与计算 2 计算的形式方面 2 计算机基础理论 1 计算机与系统科学杂志 1 新一代计算 1 约束条件 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 45 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文