IRIS
ANGIUS, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 523
AS - Asia 444
SA - Sud America 331
EU - Europa 220
AF - Africa 19
OC - Oceania 4
Totale 1.541
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 511
BR - Brasile 285
SG - Singapore 149
CN - Cina 145
UA - Ucraina 97
VN - Vietnam 60
DE - Germania 34
HK - Hong Kong 34
IT - Italia 27
FI - Finlandia 18
AR - Argentina 16
FR - Francia 16
EC - Ecuador 10
CO - Colombia 9
IN - India 9
TR - Turchia 9
BD - Bangladesh 8
IQ - Iraq 6
ZA - Sudafrica 6
ID - Indonesia 5
MA - Marocco 5
MX - Messico 5
RU - Federazione Russa 5
AU - Australia 4
PY - Paraguay 4
CA - Canada 3
GB - Regno Unito 3
PK - Pakistan 3
PL - Polonia 3
BY - Bielorussia 2
CI - Costa d'Avorio 2
DZ - Algeria 2
ES - Italia 2
IL - Israele 2
MY - Malesia 2
NL - Olanda 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
CZ - Repubblica Ceca 1
GR - Grecia 1
GY - Guiana 1
HR - Croazia 1
JM - Giamaica 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
KR - Corea 1
LT - Lituania 1
MD - Moldavia 1
MT - Malta 1
MU - Mauritius 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SN - Senegal 1
TH - Thailandia 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 1.541
Salva come PNG Salva come JPEG
Città #
Dallas 156
Jacksonville 59
Singapore 56
Chandler 54
San Jose 41
Hong Kong 34
Princeton 30
Beijing 27
Ho Chi Minh City 24
Nanjing 17
São Paulo 16
Lauterbourg 12
Ashburn 11
Dearborn 11
Houston 11
Shenyang 11
Rio de Janeiro 10
Milan 9
Shanghai 9
Wilmington 9
Santa Clara 8
Jinan 7
Zhengzhou 7
Brasília 6
Hanoi 6
Hebei 6
Nanchang 6
New York 6
Changsha 5
Jiaxing 5
Porto Alegre 5
Salvador 5
Bogotá 4
Campinas 4
Guayaquil 4
Helsinki 4
Los Angeles 4
Manaus 4
Medellín 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
Chennai 3
Da Nang 3
Istanbul 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
Baghdad 2
Bagé 2
Campina Grande 2
Castanhal 2
Caxias do Sul 2
Columbus 2
Cuiabá 2
Curitiba 2
Fortaleza 2
Fuzhou 2
Garanhuns 2
Gravataí 2
Ha Long 2
Hangzhou 2
Hortolândia 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
Totale 857
Salva come PNG Salva come JPEG
Nome #
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 134
The Logical Structure of Modular Semantic Theories of Software Systems 130
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 120
Scientific Theories of Computational Systems in Model Checking 114
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 109
Building and integrating semantic theories over institutions 107
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 105
The Philosophy of Computer Science 99
Epistemologia dell'Artificiale e Informatica Teorica 99
The logic of identity and copy for computational artefacts 97
Model-based Abductive Reasoning in Automated Software Testing 96
The Problem of Justification of Empirical Hypotheses in Software Testing 92
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 92
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 80
Abstraction and Idealization in the Formal Verification of Software Systems 79
Totale 1.553
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.181
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 6.181
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202115 0 0 0 0 0 0 0 0 0 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/2026578 3 166 81 124 45 27 71 13 26 22 0 0
Totale 1.553