ANGIUS, NICOLA
 Distribuzione geografica
Continente #
EU - Europa 408
NA - Nord America 366
AS - Asia 28
Totale 802
Nazione #
US - Stati Uniti d'America 365
IT - Italia 170
DE - Germania 124
UA - Ucraina 49
CN - Cina 25
RU - Federazione Russa 18
FI - Finlandia 13
CH - Svizzera 12
SE - Svezia 12
GB - Regno Unito 5
GR - Grecia 2
BY - Bielorussia 1
CA - Canada 1
FR - Francia 1
GE - Georgia 1
OM - Oman 1
PH - Filippine 1
RO - Romania 1
Totale 802
Città #
Cagliari 156
Fairfield 60
Houston 55
Ann Arbor 37
Woodbridge 36
Cambridge 29
Jacksonville 28
Chandler 26
Seattle 19
Wilmington 18
Ashburn 16
Nanjing 10
Nyköping 8
Boardman 7
Lugano 7
Helsinki 6
Tesserete 5
Boston 3
Guangzhou 3
Hebei 3
Milan 3
Verona 3
Athens 2
Changsha 2
London 2
Nanchang 2
San Diego 2
Shenyang 2
Blagoveshchensk 1
Frankfurt am Main 1
Manila 1
Ningbo 1
Norwalk 1
Saint Petersburg 1
Samara 1
Taizhou 1
Tianjin 1
Toronto 1
Walnut 1
Washington 1
Totale 562
Nome #
Scientific theories of computational systems in model checking 140
Model-based Abductive Reasoning in Automated Software Testing 139
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 123
The Problem of Justification of Empirical Hypotheses in Software Testing 119
Abstraction and Idealization in the Formal Verification of Software Systems 118
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 91
Epistemologia dell'Artificiale e Informatica Teorica 77
Totale 807
Categoria #
all - tutte 2.173
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.173


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201945 0 0 0 0 0 0 0 0 0 0 21 24
2019/2020162 38 11 5 16 16 10 20 19 11 4 8 4
2020/202161 8 4 9 3 2 9 4 2 3 8 5 4
2021/202244 1 8 0 3 1 1 2 6 1 2 11 8
2022/2023101 20 2 3 5 16 13 1 17 4 3 12 5
2023/2024134 6 5 10 17 19 25 12 14 5 16 5 0
Totale 807