ANGIUS, Nicola
 Distribuzione geografica
Continente #
EU - Europa 146
NA - Nord America 18
AS - Asia 3
Totale 167
Nazione #
IE - Irlanda 105
SE - Svezia 29
US - Stati Uniti d'America 18
IT - Italia 11
IN - India 3
DE - Germania 1
Totale 167
Città #
Dublin 105
Nyköping 29
Catania 9
Cottage Grove 4
Medford 4
Princeton 4
Pune 3
Portland 2
Heidelberg 1
Quartu Sant'Elena 1
Sassari 1
Totale 163
Nome #
The Philosophy of Computer Science 22
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions 17
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification 15
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation 14
Computer simulations without simulative programs in executable cell biology: hypothesis discovery and justification 10
On the Experimental Foundation of Computing 9
Epistemologia dell’artificiale e informatica teorica 9
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 9
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 9
Building and Integrating Semantic Theories over Institutions. 9
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 9
Copying Safety and Liveness Properties of Computational Artefacts. 8
The logic of identity and copy for computational artefacts 8
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper 8
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization 8
The Philosophy of Computer Science 7
Scientific theories of computational systems in model checking 6
Model-based abductive reasoning in automated software testing 6
The problem of justification of empirical hypotheses in software testing 5
What is (the philosophy of) computer science? 4
Abstraction and idealization in the formal verification of software systems 4
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning. 3
Central Themes and Open Questions in the Philosophy of Computer Science 2
Can Computer Programs be Formally Verified? 1
Totale 202
Categoria #
all - tutte 1.017
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 1.017


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202213 0 0 0 0 0 0 0 0 4 0 0 9
2022/2023140 4 1 1 0 0 15 0 2 117 0 0 0
2023/202449 0 0 1 2 5 22 14 5 0 0 0 0
Totale 202