IRIS
ANGIUS, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 590
AS - Asia 451
SA - Sud America 331
EU - Europa 227
AF - Africa 19
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 4
Totale 1.634
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 574
BR - Brasile 285
SG - Singapore 152
CN - Cina 148
UA - Ucraina 97
VN - Vietnam 60
HK - Hong Kong 35
DE - Germania 34
IT - Italia 31
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
ES - Italia 3
GB - Regno Unito 3
NL - Olanda 3
PK - Pakistan 3
PL - Polonia 3
BY - Bielorussia 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
DZ - Algeria 2
IL - Israele 2
JM - Giamaica 2
MY - Malesia 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
BM - Bermuda 1
CL - Cile 1
CZ - Repubblica Ceca 1
GR - Grecia 1
GT - Guatemala 1
GY - Guiana 1
HR - Croazia 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
KR - Corea 1
LT - Lituania 1
LV - Lettonia 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.622
Salva come PNG Salva come JPEG
Città #
Dallas 156
Jacksonville 59
Singapore 56
Chandler 54
San Jose 54
Hong Kong 35
Princeton 30
Beijing 28
Ho Chi Minh City 24
Columbus 17
Nanjing 17
Council Bluffs 16
São Paulo 16
Ashburn 12
Lauterbourg 12
Dearborn 11
Houston 11
Shenyang 11
Rio de Janeiro 10
Milan 9
Santa Clara 9
Shanghai 9
Wilmington 9
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
Brooklyn 2
Campina Grande 2
Castanhal 2
Caxias do Sul 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
San José 2
Sassari 2
Sorocaba 2
São José dos Campos 2
Totale 903
Salva come PNG Salva come JPEG
Nome #
The Logical Structure of Modular Semantic Theories of Software Systems 138
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 136
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 127
Scientific Theories of Computational Systems in Model Checking 119
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 114
Building and integrating semantic theories over institutions 114
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 110
The logic of identity and copy for computational artefacts 109
The Philosophy of Computer Science 107
Epistemologia dell'Artificiale e Informatica Teorica 101
Model-based Abductive Reasoning in Automated Software Testing 99
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 97
The Problem of Justification of Empirical Hypotheses in Software Testing 95
Abstraction and Idealization in the Formal Verification of Software Systems 84
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 84
Totale 1.634
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.954
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.954
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202252 0 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/2026618 3 166 81 124 45 27 71 13 26 31 24 7
2026/202741 6 35 0 0 0 0 0 0 0 0 0 0
Totale 1.634