Follow
Nicola Angius
Title
Cited by
Cited by
Year
The Philosophy of Computer Science
NA Raymond Turner
Stanford Encyclopedia of Philosophy, 2017
28*2017
Model-based abductive reasoning in automated software testing
N Angius
Logic Journal of IGPL 21 (6), 931-942, 2013
202013
The problem of justification of empirical hypotheses in software testing
N Angius
Philosophy & Technology 27, 423-439, 2014
182014
Abstraction and idealization in the formal verification of software systems
N Angius
Minds and Machines 23, 211-226, 2013
142013
Scientific theories of computational systems in model checking
N Angius, G Tamburrini
Minds and Machines 21, 323-336, 2011
142011
The logic of identity and copy for computational artefacts
N Angius, G Primiero
Journal of Logic and Computation 28 (6), 1293-1322, 2018
112018
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization
N Angius, G Tamburrini
Philosophy & Technology 30, 239-258, 2017
82017
Infringing software property rights: ontological, methodological, and ethical questions
N Angius, G Primiero
Philosophy & Technology 33 (2), 283-308, 2020
32020
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation
N Angius
Minds and Machines 29 (3), 397-416, 2019
32019
Copying safety and liveness properties of computational artefacts
N Angius, G Primiero
Journal of Logic and Computation 33 (5), 1089-1117, 2023
22023
On the experimental foundation of computing
N Angius
Axiomathes 32 (Suppl 3), 1221-1236, 2022
22022
On the mutual dependence between formal methods and empirical testing in program verification
N Angius
Philosophy & Technology 33 (2), 349-355, 2020
22020
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification
N Angius
Paradigmi, 2016
22016
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach
N Angius, P Stefaneas
Computing and Philosophy: Selected Papers from IACAP 2014, 99-115, 2016
22016
Computational idealizations in software intensive science: A comment on Symons’ and Horner’s paper
N Angius
Philosophy & Technology 27, 479-484, 2014
22014
Building and integrating semantic theories over institutions
N Angius, M Dimarogkona, P Stefaneas
Algebraic Modeling of Topological and Computational Structures and …, 2017
12017
The philosophy of computer science
N Angius, G Primiero, R Turner
12013
Central Themes and Open Questions in the Philosophy of Computer Science
N Angius, J Symons
Global Philosophy 33 (6), 51, 2023
2023
What is (the philosophy of) computer science? William J. Rapaport: Philosophy of computer science: an introduction to the issues and the literature. Hoboken, NJ: John Wiley …
N Angius
Metascience, 1-4, 2023
2023
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning
N Angius, A Plebe
Philosophy & Technology 36 (3), 47, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20