×

兹马思-数学第一资源

布格里西,米歇尔

计算距离:
作者ID: 布格里西。米歇尔最近的zbMATH文章由“Bugliesi,Michele”
发布为: 布格里西,米歇尔;布格里西,M。
编制索引的文档: 40种出版物自1990年以来,包括3本书

按年份列出的出版物

开放式数学引文

24出版物有被引用92时间61份文件 引用人
封闭的氛围。 Zbl 1087.68541号
布格里西,米歇尔;卡斯塔格纳,朱塞佩;克拉法,西尔维亚
17
2001
安全的环境。 Zbl 1323.68404
布格里西,米歇尔;卡斯塔格纳,朱塞佩
13
2001
封闭环境中的通信和移动控制。 Zbl 1101.68943
布格里西,米歇尔;克拉法,西尔维亚;梅罗,马西莫;萨松,弗拉基米罗
9
2005
移动箱式环境中的通信干扰。 Zbl 1027.68086
布格里西,米歇尔;克拉法,西尔维亚;梅罗,马西莫;萨松,弗拉基米罗
7
2002
盒装环境概述(摘要)。 Zbl 1268.68123
卡斯塔格纳,朱塞佩;布格里西,米歇尔;克拉法,西尔维亚
6
2002
关于移动环境中安全性的推理。 Zbl 1006.68533号
布格里西,米歇尔;卡斯塔格纳,朱塞佩;克拉法,西尔维亚
6
2001
类型化通道抽象的安全实现。 Zbl 1295.68078
布格里西,米歇尔;吉安蒂,马可
5
2007
有界容量的演算。 Zbl 1215.68036
巴贝内拉,佛朗哥;布格里西,米歇尔;Dezani Ciancaglini,马里安哥拉;萨松,弗拉基米罗
4
2003
安全环境下的行为打字。 Zbl 1028.68005
布格里西,米歇尔;卡斯塔格纳,朱塞佩
4
2002
微分逻辑程序:编程方法和语义。 Zbl 0859.68009
博西,A。;布格里西,M。;加布里埃利,M。;列维,G。;哦,M。C。
1996
可扩展、不完整对象的子类型。 Zbl 1040.03506
波诺,薇薇安娜;布格里西,米歇尔;Dezani Ciancaglini,马里安哥拉;利库里,路易吉
1999
结构化逻辑程序设计的部分演绎。 Zbl 0774.68025
布格里西,米歇尔;南丫岛,伊芙丽娜;梅洛,保拉
2
1993
空间感知环境和过程。 Zbl 1111.68011
巴贝内拉,佛朗哥;布格里西,米歇尔;Dezani Ciancaglini,马里安哥拉;萨松,弗拉基米罗
2
2007
不完全对象的lambda演算。 Zbl 0896.03016
维维亚诺;布格里西,米歇尔;利库里,路易吉
1
1996
可扩展对象和类型的解释。 Zbl 0945.68031
波诺,薇薇安娜;布格里西,米歇尔
1
1999
线性逻辑中的对象计算。 Zbl 0955.68025
布格里西,米歇尔;德尔扎诺,乔治;利库里,路易吉;马泰利,毛里齐奥
1
2000
等式规划的组合形式:实例、统一与缩小。 Zbl 0758.68022
贝利亚,M。;布格里西,M。;奥奇乌托,M。E。
1
1990
安全抽象和入侵者模型(扩展抽象)。 Zbl 1291.68249
布格里西,米歇尔;福卡迪,里卡多
1
2009
对浏览器扩展的权限提升攻击的细粒度检测。 Zbl 1335.68047
卡尔扎瓦拉,斯特凡诺;布格里西,米歇尔;克拉法,西尔维亚;恩里科,斯特芬隆戈
1
2015
不可信网络中的保密性。 Zbl 1039.68516
布格里西,米歇尔;克拉法,西尔维亚;预科,阿梅拉;萨松,弗拉基米罗
1
2003
协议实现中安全资源管理的逻辑基础。 Zbl 1390.68075
布格里西,米歇尔;卡尔扎瓦拉,斯特凡诺;艾格纳,法比安;马菲,马特奥
1
2013
键入的移动对象。 Zbl 0999.68505
布格里西,米歇尔;卡斯塔格纳,朱塞佩;克拉法,西尔维亚
1
2000
对象lambda演算的匹配约束。 Zbl 1063.68549
波诺,薇薇安娜;布格里西,米歇尔
1
1997
组合认证协议分析。 Zbl 1126.94346
布格里西,米歇尔;福卡迪,里卡多;马菲,马特奥
1
2004
对浏览器扩展的权限提升攻击的细粒度检测。 Zbl 1335.68047
卡尔扎瓦拉,斯特凡诺;布格里西,米歇尔;克拉法,西尔维亚;恩里科,斯特芬隆戈
1
2015
协议实现中安全资源管理的逻辑基础。 Zbl 1390.68075
布格里西,米歇尔;卡尔扎瓦拉,斯特凡诺;艾格纳,法比安;马菲,马特奥
1
2013
安全抽象和入侵者模型(扩展抽象)。 Zbl 1291.68249
布格里西,米歇尔;福卡迪,里卡多
1
2009
类型化通道抽象的安全实现。 Zbl 1295.68078
布格里西,米歇尔;吉安蒂,马可
5
2007
空间感知环境和过程。 Zbl 1111.68011
巴贝内拉,佛朗哥;布格里西,米歇尔;Dezani Ciancaglini,马里安哥拉;萨松,弗拉基米罗
2
2007
封闭环境中的通信和移动控制。 Zbl 1101.68943
布格里西,米歇尔;克拉法,西尔维亚;梅罗,马西莫;萨松,弗拉基米罗
9
2005
组合认证协议分析。 Zbl 1126.94346
布格里西,米歇尔;福卡迪,里卡多;马菲,马特奥
1
2004
有界容量的演算。 Zbl 1215.68036
巴贝内拉,佛朗哥;布格里西,米歇尔;Dezani Ciancaglini,马里安哥拉;萨松,弗拉基米罗
4
2003
不可信网络中的保密性。 Zbl 1039.68516
布格里西,米歇尔;克拉法,西尔维亚;预科,阿梅拉;萨松,弗拉基米罗
1
2003
移动箱式环境中的通信干扰。 Zbl 1027.68086
布格里西,米歇尔;克拉法,西尔维亚;梅罗,马西莫;萨松,弗拉基米罗
7
2002
盒装环境概述(摘要)。 Zbl 1268.68123
卡斯塔格纳,朱塞佩;布格里西,米歇尔;克拉法,西尔维亚
6
2002
安全环境下的行为打字。 Zbl 1028.68005
布格里西,米歇尔;卡斯塔格纳,朱塞佩
4
2002
封闭的氛围。 Zbl 1087.68541号
布格里西,米歇尔;卡斯塔格纳,朱塞佩;克拉法,西尔维亚
17
2001
安全的环境。 Zbl 1323.68404
布格里西,米歇尔;卡斯塔格纳,朱塞佩
13
2001
关于移动环境中安全性的推理。 Zbl 1006.68533号
布格里西,米歇尔;卡斯塔格纳,朱塞佩;克拉法,西尔维亚
6
2001
线性逻辑中的对象计算。 Zbl 0955.68025
布格里西,米歇尔;德尔扎诺,乔治;利库里,路易吉;马泰利,毛里齐奥
1
2000
键入的移动对象。 Zbl 0999.68505
布格里西,米歇尔;卡斯塔格纳,朱塞佩;克拉法,西尔维亚
1
2000
可扩展、不完整对象的子类型。 Zbl 1040.03506
波诺,薇薇安娜;布格里西,米歇尔;Dezani Ciancaglini,马里安哥拉;利库里,路易吉
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
结构化逻辑程序设计的部分演绎。 Zbl 0774.68025
布格里西,米歇尔;南丫岛,伊芙丽娜;梅洛,保拉
2
1993
等式规划的组合形式:实例、统一与缩小。 Zbl 0758.68022
贝利亚,M。;布格里西,M。;奥奇乌托,M。E。
1
1990
全部的 前5名

