ANGIUS, NICOLA
 Distribuzione geografica
Continente #
EU - Europa 537
NA - Nord America 424
AS - Asia 135
SA - Sud America 23
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.120
Nazione #
US - Stati Uniti d'America 422
IT - Italia 297
DE - Germania 124
CN - Cina 61
SG - Singapore 53
UA - Ucraina 49
BR - Brasile 21
RU - Federazione Russa 18
FI - Finlandia 13
SE - Svezia 13
CH - Svizzera 12
GB - Regno Unito 6
VN - Vietnam 6
KR - Corea 5
BD - Bangladesh 3
GR - Grecia 2
ID - Indonesia 2
AM - Armenia 1
AR - Argentina 1
BY - Bielorussia 1
CA - Canada 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
FR - Francia 1
GE - Georgia 1
OM - Oman 1
PH - Filippine 1
RO - Romania 1
TR - Turchia 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 1.120
Città #
Cagliari 265
Fairfield 60
Houston 55
Ann Arbor 37
Woodbridge 36
Cambridge 29
Jacksonville 28
Chandler 26
Singapore 23
Ashburn 21
Boardman 21
Seattle 19
Uta 18
Wilmington 18
Dallas 16
Nanjing 10
Hefei 8
Nyköping 8
Lugano 7
Helsinki 6
Guangzhou 5
Redondo Beach 5
Seoul 5
Tesserete 5
Los Angeles 4
Beijing 3
Boston 3
Brooklyn 3
Changsha 3
Curitiba 3
Hebei 3
Ho Chi Minh City 3
Milan 3
Verona 3
Athens 2
London 2
Nanchang 2
San Diego 2
Shenyang 2
São Paulo 2
The Dalles 2
Ankara 1
Anápolis 1
Atlanta 1
Bagé 1
Baoding 1
Blagoveshchensk 1
Buffalo 1
Chicago 1
Chongqing 1
Cuiabá 1
Da Nang 1
Dhaka 1
Fortaleza 1
Frankfurt am Main 1
Itanhaém 1
Jakarta 1
Lanzhou 1
Manila 1
Mogi das Cruzes 1
New York 1
Ningbo 1
Norwalk 1
Nova Friburgo 1
Nova Iguaçu 1
Picos 1
Piracicaba 1
Portoviejo 1
Poá 1
Poço Redondo 1
Pristina 1
Quảng Ngãi 1
Saint Petersburg 1
Samara 1
San Francisco 1
Santa Branca 1
Santo Domingo Este 1
Shenzhen 1
Sorocaba 1
Stockholm 1
Taizhou 1
Teófilo Otoni 1
Thái Nguyên 1
Tianjin 1
Toronto 1
Viamão 1
Walnut 1
Warminster 1
Washington 1
Xi'an 1
Yerevan 1
Zhoukou 1
Zibo 1
Totale 828
Nome #
Scientific theories of computational systems in model checking 225
Model-based Abductive Reasoning in Automated Software Testing 190
Abstraction and Idealization in the Formal Verification of Software Systems 181
The Problem of Justification of Empirical Hypotheses in Software Testing 149
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 148
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 130
Epistemologia dell'Artificiale e Informatica Teorica 102
Totale 1.125
Categoria #
all - tutte 3.389
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.389


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202135 0 0 0 0 0 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/2024173 6 5 10 17 19 25 12 14 5 16 20 24
2024/2025170 18 1 30 14 14 26 12 7 15 8 10 15
2025/2026109 11 8 52 23 14 1 0 0 0 0 0 0
Totale 1.125