Recent publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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.
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Amadini, R.; Gabbrielli, M.; Mauro, M. Parallelizing Constraint Solvers for Hard RCPSP Instances. . Inria Sophia Antipolis. 2016, pp. 1-16.
  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, 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
  14. 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.
  15. Amadini, R.; Biselli, F.; Gabbrielli, M.; Liu, T.; Mauro, J. Feature Selection for SUNNY: a Study on the Algorithm Selection Library. Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI. IEEE. 2015, Vol. 2016-January, pp. 25-32. DOI: 10.1109/ICTAI.2015.18
  16. Amadini, R.; Gabbrielli, M. Portfolio approaches in constraint programming. Constraints. 2015, Vol. 20, Issue 4, pp. 483-483. DOI: 10.1007/s10601-015-9215-9
  17. 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.
  18. Amadini, R.; Gabbrielli, M.; Mauro, J. SUNNY-CP: a Sequential CP Portfolio Solver. Proceedings of the ACM Symposium on Applied Computing. ASSOC COMPUTING MACHINERY. 2015, Vol. 13-17-April-2015, pp. 1861-1867. DOI: 10.1145/2695664.2695741
  19. 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
  20. Amadini, R.; Gabbrielli, M.; Mauro, J. An enhanced features extractor for a portfolio of constraint solvers. Proceedings of the ACM Symposium on Applied Computing. Association for Computing Machinery (ACM). 2014, pp. 1357-1359. DOI: 10.1145/2554850.2555114

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