×

毛里齐奥·加布里埃利

作者ID: 辉长岩“Gabbrielli,Maurizio”最近发表的zbMATH文章
发布日期: 毛里齐奥·加布里埃利;Gabbrielli,M。
已编制索引的文档: 56出版物自1990年以来,包括2本书
3作为编辑的贡献
审查活动: 13评论
合著者: 38位合著者具有58联合出版物
839名合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文