编辑配置文件(在新选项卡中打开) 玛丽亚·希亚拉(Maria Chiara Meo) 合著者距离 作者ID: 玛丽亚·奇亚拉 发布日期: 玛丽亚·希亚拉(Maria Chiara Meo);M.C.梅奥。;玛丽亚·奇亚拉·梅奥;玛丽亚·梅奥(Maria C.Meo)。 更多。。。较少的 已编制索引的文档: 32出版物自1992年起 1名编辑贡献 合著者: 27位合著者具有32联合出版物 413位联合作者 全部的 前5名合著者 1 单作者的 18 毛里齐奥·加布里埃利 8 乔治·列维 5 吉安卢卡·阿马托 5 弗朗西丝卡·斯科扎里 4 安娜丽莎·博西 4 德波尔(Frank S。 三 马可·科米尼 2 斯蒂法诺·比斯塔雷利 2 伊曼纽尔·德·安吉利斯 2 Cinzia迪朱斯托 2 西蒙·迪纳多·迪迈奥 2 法比奥·菲奥拉万蒂 2 雅各布·毛罗 2 阿尔贝托·佩特罗西 2 毛里齐奥·普罗埃蒂 2 保罗·塔切拉 1 布鲁斯科利,保拉 1 米歇尔·布格列西 1 阿戈斯蒂诺·多维尔 1 埃塔勒,桑德罗 1 弗朗西丝卡·列维 1 安德烈亚·奥米西尼 1 弗朗西斯科·桑蒂尼 1 乔恩·斯奈尔斯 1 卡洛·塔蒂奇 1 朱利安娜·维蒂埃洛 1 赫伯特,威克利基 全部的 前5名系列 4 信息与计算 三 理论计算机科学 三 逻辑程序设计理论与实践 三 ACM计算逻辑事务 2 逻辑与计算杂志 2 计算机基础理论 1 信息学报 1 计算机程序设计科学 1 逻辑编程杂志 1 CWI季度 1 MSCS公司。计算机科学中的数学结构 1 数学史 1 理论计算机科学电子笔记 全部的 前5名领域 32 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 一般性和全局性主题;集合(00-XX) 1 历史和传记(01-XX) 1 群论与推广(20-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 26出版物有被引用129次89文件 引用人▼ 年份▼ 一种定时并发约束语言。 Zbl 1046.68507号 德波尔,F.S。;加布里埃利,M。;M.C.梅奥。 22 2000 抽象诊断。 Zbl 0947.68024号 马可·科米尼;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo);朱利安娜·维蒂埃洛 17 1999 逻辑程序的组合语义。 Zbl 0801.68110号 A.博西。;M.加布里埃利。;列维,G。;M.C.梅奥。 13 1994 逻辑程序的可观察行为和等价性。 Zbl 0834.68010号 毛里齐奥·加布里埃利;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 11 1995 逻辑程序的观察理论。 Zbl 1007.68020号 马可·科米尼;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 11 2001 对开放逻辑程序语义的贡献。 Zbl 0868.68018号 A.博西。;加布里埃利,M。;列维,G。;M.C.梅奥。 6 1992 Prolog的结果语义。 Zbl 0856.68038号 毛里齐奥·加布里埃利;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 6 1996 约束逻辑程序中的编译构造否定。 兹伯利0938.68571 布鲁斯科利,保拉;弗朗西丝卡·列维;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 5 1994 SLD衍生物的组成特性。 兹比尔0912.68124 马可·科米尼;玛丽亚·希亚拉(Maria Chiara Meo) 5 1999 一种定时Linda语言及其指称语义。 Zbl 1082.68063号 德波尔(Frank S。;毛里齐奥·加布里埃利;玛丽亚·梅奥(Maria C.Meo)。 4 2004 微分逻辑程序:编程方法和语义。 Zbl 0859.68009号 A.博西。;M.布格列西。;M.加布里埃利。;列维,G。;M.C.梅奥。 三 1996 展开/折叠CCP计划的转换。 Zbl 0911.68020号 桑德罗·埃塔利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 1998 CHR的组合语义。 Zbl 1351.68050号 毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 2009 关于CHR中多个头部的表达能力。 Zbl 1351.68049号 辛齐亚·迪·朱斯托;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 2012 定时软并发约束程序:一种交错并行方法。 Zbl 1379.68087号 斯蒂法诺·比斯塔雷利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西斯科·桑蒂尼 三 2015 CHR中多个头部的表达能力。 Zbl 1206.68078号 辛齐亚·迪·朱斯托;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 2 2009 证明定时并发约束程序的正确性。 Zbl 1367.68189号 De Boer,Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 2 2004 下降链和缩小模板抽象域。 兹比尔1398.68090 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2018 关于为程序分析收集语义。 Zbl 1440.68167号 吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2020 柯西群定理的数学生命。 Zbl 1065.01009号 M·梅。 1 2004 证明了定时并发约束程序的正确性。 兹比尔1077.68706 德波尔(Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 1 2002 展开CHR程序。 Zbl 1379.68064号 毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);保罗·塔切拉;赫伯特,威克利基 1 2015 在面向对象程序的共享分析中利用线性。 Zbl 1345.68091号 吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 1 2016 使用约束Horn子句验证具有时间意识的业务流程。 Zbl 1485.68149号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2017 时间感知业务流程的语义和可控性。 Zbl 1412.68148号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 缩小模板抽象域上的运算符。 Zbl 1427.68158号 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 1 2015 关于为程序分析收集语义。 Zbl 1440.68167号 吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2020 时间感知业务流程的语义和可控性。 Zbl 1412.68148号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2019 下降链和缩小模板抽象域。 兹比尔1398.68090 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 2 2018 使用约束Horn子句验证具有时间意识的业务流程。 Zbl 1485.68149号 伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉(Maria Chiara Meo);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 1 2017 在面向对象程序的共享分析中利用线性。 Zbl 1345.68091号 吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 1 2016 定时软并发约束程序:一种交错并行方法。 Zbl 1379.68087号 斯蒂法诺·比斯塔雷利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西斯科·桑蒂尼 三 2015 展开CHR程序。 Zbl 1379.68064号 毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo);保罗·塔切拉;赫伯特,威克利基 1 2015 缩小模板抽象域上的运算符。 Zbl 1427.68158号 吉安卢卡·阿马托;西蒙·迪纳多·迪迈奥;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 1 2015 关于CHR中多个头部的表达能力。 Zbl 1351.68049号 辛齐亚·迪·朱斯托;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 2012 CHR的组合语义。 Zbl 1351.68050号 毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 2009 CHR中多个头部的表达能力。 Zbl 1206.68078号 辛齐亚·迪·朱斯托;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 2 2009 一种定时Linda语言及其指称语义。 Zbl 1082.68063号 德波尔(Frank S。;毛里齐奥·加布里埃利;玛丽亚·梅奥(Maria C.Meo)。 4 2004 证明定时并发约束程序的正确性。 Zbl 1367.68189号 De Boer,Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 2 2004 柯西群定理的数学生命。 Zbl 1065.01009号 M·梅。 1 2004 证明定时并发约束程序的正确性。 兹比尔1077.68706 德波尔(Frank S。;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 1 2002 逻辑程序的观察理论。 兹比尔1007.68020 马可·科米尼;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 11 2001 一种定时并发约束语言。 Zbl 1046.68507号 德波尔,F.S。;加布里埃利,M。;M.C.梅奥。 22 2000 抽象诊断。 Zbl 0947.68024号 马可·科米尼;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo);朱利安娜·维蒂埃洛 17 1999 SLD衍生物的组成特性。 Zbl 0912.68124号 马可·科米尼;玛丽亚·希亚拉(Maria Chiara Meo) 5 1999 展开/折叠CCP计划的转换。 Zbl 0911.68020号 桑德罗·埃塔利;毛里齐奥·加布里埃利;玛丽亚·希亚拉(Maria Chiara Meo) 三 1998 Prolog的结果语义。 Zbl 0856.68038号 毛里齐奥·加布里埃利;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 6 1996 微分逻辑程序:编程方法和语义。 Zbl 0859.68009号 A.博西。;M.布格列西。;M.加布里埃利。;列维,G。;M.C.梅奥。 三 1996 逻辑程序的可观察行为和等价性。 Zbl 0834.68010号 毛里齐奥·加布里埃利;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 11 1995 逻辑程序的组合语义。 Zbl 0801.68110号 A.博西。;M.加布里埃利。;列维,G。;梅奥,M.C。 13 1994 约束逻辑程序中的编译构造否定。 Zbl 0938.68571号 保拉布鲁斯科利;弗朗西丝卡·列维;乔治·列维;玛丽亚·希亚拉(Maria Chiara Meo) 5 1994 对开放逻辑程序语义的贡献。 Zbl 0868.68018号 A.博西。;加布里埃利,M。;列维,G。;M.C.梅奥。 6 1992 所有引用出版物 前5名被引用出版物 全部的 前5名124位作者引用 12 玛丽亚·希亚拉(Maria Chiara Meo) 11 毛里齐奥·加布里埃利 9 马可·科米尼 6 玛丽亚·阿尔普恩特 6 吉安卢卡·阿马托 6 莫雷诺,法拉斯基 6 乔治·列维 6 卡洛斯·奥拉特 6 艾丽西亚·维拉纽埃娃 4 罗伯托·贾科巴齐 4 罗伯塔·戈里 4 叶卡捷琳娜·科门丹茨卡亚 4 伊芙琳娜·拉姆 4 詹姆斯·利普顿(James B.Lipton)。 4 保罗·梅洛 三 安东尼奥·布罗吉 三 拉斐尔·卡巴列罗(Rafael E.Caballero)。 三 玛丽亚·德尔马·加拉多 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 伊莎贝拉·马斯特罗埃尼 三 权力,约翰 三 弗朗西丝卡·斯科扎里 三 乔恩·斯奈尔斯 三 劳拉·蒂托洛 三 弗兰克·巴伦西亚。 2 斯蒂法诺·比斯塔雷利 2 安娜丽莎·博西 2 纳迪亚·布西 2 科雷亚,弗朗西斯科·何塞 2 辛齐亚·迪·朱斯托 2 哈特穆特·埃里格 2 桑德罗·埃塔利 2 朱利奥·马里诺 2 马丁·奥列特,纳西索 2 雅各布·毛罗 2 费尔南多·奥雷贾斯 2 卡图西亚帕拉米德斯 2 阿尔贝托·佩特罗西 2 伊莱恩·皮门特尔 2 埃尔维拉·皮诺 2 弗朗西斯科·兰扎托 2 阿德里安·里斯科 2 弗朗西斯科·桑蒂尼 2 Vijay A.萨拉斯瓦特。 2 汤姆·施里杰弗斯 2 阿尔贝托·维尔德乔 2 吉安路易吉·扎瓦塔罗 1 克里希纳什里·阿楚坦 1 文森佐·阿塞里 1 詹姆·阿里亚斯 1 本杰明·阿齐兹 1 乔瓦尼·巴奇 1 菲利普·巴尔比亚尼 1 黛米斯·巴利斯 1 丹尼尔·博布罗(Daniel G.Bobrow)。 1 布埃诺,弗朗西斯科 1 萨缪尔·布鲁 1 詹姆斯·切尼 1 安娜·齐安波里尼 1 威廉·库克。 1 弗朗西索·科雷亚 1 帕特里克·库索特 1 拉希亚库索 1 罗伊·克罗尔。 1 卢特菲·达尔马万 1 伊曼纽尔·德·安吉利斯 1 德波尔(Frank S。 1 莱斯利·德科宁克 1 德尔·瓦多·维尔塞达,拉斐尔 1 西蒙·迪纳多·迪迈奥 1 圣地亚哥埃斯科瓦尔 1 斯泰西·芬克尔斯坦。 1 法比奥·菲奥拉万蒂 1 彼得·弗雷德。 1 Markus P.J.Fromherz。 1 法比奥·加杜奇 1 约翰·加拉赫(John P.Gallagher)。 1 埃米利奥·杰苏斯·加列戈·阿里亚斯 1 伊莎贝尔·加西亚·孔特雷拉斯 1 伯恩哈德·格拉姆利希 1 葡萄藤古普塔 1 米歇尔·古兹曼 1 雷米·海默尔 1 杰夫·汉密尔顿。 1 乔纳森·赫拉斯 1 乔泽夫·约翰内斯·玛丽亚·胡曼 1 何塞·伊波拉 1 冈萨洛·伊玛兹(Gonzalo E.Imaz)。 1 拉德哈·贾加迪桑 1 巴拉特·贾亚拉曼 1 Jinesh M.卡尼穆拉。 1 大卫·基钦 1 马克西米利亚诺·克莱曼 1 阿列克谢·莱斯卡伊勒 1 卡琳·利奥吉尔 1 乌默·利卡特 1 佩德罗·洛佩兹·加西亚 1 保罗·曼卡雷拉 1 盖·安德鲁·麦库斯克 1 罗伯特·W·麦克格雷。 …还有24位作者 全部的 前5名16篇连载文章中引用 23 理论计算机科学 11 逻辑程序设计理论与实践 5 信息与计算 三 程序设计中的逻辑和代数方法杂志 2 新一代计算 1 信息学报 1 人工智能 1 信息处理信件 1 计算机与系统科学杂志 1 国际近似推理杂志 1 计算的形式方面 1 吉泰。实验与理论人工智能杂志 1 MSCS公司。计算机科学中的数学结构 1 RAIRO公司。Informatique Théorique et Applications公司 1 约束条件 1 计算机基础理论 在5个字段中引用 88 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 阶、格、有序代数结构(06-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文