Fabio Biselli

According to our database, Fabio Biselli authored at least 3 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2015

Feature Selection for SUNNY: A Study on the Algorithm Selection Library.

Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

SUNNY for algorithm selection: a preliminary study.

Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

Proceedings of the 30th Italian Conference on Computational Logic, 2015