AMADINI, ROBERTO

AMADINI, ROBERTO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Ricercatori a tempo determinato  

Risultati 1 - 20 di 33 (tempo di esecuzione: 0.054 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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 -
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 -
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 -
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 -
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 -
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 -
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2016-01-01 INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE - 1.01 Articolo in rivista -
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 -
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 -
Parallelizing constraint solvers for hard RCPSP instances Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2016-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 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 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 -