PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis - Roberto Bagnara; Andrea Pescetti; Alessandro Zaccagnini; Enea Zaffanella (CoRR, 2005)

Byzantine agreement for reputation management in DHT-based peer-to-peer networks. - Natalya Fedotova; Giordano Orzetti; Luca Veltri; Alessandro Zaccagnini (ICT, 2008)

On the constant in the Mertens product for arithmetic progressions. II: Numerical values. - Alessandro Languasco; Alessandro Zaccagnini (Math. Comput., 2009)

Computing the Mertens and Meissel-Mertens Constants for Sums over Arithmetic Progressions. - Alessandro Languasco; Alessandro Zaccagnini (Exp. Math., 2010)