Sfoglia per Autore
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)
2014-01-01 Peroli, Michele; Vigano', Luca; Zavatteri, Matteo
Security Constraints in Temporal Role-Based Access-Controlled Workflows
2016-01-01 Combi, Carlo; Vigano', Luca; Zavatteri, Matteo
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; 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
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
Conditional Simple Temporal Networks with Uncertainty and Decisions
2017-01-01 Zavatteri, Matteo
Temporal and Resource Controllability of Workflows Under Uncertainty
2018-01-01 Zavatteri, Matteo
Constraint Networks Under Conditional Uncertainty
2018-01-01 Zavatteri, Matteo; Viganò, Luca
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions
2019-01-01 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Vigano', Luca
Conditional Simple Temporal Networks with Uncertainty and Resources
2019-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Conditional Uncertainty in Constraint Networks
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Conditional simple temporal networks with uncertainty and decisions
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Resource Controllability of Workflows Under Conditional Uncertainty
2019-01-01 Zavatteri, Matteo; Combi, Carlo; Viganò, Luca
Last man standing: Static, decremental and dynamic resiliency via controller synthesis
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Temporal and Resource Controllability of Workflows Under Uncertainty
2019-01-01 Zavatteri, Matteo
Mining Significant Temporal Networks Is Polynomial
2020-01-01 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Complexity of Weak, Strong and Dynamic Controllability of CNCUs
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
On the Complexity of Resource Controllability in Business Process Management
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Strong Controllability of Temporal Networks with Decisions
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile