编辑配置文件(在新选项卡中打开) 米歇尔·洛雷蒂 合著者距离 作者ID: 洛雷蒂·米切尔 发布日期: 米歇尔·洛雷蒂;M.洛雷蒂。 外部链接: ORCID公司 编入索引的文档: 41出版物自2000年起 4作为编辑的贡献 合著者: 38位合著者具有44联合出版物 846合著作者 全部的 前5名合著者 1 单作者的 22 洛科·德尼古拉 12 梅克·马西克 11 迭戈·拉特拉 8 马可·贝尔纳多 5 文森佐·西安西亚 3 卢卡·博托卢西 3 瓦伦蒂娜·卡斯蒂格利奥尼 3 劳拉·内兹 3 罗萨里奥·普格利泽 3 西蒙·蒂尼 2 叶希亚·阿卜杜·阿勒拉赫曼 2 洛伦佐·贝蒂尼 2 米歇尔·博雷尔 2 简·希尔斯顿 2 卢赫·拉富恩特,阿尔贝托 2 贝蒂·文内里 1 埃齐奥·巴托西 1 维维亚娜·博诺 1 罗伯托·布鲁尼 1 比阿特丽斯·卡皮塔尼 1 弗拉维奥·科拉迪尼 1 克雷森齐,皮尔路易吉 1 吉安·路易吉,法拉利 1 皮埃尔·甘蒂 1 Daniel E.Gebler。 1 丹尼尔·戈拉 1 吉安卢卡·格里莱蒂 1 Joost-Pieter卡托恩 1 Luisa Vissat,卢多维察 1 格伦·马里恩 1 尤金尼奥·莫吉 1 乌戈·蒙塔纳里。 1 安德里亚·莫里切塔 1 米歇拉·夸迪尼 1 阿尼卡·雷赫曼 1 Valerio Senni公司 1 弗朗西斯科·蒂埃齐 1 埃米利奥·托奥斯托 全部的 前5名系列 7 计算机科学中的逻辑方法 4 理论计算机科学 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 计算机科学课堂讲稿 1 倒排索引综述 1 信息学报 1 计算的形式方面 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 字段 44 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 5 总体主题;集合(00-XX) 3 概率论与随机过程(60-XX) 2 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名18篇连载文章中引用 17 程序设计中的逻辑和代数方法杂志 16 理论计算机科学 14 计算机科学中的逻辑方法 10 信息与计算 4 计算的形式方面 3 信息学报 2 国际近似推理杂志 2 MSCS公司。计算机科学中的数学结构 2 ACM计算逻辑事务 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 信息处理信件 1 软件。实践与经验 1 计算机程序设计科学 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 美国计算机学会模型和计算机仿真汇刊 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 全部的 前5名在16个字段中引用 109 计算机科学(68至XX) 37 数学逻辑和基础(03-XX) 8 概率论与随机过程(60-XX) 4 生物学和其他自然科学(92-XX) 3 运筹学、数学规划(90-XX) 3 系统论;控制(93至XX) 2 常微分方程(34-XX) 2 一般拓扑结构(54至XX) 1 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文