Mortality Problem for 2×2 Integer Matrices. - C. Nuccio; Emanuele Rodaro (SOFSEM, 2008)

Alphabetical Satisfiability Problem for Trace Equations. - Luca Breveglieri; Alessandra Cherubini; C. Nuccio; Emanuele Rodaro (Acta Cybern., 2009)

Multilinear Equations in Amalgams of Finite Inverse Semigroups. - Alessandra Cherubini; C. Nuccio; Emanuele Rodaro (Int. J. Algebra Comput., 2011)