An Empirical Evaluation of Portfolios Approaches for Solving CSPs. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CPAIOR, 2013)

Fast Post-Disaster Emergency Vehicle Scheduling. - Roberto Amadini; Imane Sefrioui; Jacopo Mauro; Maurizio Gabbrielli (DCAI, 2013)

Features for Building CSP Portfolio Solvers. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2013)

SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2013)

A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. - Roberto Amadini; Imane Sefrioui; Jacopo Mauro; Maurizio Gabbrielli (Int. J. Interact. Multim. Artif. Intell., 2013)

Evaluation and Application of Portfolio Approaches in Constraint Programming. - Roberto Amadini (Theory Pract. Log. Program., 2013)

Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. - Roberto Amadini; Peter J. Stuckey (CP, 2014)

An enhanced features extractor for a portfolio of constraint solvers. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (SAC, 2014)

SUNNY: a Lazy Portfolio Approach for Constraint Solving. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Theory Pract. Log. Program., 2014)

SUNNY for algorithm selection: a preliminary study. - Roberto Amadini; Fabio Biselli; Maurizio Gabbrielli; Tong Liu 004; Jacopo Mauro (CILC, 2015)

Feature Selection for SUNNY: A Study on the Algorithm Selection Library. - Roberto Amadini; Fabio Biselli; Maurizio Gabbrielli; Tong Liu 004; Jacopo Mauro (ICTAI, 2015)

A Multicore Tool for Constraint Solving. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (IJCAI, 2015)

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (LOPSTR, 2015)

SUNNY-CP: a sequential CP portfolio solver. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (SAC, 2015)

Portfolio approaches in constraint programming. - Roberto Amadini (Constraints An Int. J., 2015)

SUNNY-CP 2: a Parallel CP Portfolio Solver. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2015)

Portfolio Approaches in Constraint Programming. (Portfolio approches dans la Programmation par contraintes). - Roberto Amadini (2015)

Parallelizing Constraint Solvers for Hard RCPSP Instances. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (LION, 2016)

MiniZinc with Strings. - Roberto Amadini; Pierre Flener; Justin Pearson; Joseph D. Scott; Peter J. Stuckey; Guido Tack (LOPSTR, 2016)

Portfolio approaches for constraint optimization problems. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Ann. Math. Artif. Intell., 2016)

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Int. J. Interact. Multim. Artif. Intell., 2016)

A Novel Approach to String Constraint Solving. - Roberto Amadini; Graeme Gange; Peter J. Stuckey; Guido Tack (CP, 2017)

SUNNY with Algorithm Configuration. - Tong Liu 004; Roberto Amadini; Jacopo Mauro (OASC, 2017)

Combining String Abstract Domains for JavaScript Analysis: An Evaluation. - Roberto Amadini; Alexander Jordan; Graeme Gange; François Gauthier 001; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (TACAS (1), 2017)

Sweep-Based Propagation for String Constraint Solving. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (AAAI, 2018)

Propagating Regular Membership with Dashed Strings. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (CP, 2018)

Propagating lex, find and replace with Dashed Strings. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (CPAIOR, 2018)

Reference Abstract Domains and Applications to String Analysis. - Roberto Amadini; Graeme Gange; François Gauthier 001; Alexander Jordan; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (Fundam. Informaticae, 2018)

SUNNY-CP and the MiniZinc challenge. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Theory Pract. Log. Program., 2018)

Constraint Programming for Dynamic Symbolic Execution of JavaScript. - Roberto Amadini; Mak Andrlon; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CPAIOR, 2019)

Abstract Interpretation, Symbolic Execution and Constraints. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Gabbrielli's Festschrift, 2020)

Dashed Strings and the Replace(-all) Constraint. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (CP, 2020)

String Constraint Solving: Past, Present and Future. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ECAI, 2020)

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (LOPSTR, 2020)

Dashed strings for string constraint solving. - Roberto Amadini; Graeme Gange; Peter J. Stuckey (Artif. Intell., 2020)

sunny-as2: Enhancing SUNNY for Algorithm Selection. - Tong Liu 004; Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (J. Artif. Intell. Res., 2021)

sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). - Tong Liu 004; Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (IJCAI, 2022)

A Regular Matching Constraint for String Variables. - Roberto Amadini; Peter J. Stuckey (IJCAI, 2023)

A Survey on String Constraint Solving. - Roberto Amadini (ACM Comput. Surv., 2023)

On the Evaluation of (Meta-)solver Approaches. - Roberto Amadini; Maurizio Gabbrielli; Tong Liu 004; Jacopo Mauro (J. Artif. Intell. Res., 2023)

Regular Matching with Constraint Programming. - Roberto Amadini; Maurizio Gabbrielli (Challenges of Software Verification, 2023)

FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. - Monica Vitali; Jacopo Soldani; Roberto Amadini; Antonio Brogi; Stefano Forti 002; Simone Gazza; Saverio Giallorenzo; Pierluigi Plebani; Francisco Ponce 001; Gianluigi Zavattaro (CAiSE Research Projects Exhibition, 2024)

Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. - Jacopo Soldani; Roberto Amadini; Antonio Brogi; Stefano Forti 002; Saverio Giallorenzo; Pierluigi Plebani; Monica Vitali; Gianluigi Zavattaro (FRAME@HPDC, 2024)

Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. - Roberto Amadini; Simone Gazza; Jacopo Soldani; Monica Vitali; Antonio Brogi; Stefano Forti 002; Saverio Giallorenzo; Pierluigi Plebani; Francisco Ponce 001; Gianluigi Zavattaro (LOPSTR, 2024)