Recent publications

  1. Amadini, R.; Andrlon, M.; Gange, G.; Schachte, P.; S√łndergaard, H.; Stuckey, PJ. Constraint Programming for Dynamic Symbolic Execution of JavaScript. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer International Publishing. 2019, Vol. 11494 LNCS, pp. 1-19. DOI: 10.1007/978-3-030-19212-9_1
  2. Amadini, R.; Gange, G.; Stuckey, PJ. Propagating lex, find and replace with dashed strings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer International Publishing. 2018, Vol. 10848 LNCS, pp. 18-34. DOI: 10.1007/978-3-319-93031-2_2
  3. Amadini, R.; Gange, G.; Stuckey, PJ. Propagating Regular membership with dashed strings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature. 2018, Vol. 11008 LNCS, pp. 13-29. DOI: 10.1007/978-3-319-98334-9_2
  4. Amadini, R.; Gange, G.; Gauthier, F.; Jordan, A.; Schachte, P.; Sondergaard, H.; Stuckey, PJ.; Zhang, C. Reference Abstract Domains and Applications to String Analysis. Fundamenta Informaticae. IOS PRESS. 2018, Vol. 158, Issue 4, pp. 297-326. DOI: 10.3233/FI-2018-1650
  5. Amadini, R.; Gabbrielli, M.; Mauro, J. SUNNY-CP and the MiniZinc challenge. Theory and Practice of Logic Programming. CAMBRIDGE UNIV PRESS. 2018, Vol. 18, Issue 1, pp. 81-96. DOI: 10.1017/S1471068417000205
  6. Amadini, R.; Gange, G.; Stuckey, PJ. Sweep-based propagation for string constraint solving. 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. 2018, pp. 6557-6564.
  7. Amadini, R.; Gange, G.; Stuckey, PJ.; Tack, G. A novel approach to string constraint solving. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer. 2017, Vol. 10416 LNCS, pp. 3-20. DOI: 10.1007/978-3-319-66158-2_1
  8. Amadini, R.; Jordan, A.; Gange, G.; Gauthier, F.; Schachte, P.; Sondergaard, H.; Stuckey, PJ.; Zhang, C. Combining String Abstract Domains for JavaScript Analysis: An Evaluation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INTERNATIONAL PUBLISHING AG. 2017, Vol. 10205, pp. 41-57. DOI: 10.1007/978-3-662-54577-5_3
  9. Amadini, R.; Flener, P.; Pearson, J.; Scott, JD.; Stuckey, PJ.; Tack, G. MiniZinc with Strings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INTERNATIONAL PUBLISHING AG. 2017, Vol. 10184, pp. 59-75. DOI: 10.1007/978-3-319-63139-4_4
  10. 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. SPRINGER HEIDELBERG. 2017, Vol. 43, Issue 6, pp. 805-822. DOI: 10.1007/s00068-016-0757-3
  11. Amadini, R.; Gabbrielli, M.; Mauro, J. An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. International Journal of Interactive Multimedia and Artificial Intelligence. IMAI SOLUTIONS. 2016, Vol. 3, Issue 7, pp. 81-86. DOI: 10.9781/ijimai.2016.3712
  12. Amadini, R.; Gabbrielli, M.; Mauro, J. Parallelizing Constraint Solvers for Hard RCPSP Instances. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INTERNATIONAL PUBLISHING AG. 2016, Vol. 10079, pp. 227-233. DOI: 10.1007/978-3-319-50349-3_16
  13. Amadini, R.; Gabbrielli, M.; Mauro, M. Parallelizing Constraint Solvers for Hard RCPSP Instances. . Inria Sophia Antipolis. 2016, pp. 1-16.
  14. Amadini, R.; Gabbrielli, M.; Mauro, J. Portfolio approaches for constraint optimization problems. Annals of Mathematics and Artificial Intelligence. SPRINGER. 2016, Vol. 76, Issue 1-2, pp. 229-246. DOI: 10.1007/s10472-015-9459-5
  15. Amadini, R.; Gabbrielli, M.; Mauro, J. A multicore tool for constraint solving. IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence. 2015, Vol. 2015-January, pp. 232-238.
  16. Amadini, R.; Biselli, F.; Gabbrielli, M.; Liu, T.; Mauro, J. Feature Selection for SUNNY: a Study on the Algorithm Selection Library. 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI). IEEE. 2015, Vol. 2016-January, pp. 25-32. DOI: 10.1109/ICTAI.2015.18
  17. Amadini, R.; Gabbrielli, M. Portfolio approaches in constraint programming. Constraints. Springer Science and Business Media LLC. 2015, Vol. 20, Issue 4, pp. 483-483. DOI: 10.1007/s10601-015-9215-9
  18. Amadini, R.; Biselli, F.; Gabbrielli, M.; Liu, T.; Mauro, J. SUNNY for algorithm selection: A preliminary study. CEUR Workshop Proceedings. CEUR Workshop Proceedings. 2015, Vol. 1459, pp. 202-206.
  19. Amadini, R.; Gabbrielli, M.; Mauro, J. SUNNY-CP: a Sequential CP Portfolio Solver. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. ASSOC COMPUTING MACHINERY. 2015, Vol. 13-17-April-2015, pp. 1861-1867. DOI: 10.1145/2695664.2695741
  20. Amadini, R.; Gabbrielli, M.; Mauro, J. Why CP Portfolio Solvers Are (under) Utilized? Issues and Challenges. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INT PUBLISHING AG. 2015, Vol. 9527, pp. 349-364. DOI: 10.1007/978-3-319-27436-2_21

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile