Scientific Theories of Computational Systems in Model Checking. - Nicola Angius; Guglielmo Tamburrini (Minds Mach., 2011)

Model-based abductive reasoning in automated software testing. - Nicola Angius (Log. J. IGPL, 2013)

Abstraction and Idealization in the Formal Verification of Software Systems. - Nicola Angius (Minds Mach., 2013)

The logic of identity and copy for computational artefacts. - Nicola Angius; Giuseppe Primiero (J. Log. Comput., 2018)

Qualitative Models in Computational Simulative Sciences: Representation, Confirmation, Experimentation. - Nicola Angius (Minds Mach., 2019)

Copying safety and liveness properties of computational artefacts. - Nicola Angius; Giuseppe Primiero (J. Log. Comput., 2023)

Making sense of transformer success. - Nicola Angius; Pietro Perconti; Alessio Plebe; Alessandro Acciai (Frontiers Artif. Intell., 2025)