编辑配置文件(在新选项卡中打开) 毛里齐奥·加布里埃利 合著者距离 作者ID: 辉长岩 发布日期: 毛里齐奥·加布里埃利;Gabbrielli,M。 已编制索引的文档: 56出版物自1990年以来,包括2本书 3作为编辑的贡献 审查活动: 13评论 合著者: 38位合著者具有58联合出版物 839名合作作者 全部的 前5名合著者 1 单作者的 18 玛丽亚·希亚拉(Maria Chiara Meo) 13 乔治·列维 9 雅各布·毛罗 8 德波尔(Frank S。 7 莫雷诺,法拉斯基 7 卡图西亚帕拉米德斯 5 罗伯托·阿马迪尼 4 安娜丽莎·博西 4 纳迪亚·布西 4 桑德罗·埃塔利 4 吉安路易吉·扎瓦塔罗 三 辛齐亚·迪·朱斯托 三 萨维里奥·贾勒伦佐 三 金·万豪酒店 2 西蒙·马提尼 2 法布里西奥·蒙泰西 2 卡洛斯·奥拉特 2 保罗·塔切拉 1 玛丽亚·阿尔普特 1 Krzysztof Rafal公寓 1 斯蒂法诺·比斯塔雷利 1 安东尼奥·布罗吉 1 米歇尔·布格列西 1 乌戈·达尔拉戈 1 米拉·达拉·普雷达 1 乔治·德尔扎诺 1 乔瓦娜·多尔(Giovanna M.Dore)。 1 克劳迪奥·吉迪 1 戈帕尔·古普塔 1 Lanese,伊万 1 Maurizio Martelli 1 村上春树,Masaki 1 佩德雷希·迪诺 1 弗朗西斯科·桑蒂尼 1 乔恩·斯奈尔斯 1 弗兰克·巴伦西亚。 1 赫伯特,威克利基 1 萨拉·祖皮罗利 全部的 前5名系列 5 逻辑程序设计理论与实践 4 理论计算机科学 4 信息与计算 三 逻辑程序设计杂志 三 ACM计算逻辑事务 2 逻辑与计算杂志 2 计算机基础理论 2 计算机科学课堂讲稿 1 计算机程序设计科学 1 CWI季度 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 数学与人工智能年鉴 1 函数与逻辑编程杂志 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 1 计算机科学科学年鉴 1 计算机科学本科专题 字段 59 计算机科学(68-XX) 5 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 三 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用248中的次168文件 引用人▼ 年份▼ 语义方法:理论和应用。 Zbl 0942.68527号 安娜丽莎·博西;毛里齐奥·加布里埃利;乔治·列维;Maurizio Martelli 22 1994 一种定时并发约束语言。 Zbl 1046.68507号 德波尔,F.S。;M.加布里埃利。;M.C.梅奥。 22 2000 CLP模块的转换。 Zbl 0872.68021号 桑德罗·埃塔利;毛里齐奥·加布里埃利 20 1996 过程计算中递归、复制和迭代的表达能力。 Zbl 1191.68430号 纳迪亚·布西;毛里齐奥·加布里埃利;吉安路易吉·扎瓦塔罗 17 2009 比较过程计算中的递归、复制和迭代。 Zbl 1098.68086号 纳迪亚·布西;毛里齐奥·加布里埃利;吉安路易吉·扎瓦塔罗 14 2004 SUNNY:用于解决约束的懒惰投资组合方法。 Zbl 1307.68077号 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 14 2014 逻辑程序的一种组合语义。 Zbl 0801.68110号 Bossi,A。;M.加布里埃利。;李维,G。;M.C.梅奥。 13 1994 基于通道的计算中的复制与递归定义。 兹比尔1039.68082 纳迪亚·布西;毛里齐奥·加布里埃利;吉安路易吉·扎瓦塔罗 12 2003 动态编舞:理论与实施。 Zbl 1398.68088号 米拉·达拉·普雷达;毛里齐奥·加布里埃利;萨维里奥·贾勒伦佐;Lanese,伊万;雅各布·毛罗 12 2017 逻辑程序的可观察行为和等价性。 Zbl 0834.68010号 毛里齐奥·加布里埃利;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 11 1995 约束逻辑程序的可观察语义。 Zbl 0823.68018号 毛里齐奥·加布里埃利;乔瓦娜·多尔(Giovanna M.Dore)。;乔治·列维 6 1995 Prolog的结果语义。 Zbl 0856.68038号 毛里齐奥·加布里埃利;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 6 1996 对开放逻辑程序语义的贡献。 Zbl 0868.68018号 Bossi,A。;M.加布里埃利。;列维,G。;M.C.梅奥。 6 1992 并发约束编程中的汇流。 Zbl 0901.68032号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 5 1997 并发约束逻辑程序的展开和定点语义。 Zbl 0757.68074号 毛里齐奥·加布里埃利;乔治·列维 5 1992 带动态调度的约束逻辑编程:基于闭包操作符的语义。 Zbl 0882.68035号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 4 1997 一种定时琳达语言及其指称语义。 Zbl 1082.68063号 德波尔(Frank S。;毛里齐奥·加布里埃利;玛丽亚·C·梅奥。 4 2004 约束优化问题的投资组合方法。 Zbl 1335.90077号 罗伯托·阿马迪尼;毛里齐奥Gabbrielli;雅各布·毛罗 4 2016 关于逻辑程序的语义。 Zbl 0769.68013号 毛里齐奥·加布里埃利;乔治·列维 4 1991 展开/折叠CCP计划的转换。 Zbl 0911.68020号 桑德罗·埃塔利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 1998 微分逻辑程序:编程方法和语义。 Zbl 0859.68009号 Bossi,A。;M.布格列西。;M.加布里埃利。;列维,G。;M.C.梅奥。 三 1996 应用舞蹈设计。 Zbl 1508.68242号 萨维里奥·贾勒伦佐;法布里西奥·蒙泰西;毛里齐奥·加布里埃利 三 2018 CHR的组合语义。 Zbl 1351.68050号 毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 2009 关于CHR中多个头部的表达能力。 Zbl 1351.68049号 辛齐亚·迪·朱斯托;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 2012 解决CSP的投资组合方法的实证评估。 Zbl 1382.68219号 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 三 2013 定时软并发约束程序:一种交错并行方法。 Zbl 1379.68087号 斯蒂法诺·比斯塔雷利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西斯科·桑蒂尼 三 2015 概率递归理论和隐式计算复杂性。 兹比尔1423.03138 乌戈·达尔拉戈;萨拉·祖皮罗利;毛里齐奥·加布里埃利 三 2014 CHR中多个头的表达能力。 Zbl 1206.68078号 辛齐亚·迪·朱斯托;毛里齐奥·加布里埃利;Maria Chiara Meo女士 2 2009 作为CLP实例的等式逻辑编程的语义。 Zbl 0832.68013号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;毛里齐奥·加布里埃利;乔治·列维 2 1993 并发约束逻辑程序的展开和定点语义。 Zbl 1493.68068号 毛里齐奥·加布里埃利;乔治·列维 2 1990 并发约束编程中的汇流。 Zbl 1496.68104号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 2 1995 证明定时并发约束程序的正确性。 Zbl 1367.68189号 De Boer,Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 2 2004 CLP模块更换操作的正确性。 Zbl 0924.68042号 桑德罗·埃塔利;毛里齐奥·加布里埃利 1 1996 并发约束编程中的无限计算。 Zbl 0911.68119号 法兰克·德波尔;M.加布里埃利。 1 1997 问答式Herbrand约束的求解形式算法。 Zbl 0967.68506号 毛里齐奥·加布里埃利;乔治·列维 1 1991 逻辑编程。2005年10月2日至5日在西班牙西奇举行的第21届国际会议,ICLP 2005。诉讼程序。 Zbl 1086.68004号 1 2005 证明定时并发约束程序的正确性。 Zbl 1077.68706号 德波尔(Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 1 2002 嵌套的保护喇叭条款。 兹比尔0732.68027 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;乔治·列维;村上春树,Masaki 1 1990 用于并发约束语言的动态切片。 Zbl 1497.68098号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2020 用动态调度证明了约束逻辑程序的正确性。 Zbl 1482.68086号 德波尔,F.S。;M.加布里埃利。;帕拉米德斯,C。 1 1996 为什么CP投资组合解决方案被(不足)利用?问题和挑战。 Zbl 1473.68184号 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 1 2015 切片并发约束程序。 Zbl 1485.68046号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2017 并发和反应式约束编程。 Zbl 1285.68031号 毛里齐奥·加布里埃利;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 1 2010 编程语言:原理和范例。翻译自意大利语。 Zbl 1204.68047号 毛里齐奥·加布里埃利;西蒙·马提尼 1 2010 展开CHR程序。 Zbl 1379.68064号 毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);保罗·塔切拉;赫伯特,威克利基 1 2015 并发约束语言的动态切片。 Zbl 1497.68098号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2020 应用舞蹈设计。 Zbl 1508.68242号 萨维里奥·贾勒伦佐;法布里西奥·蒙泰西;毛里齐奥·加布里埃利 三 2018 动态编舞:理论与实施。 Zbl 1398.68088号 米拉·达拉·普雷达;毛里齐奥·加布里埃利;萨维里奥·贾勒伦佐;Lanese,伊万;雅各布·毛罗 12 2017 切片并发约束程序。 Zbl 1485.68046号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2017 约束优化问题的组合方法。 Zbl 1335.90077号 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 4 2016 定时软并发约束程序:一种交错和并行的方法。 Zbl 1379.68087号 斯蒂法诺·比斯塔雷利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西斯科·桑蒂尼 三 2015 为什么CP投资组合解决方案被(不足)利用?问题和挑战。 Zbl 1473.68184号 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 1 2015 展开CHR程序。 Zbl 1379.68064号 毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);保罗·塔切拉;赫伯特,威克利基 1 2015 SUNNY:用于解决约束的懒惰投资组合方法。 Zbl 1307.68077号 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 14 2014 概率递归理论和隐式计算复杂性。 Zbl 1423.03138号 乌戈·达尔拉戈;萨拉·祖皮罗利;毛里齐奥·加布里埃利 三 2014 解决CSP的投资组合方法的实证评估。 Zbl 1382.68219号 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 三 2013 关于CHR中多个头部的表达能力。 Zbl 1351.68049号 辛齐亚·迪·朱斯托;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 2012 并发和反应式约束编程。 Zbl 1285.68031号 毛里齐奥·加布里埃利;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 1 2010 编程语言:原理和范例。翻译自意大利语。 Zbl 1204.68047号 毛里齐奥·加布里埃利;西蒙·马提尼 1 2010 过程计算中递归、复制和迭代的表达能力。 兹比尔1191.68430 纳迪亚·布西;毛里齐奥·加布里埃利;吉安路易吉·扎瓦塔罗 17 2009 CHR的组合语义。 兹比尔1351.68050 毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 2009 CHR中多个头的表达能力。 Zbl 1206.68078号 辛齐亚·迪·朱斯托;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 2 2009 逻辑编程。2005年10月2日至5日在西班牙西奇举行的第21届国际会议,ICLP 2005。诉讼程序。 Zbl 1086.68004号 1 2005 比较过程计算中的递归、复制和迭代。 Zbl 1098.68086号 纳迪亚·布西;毛里齐奥·加布里埃利;吉安路易吉·扎瓦塔罗 14 2004 一种定时Linda语言及其指称语义。 Zbl 1082.68063号 德波尔(Frank S。;毛里齐奥·加布里埃利;玛丽亚·梅奥(Maria C.Meo)。 4 2004 证明定时并发约束程序的正确性。 Zbl 1367.68189号 De Boer,Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 2 2004 基于通道的计算中的复制与递归定义。 Zbl 1039.68082号 纳迪亚·布西;毛里齐奥·加布里埃利;吉安路易吉·扎瓦塔罗 12 2003 证明定时并发约束程序的正确性。 Zbl 1077.68706号 德波尔(Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 1 2002 一种定时并发约束语言。 Zbl 1046.68507号 德波尔,F.S。;M.加布里埃利。;M.C.梅奥。 22 2000 展开/折叠CCP计划的转换。 Zbl 0911.68020号 桑德罗·埃塔利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 1998 并发约束编程中的汇流。 Zbl 0901.68032号 莫雷诺,法拉斯基;毛里齐奥Gabbrielli;金·万豪酒店;卡图西亚帕拉米德斯 5 1997 带动态调度的约束逻辑编程:基于闭包操作符的语义。 Zbl 0882.68035号 莫雷诺,法拉斯基;毛里齐奥Gabbrielli;金·万豪酒店;卡图西亚帕拉米德斯 4 1997 并发约束编程中的无限计算。 兹比尔0911.68119 法兰克·德波尔;M.加布里埃利。 1 1997 CLP模块的转换。 Zbl 0872.68021号 桑德罗·埃塔利;毛里齐奥·加布里埃利 20 1996 Prolog的结果语义。 Zbl 0856.68038号 毛里齐奥·加布里埃利;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 6 1996 微分逻辑程序:编程方法和语义。 Zbl 0859.68009号 Bossi,A。;M.布格列西。;M.加布里埃利。;列维,G。;M.C.梅奥。 三 1996 CLP模块更换操作的正确性。 Zbl 0924.68042号 桑德罗·埃塔利;毛里齐奥·加布里埃利 1 1996 用动态调度证明约束逻辑程序的正确性。 Zbl 1482.68086号 德波尔,F.S。;M.加布里埃利。;帕拉米德斯,C。 1 1996 逻辑程序的可观察行为和等价性。 Zbl 0834.68010号 毛里齐奥·加布里埃利;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 11 1995 约束逻辑程序的可观察语义。 Zbl 0823.68018号 毛里齐奥·加布里埃利;乔瓦娜·多尔(Giovanna M.Dore)。;乔治·列维 6 1995 并发约束编程中的汇流。 Zbl 1496.68104号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 2 1995 语义方法:理论与应用。 Zbl 0942.68527号 安娜丽莎·博西;毛里齐奥Gabbrielli;乔治·列维;Maurizio Martelli 22 1994 逻辑程序的组合语义。 兹比尔0801.68110 Bossi,A。;M.加布里埃利。;列维,G。;M.C.梅奥。 13 1994 作为CLP实例的等式逻辑编程的语义。 Zbl 0832.68013号 玛丽亚·阿尔普特;莫雷诺,法拉斯基;毛里齐奥·加布里埃利;乔治·列维 2 1993 对开放逻辑程序语义的贡献。 Zbl 0868.68018号 Bossi,A。;M.加布里埃利。;列维,G。;M.C.梅奥。 6 1992 并发约束逻辑程序的展开和定点语义。 Zbl 0757.68074号 毛里齐奥·加布里埃利;乔治·列维 5 1992 关于逻辑程序的语义。 Zbl 0769.68013号 毛里齐奥·加布里埃利;乔治·列维 4 1991 问答式Herbrand约束的求解形式算法。 Zbl 0967.68506号 毛里齐奥·加布里埃利;乔治·列维 1 1991 并发约束逻辑程序的展开和定点语义。 Zbl 1493.68068号 毛里齐奥·加布里埃利;乔治·列维 2 1990 嵌套的保护喇叭条款。 Zbl 0732.68027号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;乔治·列维;村上春树,Masaki 1 1990 所有引用出版物 前5名被引用出版物 全部的 前5名255位作者引用 16 毛里齐奥·加布里埃利 13 毛里齐奥·普罗埃蒂 12 阿尔贝托·佩特罗西 11 法比奥·菲奥拉万蒂 10 玛丽亚·希亚拉(Maria Chiara Meo) 9 伊曼纽尔·德·安吉利斯 7 玛丽亚·阿尔普特 7 莫雷诺,法拉斯基 6 马可·科米尼 6 卡洛斯·奥拉特 6 艾丽西亚·维拉纽埃娃 5 路易斯·克鲁兹·菲利佩 5 乔治·列维 5 雅各布·毛罗 5 法布里西奥·蒙泰西 5 弗兰克·巴伦西亚。 4 罗伯托·贾科巴齐 4 伊芙琳娜·拉姆 4 Lanese,伊万 4 保罗·梅洛 4 卡图西亚帕拉米德斯 4 吉安路易吉·扎瓦塔罗 三 罗伯托·阿马迪尼 三 克莱门·奥伯特 三 安东尼奥·布罗吉 三 乌戈·达尔拉戈 三 玛丽亚·德尔马·加拉多 三 辛齐亚·迪·朱斯托 三 圣地亚哥埃斯科瓦尔 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 何塞·伊波拉 三 费尔南多·奥雷贾斯 三 马可·佩雷索蒂 三 埃尔维拉·皮诺 三 弗朗西斯科·兰扎托 三 Valerio Senni公司 三 乔恩·斯奈尔斯 三 劳拉·蒂托洛 三 埃米利奥·托斯托 2 露西娅·阿西艾 2 吉安卢卡·阿马托 2 杰苏斯·阿兰达 2 斯蒂法诺·比斯塔雷利 2 米歇尔·博雷尔 2 安娜丽莎·博西 2 大卫·布雷索林 2 琳达·布罗多 2 纳迪亚·布西 2 海宁·克里斯蒂安森 2 德波尔(Frank S。 2 德拉本特,Włodzimierz 2 哈特穆特·埃里格 2 桑德罗·埃塔利 2 傅玉玺 2 法比奥·加杜奇 2 罗伯塔·戈里 2 汤米·詹胡宁 2 叶卡捷琳娜·科门丹茨卡亚 2 拉尔斯·科特霍夫 2 马吕斯·林道尔 2 万豪酒店,Kim 2 罗兰·梅耶 2 Masanori长岛 2 柯斯汀·彼得斯 2 伊莱恩·皮门特尔 2 马里奥·罗德里格斯-阿塔莱霍 2 Masahiko酒井 2 弗朗西斯科·桑蒂尼 2 萨拉斯瓦特,维杰·A。 2 汤姆·施里杰弗斯 2 福斯托·斯波托 2 范格拉贝克、罗伯特·扬 1 克里希纳什里·阿楚坦 1 詹姆斯·H·安德鲁斯。 1 梅丽莎·安东内利 1 詹姆·阿里亚斯 1 保罗·C·阿蒂。 1 吉尔·奥德玛 1 本杰明·阿齐兹 1 Jos C.M.Baeten。 1 菲利普·巴尔比亚尼 1 保罗·巴尔丹 1 黛米斯·巴利斯 1 佛朗哥·巴巴内拉 1 北卡罗来纳州本索。 1 伯恩德·比施尔 1 古斯塔夫·比约达尔 1 丹尼尔·博布罗(Daniel G.Bobrow)。 1 劳拉·博奇 1 菲利波·邦奇 1 弗拉维恩·布鲁瓦特 1 罗伯托·布鲁尼 1 阿尔贝托·卡帕伊 1 卢卡·卡德利 1 安娜·齐安波里尼 1 迈克尔·科迪什 1 威廉·库克。 1 科雷亚,弗朗西斯科·何塞 1 阿戈斯蒂诺·科尔特斯 1 亚历克斯·科托 …还有155位作者 全部的 前5名24篇连载文章中引用 38 理论计算机科学 19 逻辑程序设计理论与实践 14 信息与计算 7 程序设计中的逻辑和代数方法杂志 4 计算的形式方面 4 约束条件 三 人工智能 三 自动推理杂志 2 信息处理信件 2 新一代计算 2 MSCS公司。计算机科学中的数学结构 2 数学与人工智能年鉴 2 高阶和符号计算 2 计算机科学中的逻辑方法 1 信息学报 1 计算机与系统科学杂志 1 国际近似推理杂志 1 机器学习 1 吉泰。实验与理论人工智能杂志 1 应用非经典逻辑杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 全部的 前5名在8个字段中引用 163 计算机科学(68-XX) 22 数学逻辑和基础(03-XX) 7 运筹学、数学规划(90-XX) 2 阶、格、有序代数结构(06-XX) 2 量子理论(81-XX) 2 信息与通信理论、电路(94-XX) 1 几何图形(51-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文