Zavatteri, Matteo
Zavatteri, Matteo
PSO
A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia
2023-01-01 Raffaele, Alice; Zavatteri, Matteo; Bazzoli, Fabio; Gussago, Marco; Rizzi, Romeo
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Viganò, Luca; Zavatteri, Matteo
An interdisciplinary experimental evaluation on the disjunctive temporal problem
2023-01-01 Zavatteri, Matteo; Raffaele, Alice; Ostuni, Dario; Rizzi, Romeo
Automated Synthesis of Certified Neural Networks
2024-01-01 Zavatteri, Matteo; Bresolin, Davide; Navarin, Nicolò
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
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Conditional Simple Temporal Networks with Uncertainty and Decisions
2017-01-01 Zavatteri, Matteo
Conditional Simple Temporal Networks with Uncertainty and Resources
2019-01-01 Combi, Carlo; Posenato, Roberto; Viganò, Luca; Zavatteri, Matteo
Conditional Uncertainty in Constraint Networks
2019-01-01 Zavatteri, Matteo; Viganò, Luca
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way
2021-01-01 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca
Constraint Networks Under Conditional Uncertainty
2018-01-01 Zavatteri, Matteo; Viganò, Luca
Data-aware process models: From soundness checking to repair
2025-01-01 Zavatteri, Matteo; Bresolin, Davide; De Leoni, Massimiliano; Makaj, Aurelo
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
Dynamic controllability of temporal networks with instantaneous reaction
2022-01-01 Zavatteri, Matteo; 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; Viganò, 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
Iterative In-Context Learning to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks
2026-01-01 Fioravanti, Stefano; Zavatteri, Matteo; Confalonieri, Roberto; Zeinalipour, Kamyar; Frazzetto, Paolo; Sperduti, Alessandro; Navarin, Nicolò
Last man standing: Static, decremental and dynamic resiliency via controller synthesis
2019-01-01 Zavatteri, Matteo; Viganò, Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia | 1-gen-2023 | Raffaele, Alice; Zavatteri, Matteo; Bazzoli, Fabio; Gussago, Marco; Rizzi, Romeo | |
| Access Controlled Temporal Networks | 1-gen-2017 | Combi, Carlo; Posenato, Roberto; Viganò, Luca; Zavatteri, Matteo | |
| An interdisciplinary experimental evaluation on the disjunctive temporal problem | 1-gen-2023 | Zavatteri, Matteo; Raffaele, Alice; Ostuni, Dario; Rizzi, Romeo | |
| Automated Synthesis of Certified Neural Networks | 1-gen-2024 | Zavatteri, Matteo; Bresolin, Davide; Navarin, Nicolò | |
| 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-2019 | Zavatteri, Matteo; Viganò, Luca | |
| Conditional Simple Temporal Networks with Uncertainty and Decisions | 1-gen-2017 | Zavatteri, Matteo | |
| Conditional Simple Temporal Networks with Uncertainty and Resources | 1-gen-2019 | Combi, Carlo; Posenato, Roberto; Viganò, 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 | |
| Data-aware process models: From soundness checking to repair | 1-gen-2025 | Zavatteri, Matteo; Bresolin, Davide; De Leoni, Massimiliano; Makaj, Aurelo | |
| 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 | |
| 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; Viganò, 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 | |
| Iterative In-Context Learning to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks | 1-gen-2026 | Fioravanti, Stefano; Zavatteri, Matteo; Confalonieri, Roberto; Zeinalipour, Kamyar; Frazzetto, Paolo; Sperduti, Alessandro; Navarin, Nicolò | |
| Last man standing: Static, decremental and dynamic resiliency via controller synthesis | 1-gen-2019 | Zavatteri, Matteo; Viganò, Luca |