×
作者ID: 洛雷蒂·米切尔最近由“Loreti,Michele”撰写的zbMATH文章
发布日期: 米歇尔·洛雷蒂;M.洛雷蒂。
外部链接: ORCID公司
编入索引的文档: 41出版物自2000年起
4作为编辑的贡献
合著者: 38位合著者具有44联合出版物
846合著作者

按年份列出的出版物

zbMATH Open中包含的引文

37出版物有被引用194中的次117文件 引用人 年份
用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 Zbl 1358.68210号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
16
2013
克莱姆项目:理论与实践。 Zbl 1179.68027号
洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托奥斯托;贝蒂·文内里
13
2003
随机过程计算的统一定义。 Zbl 1288.68184号
尼古拉·洛科·德;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
12
2013
将具有不确定性和概率的过程的强行为等价性联系起来。 Zbl 1360.68626号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
10
2014
指定和验证空间的特性。 Zbl 1417.68101号
文森佐·西安西亚;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
9
2014
回顾非确定性和概率过程的跟踪和测试等效性。 Zbl 1325.68159号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
9
2014
并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。 Zbl 1416.68004号
9
2019
利用SSTL对时空特性进行定性和定量监测。 Zbl 1448.68313号
内兹,L。;博托鲁西。;Ciancia,V.公司。;M.洛雷蒂。;马森克,M。
8
2018
模型检查闭合空间的空间逻辑。 Zbl 1398.68335号
文森佐·西安西亚;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
8
2016
超公式、并行推论和交集类型。 Zbl 1261.03072号
比阿特丽斯·卡皮塔尼;米歇尔·洛雷蒂;贝蒂·文内里
8
2001
论基于属性的交流的力量。 Zbl 1347.68022号
叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂
7
2016
重温非确定性和概率过程的双相似性及其模态逻辑。 Zbl 1331.68147号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
7
2015
随机过程计算的基于比率的转换系统。 Zbl 1248.68350号
洛科·德尼古拉;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
7
2009
回顾非确定性和概率过程的跟踪和测试等效性。 Zbl 1326.68197号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
7
2012
非确定性概率过程的度量线性时间分支时间谱。 Zbl 1433.68242号
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼
5
2020
集体适应系统的微积分及其行为理论。 兹比尔1430.68158
叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂
5
2019
编程和验证组件集成。 Zbl 1416.68051号
洛科·德尼古拉;卢赫·拉富恩特,阿尔贝托;米歇尔·洛雷蒂;安德里亚·莫里切塔;罗萨里奥·普格利泽;Valerio Senni公司;弗朗西斯科·蒂埃齐
5
2014
一个实验时空模型检查器。 Zbl 1461.68113号
文森佐·西安西亚;吉安卢卡·格里莱蒂;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
5
2015
基于定点的计算字段的异步分布式执行。 兹比尔1398.68369
卢赫·拉富恩特,阿尔贝托;米歇尔·洛雷蒂;乌戈·蒙塔纳里
4
2017
闭合空间的空间逻辑和空间模型检查。 Zbl 1346.68122号
文森佐·西安西亚;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
4
2016
非确定性和概率过程的强行为等效谱。 Zbl 1464.68231号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
4
2013
快速平均场模型检查。 Zbl 1348.68144号
迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
3
2014
MarCaSPiS公司:服务演算的马尔科夫扩展。 兹比尔1339.68157
洛科·德尼古拉;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
3
2009
模型检查移动随机逻辑。 Zbl 1159.68478号
洛科·德尼古拉;Joost-Pieter卡托恩;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
3
2007
移动代理的模式逻辑。 Zbl 1367.68064号
洛科·德尼古拉;米歇尔·洛雷蒂
3
2004
简单模型的空间逻辑。 Zbl 07731936号
米歇尔·洛雷蒂;米歇拉·夸迪尼
2
2023
逐群概率双相似性及其逻辑特征。 Zbl 1348.68156号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
2
2014
克莱姆的模态逻辑。 Zbl 0983.68022号
洛科·德尼古拉;米歇尔·洛雷蒂
2
2000
CaSPiS:会话、管道和服务的计算。 兹比尔1361.68161
米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂
2
2015
形式化移动代理系统的属性。 Zbl 1053.68503号
洛伦佐·贝蒂尼;洛科·德尼古拉;米歇尔·洛雷蒂
2
2002
标称计算及其逻辑的多重标记转换系统。 Zbl 1141.68047号
洛科·德尼古拉;米歇尔·洛雷蒂
2
2008
MoMo:一种关于流动性推理的模态逻辑。 Zbl 1143.68364号
洛科·德尼古拉;米歇尔·洛雷蒂
2
2005
一种用于监测空间分布网络物理系统动态网络的逻辑。 Zbl 07471693号
劳拉·内兹;埃齐奥·巴托西;卢卡·博托卢西;米歇尔·洛雷蒂
2
2022
广播系统的流体近似。 Zbl 1432.68020号
卢卡·博托卢西;简·希尔斯顿;米歇尔·洛雷蒂
1
2020
在不可预测的环境中衡量程序健壮性的框架。 Zbl 07731930号
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼
1
2023
FlyFast飞快:基于平均场近似的概率模型检查的可扩展方法。 Zbl 1498.68162号
迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
1
2017
你的程序适应性和可靠性如何? Zbl 1489.68139号
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼
1
2021
简单模型的空间逻辑。 Zbl 07731936号
米歇尔·洛雷蒂;夸德里尼,米歇尔
2
2023
在不可预测的环境中衡量程序健壮性的框架。 Zbl 07731930号
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼
1
2023
一种用于监测空间分布网络物理系统动态网络的逻辑。 Zbl 07471693号
劳拉·内兹;埃齐奥·巴托西;卢卡·博托卢西;米歇尔·洛雷蒂
2
2022
你的程序适应性和可靠性如何? Zbl 1489.68139号
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼
1
2021
非确定性概率过程的度量线性时间分支时间谱。 Zbl 1433.68242号
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼
5
2020
广播系统的流体近似。 Zbl 1432.68020号
卢卡·博托卢西;简·希尔斯顿;米歇尔·洛雷蒂
1
2020
并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。 兹比尔1416.68004
9
2019
集体适应系统的微积分及其行为理论。 Zbl 1430.68158号
叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂
5
2019
利用SSTL对时空特性进行定性和定量监测。 Zbl 1448.68313号
内兹,L。;博托鲁西。;西安西亚,V。;M.洛雷蒂。;马森克,M。
8
2018
基于定点的计算字段的异步分布式执行。 兹比尔1398.68369
卢赫·拉富恩特,阿尔贝托;米歇尔·洛雷蒂;乌戈·蒙塔纳里
4
2017
FlyFast飞快:基于平均场近似的概率模型检查的可扩展方法。 兹比尔1498.68162
迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
1
2017
模型检查闭合空间的空间逻辑。 Zbl 1398.68335号
文森佐·西安西亚;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
8
2016
论基于属性的交流的力量。 Zbl 1347.68022号
叶希亚·阿卜杜·阿勒拉赫曼;洛科·德尼古拉;米歇尔·洛雷蒂
7
2016
闭合空间的空间逻辑和空间模型检查。 Zbl 1346.68122号
文森佐·西安西亚;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
4
2016
重温非确定性和概率过程的双相似性及其模态逻辑。 Zbl 1331.68147号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
7
2015
一个实验时空模型检查器。 Zbl 1461.68113号
文森佐·西安西亚;吉安卢卡·格里莱蒂;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
5
2015
CaSPiS:会话、管道和服务的计算。 Zbl 1361.68161号
米歇尔·博雷尔;罗伯托·布鲁尼;洛科·德尼古拉;米歇尔·洛雷蒂
2
2015
将具有不确定性和概率的过程的强行为等价性联系起来。 Zbl 1360.68626号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
10
2014
指定和验证空间属性。 兹比尔1417.68101
文森佐·西安西亚;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
9
2014
回顾非确定性和概率过程的跟踪和测试等效性。 Zbl 1325.68159号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
9
2014
编程和验证组件集成。 Zbl 1416.68051号
洛科·德尼古拉;卢赫·拉富恩特,阿尔贝托;米歇尔·洛雷蒂;安德里亚·莫里切塔;罗萨里奥·普格利泽;Valerio Senni公司;弗朗西斯科·蒂埃齐
5
2014
快速平均场模型检查。 Zbl 1348.68144号
迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
3
2014
逐群概率双相似性及其逻辑特征。 兹比尔1348.68156
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
2
2014
用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 Zbl 1358.68210号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
16
2013
随机过程计算的统一定义。 兹比尔1288.68184
尼古拉·洛科·德;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
12
2013
非确定性和概率过程的强行为等效谱。 Zbl 1464.68231号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
4
2013
回顾非确定性和概率过程的跟踪和测试等效性。 Zbl 1326.68197号
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂
7
2012
随机过程计算的基于比率的转换系统。 Zbl 1248.68350号
洛科·德尼古拉;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
7
2009
MarCaSPiS公司:服务演算的马尔科夫扩展。 Zbl 1339.68157号
洛科·德尼古拉;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
3
2009
标称计算及其逻辑的多重标记转换系统。 Zbl 1141.68047号
洛科·德尼古拉;米歇尔·洛雷蒂
2
2008
模型检查移动随机逻辑。 Zbl 1159.68478号
洛科·德尼古拉;Joost-Pieter卡托恩;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克
3
2007
MoMo:一种关于流动性推理的模态逻辑。 Zbl 1143.68364号
洛科·德尼古拉;米歇尔·洛雷蒂
2
2005
移动代理的模式逻辑。 兹比尔1367.68064
洛科·德尼古拉;米歇尔·洛雷蒂
3
2004
克莱姆项目:理论与实践。 Zbl 1179.68027号
洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托奥斯托;贝蒂·文内里
13
2003
形式化移动代理系统的属性。 Zbl 1053.68503号
洛伦佐·贝蒂尼;洛科·德尼古拉;米歇尔·洛雷蒂
2
2002
超公式、并行推论和交集类型。 Zbl 1261.03072号
比阿特丽斯·卡皮塔尼;米歇尔·洛雷蒂;贝蒂·文内里
8
2001
克莱姆的模态逻辑。 Zbl 0983.68022号
洛科·德尼古拉;米歇尔·洛雷蒂
2
2000
全部的 前5名

