Follow
Matteo Zavatteri
Title
Cited by
Cited by
Year
Conditional simple temporal networks with uncertainty and decisions
M Zavatteri
LIPIcs-Leibniz International Proceedings in Informatics, 2017
592017
Conditional simple temporal networks with uncertainty and resources
C Combi, R Posenato, L Viganò, M Zavatteri
Journal of Artificial Intelligence Research 64, 931–985-931–985, 2019
302019
Incorporating decision nodes into conditional simple temporal networks
M Cairo, C Combi, C Comin, L Hunsberger, R Posenato, R Rizzi, ...
LIPIcs-Leibniz International Proceedings in Informatics 90, 2017
272017
Security constraints in temporal role-based access-controlled workflows
C Combi, L Viganò, M Zavatteri
Proceedings of the Sixth ACM Conference on Data and Application Security and …, 2016
262016
Access controlled temporal networks
C Combi, R Posenato, L Viganò, M Zavatteri
International Conference on Agents and Artificial Intelligence 2, 118-131, 2017
222017
Weak, strong and dynamic controllability of access-controlled workflows under conditional uncertainty
M Zavatteri, C Combi, R Posenato, L Viganò
Business Process Management: 15th International Conference, BPM 2017 …, 2017
222017
Constraint Networks Under Conditional Uncertainty.
M Zavatteri, L Viganò
ICAART (2), 41-52, 2018
182018
Last man standing: Static, decremental and dynamic resiliency via controller synthesis
M Zavatteri, L Viganò
Journal of Computer Security 27 (3), 343-373, 2019
152019
Conditional Uncertainty in Constraint Networks
M Zavatteri, L Viganò
International Conference on Agents and Artificial Intelligence, 130-160, 2019
152019
Resource controllability of workflows under conditional uncertainty
M Zavatteri, C Combi, L Viganò
Business Process Management Workshops: BPM 2019 International Workshops …, 2019
132019
Hybrid sat-based consistency checking algorithms for simple temporal networks with decisions
M Zavatteri, C Combi, R Rizzi, L Viganò
26th International Symposium on Temporal Representation and Reasoning (TIME …, 2019
122019
Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way
M Zavatteri, C Combi, R Rizzi, L Viganò
Information and Computation 280, 104637, 2021
82021
Temporal and Resource Controllability of Workflows Under Uncertainty
M Zavatteri
Proceedings of the Dissertation Award, Demonstration, and Industrial Track …, 2019
82019
Dynamic controllability and (J, K)-resiliency in generalized constraint networks with uncertainty
M Zavatteri, R Rizzi, T Villa
Proceedings of the International Conference on Automated Planning and …, 2020
52020
Complexity of Weak, Strong and Dynamic Controllability of CNCUs.
M Zavatteri, R Rizzi, T Villa
OVERLAY@ AI* IA, 83-88, 2019
52019
Strong Controllability of Temporal Networks with Decisions.
M Zavatteri, R Rizzi, T Villa
OVERLAY@ AI* IA, 77-82, 2019
52019
Resource controllability of business processes under conditional uncertainty
M Zavatteri, C Combi, L Viganò
Journal on Data Semantics 10, 19-39, 2021
32021
Temporal and Resource Controllability of Workflows Under Uncertainty
M Zavatteri
32018
Mining CSTNUDs significant for a set of traces is polynomial
G Sciavicco, M Zavatteri, T Villa
Information and Computation 281, 104773, 2021
22021
Faster and Better Simple Temporal Problems
D Ostuni, A Raffaele, R Rizzi, M Zavatteri
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11913 …, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20