Boolean Function Manipulation on a Parallel System Using BDDs. - F. Bianchi; Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Roberto Ansaloni (HPCN Europe, 1997)

PARSIFAL: A toolkit for triple-GEM parametrized simulation. - A. Amoroso; R. Baldini Ferroli; I. Balossino; Monica Bertani; D. Bettoni; F. Bianchi; Alberto Bortone; A. Calcaterra; S. Cerioni; W. Cheng; G. Cibinetto; Adriano Cotta Ramusino; et al. (Comput. Phys. Commun., 2024)