编辑配置文件（在新选项卡中打开） 巴斯米，玛丽亚·格拉齐亚 合著者距离 作者ID： 布西米·玛丽亚·格拉齐亚 发布日期： 巴斯米，玛丽亚·格拉齐亚 已编制索引的文档： 16出版物自2001年起 合著者： 7合著者具有16联合出版物 223联合作者 全部的 前5名合著者 0 单作者的 9 乌戈·蒙塔纳里。 5 米歇尔·博雷尔 2 菲利波·邦奇 2 Ciancia，文森佐 2 法比奥·加杜奇 1 埃尔南·梅尔格拉蒂 1 弗拉迪米罗·萨松 系列 2 逻辑与代数程序设计杂志 1 理论计算机科学 1 自动推理杂志 1 计算机科学评论 领域 15 计算机科学（68至XX） 三 信息与通信理论、电路（94-XX） 2 范畴理论；同调代数（18-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用105次75文件 引用人▼ 年份▼ cc-pi：一种基于约束的语言，用于指定服务级别协议。 Zbl 1187.68063号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 33 2007 （pi）演算早期观测等价的一阶余代数模型。 Zbl 1012.68120号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 12 2002 D-fusion：一种独特的融合演算。 Zbl 1116.68540号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 9 2004 打开并发约束像素的互模拟。 Zbl 1133.68384号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 7 2008 安全协议分析框架。 Zbl 1012.68520号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚 6 2002 服务组合中的QoS协商。 Zbl 1207.68220号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 6 2011 显式融合演算的预处理环境。 Zbl 1290.68089号 菲利波·邦奇;巴斯米，玛丽亚·格拉齐亚;Ciancia，文森佐;法比奥·加杜奇 6 2012 通用名称绑定机制。 Zbl 1151.68508号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 5 2005 一类明确的融合。 Zbl 1144.68038号 菲利波·邦奇;巴斯米，玛丽亚·格拉齐亚;Ciancia，文森佐;法比奥·加杜奇 5 2008 一种融合演算的组合组合模型。 Zbl 1121.68078号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 三 2007 高级Petri网作为连接演算中的类型理论。 Zbl 0978.68104号 巴斯米，玛丽亚·格拉齐亚;弗拉迪米罗·萨松 三 2001 融合演算片段的组合拼合模型。 Zbl 1316.68090号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 三 2006 基于约束的编程范例调查。 Zbl 1302.68249号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 三 2008 安全协议的符号分析方法。 Zbl 1068.94009号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚 2 2005 编排语言中的抽象流程。 Zbl 1234.68290号 巴斯米，玛丽亚·格拉齐亚;埃尔南·梅尔格拉蒂 1 2009 基于模幂运算的密码协议符号分析。 Zbl 1124.94301号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚 1 2003 显式融合演算的预处理环境。 Zbl 1290.68089号 菲利波·邦奇;巴斯米，玛丽亚·格拉齐亚;Ciancia，文森佐;法比奥·加杜奇 6 2012 服务组合中的QoS协商。 Zbl 1207.68220号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 6 2011 编排语言中的抽象流程。 12346.8290兹比尔 巴斯米，玛丽亚·格拉齐亚;埃尔南·梅尔格拉蒂 1 2009 打开并发约束像素的互模拟。 Zbl 1133.68384号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 7 2008 一类明确的融合。 Zbl 1144.68038号 菲利波·邦奇;巴斯米，玛丽亚·格拉齐亚;Ciancia，文森佐;法比奥·加杜奇 5 2008 基于约束的编程范例调查。 Zbl 1302.68249号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 三 2008 cc-pi：一种基于约束的语言，用于指定服务级别协议。 Zbl 1187.68063号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 33 2007 一种融合演算的组合组合模型。 Zbl 1121.68078号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 三 2007 融合演算片段的组合拼合模型。 Zbl 1316.68090号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 三 2006 通用名称绑定机制。 Zbl 1151.68508号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 5 2005 安全协议的符号分析方法。 Zbl 1068.94009号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚 2 2005 D-fusion：一种独特的融合演算。 Zbl 1116.68540号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 9 2004 基于模幂运算的密码协议符号分析。 Zbl 1124.94301号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚 1 2003 （pi）演算早期观测等价的一阶余代数模型。 Zbl 1012.68120号 巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里 12 2002 安全协议分析框架。 Zbl 1012.68520号 米歇尔·博雷尔;巴斯米，玛丽亚·格拉齐亚 6 2002 高级Petri网作为连接演算中的类型理论。 Zbl 0978.68104号 巴斯米，玛丽亚·格拉齐亚;弗拉迪米罗·萨松 三 2001 所有引用出版物 前5名被引用出版物 全部的 前5名125位作者引用 14 乌戈·蒙塔纳里。 8 巴斯米，玛丽亚·格拉齐亚 7 菲利波·邦奇 6 Ciancia，文森佐 5 罗伯托·布鲁尼 5 若阿希姆·帕罗 4 法比奥·加杜奇 4 丹尼尔·赫施科夫 4 Jean-Marie，马迪奥 4 弗兰克·巴伦西亚。 三 卡洛斯·奥拉特 三 卡米洛·鲁埃达 三 马蒂奥·桑马蒂诺 2 杰斯珀·本特森 2 阿尔伯特·本文尼斯特 2 劳拉·博奇 2 米歇尔·博雷尔 2 洛科·德尼古拉 2 克劳德·贾德 2 伊万·拉内斯 2 米歇尔·洛雷蒂 2 罗宾·皮埃德鲁 2 罗萨里奥Pugliese 2 戴维·桑吉奥吉 2 巴布亚州索波辛斯基 2 弗朗西斯科·蒂埃齐 2 埃米利奥·托斯托 2 卢卡·维甘诺 2 Tjark韦伯 2 法比奥·扎纳西 1 萨米·阿贝斯 1 卢卡·阿贝蒂 1 叶希亚·阿卜杜·阿勒拉赫曼 1 奥曼·波霍拉，约翰内斯 1 拉贝亚·阿穆尔·布利法 1 阿兰达，耶苏斯 1 卢西亚·V·R·阿鲁达。 1 保罗·巴尔丹 1 马西莫·巴托莱蒂 1 David A.Basin。 1 约格·鲍尔 1 伊万·西布拉里奥·贝尔托洛蒂 1 斯蒂法诺·比斯塔雷利 1 布鲁诺·布兰切特 1 托马索·博洛涅西 1 马塞洛·玛丽亚·邦桑格 1 约翰·博格斯特罗姆 1 琳达·布罗多 1 Krzysztof，比兹德拉 1 卡奇亚格拉诺，迪莱塔·罗曼娜 1 卡洛斯·卡莱罗 1 毛里西奥·卡诺 1 朱塞佩·卡斯塔尼亚 1 彼得罗·森恰雷利 1 亚尼克·骑士 1 保罗·西安卡里尼 1 弗拉维奥·科拉迪尼 1 穆拉德·德巴比 1 卢卡·杜兰特 1 埃里克森，拉尔斯·亨里克 1 吉安·路易吉，法拉利 1 JoséLuiz Fiadeiro 1 拉姆纳斯·福斯伯格·古特科瓦斯 1 法比奥·富里尼 1 菲利普·安·加德纳 1 丹尼尔·戈拉 1 斯蒂芬·戈顿 1 让·古鲍特·拉雷克 1 米歇尔·古兹曼 1 斯特凡·哈尔 1 卢多维奇·亨利奥 1 托马斯·希尔德布兰特。 1 克里斯蒂安·约翰森 1 马格纳斯·M·约翰逊。 1 Ajay Kattepur 1 巴托克·克林 1 亚历山大·库兹 1 拉斐尔·莱昂 1 林惠民 1 刘佳 1 雨果·A·洛佩兹。 1 艾瑞克·马德琳 1 莱安德罗·马加特昂 1 马里诺·米库兰 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 洛科·莫雷蒂 1 莫里齐奥·穆尔吉亚 1 弗拉维奥·朱恩·内维斯（Flávio jun Neves）。 1 弗莱明·尼尔森 1 Vivek Nigam先生 1 Håkon诺曼 1 卢卡·帕多瓦尼 1 卡图西亚帕拉米德斯 1 珀西，萨利姆 1 佩雷斯（Jorge A.Pérez）。 1 亨利克·皮利加德 1 伊莱恩·皮门特尔 1 路易斯·皮诺。 1 马可·皮斯托雷 1 安德烈亚斯·波德尔斯基 …还有25位作者 全部的 前5名15篇连载文章中引用 13 理论计算机科学 9 程序设计中的逻辑和代数方法杂志 5 信息与计算 三 计算的形式方面 三 逻辑与代数程序设计杂志 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 1 信息学报 1 欧洲运筹学杂志 1 系统设计中的形式化方法 1 约束条件 1 工程中的数学问题 1 调度日志 1 计算机科学中的逻辑方法 1 计算机科学评论 全部的 前5名在8个字段中引用 72 计算机科学（68至XX） 6 信息与通信理论、电路（94-XX） 5 数学逻辑和基础（03-XX） 5 范畴理论；同调代数（18-XX） 5 运筹学、数学规划（90-XX） 2 历史和传记（01-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文