Zavatteri, Matteo

Zavatteri, Matteo  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 31 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia 2023 Zavatteri M. + - - Operations Research and Data Science in Public Services
Access controlled temporal networks 2017 Zavatteri, Matteo + - - ICAART 2017 - Proceedings of the 9th International Conference on Agents and Artificial Intelligence
An Interdisciplinary Experimental Evaluation on the Disjunctive Temporal Problem 2023 Matteo Zavatteri + CONSTRAINTS - -
Complexity of weak, strong and dynamic controllability of CNCUs 2020 Zavatteri, Matteo + - CEUR WORKSHOP PROCEEDINGS CEUR Workshop Proceedings
Conditional simple temporal networks with uncertainty and decisions 2017 Zavatteri, Matteo - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Leibniz International Proceedings in Informatics, LIPIcs
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 - -
Conditional uncertainty in constraint networks 2019 Zavatteri, Matteo + - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 2021 Zavatteri, Matteo + INFORMATION AND COMPUTATION - -
Constraint networks under conditional uncertainty 2018 Zavatteri, Matteo + - - ICAART 2018 - Proceedings of the 10th International Conference on Agents and Artificial Intelligence
Dynamic controllability and (J,K)-Resiliency in generalized constraint networks with uncertainty 2020 Zavatteri, Matteo + - PROCEEDINGS OF THE ... INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING Proceedings International Conference on Automated Planning and Scheduling, ICAPS
Dynamic Controllability of Temporal Networks via Supervisory Control 2022 Zavatteri, MatteoBresolin, Davide + - - Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2022
Dynamic controllability of temporal networks with instantaneous reaction 2022 Zavatteri Matteo + INFORMATION SCIENCES - -
Faster and Better Simple Temporal Problems 2021 Zavatteri, Matteo + - PROCEEDINGS OF THE ... AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE THE THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE
Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions 2019 Zavatteri, Matteo + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Leibniz International Proceedings in Informatics, LIPIcs
Incorporating decision nodes into conditional simple temporal networks 2017 Zavatteri Matteo + - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS Leibniz International Proceedings in Informatics, LIPIcs
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 - -
Mining significant temporal networks is polynomial 2020 Zavatteri, Matteo + - - 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Mining temporal networks: Results and open problems 2021 Zavatteri M. + - CEUR WORKSHOP PROCEEDINGS OVERLAY 21: Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2021