编辑配置文件(在新选项卡中打开) 拉诺特、拉格罗 合著者距离 作者ID: 拉诺特·鲁格罗 发布日期: 拉诺特、拉格罗 外部链接: ORCID公司 已编制索引的文档: 46出版物自2000年起 合著者: 19位合著者具有44联合出版物 308合著作者 全部的 前5名合著者 2 单作者的 21 蒂妮,西蒙 17 安德烈亚·马吉奥洛·谢蒂尼 10 马西莫·梅罗 7 安吉洛·特洛伊娜 4 阿德里亚诺·佩隆 三 劳拉·博泽利 三 瓦伦蒂娜·卡斯蒂格利奥尼 三 柯特林·迪马 2 丹尼尔·博基尔 2 保罗·米拉佐 2 恩里科·特隆西 1 Stephen Chong先生 1 乔·科恩 1 里卡多·福卡尔迪 1 罗伯托·戈里埃里 1 法比奥·马蒂内利 1 法比奥·莫加维罗 1 安德烈·蒙泰努 1 向、健 全部的 前5名系列 6 计算机基础理论 5 理论计算机科学 三 信息与计算 1 信息学报 1 信息处理信件 1 计算机与系统科学杂志 1 计算机程序设计科学 1 计算的形式方面 1 分布式计算 1 自动机、语言和组合数学杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 字段 45 计算机科学(68-XX) 6 数学逻辑和基础(03-XX) 5 系统论;控制(93至XX) 1 近似值和展开值(41至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 37出版物有被引用136中的次93文件 引用人▼ 年份▼ 用于系统设计和分析的参数概率过渡系统。 Zbl 1111.68084号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 20 2007 概率互模拟作为同余。 Zbl 1351.68183号 拉诺特、拉格罗;蒂妮,西蒙 10 2009 非否认协议的自动分析。 Zbl 1272.68326号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 8 2005 混合系统的泰勒近似。 Zbl 1130.68071号 拉诺特、拉格罗;蒂妮,西蒙 6 2007 半随机生成过程的概率同余。 Zbl 1118.68572号 拉诺特、拉格罗;蒂妮,西蒙 6 2005 物联网的语义理论。 Zbl 1388.68013号 拉诺特、拉格罗;马西莫·梅罗 6 2018 计算机物理系统的微积分。 Zbl 1485.68163号 拉诺特、拉格罗;马西莫·梅罗 6 2017 分布式时间异步自动机。 Zbl 1147.68556号 柯特林·迪马;拉诺特、拉格罗 5 2007 组密钥更新的组合弱度量。 Zbl 1441.68146号 拉诺特、拉格罗;马西莫·梅罗;蒂妮,西蒙 5 2017 无线传感器网络八卦协议的语义分析。 Zbl 1343.68028号 拉诺特、拉格罗;马西莫·梅罗 5 2011 线性时间混合逻辑的复杂性和简洁性问题。 兹比尔1178.03029 劳拉·博泽利;拉诺特、拉格罗 4 2008 定时协作自动机。 Zbl 0965.68046号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 4 2000 混合系统的泰勒近似。 Zbl 1078.93044号 拉诺特、拉格罗;蒂妮,西蒙 4 2005 八卦场景中的弱模拟拟度量。 Zbl 1489.68163号 拉诺特、拉格罗;马西莫·梅罗;蒂妮,西蒙 4 2017 具有不确定性和连续状态空间的模型中的弱互模拟度量。 Zbl 1518.68233号 拉诺特、拉格罗;蒂妮,西蒙 4 2018 概率时间自动机的弱互模拟。 Zbl 1208.68160号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 4 2010 网络物理系统的概率演算。 Zbl 1497.68346号 拉诺特、拉格罗;马西莫·梅罗;蒂妮,西蒙 4 2021 无线网络八卦协议中的等式推理。 Zbl 1408.68030号 拉诺特、拉格罗;马西莫·梅罗;蒂妮,西蒙 三 2018 从时间自动机中删除所有静默转换。 Zbl 1262.68089号 柯特林·迪马;拉诺特、拉格罗 三 2009 在定时框架中设计和验证长时间运行的事务。 Zbl 1170.68024号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2008 时间合作自动机的转换。 Zbl 1004.68088号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;蒂妮,西蒙;阿德里亚诺·佩隆 2 2001 时间自动机中的并发性。 Zbl 0999.68135号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;蒂妮,西蒙 2 2001 时间自动机中的并发性。 Zbl 1070.68073号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;蒂妮,西蒙 2 2003 使用通信分层时间自动机对长时间运行的事务进行建模。 Zbl 1461.68136号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2006 根分支互模拟的规范格式。 Zbl 1315.68190号 瓦伦蒂娜·卡斯蒂格利奥尼;拉诺特、拉格罗;蒂妮,西蒙 2 2014 具有无界数据结构的时间自动机的可达性结果。 Zbl 1214.68199号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 2 2010 具有实变量、整数变量和数组的混合系统的表达能力。 Zbl 1145.68462号 拉诺特、拉格罗 1 2007 具有单调活动的时间自动机。 Zbl 0996.68100号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼 1 2000 多级安全组件的自动隐蔽通道分析。 Zbl 1109.68470号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;蒂妮,西蒙;安吉洛·特洛伊娜;恩里科·特隆西 1 2004 通信分层机器的结构模型检查。 Zbl 1096.68092号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 1 2004 动态分层机器。 Zbl 1111.68061号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;蒂妮,西蒙 1 2003 具有变量、参数和数组的混合系统的表达能力。 Zbl 1271.68189号 拉诺特、拉格罗 1 2004 CaRet的混合和一阶完全扩展。 Zbl 1333.03005号 劳拉·博泽利;拉诺特、拉格罗 1 2011 关于洗牌、秒表和独立进化时钟的研究。 Zbl 1277.68179号 柯特林·迪马;拉诺特、拉格罗 1 2012 线性时间混合逻辑的复杂性和简洁性问题。 Zbl 1187.68292号 劳拉·博泽利;拉诺特、拉格罗 1 2010 定时概率系统的可判定概率逻辑。 兹比尔1198.68169 拉诺特、拉格罗;丹尼尔·博基尔 1 2009 使用有限编辑自动机执行安全策略。 Zbl 1291.68279号 丹尼尔·博基尔;乔·科恩;拉诺特、拉格罗 1 2009 网络物理系统的概率演算。 Zbl 1497.68346号 拉诺特、拉格罗;马西莫·梅罗;蒂妮,西蒙 4 2021 物联网的语义理论。 Zbl 1388.68013号 拉诺特、拉格罗;马西莫·梅罗 6 2018 具有不确定性和连续状态空间的模型中的弱互模拟度量。 Zbl 1518.68233号 拉诺特、拉格罗;蒂妮,西蒙 4 2018 无线网络八卦协议中的等式推理。 Zbl 1408.68030号 拉诺特、拉格罗;马西莫·梅罗;蒂妮,西蒙 三 2018 计算机物理系统的微积分。 Zbl 1485.68163号 拉诺特、拉格罗;马西莫·梅罗 6 2017 组密钥更新的组合弱度量。 Zbl 1441.68146号 拉诺特、拉格罗;马西莫·梅罗;蒂妮,西蒙 5 2017 八卦场景中的弱模拟准度量。 Zbl 1489.68163号 拉诺特、拉格罗;马西莫·梅罗;蒂妮,西蒙 4 2017 根分支互模拟的规范格式。 Zbl 1315.68190号 瓦伦蒂娜·卡斯蒂格利奥尼;拉诺特、拉格罗;蒂妮,西蒙 2 2014 关于洗牌、秒表和独立进化时钟的研究。 Zbl 1277.68179号 柯特林·迪马;拉诺特、拉格罗 1 2012 无线传感器网络八卦协议的语义分析。 Zbl 1343.68028号 拉诺特、拉格罗;马西莫·梅罗 5 2011 CaRet的混合和一阶完全扩展。 Zbl 1333.03005号 劳拉·博泽利;拉诺特、拉格罗 1 2011 概率时间自动机的弱互模拟。 兹比尔1208.68160 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 4 2010 具有无界数据结构的时间自动机的可达性结果。 Zbl 1214.68199号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 2 2010 线性时间混合逻辑的复杂性和简洁性问题。 Zbl 1187.68292号 劳拉·博泽利;拉诺特、拉格罗 1 2010 概率互模拟作为同余。 Zbl 1351.68183号 拉诺特、拉格罗;蒂妮,西蒙 10 2009 从时间自动机中删除所有静默转换。 Zbl 1262.68089号 柯特林·迪马;拉诺特、拉格罗 三 2009 定时概率系统的可判定概率逻辑。 Zbl 1198.68169号 拉诺特、拉格罗;丹尼尔·博基尔 1 2009 使用有限编辑自动机执行安全策略。 Zbl 1291.68279号 丹尼尔·博基尔;乔·科恩;拉诺特、拉格罗 1 2009 线性时间混合逻辑的复杂性和简洁性问题。 Zbl 1178.03029号 劳拉·博泽利;拉诺特、拉格罗 4 2008 在定时框架中设计和验证长时间运行的事务。 Zbl 1170.68024号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2008 用于系统设计和分析的参数概率过渡系统。 Zbl 1111.68084号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 20 2007 混合系统的泰勒近似。 Zbl 1130.68071号 拉诺特、拉格罗;蒂妮,西蒙 6 2007 分布式时间异步自动机。 Zbl 1147.68556号 柯特林·迪马;拉诺特、拉格罗 5 2007 具有实变量、整数变量和数组的混合系统的表达能力。 Zbl 1145.68462号 拉诺特、拉格罗 1 2007 使用通信分层时间自动机对长时间运行的事务进行建模。 Zbl 1461.68136号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2006 非否认协议的自动分析。 Zbl 1272.68326号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 8 2005 半连续生成过程的概率同余。 Zbl 1118.68572号 拉诺特、拉格罗;蒂妮,西蒙 6 2005 混合系统的泰勒近似。 Zbl 1078.93044号 拉诺特、拉格罗;蒂妮,西蒙 4 2005 多级安全组件的自动隐蔽通道分析。 Zbl 1109.68470号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;蒂妮,西蒙;安吉洛·特洛伊娜;恩里科·特隆西 1 2004 通信分层机器的结构模型检查。 Zbl 1096.68092号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 1 2004 具有变量、参数和数组的混合系统的表达能力。 Zbl 1271.68189号 拉诺特、拉格罗 1 2004 时间自动机中的并发性。 Zbl 1070.68073号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;蒂妮,西蒙 2 2003 动态分层机器。 Zbl 1111.68061号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;蒂妮,西蒙 1 2003 时间合作自动机的转换。 Zbl 1004.68088号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;蒂妮,西蒙;阿德里亚诺·佩隆 2 2001 时间自动机中的并发性。 Zbl 0999.68135号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;蒂妮,西蒙 2 2001 定时协作自动机。 Zbl 0965.68046号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 4 2000 具有单调活动的时间自动机。 兹比尔0996.68100 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼 1 2000 所有引用出版物 排名前五的出版物 全部的 前5名173位作者引用 21 拉诺特、拉格罗 19 蒂妮,西蒙 9 Joost-Pieter卡托恩 7 瓦伦蒂娜·卡斯蒂格利奥尼 7 安德烈亚·马吉奥洛·谢蒂尼 7 马西莫·梅罗 5 Daniel E.Gebler。 5 塞巴斯蒂安·荣格斯 三 埃齐奥·巴托西 三 劳拉·博泽利 三 格钦·诺曼 三 米歇尔·阿德里安·雷尼尔 三 拼写,Jip 三 安吉洛·特洛伊娜 2 亚历山德罗·阿巴特 2 卢卡·埃特罗 2 阿克西,S。 2 克里斯特尔·拜尔 2 博迪,恰拉 2 达里奥·坎帕尼亚 2 佩德罗·鲁宾·达吉尼奥 2 柯特林·迪马 2 盖列塔,莱特里奥 2 Lisa Hutschenreiter 2 Anna Ingólfsdóttir 2 约阿希姆·克莱因 2 金·古德斯特兰·拉森 2 李,马蒂亚斯·戴维 2 阿恩·迈尔 2 马丁·蒙德亨克 2 吉列尔莫·A·佩雷斯。 2 阿德里亚诺·佩隆 2 卡拉广场 2 托马斯·施耐德 2 杰里米·斯普洛斯顿 2 沃尔克·韦伯 2 费利克斯·维斯 2 托比亚斯·温克勒 2 邹学毅 1 埃蒂安·安德烈 1 塞巴斯蒂安·阿明 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 桑迪·巴拉格 1 塔贾纳Ban Kirigin 1 罗伯托·巴布蒂 1 David A.Basin。 1 马西莫·贝内雷切蒂 1 阿纳尔·比吉松 1 贝内迪克特·博利格 1 卢卡·博托卢西 1 奥利维尔·伯内兹 1 大卫·布雷索林 1 彼得罗·森西亚雷利 1 托马斯·查泰恩 1 克里希南德·查特吉 1 陈静 1 陈宁宁 1 陈振邦 1 斯特凡诺·切萨 1 克拉克(Edmund Melson jun Clarke)。 1 兰斯·克莱维兰 1 克雷默斯,Cas J.F。 1 Thao Dang先生 1 雷纳托·德古列尔莫 1 皮耶保罗·德加诺 1 贝诺·德拉哈耶 1 吉安尼斯·德尔姆帕尔塔基斯 1 邓雨欣 1 朱尔根·丁格尔 1 El-Fakih,哈立德 1 吉安·路易吉,法拉利 1 里卡多·福卡尔迪 1 威廉·扬·福克金 1 彼得·丰塔纳 1 马丁·范策尔 1 劳伦特·弗里堡 1 傅玉玺 1 保罗·加斯丁 1 布莱斯·基内斯特 1 乌戈·詹蒂莱 1 塞巴斯蒂安·格温 1 丹尼尔·戈拉 1 罗伯托·戈里埃里 1 格罗兹基,格热戈兹 1 Jan Friso,格鲁特 1 拉杜·格罗苏 1 斯特凡·哈尔 1 他,安平 1 见鬼,莱纳斯 1 洛依茨海露 1 克里斯蒂安·亨塞尔 1 弗兰乔·伊万契奇 1 Max Iosifovich,卡诺维奇 1 Katsaros,Panagiotis公司 1 拉斐尔·库里 1 保罗·克罗格 1 K.Narayan Kumar 1 萨尔瓦多拉托雷 1 莫特萨·拉希贾尼安 1 卢卡·劳伦蒂 …还有73位作者 全部的 前5名22篇连载文章中引用 14 理论计算机科学 9 信息与计算 5 系统设计中的形式化方法 三 信息处理信件 三 计算机与系统科学杂志 三 计算机科学中的逻辑方法 2 信息学报 2 计算机科学评论 1 倒排索引综述 1 计算机程序设计科学 1 计算的形式方面 1 实时系统 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 自然与社会中的离散动力学 1 国际应用数学与计算机科学杂志 1 应用数学杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 上海交通大学学报(科学版) 1 程序设计中的逻辑和代数方法杂志 全部的 前5名10个字段中引用 90 计算机科学(68-XX) 14 数学逻辑和基础(03-XX) 7 概率论与随机过程(60-XX) 5 运筹学、数学规划(90-XX) 5 系统论;控制(93至XX) 三 生物学和其他自然科学(92-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 算子理论(47-XX) 按年份列出的引文