209位作者引用

19 米歇尔·洛雷蒂
11 洛科·德尼古拉
8 瓦伦蒂娜·卡斯蒂格利奥尼
8 梅克·马西克
7 马可·贝尔纳多
7 迭戈·拉特拉
7 西蒙·蒂尼
5 文森佐·西安西亚
5 弗莱明·尼尔森
5 米尔科·维罗利
4 叶希亚·阿卜杜·阿勒拉赫曼
4 乔治·奥德里托
4 卢卡·博托卢西
4 费卢西奥·达米亚尼
4 伊万·拉内斯
4 路易吉·利科里
4 马里诺米库兰
4 丹尼尔·皮亚尼尼
4 汉内·里斯·尼尔森
3 雅各布·比尔
3 洛伦佐·贝蒂尼
3 罗伯特·卡萨迪
3 马里亚纽拉州Dezani-Ciancaglini
3 霍尔格·赫尔曼斯
3 简·希尔斯顿
3 劳拉·内兹
3 米歇尔·帕斯夸
3 罗萨里奥·普格利泽
3 克劳德·斯托尔泽
3 弗朗西斯科·蒂埃齐
3 米尔科·特里巴斯通
3 埃米利奥·托奥斯托
2 埃齐奥·巴托西
2 维维亚娜·博诺
2 彼得·巴赫霍尔茨
2 加布里埃尔·乔巴努
2 埃里克·P·德文克。
2 乌戈·德利古罗
2 丹尼尔·多尔蒂(Daniel J.Dougherty)。
2 克里斯蒂安·艾森特罗
2 阿德里安·弗兰卡兰扎
2 Daniel E.Gebler。
2 格内西、斯特凡尼亚
2 Jens Chr.Godskesen。
2 Joost-Pieter卡托恩
2 巴托克·克林
2 拉诺特、拉格罗
2 埃尔南·梅尔格拉蒂
2 塞巴斯蒂安·南兹
2 Ronchi Della Rocca,西蒙
2 米歇尔·塞维格纳尼
2 宋磊
2 伊戈尔·瓦勒维奇·塔拉修克
2 马克斯·柴科夫斯基
2 安德烈·范丁
2 贝蒂·文内里
2 马丁·威尔辛
2 张丽君
1 卢卡·埃特罗
1 沃尔夫冈·阿伦特
1 亚历山德罗·阿尔迪尼
1 阿曼,博格丹
1 法哈德·阿尔巴
1 布莱尔·阿奇博尔德
1 大卫·巴丘
1 班克斯,C.J。
1 佛朗哥·巴巴内拉
1 尼克·贝扎尼什维利
1 普尼特·巴特亚
1 多梅尼科·比安库利
1 劳拉·博奇
1 菲利波·邦奇
1 米歇尔·博雷尔
1 约翰·博格斯特罗姆
1 马里奥·布拉维蒂
1 罗伯托·布鲁尼
1 阿尔弗雷多·布里耶扎
1 卡德,莫菲
1 曹永志
1 卢卡·卡德利
1 安东尼奥·卡塔
1 伊利亚卡斯特拉尼
1 陈、陶璐
1 陈一香
1 克拉克,戴夫
1 克里斯蒂安·科伦坡
1 弗拉维奥·科拉迪尼
1 路易斯·克鲁兹·菲利佩
1 佩德罗·鲁宾·达吉尼奥
1 佩雷斯·德古兹曼(Pérez de Guzmán),英马特拉达
1 Jyotirmoy V.德斯穆赫。
1 埃里克森,拉尔斯·亨里克
1 法尔科内,伊利斯
1 贝特弗里德·福泽
1 冯、程
1 吉安·路易吉,法拉利
1 约翰·埃弗雷特·菲尔德
1 威廉·扬·福克金
1 拉姆纳斯·福斯伯格·古特科瓦斯
1 阿兰·弗里希
…还有109位作者

按年份列出的引文