Zavatteri, Matteo

Zavatteri, Matteo  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
An Interdisciplinary Experimental Evaluation on the Disjunctive Temporal Problem 2023 Matteo Zavatteri + CONSTRAINTS - -
Conditional simple temporal networks with uncertainty and decisions 2019 Zavatteri, Matteo + THEORETICAL COMPUTER SCIENCE - -
Conditional simple temporal networks with uncertainty and resources 2019 Zavatteri, Matteo + THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH - -
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 2021 Zavatteri, Matteo + INFORMATION AND COMPUTATION - -
Dynamic controllability of temporal networks with instantaneous reaction 2022 Zavatteri Matteo + INFORMATION SCIENCES - -
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 2019 Zavatteri, Matteo + JOURNAL OF COMPUTER SECURITY - -
Mining CSTNUDs significant for a set of traces is polynomial 2021 Zavatteri, Matteo + INFORMATION AND COMPUTATION - -
Reducing the Number of Disjuncts in DTPs 2023 Zavatteri, Matteo + INFORMATION AND COMPUTATION - -
Resource Controllability of Business Processes Under Conditional Uncertainty 2021 Zavatteri, Matteo + JOURNAL ON DATA SEMANTICS - -
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty 2023 Bresolin D.Zavatteri M. INFORMATION SYSTEMS - -