×
作者ID: 凯罗·马西莫《开罗,马西莫》最近发表的zbMATH文章
发布日期: 马西莫开罗
编入索引的文档: 16出版物自2016年起,包括3额外的arXiv预印本
合著者: 15位合著者具有16联合出版物
371位联合作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用32中的次28文件 引用人 年份
无向图中近似极值距离的新界。 Zbl 1410.68396号
马西莫开罗;罗伯托·格罗西;罗密欧·里兹
11
2016
将决策节点合并到条件简单时态网络中。 Zbl 1515.68287号
马西莫开罗;卡洛·库比;卡洛·科明;卢克·亨斯伯格;罗伯托·波塞纳托;罗密欧·里兹;马特奥·扎瓦特里
5
2017
条件简单时态网络的简化模型——语义和等价结果。 兹比尔1515.68288
马西莫开罗;卢克·亨斯伯格;罗伯托·波塞纳托;罗密欧·里兹
5
2017
一种优化的(O(nm)算法,用于枚举图的所有闭边覆盖游动的公共游动。 Zbl 1454.92021号
马西莫开罗;保罗·梅德韦杰夫;尼迪亚·奥布斯库拉·阿科斯塔;罗密欧·里兹;亚历山大·托梅斯库一世。
4
2019
具有不确定性的简单时态网络的动态可控性:简单规则和快速实时执行。 Zbl 1434.68544号
马西莫开罗;罗密欧·里兹
2019
动态可控性变得简单。 Zbl 1515.68289号
马西莫开罗;罗密欧·里兹
2
2017
具有不确定性的简单时态网络的快速动态可控性检查。 Zbl 1487.68207号
马西莫开罗;卢克·亨斯伯格;罗密欧·里兹
1
2018
一种计算所有桥和连接点的简化算法。 Zbl 1523.68047号
马西莫开罗;沙巴兹·汗;罗密欧·里兹;塞巴斯蒂安·施密特;亚历山大·托梅斯库一世。;Elia C.Zirondelli。
1
2021
一种计算所有桥和连接点的简化算法。 Zbl 1523.68047号
马西莫开罗;沙巴兹·汗;罗密欧·里兹;塞巴斯蒂安·施密特;亚历山大·托梅斯库一世。;Elia C.Zirondelli。
1
2021
一种优化的(O(nm)算法,用于枚举图的所有闭边覆盖游动的公共游动。 Zbl 1454.92021号
马西莫开罗;保罗·梅德韦杰夫;尼迪亚·奥布斯库拉·阿科斯塔;罗密欧·里兹;亚历山大·托梅斯库一世。
4
2019
具有不确定性的简单时态网络的动态可控性:简单规则和快速实时执行。 兹比尔1434.68544
马西莫开罗;罗密欧·里兹
2019
具有不确定性的简单时态网络的快速动态可控性检查。 Zbl 1487.68207号
马西莫开罗;卢克·亨斯伯格;罗密欧·里兹
1
2018
将决策节点合并到条件简单时态网络中。 Zbl 1515.68287号
马西莫开罗;卡洛·库比;卡洛·科明;卢克·亨斯伯格;罗伯托·波塞纳托;罗密欧·里兹;马特奥·扎瓦特里
5
2017
条件简单时态网络的简化模型——语义和等价结果。 Zbl 1515.68288号
马西莫开罗;卢克·亨斯伯格;罗伯托·波塞纳托;罗密欧·里兹
5
2017
动态可控性变得简单。 Zbl 1515.68289号
马西莫开罗;罗密欧·里兹
2
2017
无向图中逼近极值距离的新界。 Zbl 1410.68396号
马西莫开罗;罗伯托·格罗西;罗密欧·里兹
11
2016

按年份列出的引文