Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). - Michele Peroli; Luca Viganò 001; Matteo Zavatteri (Security Protocols Workshop, 2014)

Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version). - Carlo Combi; Luca Viganò 001; Matteo Zavatteri (CoRR, 2015)

Security Constraints in Temporal Role-Based Access-Controlled Workflows. - Carlo Combi; Luca Viganò 001; Matteo Zavatteri (CODASPY, 2016)

Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. - Matteo Zavatteri; Carlo Combi; Roberto Posenato; Luca Viganò 001 (BPM, 2017)

Access Controlled Temporal Networks. - Carlo Combi; Roberto Posenato; Luca Viganò 001; Matteo Zavatteri (ICAART (2), 2017)

Incorporating Decision Nodes into Conditional Simple Temporal Networks. - Massimo Cairo; Carlo Combi; Carlo Comin; Luke Hunsberger; Roberto Posenato; Romeo Rizzi; Matteo Zavatteri (TIME, 2017)

Conditional Simple Temporal Networks with Uncertainty and Decisions. - Matteo Zavatteri (TIME, 2017)

Constraint Networks Under Conditional Uncertainty. - Matteo Zavatteri; Luca Viganò 001 (ICAART (2), 2018)

Conditional Uncertainty in Constraint Networks. - Matteo Zavatteri; Luca Viganò 001 (ICAART (Revised Selected Papers), 2018)

Strong Controllability of Temporal Networks with Decisions. - Matteo Zavatteri; Romeo Rizzi; Tiziano Villa (OVERLAY@AI*IA, 2019)

Complexity of Weak, Strong and Dynamic Controllability of CNCUs. - Matteo Zavatteri; Romeo Rizzi; Tiziano Villa (OVERLAY@AI*IA, 2019)

Temporal and Resource Controllability of Workflows Under Uncertainty. - Matteo Zavatteri (BPM (PhD/Demos), 2019)

Resource Controllability of Workflows Under Conditional Uncertainty. - Matteo Zavatteri; Carlo Combi; Luca Viganò 001 (Business Process Management Workshops, 2019)

Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. - Matteo Zavatteri; Carlo Combi; Romeo Rizzi; Luca Viganò 001 (TIME, 2019)

Conditional Simple Temporal Networks with Uncertainty and Resources. - Carlo Combi; Roberto Posenato; Luca Viganò 001; Matteo Zavatteri (J. Artif. Intell. Res., 2019)

Last man standing: Static, decremental and dynamic resiliency via controller synthesis. - Matteo Zavatteri; Luca Viganò 001 (J. Comput. Secur., 2019)

Conditional simple temporal networks with uncertainty and decisions. - Matteo Zavatteri; Luca Viganò 001 (Theor. Comput. Sci., 2019)

Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty. - Matteo Zavatteri; Romeo Rizzi; Tiziano Villa (ICAPS, 2020)

On the Complexity of Resource Controllability in Business Process Management. - Matteo Zavatteri; Romeo Rizzi; Tiziano Villa (Business Process Management Workshops, 2020)

Mining Significant Temporal Networks Is Polynomial. - Guido Sciavicco; Matteo Zavatteri; Tiziano Villa (TIME, 2020)

Faster and Better Simple Temporal Problems. - Dario Ostuni; Alice Raffaele; Romeo Rizzi; Matteo Zavatteri (AAAI, 2021)

Mining Temporal Networks: Results and Open Problems. - Guido Sciavicco; Tiziano Villa; Matteo Zavatteri (OVERLAY@GandALF, 2021)

Mining CSTNUDs significant for a set of traces is polynomial. - Guido Sciavicco; Matteo Zavatteri; Tiziano Villa (Inf. Comput., 2021)

Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. - Matteo Zavatteri; Carlo Combi; Romeo Rizzi; Luca Viganò 001 (Inf. Comput., 2021)

Resource Controllability of Business Processes Under Conditional Uncertainty. - Matteo Zavatteri; Carlo Combi; Luca Viganò 001 (J. Data Semant., 2021)

Dynamic Controllability of Temporal Networks via Supervisory Control. - Matteo Zavatteri; Davide Bresolin; Romeo Rizzi; Tiziano Villa (OVERLAY@AI*IA, 2022)

Dynamic controllability of temporal networks with instantaneous reaction. - Matteo Zavatteri; Romeo Rizzi; Tiziano Villa (Inf. Sci., 2022)

Repair of Unsound Data-Aware Process Models. - Matteo Zavatteri; Davide Bresolin; Massimiliano de Leoni (Business Process Management Workshops, 2023)

An interdisciplinary experimental evaluation on the disjunctive temporal problem. - Matteo Zavatteri; Alice Raffaele; Dario Ostuni; Romeo Rizzi (Constraints An Int. J., 2023)

Reducing the number of disjuncts in DTPs. - Alice Raffaele; Matteo Zavatteri (Inf. Comput., 2023)

Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty. - Davide Bresolin; Matteo Zavatteri (Inf. Syst., 2023)

Automated Synthesis of Certified Neural Networks. - Matteo Zavatteri; Davide Bresolin; Nicolò Navarin (ECAI, 2024)

Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines. - Matteo Zavatteri; Davide Bresolin; Nicolò Navarin (OVERLAY, 2024)

Data-aware process models: From soundness checking to repair. - Matteo Zavatteri; Davide Bresolin; Massimiliano de Leoni; Aurelo Makaj (Data Knowl. Eng., 2025)