Zavatteri, Matteo
Zavatteri, Matteo
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Complexity of Weak, Strong and Dynamic Controllability of CNCUs
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Conditional Simple Temporal Networks with Uncertainty and Decisions
2017-01-01 Zavatteri, Matteo
Conditional Uncertainty in Constraint Networks
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Constraint Networks Under Conditional Uncertainty
2018-01-01 Zavatteri, Matteo; Viganò, Luca
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Dynamic Controllability of Temporal Networks via Supervisory Control
2022-01-01 Zavatteri, Matteo; Bresolin, Davide; Rizzi, Romeo; Villa, Tiziano
Faster and better simple temporal problems
2021-01-01 Ostuni, Dario; Raffaele, Alice; Rizzi, Romeo; Zavatteri, Matteo
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions
2019-01-01 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Vigano', Luca
Incorporating Decision Nodes into Conditional Simple Temporal Networks
2017-01-01 Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo
Mining Significant Temporal Networks Is Polynomial
2020-01-01 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Mining Temporal Networks: Results and Open Problems
2021-01-01 Sciavicco, Guido; Villa, Tiziano; Zavatteri, Matteo
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)
2014-01-01 Peroli, Michele; Vigano', Luca; Zavatteri, Matteo
On the Complexity of Resource Controllability in Business Process Management
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Resource Controllability of Workflows Under Conditional Uncertainty
2019-01-01 Zavatteri, Matteo; Combi, Carlo; Viganò, Luca
Security Constraints in Temporal Role-Based Access-Controlled Workflows
2016-01-01 Combi, Carlo; Vigano', Luca; Zavatteri, Matteo
Strong Controllability of Temporal Networks with Decisions
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Temporal and Resource Controllability of Workflows Under Uncertainty
2019-01-01 Zavatteri, Matteo
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty
2017-01-01 Zavatteri, Matteo; Combi, Carlo; Posenato, Roberto; Vigano', Luca