Gazza, Simone; Amadini, Roberto; Brogi, Antonio; D'Iapico, Andrea; Forti, Stefano; Giallorenzo, Saverio; Plebani, Pierluigi; Ponce, Francisco; Soldani, Jacopo; Vitali, Monica; Zavattaro, Gianluigi, A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments, «ACM TRANSACTIONS ON INTERNET TECHNOLOGY», in corso di stampa, N/A, pp. N/A - N/A [articolo]
Vitali, Anna; Amadini, Roberto; Gabbrielli, Maurizio, Fixture Layout Optimization in Wood Industry: A Case Study, in: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, New York, Association for Computing Machinery, 2025, pp. 1 - 7 (atti di: International Symposium on Principles and Practice of Declarative Programming, Rende, Italy, 10/09/2025) [Contributo in Atti di convegno]Open Access
Vitali, M.; Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Gazza, S.; Giallorenzo, S.; Plebani, P.; Ponce, F.; Zavattaro, G., FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures, in: Proceedings of the Research Projects Exhibition Papers Presented at the 36th International Conference on Advanced Information Systems Engineering (CAiSE 2024), Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2024, 3692, pp. 69 - 75 (atti di: 36th International Conference on Advanced Information Systems Engineering, CAiSE-RPE 2024, cyp, 2024) [Contributo in Atti di convegno]Open Access
Amadini, R.; Gazza, S.; Soldani, J.; Vitali, M.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, P.; Ponce, F.; Zavattaro, G., Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications, in: Logic-Based Program Synthesis and Transformation. LOPSTR 2024, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14919, pp. 117 - 127 (atti di: 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, ita, 2024) [Contributo in Atti di convegno]Open Access
Soldani, J.; Amadini, R.; Brogi, A.; Forti, S.; Giallorenzo, S.; Plebani, P.; Vitali, M.; Zavattaro, G., Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA, in: FRAME '24 - Proceedings of the 4th Workshop on Flexible Resource and Application Management on the Edge, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, Inc, 2024, pp. 1 - 4 (atti di: 4th Workshop on Flexible Resource and Application Management on the Edge, FRAME 2024, Pisa, Italy, Jun 3-7, 2024) [Contributo in Atti di convegno]Open Access
Amadini, Roberto; Stuckey, Peter J., A Regular Matching Constraint for String Variables, in: Edith Elkind, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2023, pp. 1868 - 1875 (atti di: International Joint Conference on Artificial Intelligence, Macao, 19-25 Agosto 2023) [Contributo in Atti di convegno]Open Access
Amadini, Roberto, A Survey on String Constraint Solving, «ACM COMPUTING SURVEYS», 2023, 55, Article number: 16, pp. 1 - 38 [articolo]Open Access
Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro, On the Evaluation of (Meta-)solver Approaches, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2023, 76, pp. 705 - 719 [articolo]Open Access
Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract), in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, pp. 5752 - 5756 (atti di: International Joint Conference on Artificial Intelligence, Vienna, 23-29 Luglio 2022) [atti di convegno-abstract]Open Access
Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12561, pp. 192 - 209 (atti di: 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, ita, 2020) [Contributo in Atti di convegno]
Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, sunny-as2: Enhancing SUNNY for Algorithm Selection, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2021, 72, pp. 329 - 376 [articolo]Open Access
Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey, Abstract Interpretation, Symbolic Execution and Constraints, in: Recent Developments in the Design and Implementation of Programming Languages, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 19 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, November 27, 2020) [Contributo in Atti di convegno]Open Access
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed Strings and the Replace(-all) Constraint, in: Principles and Practice of Constraint Programming. CP 2020., «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12333, pp. 3 - 20 (atti di: CP 2020., Leuven, September 2020) [Contributo in Atti di convegno]
Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed strings for string constraint solving, «ARTIFICIAL INTELLIGENCE», 2020, 289, Article number: 103368, pp. 1 - 31 [articolo]Open Access
Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., String constraint solving: Past, present and future, in: Frontiers in Artificial Intelligence and Applications, IOS Press BV, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2020, 325, pp. 2875 - 2876 (atti di: 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020, Santiago de Compostela, Spain, 2020) [Contributo in Atti di convegno]Open Access
