Foto del docente

Roberto Amadini

Ricercatore a tempo determinato tipo b) (senior)

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

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, pp. 1 - 31 [articolo]

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, esp, 2020) [Contributo in Atti di convegno]

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 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.; 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.; 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]

Amadini R.; Gange G.; Stuckey P.J., Sweep-based propagation for string constraint solving, in: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, AAAI press, 2018, pp. 6557 - 6564 (atti di: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, usa, 2018) [Contributo in Atti di convegno]

Amadini R.; Gange G.; Stuckey P.J.; Tack G., A novel approach to string constraint solving, in: 23rd International Conference on the Principles and Practice of Constraint Programming, CP 2017, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2017, 10416, pp. 3 - 20 (atti di: 23rd International Conference on the Principles and Practice of Constraint Programming, CP 2017, aus, 2017) [Contributo in Atti di convegno]

Amadini R.; Jordan A.; Gange G.; Gauthier F.; Schachte P.; Sondergaard H.; Stuckey P.J.; Zhang C., Combining string abstract domains for javascript analysis: An evaluation, in: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, Springer Verlag, 2017, 10205, pp. 41 - 57 (atti di: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, swe, 2017) [Contributo in Atti di convegno]

Amadini R.; Flener P.; Pearson J.; Scott J.D.; Stuckey P.J.; Tack G., MiniZinc with strings, in: 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2017, 10184, pp. 59 - 75 (atti di: 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, gbr, 2016) [Contributo in Atti di convegno]

Sefrioui, I; Amadini, R; Mauro, J; El Fallahi, A; Gabbrielli, M, Survival prediction of trauma patients: a study on US National Trauma Data Bank, «EUROPEAN JOURNAL OF TRAUMA AND EMERGENCY SURGERY», 2017, 43, pp. 805 - 822 [articolo]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems, «INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE», 2016, 3, pp. 81 - 87 [articolo]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, Parallelizing constraint solvers for hard RCPSP instances, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2016, 10079, pp. 227 - 233 (atti di: 10th International Conference on Learning and Intelligent Optimization, LION 10, ita, 2016) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.