×
作者ID: 拉诺特·鲁格罗“拉诺特,鲁杰罗”最近发表的zbMATH文章
发布日期: 拉诺特、拉格罗
外部链接: ORCID公司
已编制索引的文档: 46出版物自2000年起
合著者: 19位合著者具有44联合出版物
308合著作者

按年份列出的出版物

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位作者

按年份列出的引文