Roberto Amadini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
12
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | Constraint Solving and Particle Swarm Optimization for Fixture Layout Optimization. | Anna Vitali, Roberto Amadini, Vittorio Maniezzo, Maurizio Gabbrielli |
| 2025 | PPDP | Fixture Layout Optimization in Wood Industry: A Case Study. | Anna Vitali, Roberto Amadini, Maurizio Gabbrielli |
| 2024 | CaiSE | 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, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro |
| 2024 | LOPSTR | Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. | Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro |
| 2023 | IJCAI | A Regular Matching Constraint for String Variables. | Roberto Amadini, Peter J. Stuckey |
| 2022 | IJCAI | sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). | Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2020 | CP | Dashed Strings and the Replace(-all) Constraint. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2020 | ECAI | String Constraint Solving: Past, Present and Future. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | LOPSTR | Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | CPAIOR | Constraint Programming for Dynamic Symbolic Execution of JavaScript. | Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2018 | AAAI | Sweep-Based Propagation for String Constraint Solving. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | CP | Propagating Regular Membership with Dashed Strings. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | CPAIOR | Propagating lex, find and replace with Dashed Strings. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2017 | CP | A Novel Approach to String Constraint Solving. | Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
| 2017 | TACAS | Combining String Abstract Domains for JavaScript Analysis: An Evaluation. | Roberto Amadini, Alexander Jordan, Graeme Gange, Franois Gauthier, Peter Schachte, Harald Sndergaard, Peter J. Stuckey, Chenyi Zhang |
| 2016 | LOPSTR | MiniZinc with Strings. | Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
| 2015 | IJCAI | A Multicore Tool for Constraint Solving. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2015 | ICTAI | Feature Selection for SUNNY: A Study on the Algorithm Selection Library. | Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro |
| 2015 | LOPSTR | Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2015 | SAC | SUNNY-CP: a sequential CP portfolio solver. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2014 | CP | Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. | Roberto Amadini, Peter J. Stuckey |
| 2014 | SAC | An enhanced features extractor for a portfolio of constraint solvers. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2013 | CPAIOR | An Empirical Evaluation of Portfolios Approaches for Solving CSPs. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2013 | DCAI | Fast Post-Disaster Emergency Vehicle Scheduling. | Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli |