Nicola Angius
Nicola Angius
Research Fellow, University of Sassari, Italy
Verified email at uniss.it
Title
Cited by
Cited by
Year
The Philosophy of Computer Science
NA Raymond Turner
Stanford Encyclopedia of Philosophy, 2017
118*2017
Model-based abductive reasoning in automated software testing
N Angius
Logic Journal of IGPL 21 (6), 931-942, 2013
172013
The problem of justification of empirical hypotheses in software testing
N Angius
Philosophy & Technology 27 (3), 423-439, 2014
142014
Abstraction and Idealization in the formal verification of software systems
N Angius
Minds and Machines 23 (2), 211-226, 2013
112013
Scientific theories of computational systems in model checking
N Angius, G Tamburrini
Minds and Machines 21 (2), 323-336, 2011
112011
The logic of identity and copy for computational artefacts
N Angius, G Primiero
Journal of Logic and Computation 28 (6), 1293-1322, 2018
52018
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization
N Angius, G Tamburrini
Philosophy & Technology 30 (2), 239-258, 2017
42017
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach
N Angius, P Stefaneas
Computing and Philosophy, 99-115, 2016
22016
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification
N Angius
Paradigmi, 2015
22015
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper
N Angius
Philosophy & Technology 27 (3), 479-484, 2014
22014
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation
N Angius
Minds and Machines 29 (3), 397-416, 2019
12019
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification
N Angius
Philosophy & Technology, 1-7, 2019
12019
Building and integrating semantic theories over institutions
N Angius, M Dimarogkona, P Stefaneas
Workshop Thales Algebraic Modeling of Topological and Computational …, 2015
12015
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions
N Angius, G Primiero
Philosophy & Technology, 1-26, 2019
2019
Syntactic and Semantic Presentations of Scientific Theories in Abstract Model Theory
M Dimarogkona, P Stefaneas, N Angius
Handbook of the 6th World Congress and School on Universal Logic, 230, 2018
2018
Syntactic and Semantic Presentations of Scientific Theories in Abstract Model Theory
P Stefaneas, M Dimarogkona, N Angius
Handbook of the 6th World Congress and School on Universal Logic, 227, 2018
2018
Institutional Model Theory and Syntax of Physical Theories
M Addis, N Angius, M Dimarogkona, P Stefaneas
Handbook of the 6th World Congress and School on Universal Logic, 239, 2018
2018
Dai programmi simulativi come teorie alle teorie dei programmi simulativi
N Angius, G Tamburrini
Sistemi intelligenti 28 (1), 153-168, 2016
2016
A Plea for Explanatory Pluralism in Computer Science
G Tamburrini, N Angius
UNIVERSAL LOGIC, 214, 2015
2015
Software Verification and Scientific Methodology: Models, Regularities, Idealizations.
N Angius
L&PS – Logic & Philosophy of Science 9 (1), 569-577, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20