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)

Correct approximation of IEEE 754 floating-point arithmetic for program verification. - Roberto Bagnara; Abramo Bagnara; Fabio Biselli; Michele Chiari; Roberta Gori (Constraints An Int. J., 2022)