Foto del docente

Roberto Amadini

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

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]

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

Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., Constraint Programming for Dynamic Symbolic Execution of JavaScript, in: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11494, pp. 1 - 19 (atti di: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, grc, 2019) [Contributo in Atti di convegno]

Amadini R.; Gange G.; Stuckey P.J., Propagating lex, find and replace with dashed strings, in: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2018, 10848, pp. 18 - 34 (atti di: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, nld, 2018) [Contributo in Atti di convegno]

Amadini R.; Gange G.; Stuckey P.J., Propagating Regular membership with dashed strings, in: 24th International Conference on the Principles and Practice of Constraint Programming, CP 2018, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2018, 11008, pp. 13 - 29 (atti di: 24th International Conference on the Principles and Practice of Constraint Programming, CP 2018, fra, 2018) [Contributo in Atti di convegno]

Amadini R.; Gauthier F.; Schachte P.; Stuckey P.J.; Gange G.; Jordan A.; Sondergaard H.; Zhang C., Reference abstract domains and applications to string analysis, «FUNDAMENTA INFORMATICAE», 2018, 158, pp. 297 - 326 [articolo]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, SUNNY-CP and the minizinc challenge, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2018, 18, pp. 1 - 14 [articolo]Open Access

Ultimi avvisi

Al momento non sono presenti avvisi.