×
作者ID: boreale.michele公司“Boreale,Michele”最近发表的zbMATH文章
发布日期: 米歇尔·博雷尔;博雷尔,M。
外部链接: MGP公司
编入索引的文档: 64出版物自1992年起
2作为编辑的贡献
合著者: 29位合著者具有52联合出版物
647位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

58出版物被引用398中的次287文件 引用人 年份
演算中因果关系的完全抽象语义。 Zbl 0908.68103号
米歇尔·博雷尔;戴维·桑吉奥吉
35
1998
论命名计算中内部流动的表现力。 Zbl 0915.68059号
米歇尔·博雷尔
30
1998
测试移动进程的等效性。 Zbl 0835.68073号
米歇尔·博雷尔;洛科·德尼古拉
26
1995
线性加权自动机的联合观点。 Zbl 1279.68235号
菲律宾邦奇;马塞洛·邦桑格;米歇尔·博雷尔;简·拉特;亚历山德拉·席尔瓦
25
2012
线性代数形式的加权互模拟。 Zbl 1254.68130号
米歇尔·博雷尔
20
2009
加密过程的证明技术。 Zbl 1017.68050号
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽
20
2002
密码协议的符号跟踪分析。 兹伯利0986.94022
米歇尔·博雷尔
19
2001
跟踪和测试异步进程的等效性。 Zbl 1009.68079号
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽
17
2002
关于\(\pi\)-微积分双相似性的一些同余性质。 Zbl 0902.68117号
米歇尔·博雷尔;戴维·桑吉奥吉
14
1998
\(\pi\)-演算的符号语义。 Zbl 0853.68126号
米歇尔·博雷尔;洛科·德尼古拉
13
1996
面向服务的演算中用于客户端进程的类型系统。 Zbl 1143.68469号
露西娅·阿西艾;米歇尔·博雷尔
11
2008
过程的基本观察结果。 Zbl 0928.68013号
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽
10
1999
代数、余代数和多项式微分方程中的最小化。 Zbl 1486.68109号
米歇尔·博雷尔
10
2017
并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。 Zbl 1416.68004号
9
2019
D-fusion:一种独特的融合演算。 Zbl 1116.68540号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚;乌戈州蒙塔纳里
9
2004
演算中因果关系的完全抽象语义。 Zbl 1379.68245号
米歇尔·博雷尔;戴维·桑吉奥吉
8
1995
一次性攻击下的渐进信息泄漏。 Zbl 1326.94077号
米歇尔·博雷尔;弗朗西斯卡·帕姆帕洛尼;米歇拉·保里尼
7
2011
安全协议分析框架。 Zbl 1012.68520号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚
6
2002
作为形式幂级数的过程:指称语义的共导方法。 Zbl 1097.68070号
米歇尔·博雷尔;法比奥·加杜奇
6
2006
量化过程计算中的信息泄漏。 Zbl 1167.68038号
米歇尔·博雷尔
6
2009
XPi:XML消息传递的类型化进程演算。 Zbl 1146.68050号
露西娅·阿西艾;米歇尔·博雷尔
6
2008
过程计算的响应性。 Zbl 1157.68050号
露西娅·阿西艾;米歇尔·博雷尔
6
2008
通用名称绑定机制。 Zbl 1151.68508号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚;乌戈州蒙塔纳里
5
2005
通过行为类型确定无限状态pi演算中的安全属性。 Zbl 1248.68346号
露西娅·阿西艾;米歇尔·博雷尔
5
2009
多项式连续系统精确和近似线性抽象的算法。 Zbl 1417.93147号
米歇尔·博雷尔
4
2018
分布式系统的形式化技术。IFIP WG 6.1联合国际会议,FMOODS/FORTE 2013,作为第八届分布式计算技术国际联合会议的一部分,DisCo Tec 2013,2013,6月3日至5日,意大利佛罗伦萨。诉讼程序。 兹比尔1283.68029
4
2013
定量信息流,带观点。 Zbl 1481.94066号
米歇尔·博雷尔;弗朗西斯卡·帕姆帕洛尼;米歇拉·保里尼
4
2011
像素中的空间和行为类型。 Zbl 1209.68331号
露西娅·阿西艾;米歇尔·博雷尔
4
2010
量化过程计算中的信息泄漏。 Zbl 1133.68382号
米歇尔·博雷尔
4
2006
共导形式的表示测试语义。 Zbl 1124.68383号
米歇尔·博雷尔;法比奥·加杜奇
4
2003
关于空间逻辑和行为模拟之间的关系。 Zbl 1284.03204号
露西娅·阿西艾;米歇尔·博雷尔;吉安路易吉·扎瓦塔罗
4
2010
多项式ODE’S中代数最强后置条件和最弱前置条件的完备算法。 Zbl 1450.12004号
米歇尔·博雷尔
4
2018
通用泄漏函数和自适应对手下的定量信息流。 Zbl 1448.68236号
米歇尔·博雷尔;弗朗西斯卡·帕姆帕洛尼
4
2015
具有请求响应操作的行为合同。 Zbl 1264.68117号
露西娅·阿西艾;米歇尔·博雷尔;吉安路易吉·扎瓦塔罗
2013
通过生成函数和Padé近似分析概率系统。 Zbl 1440.60071号
米歇尔·博雷尔
2015
像素中的空间和行为类型。 Zbl 1160.03312号
露西娅·阿西艾;米歇尔·博雷尔
2008
随机化机制中最坏和平均情况下的隐私泄露。 Zbl 1369.94575号
米歇尔·博雷尔;米歇拉·保里尼
2
2015
安全协议的符号分析方法。 Zbl 1068.94009号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚
2
2005
原子事务的并发演算。 Zbl 1187.68062号
露西娅·阿西艾;米歇尔·博雷尔;达尔·齐利奥(Dal Zilio,Silvano)
2
2007
关于spi-calculus中的组合推理。 Zbl 1077.68713号
米歇尔·博雷尔;丹尼尔·戈拉
2
2002
关于偏微分方程的余代数。 Zbl 07561668号
米歇尔·博雷尔
2
2019
一次性攻击下的渐进信息泄漏。 Zbl 1361.68079号
米歇尔·博雷尔;弗朗西斯卡·帕姆帕洛尼;米歇拉·保里尼
2
2015
CaSPiS:会话、管道和服务的计算。 兹比尔1361.68161
米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂
2
2015
论名称传递结石内部流动性的表现力。 兹比尔1514.68157
米歇尔·博雷尔
2
1996
代数、余代数和多项式微分方程中的最小化。 Zbl 1486.68110号
米歇尔·博雷尔
1
2019
值传递过程的双相似性的复杂性分析。 Zbl 0944.68135号
博雷尔,M。;Trevisan,L。
1
2000
测试和准备语义的分歧。 Zbl 0989.68084号
博雷尔,M。;R.D.尼古拉。;普格利泽,R。
1
2001
一种基于半环的进程跟踪语义,用于信息泄漏分析。 Zbl 1198.68118号
米歇尔·博雷尔;大卫·克拉克;丹尼尔·戈拉
1
2010
名称传递过程的类型抽象。 Zbl 1141.68500号
露西娅·阿西艾;米歇尔·博雷尔
1
2007
基于模幂运算的密码协议符号分析。 Zbl 1124.94301号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚
1
2003
查询分布式XML文档的类型化演算。 Zbl 1211.68175号
露西娅·阿西艾;米歇尔·博雷尔;达尔·齐利奥(Dal Zilio,Silvano)
1
2007
通过行为类型确定无限状态pi演算中的安全属性。 兹比尔1279.68192
露西娅·阿西艾;米歇尔·博雷尔
1
2012
随机化机制中最坏和平均情况下的隐私泄露。 Zbl 1329.94084号
米歇尔·博雷尔;米歇拉·保里尼
1
2012
信任和声誉系统的渐近风险分析。 Zbl 1302.68303号
米歇尔·博雷尔;亚历山德罗·塞莱斯蒂尼
1
2013
计算多项式PDE守恒定律的线性代数方法。 Zbl 1475.35124号
米歇尔·博雷尔;路易斯·科洛迪
1
2022
偏微分方程的自动前置和后置条件。 Zbl 1486.35128号
米歇尔·博雷尔
1
2020
非线性常微分方程中的线性化、模型约简和可达性。 Zbl 07714976号
米歇尔·博雷尔;路易斯·科洛迪
1
2022
流乘积的代数和余代数。 Zbl 07730621号
米歇尔·博雷尔;丹尼尔·戈拉
1
2021
一种计算多项式偏微分方程守恒定律的线性代数方法。 兹比尔1475.35124
米歇尔·博雷尔;路易莎·科洛迪
1
2022
非线性常微分方程中的线性化、模型约简和可达性。 Zbl 07714976号
米歇尔·博雷尔;路易斯·科洛迪
1
2022
流乘积的代数和余代数。 Zbl 07730621号
米歇尔·博雷尔;丹尼尔·戈拉
1
2021
偏微分方程的自动前置和后置条件。 Zbl 1486.35128号
米歇尔·博雷尔
1
2020
并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。 Zbl 1416.68004号
9
2019
关于偏微分方程的余代数。 Zbl 07561668号
米歇尔·博雷尔
2
2019
代数、余代数和多项式微分方程中的最小化。 Zbl 1486.68110号
米歇尔·博雷尔
1
2019
多项式连续系统精确和近似线性抽象的算法。 Zbl 1417.93147号
米歇尔·博雷尔
4
2018
多项式ODE’S中代数最强后置条件和最弱前置条件的完备算法。 Zbl 1450.12004号
米歇尔·博雷尔
4
2018
代数、余代数和多项式微分方程中的最小化。 Zbl 1486.68109号
米歇尔·博雷尔
10
2017
通用泄漏函数和自适应对手下的定量信息流。 Zbl 1448.68236号
米歇尔·博雷尔;弗朗西斯卡·帕姆帕洛尼
4
2015
通过生成函数和Padé近似分析概率系统。 Zbl 1440.60071号
米歇尔·博雷尔
2015
随机化机制中最坏和平均情况下的隐私泄露。 Zbl 1369.94575号
米歇尔·博雷尔;米歇拉·保里尼
2
2015
一次性攻击下的渐进信息泄漏。 Zbl 1361.68079号
米歇尔·博雷尔;弗朗西斯卡·帕姆帕洛尼;米歇拉·保里尼
2
2015
CaSPiS:会话、管道和服务的计算。 Zbl 1361.68161号
米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂
2
2015
分布式系统的形式化技术。IFIP WG 6.1联合国际会议,FMOODS/FORTE 2013,作为第八届分布式计算技术国际联合会议的一部分,DisCo Tec 2013,2013,6月3日至5日,意大利佛罗伦萨。诉讼程序。 兹比尔1283.68029
4
2013
请求响应操作的行为契约。 Zbl 1264.68117号
露西娅·阿西艾;米歇尔·博雷尔;吉安路易吉·扎瓦塔罗
2013
信任和声誉系统的渐近风险分析。 Zbl 1302.68303号
米歇尔·博雷尔;亚历山德罗·塞莱斯蒂尼
1
2013
线性加权自动机的联合观点。 Zbl 1279.68235号
菲律宾邦奇;马塞洛·邦桑格;米歇尔·博雷尔;简·拉特;亚历山德拉·席尔瓦
25
2012
通过行为类型确定无限状态pi演算中的安全属性。 兹比尔1279.68192
露西娅·阿西艾;米歇尔·博雷尔
1
2012
随机化机制中最坏和平均情况下的隐私泄露。 Zbl 1329.94084号
米歇尔·博雷尔;米歇拉·保里尼
1
2012
一次性攻击下的渐进信息泄漏。 Zbl 1326.94077号
米歇尔·博雷尔;弗朗西斯卡·帕姆帕洛尼;米歇拉·保里尼
7
2011
定量信息流。 Zbl 1481.94066号
米歇尔·博雷尔;弗朗西斯卡·帕姆帕洛尼;米歇拉·保里尼
4
2011
像素中的空间和行为类型。 Zbl 1209.68331号
露西娅·阿西艾;米歇尔·博雷尔
4
2010
关于空间逻辑和行为模拟之间的关系。 Zbl 1284.03204号
露西娅·阿西艾;米歇尔·博雷尔;吉安路易吉·扎瓦塔罗
4
2010
一种基于半环的进程跟踪语义,用于信息泄漏分析。 Zbl 1198.68118号
米歇尔·博雷尔;大卫·克拉克;丹尼尔·戈拉
1
2010
线性代数形式的加权互模拟。 Zbl 1254.68130号
米歇尔·博雷尔
20
2009
量化过程计算中的信息泄漏。 Zbl 1167.68038号
米歇尔·博雷尔
6
2009
通过行为类型确定无限状态pi演算中的安全属性。 Zbl 1248.68346号
露西娅·阿西艾;米歇尔·博雷尔
5
2009
面向服务的演算中用于客户端进程的类型系统。 Zbl 1143.68469号
露西娅·阿西艾;米歇尔·博雷尔
11
2008
XPi:XML消息传递的类型化进程演算。 Zbl 1146.68050号
露西娅·阿西艾;米歇尔·博雷尔
6
2008
过程计算的响应性。 Zbl 1157.68050号
露西娅·阿西艾;米歇尔·博雷尔
6
2008
圆周率演算中的空间和行为类型。 兹比尔1160.03312
露西娅·阿西艾;米歇尔·博雷尔
2008
具有原子事务的并发演算。 Zbl 1187.68062号
露西娅·阿西艾;米歇尔·博雷尔;达尔·齐利奥(Dal Zilio,Silvano)
2
2007
名称传递过程的类型抽象。 Zbl 1141.68500号
露西娅·阿西艾;米歇尔·博雷尔
1
2007
查询分布式XML文档的类型化演算。 Zbl 1211.68175号
露西娅·阿西艾;米歇尔·博雷尔;达尔·齐利奥(Dal Zilio,Silvano)
1
2007
作为形式幂级数的过程:指称语义的共导方法。 Zbl 1097.68070号
米歇尔·博雷尔;法比奥·加杜奇
6
2006
量化过程计算中的信息泄漏。 Zbl 1133.68382号
米歇尔·博雷尔
4
2006
通用名称绑定机制。 Zbl 1151.68508号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚;乌戈州蒙塔纳里
5
2005
安全协议的符号分析方法。 Zbl 1068.94009号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚
2
2005
D-fusion:一种独特的融合演算。 Zbl 1116.68540号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚;乌戈州蒙塔纳里
9
2004
共导形式的表示测试语义。 Zbl 1124.68383号
米歇尔·博雷尔;法比奥·加杜奇
4
2003
基于模幂运算的密码协议符号分析。 Zbl 1124.94301号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚
1
2003
加密过程的证明技术。 Zbl 1017.68050号
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽
20
2002
跟踪和测试异步进程的等效性。 Zbl 1009.68079号
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽
17
2002
安全协议分析框架。 Zbl 1012.68520号
米歇尔·博雷尔;巴斯米,玛丽亚·格拉齐亚
6
2002
关于spi-calculus中的组合推理。 Zbl 1077.68713号
米歇尔·博雷尔;丹尼尔·戈拉
2
2002
密码协议的符号跟踪分析。 Zbl 0986.94022号
米歇尔·博雷尔
19
2001
测试和准备语义的分歧。 Zbl 0989.68084号
博雷尔,M。;R.D.尼古拉。;普格利泽,R。
1
2001
值传递过程的双相似性的复杂性分析。 Zbl 0944.68135号
博雷尔,M。;Trevisan,L。
1
2000
过程的基本观察结果。 Zbl 0928.68013号
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽
10
1999
微积分中因果关系的完全抽象语义。 兹比尔0908.68103
米歇尔·博雷尔;戴维·桑吉奥吉
35
1998
论名称传递结石内部流动性的表现力。 Zbl 0915.68059号
米歇尔·博雷尔
30
1998
(\pi\)-演算双相似的一些同余性质。 Zbl 0902.68117号
米歇尔·博雷尔;戴维·桑吉奥吉
14
1998
\(\pi\)-演算的符号语义。 Zbl 0853.68126号
米歇尔·博雷尔;洛科·德尼古拉
13
1996
论命名计算中内部流动的表现力。 Zbl 1514.68157号
米歇尔·博雷尔
2
1996
测试移动进程的等效性。 Zbl 0835.68073号
米歇尔·博雷尔;洛科·德尼古拉
26
1995
演算中因果关系的完全抽象语义。 Zbl 1379.68245号
米歇尔·博雷尔;戴维·桑吉奥吉
8
1995
全部的 前5名

