Nicola Angius
机构: Assistant Professor, University of Messina, Italy
每年引用次数
引用次数
引用: 141
H-指数: 7
I10-指数 : 6
出版物: 33
Model-based abductive reasoning in automated software testing
N. Angius
Logic Journal of the IGPL 21 ( 6) 931 -942
11
2013
Central Themes and Open Questions in the Philosophy of Computer Science.
N. Angius , J. Symons
Global Philosophy 33 ( 51)
2023
The logic of identity and copy for computational artefacts
Nicola Angius , Giuseppe Primiero
Journal of Logic and Computation 28 ( 6) 1293 -1322
1
2018
Qualitative Models in Computational Simulative Sciences: Representation, Confirmation, Experimentation
Nicola Angius
Minds and Machines 29 ( 3) 397 -416
1
2019
Scientific Theories of Computational Systems in Model Checking
Nicola Angius , Guglielmo Tamburrini
Minds and Machines 21 ( 2) 323 -336
7
2011
Abstraction and Idealization in the Formal Verification of Software Systems
Nicola Angius
Minds and Machines 23 ( 2) 211 -226
6
2013
The Problem of Justification of Empirical Hypotheses in Software Testing
Nicola Angius
Philosophy & Technology 27 ( 3) 423 -439
8
2014
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper
Nicola Angius
Philosophy & Technology 27 ( 3) 479 -484
1
2014
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization
Nicola Angius , Guglielmo Tamburrini
Philosophy & Technology 30 ( 2) 239 -258
1
2017
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions
Nicola Angius , Giuseppe Primiero
Philosophy & Technology 33 ( 2) 283 -308
2020
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification
Nicola Angius
Philosophy & Technology 33 ( 2) 349 -355
2020
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification
Nicola Angius
PARADIGMI ( 3) 67 -82
1
2016
Formal Representations in Model-Based Reasoning and Abduction Guest Editor: Lorenzo Magnani
Lorenzo Magnani , Atocha Aliseda , Laura Leonides , Nicola Angius
Co-Simulations of Brain Language Processing using Neural Language Models
Nicola Angius , Pietro Perconti , Alessio Plebe , Alessandro Acciai
Proceedings of the Annual Meeting of the Cognitive Science Society 46
2024
The Philosophy of Computer Science
Nicola Angius , Giuseppe Primiero , Raymond Turner
Edward N. Zalta
29
2021
Copying safety and liveness properties of computational artefacts
Nicola Angius , Giuseppe Primiero
Journal of Logic and Computation 33 ( 5) 1089 -1117
2
2023
The philosophy of computer science
Nicola Angius , Giuseppe Primiero , Raymond Turner
1
2013
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning
Nicola Angius , Alessio Plebe
Philosophy & Technology 36 ( 3) 47 -47
2
2023
Dai programmi simulativi come teorie alle teorie dei programmi simulativi
Nicola Angius , Guglielmo Tamburrini
Sistemi intelligenti 28 ( 1) 153 -168
2016