被100位作者引用

8 布格里西,米歇尔
4 波诺,薇薇安娜
4 Dezani Ciancaglini,马里安哥拉
4 福卡迪,里卡多
4 戈拉,丹妮尔
4 萨松,弗拉基米罗
卡斯塔格纳,朱塞佩
克拉法,西尔维亚
2 安托夫特,托本
2 巴贝内拉,佛朗哥
2 贝蒂尼,洛伦佐
2 布拉金,恰拉
2 乔巴努,加布里埃尔
2 科特斯,阿戈斯蒂诺
2 埃塔莱,桑德罗
2 戈登,安德鲁D。
2 轩尼诗,马修·C。B。
2 南丫岛,伊芙丽娜
2 伦格莱特,塞尔盖
2 列维,弗朗西斯卡
2 马菲斯,塞尔吉奥
2 梅洛,保拉
2 梅罗,马西莫
2 菲利普斯,法律。
2 波斯,达米安
2 普利斯,罗萨里奥
2 萨尔沃,伊万诺
2 施密特,艾伦
2 斯蒂芬尼,让·伯纳德
2 韦内里,贝蒂
2 维格利奥蒂,玛丽亚·格拉齐亚
1 阿曼,博格丹
1 安多娃,苏珊娜
1 阿塔利,伊莎贝尔
1 贝利亚,马可
1 贝拉迪,斯特凡诺
1 比丁格,菲利普
1 博尼娃,爱荷华
1 博格斯特伦,约翰内斯
1 布西,娜迪亚
1 卡尔扎瓦拉,斯特凡诺
1 卡德利,卢卡
1 丹尼斯,卡罗梅尔
1 安娜,夏姆波利尼
1 科拉佐,达里奥
1 康普格诺尼,阿德里安娜B。
1 科波,马里奥
1 克里默斯,Cas J。F。
1 德尼古拉,洛克
1 德阿吉拉,菲利佩·卢娜
1 德利古罗,乌戈
1 法拉,梅兰S。
1 傅玉溪
1 加布里埃利,毛里齐奥
1 高尔,曼尼什
1 盖利,乔治
1 吉尔赞,西尔维亚
1 克莉丝汀
1 关旭东
1 冈特,艾尔莎L。
1 亨利奥,卢多维奇
1 赫尔施科夫,丹尼尔
1 赞美诗,塞缪尔
1 雅克希奇,斯维特兰娜
1 江,英
1 约翰森,艾纳·布洛赫
1 阿萨夫J。
1 库特尼,麦基
1 Kwiatkowska,Marta Z。
1 利库里,路易吉
1 达姆多尼奥,马塞亚诺
1 玛格丽亚,伊内斯
1 莫,苏克
1 乔尔斯内斯,斯蒂格·弗罗德
1 诺曼,格钦
1 奥奇乌托,M。优生菌
1 帕拉米德西,卡图西亚
1 潘托维奇,约万卡
1 帕丁森,德克
1 佩里卡斯·吉尔森,圣地亚哥M。
1 菲利普斯,安德鲁
1 拉多米罗维奇,萨沙
1 拉什克,朱利安
1 里克,乔恩G。
1 大卫桑吉奥吉
1 萨塔尔扎德,贝南
1 拉特,鲁道夫
1 索波辛斯基,帕维
1 斯皮瓦克,阿诺
1 史帝格尔斯,杰森
1 斯通,克里斯托弗A。
1 托尔伯特,让·马克
1 Tapia Tarifa,Silvia Lizeth
1 维泰克,简
1 维辛,马丁
1 杨一玲
1 你,金元
1 Zacchi,Maddalena
1 Zappa Nardelli,弗朗西斯科
1 扎瓦塔罗,詹路易吉

按年份列出的引文