Nicola Angius
Nicola Angius
Research Fellow, University of Sassari, Italy
Verifierad e-postadress på uniss.it
Titel
Citeras av
Citeras av
År
The Philosophy of Computer Science
NA Raymond Turner
Stanford Encyclopedia of Philosophy, 2017
102*2017
Model-based abductive reasoning in automated software testing
N Angius
Logic Journal of IGPL 21 (6), 931-942, 2013
152013
The problem of justification of empirical hypotheses in software testing
N Angius
Philosophy & Technology 27 (3), 423-439, 2014
122014
Scientific theories of computational systems in model checking
N Angius, G Tamburrini
Minds and Machines 21 (2), 323-336, 2011
112011
Abstraction and idealization in the formal verification of software systems
N Angius
Minds and Machines 23 (2), 211-226, 2013
102013
The logic of identity and copy for computational artefacts
N Angius, G Primiero
Journal of Logic and Computation 28 (6), 1293-1322, 2018
32018
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization
N Angius, G Tamburrini
Philosophy & Technology 30 (2), 239-258, 2017
32017
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach
N Angius, P Stefaneas
Computing and Philosophy, 99-115, 2016
22016
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper
N Angius
Philosophy & Technology 27 (3), 479-484, 2014
22014
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
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification
N Angius
Paradigmi, 2015
12015
Qualitative Models in Computational Simulative Sciences: Representation, Confirmation, Experimentation
N Angius
Minds and Machines 29 (3), 397-416, 2019
2019
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
Handbook of the 5th World Congress and School on Universal Logic, 144, 2015
2015
Functions, Abstractions, and Idealizations in the Explanation of Computing Systems’ Behaviours
N Angius
Third International Conference on the History and Philosophy of Computing, 3, 2015
2015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20