×

兹马思-数学第一资源

罗维里,马可

计算距离:
作者ID: 罗维里·马尔科 最近的zbMATH文章由“Roveri,Marco”撰写
发布为: 罗维里,M。;罗维里,马可
外部链接: 半兽人
编制索引的文档: 33种出版物自1997年以来,包括1本书

按年份列出的出版物

zbMATH公开赛中包含的引文

22出版物有被引用303时间234份文件 引用人
OpenNusan model的符号源代码:OpenNusan 2。 Zbl公司 1010.68766
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,恩里科;福吉斯托,福吉斯托;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
78
2002
可实现性的诊断信息。 Zbl公司 1138.68442
西马蒂,A。;罗维里,M。;舒帕,V。;Tchaltsev,A。
40
2008
NuSMV:一种新的符号模型检验器。 Zbl公司 1059.68582
亚历山德罗·西马蒂;克拉克,埃德蒙;福吉斯托,福吉斯托;罗维里,马可
35
2000
NuSMV:一种新的符号模型验证器。 Zbl公司 1046.68587
西马蒂,A。;克拉克,E。;朱西格里亚,F。;罗维里,M。
34
1999
弱,强,强循环规划通过符号模型检查。 Zbl公司 1082.68800
西马蒂,A。;皮斯托尔,M。;罗维里,M。;特拉维索,P。
27
2003
通过符号模型检查的一致性规划。 Zbl公司 963.68195
西马蒂,A。;罗维里,M。
17
2000
通过符号模型检查和启发式搜索的一致性规划。 Zbl公司 1086.68591
西马蒂,A。;罗维里,M。;贝尔托利,P。
13
2004
部分可观测性下的强规划。 Zbl公司 1131.68095
贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;罗维里,马可;保罗,特拉维索
10
2006
交替自动机的符号实现。 Zbl公司 1160.68401
布洛姆,R。;西马蒂,A。;药丸,我。;罗维里,M。;塞姆尼,塞姆尼。
7
2006
混合动力系统的需求验证。 Zbl公司 1242.68156
亚历山德罗·西马蒂;罗维里,马可;托内塔,斯特凡诺
6
2009
时序逻辑可满足性的布尔抽象。 Zbl公司 1135.68469
亚历山德罗·西马蒂;罗维里,马可;舒帕,维克多;托内塔,斯特凡诺
6
2007
用SMT求解不确定时间问题的强可控性。 Zbl公司 1314.90043
亚历山德罗·西马蒂;米其莉,安德烈;罗维里,马可
5
2015
时间博弈自动机的动态可控性。 Zbl公司 1350.68251
亚历山德罗·西马蒂;亨斯伯格,卢克;米其莉,安德烈;波塞纳托,罗伯托;罗维里,马可
2016
HRELTL:混合系统的时序逻辑。 Zbl公司 1332.68139
亚历山德罗·西马蒂;罗维里,马可;托内塔,斯特凡诺
2015
过去LTL的有限验证。 Zbl公司 1117.68424
亚历山德罗·西马蒂;罗维里,马可;谢里丹,丹尼尔
2004
集成基于BDD和SAT的符号模型检查。 Zbl公司 1057.68623
亚历山德罗·西马蒂;朱西格里亚,恩里科;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
2002
结合显式状态检查和符号模型检查搜索powerset自动机。 Zbl公司 978.68546
亚历山德罗·西马蒂;罗维里,马可;贝尔托利,皮耶戈乔
2001
模非线性算法和超越函数的可满足性和验证的增量线性化。 Zbl公司 1407.68285
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2018
时间计划性强,持续时间不可控。 Zbl公司 1443.68163
亚历山德罗·西马蒂;做,明;米其莉,安德烈;罗维里,马可;史密斯,大卫·E。
2
2018
可满足模超越函数增量线性化。 Zbl公司 06778399
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2017
交替自动机的符号实现。 Zbl公司 1142.68418
你好,罗德里克;亚历山德罗·西马蒂;药丸,因果;罗维里,马可
2
2007
改进了LTL模型检查到SAT的编码。 Zbl公司 1057.68056
亚历山德罗·西马蒂;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2002
模非线性算法和超越函数的可满足性和验证的增量线性化。 Zbl公司 1407.68285
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2018
时间计划性强,持续时间不可控。 Zbl公司 1443.68163
亚历山德罗·西马蒂;做,明;米其莉,安德烈;罗维里,马可;史密斯,大卫·E。
2
2018
可满足模超越函数增量线性化。 Zbl公司 06778399
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2017
时间博弈自动机的动态可控性。 Zbl公司 1350.68251
亚历山德罗·西马蒂;亨斯伯格,卢克;米其莉,安德烈;波塞纳托,罗伯托;罗维里,马可
2016
用SMT求解不确定时间问题的强可控性。 Zbl公司 1314.90043
亚历山德罗·西马蒂;米其莉,安德烈;罗维里,马可
5
2015
HRELTL:混合系统的时序逻辑。 Zbl公司 1332.68139
亚历山德罗·西马蒂;罗维里,马可;托内塔,斯特凡诺
2015
混合动力系统的需求验证。 Zbl公司 1242.68156
亚历山德罗·西马蒂;罗维里,马可;托内塔,斯特凡诺
6
2009
可实现性的诊断信息。 Zbl公司 1138.68442
西马蒂,A。;罗维里,M。;舒帕,V。;Tchaltsev,A。
40
2008
时序逻辑可满足性的布尔抽象。 Zbl公司 1135.68469
亚历山德罗·西马蒂;罗维里,马可;舒帕,维克多;托内塔,斯特凡诺
6
2007
交替自动机的符号实现。 Zbl公司 1142.68418
你好,罗德里克;亚历山德罗·西马蒂;药丸,因果;罗维里,马可
2
2007
部分可观测性下的强规划。 Zbl公司 1131.68095
贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;罗维里,马可;保罗,特拉维索
10
2006
交替自动机的符号实现。 Zbl公司 1160.68401
布洛姆,R。;西马蒂,A。;药丸,我。;罗维里,M。;塞姆普里尼,S。
7
2006
通过符号模型检查和启发式搜索的一致性规划。 Zbl公司 1086.68591
西马蒂,A。;罗维里,M。;贝尔托利,P。
13
2004
过去LTL的有限验证。 Zbl公司 1117.68424
亚历山德罗·西马蒂;罗维里,马可;谢里丹,丹尼尔
2004
弱,强,强循环规划通过符号模型检查。 Zbl公司 1082.68800
西马蒂,A。;皮斯托尔,M。;罗维里,M。;特拉弗索,P。
27
2003
OpenNusan model的符号源代码:OpenNusan 2。 Zbl公司 1010.68766
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,恩里科;福吉斯托,福吉斯托;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
78
2002
集成基于BDD和SAT的符号模型检查。 Zbl公司 1057.68623
亚历山德罗·西马蒂;朱西格里亚,恩里科;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
2002
改进了LTL模型检查到SAT的编码。 Zbl公司 1057.68056
亚历山德罗·西马蒂;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2002
结合显式状态检查和符号模型检查搜索powerset自动机。 Zbl公司 978.68546
亚历山德罗·西马蒂;罗维里,马可;贝尔托利,皮耶戈乔
2001
NuSMV:一种新的符号模型检验器。 Zbl公司 1059.68582
亚历山德罗·西马蒂;克拉克,埃德蒙;福吉斯托,福吉斯托;罗维里,马可
35
2000
通过符号模型检查的一致性规划。 Zbl公司 963.68195
西马蒂,A。;罗维里,M。
17
2000
NuSMV:一种新的符号模型验证器。 Zbl公司 1046.68587
西马蒂,A。;克拉克,E。;朱西格里亚,F。;罗维里,M。
34
1999
全部的 前5名

