IRIS
ANGIUS, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 474
AS - Asia 381
SA - Sud America 327
EU - Europa 197
AF - Africa 19
OC - Oceania 3
Totale 1.401
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 462
BR - Brasile 283
CN - Cina 133
SG - Singapore 126
UA - Ucraina 97
VN - Vietnam 51
DE - Germania 34
HK - Hong Kong 28
IT - Italia 22
FI - Finlandia 18
AR - Argentina 16
EC - Ecuador 10
BD - Bangladesh 8
TR - Turchia 8
CO - Colombia 7
IN - India 6
ZA - Sudafrica 6
ID - Indonesia 5
MA - Marocco 5
MX - Messico 5
RU - Federazione Russa 5
PY - Paraguay 4
AU - Australia 3
CA - Canada 3
FR - Francia 3
IQ - Iraq 3
PK - Pakistan 3
PL - Polonia 3
BY - Bielorussia 2
CI - Costa d'Avorio 2
DZ - Algeria 2
GB - Regno Unito 2
PE - Perù 2
SE - Svezia 2
TW - Taiwan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AZ - Azerbaigian 1
BH - Bahrain 1
CL - Cile 1
CR - Costa Rica 1
ES - Italia 1
GR - Grecia 1
GY - Guiana 1
HR - Croazia 1
IL - Israele 1
JM - Giamaica 1
KE - Kenya 1
LT - Lituania 1
MD - Moldavia 1
MT - Malta 1
MU - Mauritius 1
MY - Malesia 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SN - Senegal 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 1.401
Salva come PNG Salva come JPEG
Città #
Dallas 155
Jacksonville 59
Chandler 54
Singapore 48
Princeton 30
Hong Kong 28
Beijing 27
Ho Chi Minh City 21
Nanjing 17
São Paulo 15
Dearborn 11
Houston 11
Shenyang 11
Rio de Janeiro 10
Shanghai 9
Wilmington 9
Jinan 7
Santa Clara 7
Zhengzhou 7
Ashburn 6
Brasília 6
Hebei 6
Nanchang 6
New York 6
Changsha 5
Jiaxing 5
Porto Alegre 5
Salvador 5
Campinas 4
Guayaquil 4
Hanoi 4
Helsinki 4
Los Angeles 4
Manaus 4
Medellín 4
Milan 4
Perugia 4
Quito 4
Ribeirão Preto 4
Taizhou 4
The Dalles 4
Tianjin 4
Ann Arbor 3
Balneário Camboriú 3
Belo Horizonte 3
Biên Hòa 3
Campo Grande 3
Da Nang 3
Juiz de Fora 3
New Delhi 3
Rabat 3
San Francisco 3
Santa Vitória do Palmar 3
São José do Rio Preto 3
Thái Bình 3
Warsaw 3
Abidjan 2
Alvorada 2
Araranguá 2
Araçatuba 2
Atibaia 2
Bagé 2
Bogotá 2
Campina Grande 2
Castanhal 2
Caxias do Sul 2
Chennai 2
Columbus 2
Cuiabá 2
Curitiba 2
Fortaleza 2
Fuzhou 2
Garanhuns 2
Gravataí 2
Ha Long 2
Hangzhou 2
Hortolândia 2
Istanbul 2
Itabaiana 2
Itatiba 2
Izmir 2
Jakarta 2
Johannesburg 2
Lages 2
Lagoa Santa 2
Lima 2
Maceió 2
Manhuaçu 2
Munich 2
Nova Iguaçu 2
Philadelphia 2
Sassari 2
Sorocaba 2
São José dos Campos 2
Taipei 2
Viamão 2
Várzea Paulista 2
Acrelândia 1
Agadir 1
Agrestina 1
Totale 769
Salva come PNG Salva come JPEG
Nome #
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 124
The Logical Structure of Modular Semantic Theories of Software Systems 120
Scientific Theories of Computational Systems in Model Checking 107
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 105
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 103
Building and integrating semantic theories over institutions 99
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 94
Epistemologia dell'Artificiale e Informatica Teorica 93
Model-based Abductive Reasoning in Automated Software Testing 90
The Problem of Justification of Empirical Hypotheses in Software Testing 85
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 84
The Philosophy of Computer Science 84
The logic of identity and copy for computational artefacts 81
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 73
Abstraction and Idealization in the Formal Verification of Software Systems 71
Totale 1.413
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.872
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 5.872
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202141 0 0 0 0 0 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/2025455 3 4 25 10 26 28 38 74 141 66 29 11
2025/2026438 3 166 81 124 45 19 0 0 0 0 0 0
Totale 1.413