ANGIUS, NICOLA
 Distribuzione geografica
Continente #
EU - Europa 493
NA - Nord America 381
AS - Asia 40
Totale 914
Nazione #
US - Stati Uniti d'America 380
IT - Italia 255
DE - Germania 124
UA - Ucraina 49
CN - Cina 29
RU - Federazione Russa 18
FI - Finlandia 13
CH - Svizzera 12
SE - Svezia 12
SG - Singapore 8
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 914
Città #
Cagliari 223
Fairfield 60
Houston 55
Ann Arbor 37
Woodbridge 36
Cambridge 29
Jacksonville 28
Chandler 26
Boardman 21
Seattle 19
Uta 18
Wilmington 18
Ashburn 17
Nanjing 10
Nyköping 8
Lugano 7
Helsinki 6
Guangzhou 5
Singapore 5
Tesserete 5
Boston 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 669
Nome #
Scientific theories of computational systems in model checking 174
Model-based Abductive Reasoning in Automated Software Testing 159
Abstraction and Idealization in the Formal Verification of Software Systems 151
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 128
The Problem of Justification of Empirical Hypotheses in Software Testing 128
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 99
Epistemologia dell'Artificiale e Informatica Teorica 80
Totale 919
Categoria #
all - tutte 2.599
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.599


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202092 0 0 0 0 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/2024173 6 5 10 17 19 25 12 14 5 16 20 24
2024/202573 18 1 30 14 10 0 0 0 0 0 0 0
Totale 919