Zavatteri, Matteo
Zavatteri, Matteo
Dipartimento di Matematica "Tullio Levi-Civita" - DM
An Interdisciplinary Experimental Evaluation on the Disjunctive Temporal Problem
2023 Zavatteri, Matteo; Raffaele, Alice; Ostuni, Dario; Rizzi, Romeo
Conditional simple temporal networks with uncertainty and decisions
2019 Zavatteri, Matteo; Vigano', Luca
Conditional simple temporal networks with uncertainty and resources
2019 Combi, Carlo; Posenato, Roberto; Vigano', Luca.; Zavatteri, Matteo
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way
2021 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Vigano', Luca
Data-aware process models: From soundness checking to repair
2025 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano; Makaj, Aurelo
Dynamic controllability of temporal networks with instantaneous reaction
2022 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Last man standing: Static, decremental and dynamic resiliency via controller synthesis
2019 Zavatteri, Matteo; Vigano', Luca
Mining CSTNUDs significant for a set of traces is polynomial
2021 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Reducing the Number of Disjuncts in DTPs
2023 Raffaele, Alice; Zavatteri, Matteo
Resource Controllability of Business Processes Under Conditional Uncertainty
2021 Zavatteri, Matteo; Combi, Carlo; Vigano', Luca
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty
2023 Bresolin, D.; Zavatteri, M.