# Fabio Biselli

According to our database

Collaborative distances:

^{1}, Fabio Biselli authored at least 3 papers between 2015 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification.

CoRR, 2019

2015

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

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

SUNNY for algorithm selection: a preliminary study.

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