Moscato, U., & Minella, M. (2016). Visual Basic for Applications con Microsoft Excel. milano : McGraw Hill.Dettaglio
Moscato, U.E. (2014). Informatica Generale. Milano : Mc-Graw Hill.Dettaglio
Moscato, U.E. (2011). Teoria della dimostrazione intuizionista e dimostrazione automatica. In E. Ballo, & C. Cellucci (a cura di), La Ricerca logica in Italia Studi in onore di Corrado Mangione (pp. 403-413). Milano : Cisalpino.Dettaglio
Grillo, A., & Moscato, U.E. (2010). Riflessioni sulla prova informatica. CASSAZIONE PENALE, 50(1), 370-383.Dettaglio
Avellone, A., Fiorino, G., & Moscato, U. (2008). Optimization techniques for intuitionistic propositional logic and their implementation. THEORETICAL COMPUTER SCIENCE, 409, 41-58.Dettaglio