Alcasim simulation code for Alcator C-Mod. - Marco Ferrara; Ian H. Hutchinson; Stephen M. Wolfe; Joshua Stillerman; Thomas W. Fredian (CDC, 2006)

Identification of Highly Selective Orexin 1 Receptor Antagonists Driven by Structure-Based Design. - Uta F. Lessel; Marco Ferrara; Niklas Heine; Chiara Marelli; Laura Carrettoni; Roland Pfau; Esther Schmidt; Doris Riether (J. Chem. Inf. Model., 2021)

Certified algorithms for numerical semigroups in Rocq. - Massimo Bartoletti; Stefano Bonzio; Marco Ferrara (CoRR, 2025)