Recent publications

  1. Amadini R, Gange G, Gauthier F, Jordan A, Schachte P, Sondergaard H, Stuckey P, Zhang C. Reference Abstract Domains and Applications to String Analysis. FUNDAMENTA INFORMATICAE. IOS Press. 2018, Vol. 158, Issue 4. DOI: 10.3233/FI-2018-1650
  2. 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
  3. 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. 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 19th European Joint Conferences on Theory and Practice of Software (ETAPS). Springer Verlag. 2017, Vol. 10205. Editors: Legay A, Margaria T. DOI: 10.1007/978-3-662-54577-5_3
  4. Amadini R, Flener P, Pearson J, Scott JD, Stuckey P, Tack G. MiniZinc with Strings. 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). Springer Verlag. 2017, Vol. 10184. Editors: Hermenegildo MV, Lopezgarcia P. DOI: 10.1007/978-3-319-63139-4_4
  5. 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
  6. 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
  7. Amadini R, Gabbrielli M, Mauro M. Parallelizing Constraint Solvers for Hard RCPSP Instances. . 2016.
  8. 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
  9. 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
  10. 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.
  11. 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
  12. Amadini R, Gabbrielli M. Portfolio approaches in constraint programming. Constraints. Springer. 2015, Vol. 20, Issue 4. DOI: 10.1007/s10601-015-9215-9
  13. 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.
  14. 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
  15. 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

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