马泰奥·扎瓦泰里
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元10年] 马泰奥·扎瓦泰里 , 艾丽斯·拉斐尔 , 达里奥·奥斯图尼 , 罗密奥·里兹 :
选言时间问题的跨学科实验评价。 制约国际期刊。 28 ( 1 ) : 1-12 ( 2023 ) [j9] 艾丽斯·拉斐尔 , 马泰奥·扎瓦泰里 :
减少DTP中的析取数。 Inf.计算。 293 : 105048 ( 2023 ) [j8] 大卫·布雷索林 , 马泰奥·扎瓦泰里 :
对具有资源、并行和互斥分支、循环和不确定性的业务流程进行监督控制。 信息系统。 119 : 102288 ( 2023 ) [公元20年] 马泰奥·扎瓦泰里 , 大卫·布雷索林 , 马西米利亚诺·德莱奥尼 :
修复未健全的数据软件过程模型。 业务流程管理研讨会 2023 : 383-395 2022 [j7] 马泰奥·扎瓦泰里 , 罗密奥·里兹 , 蒂齐亚诺别墅 :
具有瞬时反应的时间网络的动态可控性。 信息科学。 613 : 932-952 ( 2022 ) [第19条] 马泰奥·扎瓦特里 , 大卫·布雷索林 , 罗密奥·里兹 , 蒂齐亚诺别墅 :
通过监督控制实现时间网络的动态可控性。 AI覆盖层 *IA公司 2022 : 27-31 2021 [j6] 马泰奥·扎瓦泰里 , 卡洛·库比 , 罗密奥·里兹 , 卢卡·维甘 :
STN与决策的一致性检查:无缝管理时间和访问控制约束。 Inf.计算。 280 : 104637 ( 2021 ) [j5] Guido Sciavicco公司 , 马泰奥·扎瓦泰里 , 蒂齐亚诺别墅 :
对一组记录道有效的CSTNUD的挖掘是多项式的。 Inf.计算。 281 : 104773 ( 2021 ) 【j4】 马泰奥·扎瓦特里 , 卡洛·库比 , 卢卡·维甘 :
条件不确定性下业务流程的资源可控性。 J.Data Semant公司。 10 ( 1-2 ) : 19-39 ( 2021 ) [第18条] 达里奥·奥斯图尼 , 艾丽斯·拉斐尔 , 罗密奥·里兹 , 马泰奥·扎瓦泰里 :
更快更好的简单时间问题。 AAAI公司 2021 : 11913-11920 [第17条] Guido Sciavicco公司 , 蒂齐亚诺别墅 , 马泰奥·扎瓦泰里 :
挖掘时间网络:结果和开放问题。 甘道夫覆盖层 2021 : 31-36 2020 [第16条] 马泰奥·扎瓦泰里 , 罗密奥·里兹 , 蒂齐亚诺别墅 :
不确定性广义约束网络的动态可控性和(J,K)-弹性。 ICAPS公司 2020 : 314-322 [第15条] 马泰奥·扎瓦泰里 , 罗密奥·里兹 , 蒂齐亚诺别墅 :
关于业务流程管理中资源控制的复杂性。 业务流程管理研讨会 2020 : 168-180 [第14条] Guido Sciavicco公司 , 马泰奥·扎瓦泰里 , 蒂齐亚诺别墅 :
挖掘重要的时间网络是多项式的。 时间 2020 : 11:1-11:12
2010 – 2019
2019 [j3] 卡洛·库比 , 罗伯托·波塞纳托 , 卢卡·维甘 , 马泰奥·扎瓦泰里 :
具有不确定性和资源的条件简单时间网络。 J.阿蒂夫。 智力。 物件。 64 : 931-985 ( 2019 ) [注2] 马泰奥·扎瓦泰里 , 卢卡·维甘 :
最后一站:通过控制器合成实现静态、衰减和动态弹性。 J.计算。 安全。 27 ( 三 ) : 343-373 ( 2019 ) [j1] 马泰奥·扎瓦泰里 , 卢卡·维甘 :
具有不确定性和决策的条件简单时间网络。 西奥。 计算。 科学。 797 : 77-101 ( 2019 ) [第13条] 马泰奥·扎瓦泰里 , 罗密奥·里兹 , 蒂齐亚诺别墅 :
具有决策的时态网络的强可控性。 AI覆盖层 *IA公司 2019 : 77-82 [第12条] 马泰奥·扎瓦泰里 , 罗密奥·里兹 , 蒂齐亚诺别墅 :
CNCUs的弱、强和动态可控性的复杂性。 AI覆盖层 *IA公司 2019 : 83-88 [第11条] 马泰奥·扎瓦泰里 :
不确定性下工作流的时间和资源可控性。 BPM(博士/演示) 2019 : 9-14 [第10条] 马泰奥·扎瓦泰里 , 卡洛·库比 , 卢卡·维甘 :
条件不确定性下工作流的资源可控性。 业务流程管理研讨会 2019 : 68-80 【c9】 马泰奥·扎瓦泰里 , 卡洛·库比 , 罗密奥·里兹 , 卢卡·维甘 :
具有决策的简单时态网络的基于SAT的混合一致性检查算法。 时间 2019 : 16:1-16:17 2018 【c8】 马泰奥·扎瓦泰里 , 卢卡·维甘 :
条件不确定性下的约束网络。 ICAART(二) 2018 : 41-52 【c7】 马泰奥·扎瓦泰里 , 卢卡·维甘 :
约束网络中的条件不确定性。 ICAART(修订论文集) 2018 : 130-160 2017 【c6】 马泰奥·扎瓦泰里 , 卡洛·库比 , 罗伯托·波塞纳托 , 卢卡·维甘 :
条件不确定性下访问控制工作流的弱、强和动态可控性。 业务流程管理 2017 : 235-251 【c5】 卡洛·库比 , 罗伯托·波塞纳托 , 卢卡·维甘 , 马泰奥·扎瓦泰里 :
访问控制时态网络。 ICAART(2) 2017 : 118-131 【c4】 马西莫·开罗 , 卡洛·库比 , 卡洛·科明 , 卢克·亨斯伯格 , 罗伯托·波塞纳托 , 罗密奥·里兹 , 马泰奥·扎瓦泰里 :
将决策节点合并到条件简单时态网络中。 时间 2017 : 9:1-9:18 【c3】 马泰奥·扎瓦泰里 :
具有不确定性和决策的条件简单时间网络。 时间 2017 : 23:1-23:17 2016 【c2】 卡洛·库比 , 卢卡·维甘 , 马泰奥·扎瓦泰里 :
基于临时角色的访问控制工作流中的安全约束。 CODASPY代码 2016 : 207-218 2015 [i2] 卡洛·库比 , 卢卡·维甘 , 马泰奥·扎瓦泰里 :
基于临时角色的访问控制工作流中的安全约束(扩展版)。 CoRR公司 abs/1512.06404 ( 2015 ) 2014 【c1】 米歇尔·佩罗利 , 卢卡·维甘 , 马泰奥·扎瓦泰里 :
非协作攻击者以及如何以及在何处防御有缺陷的安全协议(扩展版)。 安全协议研讨会 2014 : 69-90 [i1] 米歇尔·佩罗利 , 卢卡·维甘 , 马泰奥·扎瓦泰里 :
非协作攻击者以及如何以及在何处防御有缺陷的安全协议(扩展版)。 CoRR公司 abs/1405.6912 ( 2014 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)