AMADINI, ROBERTO
AMADINI, ROBERTO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
A Regular Matching Constraint for String Variables
2023 Amadini, Roberto; Stuckey, Peter J.
A Survey on String Constraint Solving
2023 Amadini, Roberto
On the Evaluation of (Meta-)solver Approaches
2023 Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract)
2022 Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study
2021 Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.
sunny-as2: Enhancing SUNNY for Algorithm Selection
2021 Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Abstract Interpretation, Symbolic Execution and Constraints
2020 Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey
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.
String constraint solving: Past, present and future
2020 Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.
Constraint Programming for Dynamic Symbolic Execution of JavaScript
2019 Amadini R.; Andrlon M.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J.
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.
Reference abstract domains and applications to string analysis
2018 Amadini R.; Gauthier F.; Schachte P.; Stuckey P.J.; Gange G.; Jordan A.; Sondergaard H.; Zhang C.
SUNNY-CP and the minizinc challenge
2018 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Sweep-based propagation for string constraint solving
2018 Amadini R.; Gange G.; Stuckey P.J.
A novel approach to string constraint solving
2017 Amadini R.; Gange G.; Stuckey P.J.; Tack G.
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.
MiniZinc with strings
2017 Amadini R.; Flener P.; Pearson J.; Scott J.D.; Stuckey P.J.; Tack G.
Survival prediction of trauma patients: a study on US National Trauma Data Bank
2017 Sefrioui, I; Amadini, R; Mauro, J; El Fallahi, A; Gabbrielli, M
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Regular Matching Constraint for String Variables | Amadini, Roberto; Stuckey, Peter J. | 2023-01-01 | - | International Joint Conferences on Artificial Intelligence | 4.01 Contributo in Atti di convegno | 0207.pdf |
| A Survey on String Constraint Solving | Amadini, Roberto | 2023-01-01 | ACM COMPUTING SURVEYS | - | 1.01 Articolo in rivista | main.pdf |
| On the Evaluation of (Meta-)solver Approaches | Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro | 2023-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | 14102wPg#s.pdf |
| sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) | Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2022-01-01 | - | - | 4.02 Riassunto (Abstract) | 0804.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 | - |
| sunny-as2: Enhancing SUNNY for Algorithm Selection | Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2021-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | sminton,+13116-Article+(PDF)-28464-1-11-20211006+(1).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 |
| 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 |
| String constraint solving: Past, present and future | Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J. | 2020-01-01 | - | IOS Press BV | 4.01 Contributo in Atti di convegno | FAIA-325-FAIA200431.pdf |
| 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 | - |
| 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 | - |
| Reference abstract domains and applications to string analysis | Amadini R.; Gauthier F.; Schachte P.; Stuckey P.J.; Gange G.; Jordan A.; Sondergaard H.; Zhang C. | 2018-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| SUNNY-CP and the minizinc challenge | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2018-01-01 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | - | 1.01 Articolo in rivista | tplp17.pdf |
| Sweep-based propagation for string constraint solving | Amadini R.; Gange G.; Stuckey P.J. | 2018-01-01 | - | AAAI press | 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 | - |
| 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 | - |
| 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 | - |
| Survival prediction of trauma patients: a study on US National Trauma Data Bank | Sefrioui, I; Amadini, R; Mauro, J; El Fallahi, A; Gabbrielli, M | 2017-01-01 | EUROPEAN JOURNAL OF TRAUMA AND EMERGENCY SURGERY | - | 1.01 Articolo in rivista | EJTES43-2017.pdf |