Zavatteri, Matteo
Zavatteri, Matteo
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines
2025 Zavatteri, Matteo; Bresolin, Davide; Navarin, Nicolo
Data-aware process models: From soundness checking to repair
2025 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano; Makaj, Aurelo
Preface
2025 Porello, D.; Vinci, C.; Zavatteri, M.
Automated Synthesis of Certified Neural Networks
2024 Zavatteri, Matteo; Bresolin, Davide; Navarin, Nicolo'
Repair of Unsound Data-Aware Process Models
2024 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano
A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia
2023 Raffaele, A.; Zavatteri, M.; Bazzoli, F.; Gussago, M.; Rizzi, R.
An Interdisciplinary Experimental Evaluation on the Disjunctive Temporal Problem
2023 Zavatteri, Matteo; Raffaele, Alice; Ostuni, Dario; Rizzi, Romeo
Reducing the Number of Disjuncts in DTPs
2023 Raffaele, Alice; Zavatteri, Matteo
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty
2023 Bresolin, D.; Zavatteri, M.
Dynamic Controllability of Temporal Networks via Supervisory Control
2022 Zavatteri, Matteo; Bresolin, Davide; Rizzi, Romeo; Villa, Tiziano
Dynamic controllability of temporal networks with instantaneous reaction
2022 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
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
Faster and Better Simple Temporal Problems
2021 Ostuni, Dario; Raffaele, Alice; Rizzi, Romeo; Zavatteri, Matteo
Mining CSTNUDs significant for a set of traces is polynomial
2021 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Mining temporal networks: Results and open problems
2021 Sciavicco, G.; Villa, T.; Zavatteri, M.
Resource Controllability of Business Processes Under Conditional Uncertainty
2021 Zavatteri, Matteo; Combi, Carlo; Vigano', Luca
Complexity of weak, strong and dynamic controllability of CNCUs
2020 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Dynamic controllability and (J,K)-Resiliency in generalized constraint networks with uncertainty
2020 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Mining significant temporal networks is polynomial
2020 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
On the Complexity of Resource Controllability in Business Process Management
2020 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano