Zavatteri, Matteo

Zavatteri, Matteo  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
Access Controlled Temporal Networks 1-gen-2017 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Complexity of Weak, Strong and Dynamic Controllability of CNCUs 1-gen-2020 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Conditional Simple Temporal Networks with Uncertainty and Decisions 1-gen-2017 Zavatteri, Matteo
Conditional simple temporal networks with uncertainty and decisions 1-gen-2019 Zavatteri, Matteo; Viganò, Luca
Conditional Simple Temporal Networks with Uncertainty and Resources 1-gen-2019 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Conditional Uncertainty in Constraint Networks 1-gen-2019 Zavatteri, Matteo; Viganò, Luca
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 1-gen-2021 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca
Constraint Networks Under Conditional Uncertainty 1-gen-2018 Zavatteri, Matteo; Viganò, Luca
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty 1-gen-2020 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Dynamic Controllability of Temporal Networks via Supervisory Control 1-gen-2022 Zavatteri, Matteo; Bresolin, Davide; Rizzi, Romeo; Villa, Tiziano
Dynamic controllability of temporal networks with instantaneous reaction 1-gen-2022 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Faster and better simple temporal problems 1-gen-2021 Ostuni, Dario; Raffaele, Alice; Rizzi, Romeo; Zavatteri, Matteo
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 1-gen-2019 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Vigano', Luca
Incorporating Decision Nodes into Conditional Simple Temporal Networks 1-gen-2017 Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 1-gen-2019 Zavatteri, Matteo; Viganò, Luca
Mining CSTNUDs significant for a set of traces is polynomial 1-gen-2021 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Mining Significant Temporal Networks Is Polynomial 1-gen-2020 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Mining Temporal Networks: Results and Open Problems 1-gen-2021 Sciavicco, Guido; Villa, Tiziano; Zavatteri, Matteo
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 1-gen-2014 Peroli, Michele; Vigano', Luca; Zavatteri, Matteo
On the Complexity of Resource Controllability in Business Process Management 1-gen-2020 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano