| The Philosophy of Computer Science NA Raymond Turner Stanford Encyclopedia of Philosophy, 2017 | 32* | 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 | 15 | 2013 |
| Scientific theories of computational systems in model checking N Angius, G Tamburrini Minds and Machines 21, 323-336, 2011 | 14 | 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 | 10 | 2017 |
| From coding to curing. functions, implementations, and correctness in deep learning N Angius, A Plebe Philosophy & Technology 36 (3), 47, 2023 | 3 | 2023 |
| 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 |
| 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 | 2 | 2024 |
| 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 |
| The philosophy of computer science N Angius, G Primiero, R Turner | 2 | 2013 |
| Building and integrating semantic theories over institutions N Angius, M Dimarogkona, P Stefaneas Algebraic Modeling of Topological and Computational Structures and …, 2017 | 1 | 2017 |
| From Simulative Programs as Theories to Theories of Simulative Programs N ANGIUS | 1 | |
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
