Nicola Angius

According to our database, Nicola Angius authored at least 6 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Copying safety and liveness properties of computational artefacts.

Nicola Angius, Giuseppe Primiero

J. Log. Comput., July, 2023

2019

Qualitative Models in Computational Simulative Sciences: Representation, Confirmation, Experimentation.

Nicola Angius

Minds Mach., 2019

2018

The logic of identity and copy for computational artefacts.

Nicola Angius, Giuseppe Primiero

J. Log. Comput., 2018

2013

Abstraction and Idealization in the Formal Verification of Software Systems.

Nicola Angius

Minds Mach., 2013

Model-based abductive reasoning in automated software testing.

Nicola Angius

Log. J. IGPL, 2013

2011

Scientific Theories of Computational Systems in Model Checking.

Nicola Angius, Guglielmo Tamburrini

Minds Mach., 2011