ANGIUS, Nicola
 Distribuzione geografica
Continente #
NA - Nord America 252
EU - Europa 151
AS - Asia 104
OC - Oceania 2
Totale 509
Nazione #
US - Stati Uniti d'America 250
UA - Ucraina 92
CN - Cina 81
DE - Germania 30
SG - Singapore 15
FI - Finlandia 14
IT - Italia 7
FR - Francia 3
IN - India 3
AU - Australia 2
GB - Regno Unito 2
TR - Turchia 2
TW - Taiwan 2
CA - Canada 1
ES - Italia 1
GR - Grecia 1
ID - Indonesia 1
PA - Panama 1
SE - Svezia 1
Totale 509
Città #
Jacksonville 59
Chandler 54
Princeton 30
Nanjing 17
Dearborn 11
Shenyang 11
Houston 10
Singapore 9
Wilmington 9
Jinan 7
Hebei 6
Nanchang 6
Zhengzhou 6
Changsha 5
Jiaxing 5
Perugia 4
Taizhou 4
Tianjin 4
Ann Arbor 3
Beijing 3
New Delhi 3
Fuzhou 2
Hangzhou 2
San Francisco 2
Sassari 2
Taipei 2
Arraiján 1
Boardman 1
Canberra 1
Hefei 1
Izmir 1
Lappeenranta 1
Los Angeles 1
Milan 1
Ningbo 1
Norwalk 1
Stanford 1
Sydney 1
Toronto 1
Wuhan 1
Totale 290
Nome #
The Logical Structure of Modular Semantic Theories of Software Systems 41
Building and integrating semantic theories over institutions 40
The logic of identity and copy for computational artefacts 40
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 39
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 38
Epistemologia dell'Artificiale e Informatica Teorica 38
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 36
The Philosophy of Computer Science 35
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 34
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 33
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 32
Model-based Abductive Reasoning in Automated Software Testing 30
Scientific Theories of Computational Systems in Model Checking 29
Abstraction and Idealization in the Formal Verification of Software Systems 29
The Problem of Justification of Empirical Hypotheses in Software Testing 27
Totale 521
Categoria #
all - tutte 2.694
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 2.694


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020131 31 0 13 1 15 10 27 0 15 2 17 0
2020/202187 16 0 15 0 15 0 15 0 11 15 0 0
2021/202260 8 0 0 0 0 0 8 3 5 1 7 28
2022/2023114 15 0 0 10 14 19 0 19 19 1 8 9
2023/202429 9 1 1 0 6 0 0 0 0 0 2 10
2024/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 521