371位作者引用

24 米歇尔·博雷尔
14 戴维·桑吉奥吉
13 菲律宾邦奇
10 吉田、Nobuko
9 罗萨里奥·普格利泽
9 简·J·M·M·鲁顿。
9 亚历山德拉·席尔瓦
8 马塞洛·玛丽亚·邦桑格
8 洛科·德尼古拉
7 罗伯托·布鲁尼
7 伊万·拉内斯
7 卡图西亚帕拉米德斯
6 伏玉溪
6 丹尼尔·戈拉
5 巴斯米,玛丽亚·格拉齐亚
5 皮耶保罗·德加诺
5 马里亚纽拉州Dezani-Ciancaglini
5 法比奥·加杜奇
5 乌戈·蒙塔纳里。
5 卢卡·帕多瓦尼
5 罗特,尤里安
5 米尔科·特里巴斯通
5 埃米利奥·托斯托
5 安德烈·范丁
4 露西娅·阿西艾
4 马里奥·阿尔维姆。
4 罗伯特·阿马迪奥(Roberto M.Amadio)。
4 路易斯·凯雷斯
4 卢卡·卡德利
4 亚尼克·骑士
4 轩尼诗,Matthew C.B。
4 丹尼尔·赫施科夫
4 汉斯·休特尔
4 林惠民
4 Jean-Marie,马迪奥
4 多里亚娜·梅迪奇
4 克劳迪奥·安塔雷斯·梅齐纳
4 乌韦·内斯特曼
4 伊恩·菲利普斯。
4 科拉多·普里亚米
4 米歇尔·鲁西诺维奇
4 马克斯·柴科夫斯基
4 维埃拉、雨果·托雷斯
马丁·阿巴迪
保罗·巴尔丹
大卫·巴兹勒
Cacciagrano、Diletta Romana
康斯坦蒂诺斯·查齐科科拉基斯
文森佐·西安西亚
路易斯·科洛迪
弗拉维奥·科拉迪尼
斯特凡尼德劳恩
法拉利,吉安·路易吉
塞德里克·Fornet
菲利普·安·加德纳
安德鲁·戈登。
罗伯托·戈里埃里
罗斯·霍恩
克里斯蒂安·约翰森
温·科克
克莱门斯·库普克
科西莫·拉内夫
米歇尔·洛雷蒂
毛,斯茹克
何塞·努诺·奥利维拉
帕南加登,普拉卡什
佩雷斯(Jorge A.Pérez)。
Damien Pous
伊万·普罗基奇
朱利安·拉特克
安托尼奥·拉瓦拉
弗朗西斯科·蒂埃齐
阿文·费南托(Alwen Fernanto Tiu)
丹尼尔·瓦拉卡
沃尔特·福格勒
徐,西安
2 克莱门·奥伯特
2 博尔贾·巴勒
2 贝拉德,贝特里奇
2 伊万·西布拉里奥·贝尔托洛蒂
2 布鲁诺·布兰切特
2 奇亚拉博迪
2 约翰·博格斯特罗姆
2 乔治亚娜·卡尔泰斯
2 朱塞佩·卡斯塔尼亚
2 伊利亚州卡斯特拉尼
2 大卫·克拉克
2 亚历克斯·科托
2 克雷默斯,Cas J.F。
2 奥尔内拉·达达
2 戴维·德·弗鲁托斯·埃斯克里格
2 邓玉欣
2 卢卡·杜兰特
2 罗伯塔·戈里
2 卡洛斯·格雷戈里奥·罗德里格斯
2 罗伯特·瓜夏莱
2 Helle Hvid Hansen先生
2 罗伯特·马克·海伦斯
2 托马斯·希尔德布兰特。
2 本田、高黑
……还有271名作者

按年份列出的引文