被570位作者引用

15 亚历山德罗·西马蒂
11 罗维里,马可
9 瓦迪,莫斯伊。
7 托内塔,斯特凡诺
4 佛罗伦萨语
4 米其莉,安德烈
阿伯特,亚历山德罗
贝尔托利,皮耶戈乔
库克,拜伦
段振华
艾特,托马斯
乔治,玛丽安
朱西格里亚,恩里科
科努尔,萨瓦
左卡鲁,拉鲁卡
阿莱西奥·洛穆西奥
马特斯库,拉杜
蒙泰罗,佩德罗T。
搬运工,塞吉奥
舒帕,维克多
田聪
保罗,特拉维索
张楠
2 阿尔拉杰,达拉
2 阿鲁尔,拉吉耶夫
2 伯萨尼,马塞罗·玛丽亚
2 比尔,阿明
2 你好,罗德里克
2 Bonakdarpour,Borzoo
2 博内特,布莱
2 布拉夫曼,罗南一世。
2 布里姆,卢波š
2 卡维扎,戴维德·贾科莫
2 塞特奇,罗迪卡
2 查特吉,克莉什南杜
2 切奇,玛莎
2 迪亚多,詹弗兰科
2 达斯古塔,帕拉布
2 贾科莫,朱塞佩
2 德容,希德
2 狄克逊,克莱尔
2 大仲马,埃斯特尔
2 埃勒斯,Rü挖掘机
2 弗雷泽,戈登
2 格夫纳,赫克托
2 阿丽·古芬克尔
2 希梅尔斯,莫里斯W。P。M。H。
2 亨斯伯格,卢克
2 Hustadt,Ullrich
2 尼尔,伊梅曼
2 Jobstmann,芭芭拉
2 Kanovich,Max Iosifovich
2 克朗ö宁,丹尼尔
2 库特,乌戈尔
2 拉撒,米尔恰
2 李建文
2 罗向玉
2 孟吉,克劳迪奥
2 瑙,达娜
2 哇克宁,乔尔O。
2 潘国强
2 帕特里齐,法比奥
2 皮斯托尔,马可
2 皮特曼,Nir
2 濮、葛光
2 罗林斯,布莱克·C。
2 罗西,马特奥A。C。
2 Sanfelice,里卡多·G。
2 塞巴斯蒂安尼,罗伯托
2 塞尔格特,马雷克J。
2 塞希亚,Sanjit Arunkumar
2 儿子,崔曹
2 斯里瓦斯塔瓦,锡德哈斯
2 斯特恩,罗尼
2 斯特里奇曼,奥弗
2 苏,凯乐
2 斯皮卡,马金
2 塔切拉,阿曼多
2 塔哈尔,索菲è
2 特卡切夫,伊利亚
2 乌鲁克托普CU
2 沃泽利斯,杰奎琳
2 沃塔瓦,弗兰兹
2 吴,程
2 徐克
2 张丽君
2 赵喜顺
2 朱淑芳
2 齐伯斯坦,希洛莫
1 阿贝德,萨伊德
1 Á布拉赫ám、 埃里卡
1 阿布贾拉德,福阿德
1 卡马迪,卡马迪
1 阿德兹基亚,迪基
1 艾哈迈德,瓦卡尔
1 你好,马可
1 Aït穆罕默德,奥特曼
1 瓦西里,阿拉巴
1 Alawneh,Luay
1 阿尔贝蒂,马可
…和470多个作者

按年份列出的引文