| Conditional simple temporal networks with uncertainty and decisions M Zavatteri LIPIcs-Leibniz International Proceedings in Informatics, 2017 | 58 | 2017 |
| 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 | 31 | 2019 |
| 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 | 28 | 2016 |
| 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 | 24 | 2017 |
| Access controlled temporal networks C Combi, R Posenato, L Viganò, M Zavatteri International Conference on Agents and Artificial Intelligence 2, 118-131, 2017 | 23 | 2017 |
| 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 | 22 | 2017 |
| Constraint Networks Under Conditional Uncertainty. M Zavatteri, L Viganò ICAART (2), 41-52, 2018 | 18 | 2018 |
| Conditional Uncertainty in Constraint Networks M Zavatteri, L Viganò International Conference on Agents and Artificial Intelligence, 130-160, 2019 | 14 | 2019 |
| Resource controllability of workflows under conditional uncertainty M Zavatteri, C Combi, L Viganò Business Process Management Workshops: BPM 2019 International Workshops …, 2019 | 12 | 2019 |
| Last man standing: Static, decremental and dynamic resiliency via controller synthesis M Zavatteri, L Viganò Journal of Computer Security 27 (3), 343-373, 2019 | 12 | 2019 |
| 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 | 11 | 2019 |
| 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 | 8 | 2021 |
| Temporal and Resource Controllability of Workflows Under Uncertainty M Zavatteri Proceedings of the Dissertation Award, Demonstration, and Industrial Track …, 2019 | 7 | 2019 |
| Repair of unsound data-aware process models M Zavatteri, D Bresolin, M de Leoni International Conference on Business Process Management, 383-395, 2023 | 5 | 2023 |
| 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 | 5 | 2020 |
| Complexity of Weak, Strong and Dynamic Controllability of CNCUs. M Zavatteri, R Rizzi, T Villa OVERLAY@ AI* IA, 83-88, 2019 | 5 | 2019 |
| Strong Controllability of Temporal Networks with Decisions. M Zavatteri, R Rizzi, T Villa OVERLAY@ AI* IA, 77-82, 2019 | 5 | 2019 |
| 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 | 4 | 2021 |
| Mining CSTNUDs significant for a set of traces is polynomial G Sciavicco, M Zavatteri, T Villa Information and Computation 281, 104773, 2021 | 3 | 2021 |
| Resource controllability of business processes under conditional uncertainty M Zavatteri, C Combi, L Viganò Journal on Data Semantics 10, 19-39, 2021 | 3 | 2021 |