编辑配置文件（在新选项卡中打开） 米歇尔·布格列西 合著者距离 作者ID： 布格利西·米切尔 发布日期： 米歇尔·布格列西；M.布格列西。 已编制索引的文档： 37出版物自1990年以来 3作为编辑的贡献 合著者： 34位合著者具有40联合出版物 711合著作者 全部的 前5名合著者 0 单作者的 13 西尔维亚·克拉法 8 朱塞佩·卡斯塔尼亚 8 弗拉迪米罗·萨松 7 维维亚娜·博诺 6 里卡多·福卡迪 三 斯特凡诺·卡尔扎瓦拉 三 马里亚纽拉州Dezani-Ciancaglini 三 路易吉·利科里 三 马特奥·马菲 2 佛朗哥·巴巴内拉 2 达里奥·科拉佐 2 马可·朱蒂 2 马西莫·梅罗 2 巴特·普雷内尔 2 英戈·韦格纳 1 马可·贝利亚 1 安娜丽莎·博西 1 安布拉·塞卡托 1 乔治·德尔扎诺 1 索菲亚·克洛伊·德罗索波卢 1 法比恩·艾格纳 1 毛里齐奥·加布里埃利 1 伊芙琳娜·拉姆 1 乔治·列维 1 马其顿，达米亚诺 1 Maurizio Martelli 1 梅洛，保拉 1 Maria Chiara Meo女士 1 朱塞佩·纳迪埃洛 1 奥奇乌托（M.Eugenia Occhiuto） 1 圣地亚哥·M·佩里卡斯·格特森。 1 阿梅拉·普雷里奇 1 萨宾娜·罗西 1 恩里科·斯特芬隆戈 全部的 前5名系列 2 理论计算机科学 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 计算机科学课堂讲稿 1 计算机程序设计科学 1 逻辑程序设计杂志 1 逻辑与计算杂志 1 计算机基础理论 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 领域 39 计算机科学（68至XX） 7 数理逻辑与基础（03-XX） 7 信息与通信理论、电路（94-XX） 三 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用101中的次65文件 引用人▼ 年份▼ 框式环境。 Zbl 1087.68541号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚；西尔维亚·克拉法 20 2001 确保安全环境。 Zbl 1323.68404号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚 13 2001 盒装环境中的通信和移动控制。 Zbl 1101.68943号 米歇尔·布格列西；西尔维亚·克拉法；马西莫·梅罗；弗拉迪米罗·萨松 9 2005 关于移动环境中安全性的推理。 Zbl 1006.68533号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚；西尔维亚·克拉法 7 2001 移动装箱环境中的通信干扰。 兹比尔1027.68086 米歇尔·布格列西；西尔维亚·克拉法；马西莫·梅罗；弗拉迪米罗·萨松 7 2002 类型化通道抽象的安全实现。 Zbl 1295.68078号 米歇尔·布格列西；马可·朱蒂 6 2007 装箱环境概述（摘要）。 兹比尔1268.68123 朱塞佩·卡斯塔尼亚；米歇尔·布格列西；西尔维亚·克拉法 6 2002 安全环境下的行为打字。 Zbl 1028.68005号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚 5 2002 可扩展、不完整对象的子类型。 Zbl 1040.03506号 维维亚娜·博诺；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；路易吉·利科里 4 1999 有限容量的微积分。 Zbl 1215.68036号 佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 4 2003 等式编程的组合形式：实例、统一和缩小。 Zbl 0758.68022号 M.贝利亚。；M.布格列西。；M.E.奥奇乌托。 三 1990 微分逻辑程序：编程方法和语义。 Zbl 0859.68009号 A.博西。；M.布格列西。；M.加布里埃利。；列维，G。；M.C.梅奥。 三 1996 太空器皿环境和工艺。 Zbl 1111.68011号 佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 2 2007 结构化逻辑编程的部分演绎。 Zbl 0774.68025号 米歇尔·布格列西；伊芙琳娜·拉姆；梅洛，保拉 2 1993 对象lambda演算的匹配约束。 Zbl 1063.68549号 维维亚娜·博诺；米歇尔·布格列西 1 1997 键入的移动对象。 Zbl 0999.68505号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚；西尔维亚·克拉法 1 2000 可扩展对象和类型的解释。 Zbl 0945.68031号 维维亚娜·博诺；米歇尔·布格列西 1 1999 线性逻辑中的对象计算。 Zbl 0955.68025号 米歇尔·布格列西；乔治·德尔扎诺；路易吉·利科里；毛里齐奥·马特利 1 2000 在不受信任的网络中保密。 Zbl 1039.68516号 米歇尔·布格列西；西尔维亚·克拉法；阿梅拉·普雷里奇；弗拉迪米罗·萨松 1 2003 协议实现中安全资源管理的逻辑基础。 兹比尔1390.68075 米歇尔·布格列西；斯特凡诺·卡尔扎瓦拉；法比恩·艾格纳；马特奥·马菲 1 2013 身份验证协议的组成分析。 兹比尔1126.94346 米歇尔·布格列西；里卡多·福卡迪；马特奥·马菲 1 2004 安全抽象和入侵者模型（扩展抽象）。 Zbl 1291.68249号 米歇尔·布格列西；里卡多·福卡迪 1 2009 不完整对象的lambda演算。 Zbl 0896.03016号 维维亚娜·博诺；米歇尔·布格列西；路易吉·利科里 1 1996 对浏览器扩展的权限提升攻击进行细粒度检测。 Zbl 1335.68047号 斯特凡诺·卡尔扎瓦拉；米歇尔·布格列西；西尔维亚·克拉法；恩里科·斯特芬隆戈 1 2015 对浏览器扩展的权限提升攻击进行细粒度检测。 Zbl 1335.68047号 斯特凡诺·卡尔扎瓦拉；米歇尔·布格列西；西尔维亚·克拉法；恩里科·斯特芬隆戈 1 2015 协议实现中安全资源管理的逻辑基础。 Zbl 1390.68075号 米歇尔·布格列西；斯特凡诺·卡尔扎瓦拉；法比恩·艾格纳；马特奥·马菲 1 2013 安全抽象和入侵者模型（扩展抽象）。 Zbl 1291.68249号 米歇尔·布格列西；里卡多·福卡迪 1 2009 类型化通道抽象的安全实现。 Zbl 1295.68078号 米歇尔·布格列西；马可·朱蒂 6 2007 太空器皿环境和工艺。 Zbl 1111.68011号 佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 2 2007 封闭环境中的通信和移动性控制。 Zbl 1101.68943号 米歇尔·布格列西；西尔维亚·克拉法；马西莫·梅罗；弗拉迪米罗·萨松 9 2005 身份验证协议的组成分析。 兹比尔1126.94346 米歇尔·布格列西；里卡多·福卡迪；马特奥·马菲 1 2004 有限容量的微积分。 Zbl 1215.68036号 佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 4 2003 在不受信任的网络中保密。 兹比尔1039.68516 米歇尔·布格列西；西尔维亚·克拉法；阿梅拉·普雷里奇；弗拉迪米罗·萨松 1 2003 移动装箱环境中的通信干扰。 Zbl 1027.68086号 米歇尔·布格列西；西尔维亚·克拉法；马西莫·梅罗；弗拉迪米罗·萨松 7 2002 装箱环境概述（摘要）。 兹比尔1268.68123 朱塞佩·卡斯塔尼亚；米歇尔·布格列西；西尔维亚·克拉法 6 2002 安全环境下的行为打字。 兹比尔1028.68005 米歇尔·布格列西；朱塞佩·卡斯塔尼亚 5 2002 框式环境。 Zbl 1087.68541号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚；西尔维亚·克拉法 20 2001 确保安全环境。 Zbl 1323.68404号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚 13 2001 关于移动环境中安全性的推理。 Zbl 1006.68533号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚；西尔维亚·克拉法 7 2001 键入的移动对象。 Zbl 0999.68505号 米歇尔·布格列西；朱塞佩·卡斯塔尼亚；西尔维亚·克拉法 1 2000 线性逻辑中的对象计算。 Zbl 0955.68025号 米歇尔·布格列西；乔治·德尔扎诺；路易吉·利科里；Maurizio Martelli 1 2000 可扩展、不完整对象的子类型。 Zbl 1040.03506号 维维亚娜·博诺；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；路易吉·利科里 4 1999 可扩展对象和类型的解释。 Zbl 0945.68031号 维维亚娜·博诺；米歇尔·布格列西 1 1999 对象lambda演算的匹配约束。 Zbl 1063.68549号 维维亚娜·博诺；米歇尔·布格列西 1 1997 微分逻辑程序：编程方法和语义。 Zbl 0859.68009号 A.博西。；M.布格列西。；M.加布里埃利。；列维，G。；M.C.梅奥。 三 1996 不完整对象的lambda演算。 Zbl 0896.03016号 维维亚娜·博诺；米歇尔·布格列西；路易吉·利科里 1 1996 结构化逻辑编程的部分演绎。 兹比尔0774.68025 米歇尔·布格列西；伊芙琳娜·拉姆；梅洛，保拉 2 1993 等式编程的组合形式：实例、统一和缩小。 Zbl 0758.68022号 M.贝利亚。；M.布格列西。；Occhiuto，M.E。 三 1990 所有引用的出版物 前5名被引用出版物 全部的 前5名111位作者引用 8 米歇尔·布格列西 5 丹尼尔·戈拉 4 维维亚娜·博诺 4 马里亚纽拉州Dezani-Ciancaglini 4 里卡多·福卡迪 4 弗拉迪米罗·萨松 三 朱塞佩·卡斯塔尼亚 三 西尔维亚·克拉法 2 阿姆托夫特，托本 2 佛朗哥·巴巴内拉 2 洛伦佐·贝蒂尼 2 奇亚拉·布拉金 2 加布里埃尔·乔巴努 2 阿戈斯蒂诺·科尔特斯 2 桑德罗·埃塔利 2 安德鲁·戈登。 2 轩尼诗，Matthew C.B。 2 伊芙琳娜·拉姆 2 塞尔盖·伦格利特 2 弗朗西丝卡·列维 2 塞尔吉奥·马菲斯 2 梅洛，保拉 2 马西莫·梅罗 2 伊恩·菲利普斯。 2 Damien Pous 2 罗萨里奥·普格利泽 2 伊万诺·萨尔沃 2 阿兰·施密特 2 Jean-Bernard斯特凡尼 2 贝蒂·文奈里 2 玛丽亚·格拉齐亚·维格利奥蒂 1 阿曼，博格丹 1 苏珊娜·安多瓦 1 伊莎贝尔·阿塔利 1 马可·贝利亚 1 斯特凡诺·贝拉尔迪 1 菲利普·比丁格 1 爱荷华州博内娃 1 约翰·博格斯特罗姆 1 多伊纳·布库尔 1 纳迪亚·布西 1 路易斯·凯雷斯 1 斯特凡诺·卡尔扎瓦拉 1 卢卡·卡德利 1 丹尼斯·卡罗梅尔 1 安娜·齐安波里尼 1 达里奥·科拉佐 1 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 1 马里奥·科普 1 克雷默斯，Cas J.F。 1 洛科·德尼古拉 1 费利佩·卢纳（Felipe Luna）·德尔·阿吉拉（Del Aguila） 1 乌戈·德利古罗 1 乔治·德尔扎诺 1 Mehran S·法拉。 1 伏玉溪 1 毛里齐奥·加布里埃利 1 马尼什·戈尔 1 乔治·盖利 1 西尔维娅·吉勒赞 1 克里斯蒂安·戈斯汀 1 管旭东 1 埃尔萨·甘特。 1 卢多维奇·亨里奥 1 丹尼尔·赫希科夫 1 塞缪尔·希姆 1 斯维特拉纳·雅克西奇 1 蒋莹 1 埃纳尔·布罗赫·约翰森 1 阿萨夫·科福里。 1 马西耶·库特尼 1 Marta Z.Kwiatkowska。 1 路易吉·利科里 1 马其顿，达米亚诺 1 伊内斯·玛格丽亚 1 Maurizio Martelli 1 绍克·莫 1 Mjölsnes，Stig Frode 1 尼尔森，莫根斯 1 格钦·诺曼 1 奥奇乌托（M.Eugenia Occhiuto） 1 卡图西亚帕拉米德斯 1 约万卡·潘托维奇 1 德克·帕丁森 1 佩雷斯（Jorge A.Pérez）。 1 圣地亚哥·M·佩里卡斯·格特森。 1 弗兰克·芬宁 1 安德鲁·菲利普斯 1 萨沙拉多米罗维奇 1 朱利安·拉特克 1 乔恩·里克（Jon G.Riecke）。 1 大卫·桑吉奥吉 1 贝纳姆萨塔扎德 1 鲁道夫·施拉特 1 亚历克斯·沙法伦科 1 巴布亚州索波辛斯基 1 阿诺·斯皮瓦克 1 Steggles，杰森 1 克里斯托弗·斯通（Christopher A.Stone）。 1 Jean-Marc Talbot …还有11位作者 全部的 前5名14篇连载文章中引用 19 理论计算机科学 12 信息与计算 三 信息学报 三 计算机语言、系统和结构 三 程序设计中的逻辑和代数方法杂志 2 信息处理信件 2 MSCS公司。计算机科学中的数学结构 2 逻辑与代数程序设计杂志 1 计算机程序设计科学 1 计算的形式方面 1 杰泰。实验与理论人工智能杂志 1 分布式计算 1 约束条件 1 高阶和符号计算 全部的 前5名在6个字段中引用 63 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 2 范畴理论；同调代数（18-XX） 2 信息与通信理论、电路（94-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的引文