ANGIUS, Nicola
 Distribuzione geografica
Continente #
EU - Europa 21
Totale 21
Nazione #
IT - Italia 21
Totale 21
Città #
Quartu Sant'Elena 14
Capannori 1
Totale 15
Nome #
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation, file 03417362-1f34-4e71-bab4-7b7b2fec9d3f 1
Abstraction and idealization in the formal verification of software systems, file 2d4fdf05-6bc4-4bb8-87b6-a91da2de5d49 1
On the Experimental Foundation of Computing, file 32fb3342-bb1e-4697-ad34-46fe645ba0f6 1
Epistemologia dell’artificiale e informatica teorica, file 3f7cf40c-fee7-44c4-a995-19f397b18fca 1
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, file 45ce9ac8-1d5d-4fdf-b763-c5e89cdef6c7 1
Central Themes and Open Questions in the Philosophy of Computer Science, file 4eff5e31-b0fe-4dd2-81b7-1e43e1660141 1
Software Verification and Scientific Methodology: Models, Regularities, Idealizations, file 59ce9ab3-88e1-40c7-abce-225865bfa626 1
The problem of justification of empirical hypotheses in software testing, file 7be539b2-05cb-48aa-bbd6-a5708d8bd432 1
What is (the philosophy of) computer science?, file 88ccba73-213e-4b77-9c6a-b4f3a677d4ee 1
The Philosophy of Computer Science, file 936a8197-8662-4a8c-9e17-798fa01acb7c 1
Can Computer Programs be Formally Verified?, file 9e0f0bc6-275b-48be-b740-4e9dee7e93a3 1
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning., file a81defc6-8c80-4fbe-859e-4ec8c8867278 1
The logic of identity and copy for computational artefacts, file aa080aca-5dd2-4853-9650-54b69ea8fa7c 1
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions, file b883e9b6-dd56-4100-9396-0195b9568491 1
Scientific theories of computational systems in model checking, file ba3a0c19-073e-4ac1-82ff-28d9fdf256ca 1
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification, file bf340bf8-6b71-4ea4-be25-aa68330ddb66 1
Copying Safety and Liveness Properties of Computational Artefacts., file cebb52d7-6bd7-4d44-bde4-8871098f4588 1
Model-based abductive reasoning in automated software testing, file dd2936e6-b3d8-49ed-9f54-528be941a34e 1
Dai programmi simulativi come teorie alle teorie dei programmi simulativi, file dd3fb191-3c48-4c9e-a869-79eb1b282355 1
The Philosophy of Computer Science, file f0487e78-e126-4a27-9391-02a814114ad7 1
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization, file f2466b3e-16b8-43db-8087-0f498adfc15c 1
Totale 21
Categoria #
all - tutte 21
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 21


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202421 0 0 0 0 0 14 6 0 0 1 0 0
Totale 21