Recent publications

  1. Amadini R, Gange G, Stuckey P, 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 Verlag. 2017, Vol. 10416 LNCS. DOI: 10.1007/978-3-319-66158-2_1
  2. Amadini R, Jordan A, Gange G, Gauthier F, Schachte P, Sondergaard H, Stuckey P, 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 Verlag. 2017, Vol. 10205 LNCS. DOI: 10.1007/978-3-662-54577-5_3
  3. Amadini R, Flener P, Pearson J, Scott JD, Stuckey P, Tack G. MiniZinc with strings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10184 LNCS. DOI: 10.1007/978-3-319-63139-4_4
  4. 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, Vol. 43, Issue 6. DOI: 10.1007/s00068-016-0757-3
  5. Amadini R, Gabbrielli M, Mauro J. An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE. 2016, Vol. 3, Issue 7. DOI: 10.9781/ijimai.2016.3712
  6. Amadini R, Gabbrielli M, Mauro M. Parallelizing Constraint Solvers for Hard RCPSP Instances. . 2016.
  7. Amadini R, Gabbrielli M, Mauro J. Parallelizing Constraint Solvers for Hard RCPSP Instances. 10th International Conference on Learning and Intelligent Optimization (LION). Springer Verlag. 2016, Vol. 10079. Editors: Festa P, Sellmann M, Vanschoren J. DOI: 10.1007/978-3-319-50349-3_16
  8. Amadini R, Gabbrielli M, Mauro J. Portfolio approaches for constraint optimization problems. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE. Kluwer Academic Publishers. 2016, Vol. 76, Issue 1-2. DOI: 10.1007/s10472-015-9459-5
  9. Amadini R, Gabbrielli M, Mauro J. A multicore tool for constraint solving. IJCAI International Joint Conference on Artificial Intelligence. AAAI Press. 2015, Vol. 2015-January.
  10. 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 2015). IEEE. 2015. DOI: 10.1109/ICTAI.2015.18
  11. Amadini R, Gabbrielli M. Portfolio approaches in constraint programming. Constraints. Springer. 2015, Vol. 20, Issue 4. DOI: 10.1007/s10601-015-9215-9
  12. Amadini R, Biselli F, Gabbrielli M, Liu T, Mauro J. SUNNY for algorithm selection: A preliminary study. CEUR Workshop Proceedings. Rheinisch-Westfaelische Technische Hochschule Aachen * Lehrstuhl Informatik V. 2015, Vol. 1459.
  13. Amadini R, Gabbrielli M, Mauro J. SUNNY-CP: a Sequential CP Portfolio Solver. 30th ACM Symposium on Applied Computing (SAC). Association for Computing Machinery Inc.. 2015. Editors: Shin D. DOI: 10.1145/2695664.2695741
  14. Amadini R, Gabbrielli M, Mauro J. Why CP Portfolio Solvers Are (under) Utilized? Issues and Challenges. 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). Springer Verlag. 2015, Vol. 9527. Editors: Falaschi M. DOI: 10.1007/978-3-319-27436-2_21
  15. Amadini R, Gabbrielli M, Mauro J. An enhanced features extractor for a portfolio of constraint solvers. Proceedings of the ACM Symposium on Applied Computing. 2014. DOI: 10.1145/2554850.2555114

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