ANGIUS, Nicola
 Distribuzione geografica
Continente #
NA - Nord America 268
EU - Europa 155
AS - Asia 138
SA - Sud America 5
OC - Oceania 3
Totale 569
Nazione #
US - Stati Uniti d'America 266
UA - Ucraina 92
CN - Cina 85
SG - Singapore 45
DE - Germania 32
FI - Finlandia 15
IT - Italia 8
BR - Brasile 5
AU - Australia 3
FR - Francia 3
IN - India 3
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 569
Città #
Jacksonville 59
Chandler 54
Princeton 30
Singapore 26
Nanjing 17
Dearborn 11
Shenyang 11
Houston 10
Wilmington 9
Jinan 7
Hebei 6
Nanchang 6
Zhengzhou 6
Changsha 5
Jiaxing 5
Santa Clara 5
Perugia 4
Taizhou 4
Tianjin 4
Ann Arbor 3
Beijing 3
New Delhi 3
Fuzhou 2
Hangzhou 2
Munich 2
Philadelphia 2
San Francisco 2
Sassari 2
Taipei 2
Arraiján 1
Boardman 1
Canberra 1
Caxias do Sul 1
Florianópolis 1
Guiyang 1
Hefei 1
Helsinki 1
Hushi 1
Itatiba 1
Izmir 1
Lagoa da Canoa 1
Lappeenranta 1
Los Angeles 1
Milan 1
Ningbo 1
Norwalk 1
Shenzhen 1
Stanford 1
Sydney 1
São José dos Campos 1
Toronto 1
Wuhan 1
Totale 325
Nome #
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 61
The Logical Structure of Modular Semantic Theories of Software Systems 49
The logic of identity and copy for computational artefacts 43
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 42
Building and integrating semantic theories over institutions 41
Epistemologia dell'Artificiale e Informatica Teorica 41
The Philosophy of Computer Science 39
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 38
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 36
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 35
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 34
Model-based Abductive Reasoning in Automated Software Testing 32
Scientific Theories of Computational Systems in Model Checking 31
Abstraction and Idealization in the Formal Verification of Software Systems 30
The Problem of Justification of Empirical Hypotheses in Software Testing 29
Totale 581
Categoria #
all - tutte 3.360
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 3.360


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202086 0 0 0 0 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/202561 3 4 25 10 19 0 0 0 0 0 0 0
Totale 581