AMADINI, ROBERTO
AMADINI, ROBERTO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing
2013 Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli
A multicore tool for constraint solving
2015 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
A novel approach to string constraint solving
2017 Amadini R.; Gange G.; Stuckey P.J.; Tack G.
A Survey on String Constraint Solving
2023 Amadini, Roberto
Abstract Interpretation, Symbolic Execution and Constraints
2020 Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study
2021 Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.
An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
2013 Roberto Amadini;Maurizio Gabbrielli;Jacopo Mauro
An enhanced features extractor for a portfolio of constraint solvers
2014 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Combining string abstract domains for javascript analysis: An evaluation
2017 Amadini R.; Jordan A.; Gange G.; Gauthier F.; Schachte P.; Sondergaard H.; Stuckey P.J.; Zhang C.
Constraint Programming for Dynamic Symbolic Execution of JavaScript
2019 Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.
Dashed Strings and the Replace(-all) Constraint
2020 Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
Dashed strings for string constraint solving
2020 Amadini, Roberto; Gange, Graeme; Stuckey, Peter J.
Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence
2013 Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli
Feature selection for SUNNY: A study on the algorithm selection library
2015 Amadini, Roberto; Biselli, Fabio; Gabbrielli, Maurizio; Liu, Tong; Mauro, Jacopo
MiniZinc with strings
2017 Amadini R.; Flener P.; Pearson J.; Scott J.D.; Stuckey P.J.; Tack G.
Portfolio approaches for constraint optimization problems
2014 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Portfolio approaches for constraint optimization problems
2016 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Portfolio approaches in constraint programming
2015 Amadini R.
Propagating lex, find and replace with dashed strings
2018 Amadini R.; Gange G.; Stuckey P.J.
Propagating Regular membership with dashed strings
2018 Amadini R.; Gange G.; Stuckey P.J.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing | Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli | 2013-01-01 | INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
| A multicore tool for constraint solving | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2015-01-01 | IJCAI | International Joint Conferences on Artificial Intelligence | 4.01 Contributo in Atti di convegno | - |
| A novel approach to string constraint solving | Amadini R.; Gange G.; Stuckey P.J.; Tack G. | 2017-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| A Survey on String Constraint Solving | Amadini, Roberto | 2023-01-01 | ACM COMPUTING SURVEYS | - | 1.01 Articolo in rivista | main.pdf |
| Abstract Interpretation, Symbolic Execution and Constraints | Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | OASIcs-Gabbrielli-7.pdf |
| Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study | Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Roberto Amadini;Maurizio Gabbrielli;Jacopo Mauro | 2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| An enhanced features extractor for a portfolio of constraint solvers | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2014-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| Combining string abstract domains for javascript analysis: An evaluation | Amadini R.; Jordan A.; Gange G.; Gauthier F.; Schachte P.; Sondergaard H.; Stuckey P.J.; Zhang C. | 2017-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Constraint Programming for Dynamic Symbolic Execution of JavaScript | Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Dashed Strings and the Replace(-all) Constraint | Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Dashed strings for string constraint solving | Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. | 2020-01-01 | ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | main-1.pdf |
| Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence | Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli | 2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Feature selection for SUNNY: A study on the algorithm selection library | Amadini, Roberto; Biselli, Fabio; Gabbrielli, Maurizio; Liu, Tong; Mauro, Jacopo | 2015-01-01 | - | IEEE Computer Society | 4.01 Contributo in Atti di convegno | - |
| MiniZinc with strings | Amadini R.; Flener P.; Pearson J.; Scott J.D.; Stuckey P.J.; Tack G. | 2017-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Portfolio approaches for constraint optimization problems | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2014-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Portfolio approaches for constraint optimization problems | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2016-01-01 | ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
| Portfolio approaches in constraint programming | Amadini R. | 2015-01-01 | CONSTRAINTS | - | 1.06 Abstract in rivista | - |
| Propagating lex, find and replace with dashed strings | Amadini R.; Gange G.; Stuckey P.J. | 2018-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Propagating Regular membership with dashed strings | Amadini R.; Gange G.; Stuckey P.J. | 2018-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |