The Philosophy of Computer Science NA Raymond Turner Stanford Encyclopedia of Philosophy, 2017 | 29* | 2017 |
Model-based abductive reasoning in automated software testing N Angius Logic Journal of IGPL 21 (6), 931-942, 2013 | 20 | 2013 |
The problem of justification of empirical hypotheses in software testing N Angius Philosophy & Technology 27, 423-439, 2014 | 18 | 2014 |
Abstraction and idealization in the formal verification of software systems N Angius Minds and Machines 23, 211-226, 2013 | 14 | 2013 |
Scientific theories of computational systems in model checking N Angius, G Tamburrini Minds and Machines 21, 323-336, 2011 | 13 | 2011 |
The logic of identity and copy for computational artefacts N Angius, G Primiero Journal of Logic and Computation 28 (6), 1293-1322, 2018 | 11 | 2018 |
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization N Angius, G Tamburrini Philosophy & Technology 30, 239-258, 2017 | 9 | 2017 |
On the mutual dependence between formal methods and empirical testing in program verification N Angius Philosophy & Technology 33 (2), 349-355, 2020 | 3 | 2020 |
Infringing software property rights: ontological, methodological, and ethical questions N Angius, G Primiero Philosophy & Technology 33 (2), 283-308, 2020 | 3 | 2020 |
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation N Angius Minds and Machines 29 (3), 397-416, 2019 | 3 | 2019 |
Computational idealizations in software intensive science: A comment on Symons’ and Horner’s paper N Angius Philosophy & Technology 27, 479-484, 2014 | 3 | 2014 |
From coding to curing. functions, implementations, and correctness in deep learning N Angius, A Plebe Philosophy & Technology 36 (3), 47, 2023 | 2 | 2023 |
Copying safety and liveness properties of computational artefacts N Angius, G Primiero Journal of Logic and Computation 33 (5), 1089-1117, 2023 | 2 | 2023 |
On the experimental foundation of computing N Angius Axiomathes 32 (Suppl 3), 1221-1236, 2022 | 2 | 2022 |
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification N Angius Paradigmi, 2016 | 2 | 2016 |
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 | 2 | 2016 |
Building and integrating semantic theories over institutions N Angius, M Dimarogkona, P Stefaneas Algebraic Modeling of Topological and Computational Structures and …, 2017 | 1 | 2017 |
The philosophy of computer science N Angius, G Primiero, R Turner | 1 | 2013 |
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 33 (1), 123-126, 2024 | | 2024 |
Co-Simulations of Brain Language Processing using Neural Language Models N Angius, P Perconti, A Plebe, A Acciai Proceedings of the Annual Meeting of the Cognitive Science Society 46, 2024 | | 2024 |