Follow
Nicola Angius
Title
Cited by
Cited by
Year
The Philosophy of Computer Science
NA Raymond Turner
Stanford Encyclopedia of Philosophy, 2017
136*2017
Model-based abductive reasoning in automated software testing
N Angius
Logic Journal of IGPL 21 (6), 931-942, 2013
192013
The problem of justification of empirical hypotheses in software testing
N Angius
Philosophy & Technology 27 (3), 423-439, 2014
162014
Abstraction and idealization in the formal verification of software systems
N Angius
Minds and Machines 23 (2), 211-226, 2013
122013
Scientific theories of computational systems in model checking
N Angius, G Tamburrini
Minds and Machines 21 (2), 323-336, 2011
122011
The logic of identity and copy for computational artefacts
N Angius, G Primiero
Journal of Logic and Computation 28 (6), 1293-1322, 2018
62018
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization
N Angius, G Tamburrini
Philosophy & Technology 30 (2), 239-258, 2017
52017
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
Computer simulations without simulative programs in executable cell biology …, 2015
22015
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification
N Angius
Philosophy & Technology 33 (2), 349-355, 2020
12020
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions
N Angius, G Primiero
Philosophy & Technology 33 (2), 283-308, 2020
12020
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation
N Angius
Minds and Machines 29 (3), 397-416, 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
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper
N Angius
Philosophy & Technology 27 (3), 479-484, 2014
12014
Copying safety and liveness properties of computational artefacts
N Angius, G Primiero
Journal of Logic and Computation, 2022
2022
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
The system can't perform the operation now. Try again later.
Articles 1–20