IRIS
ANGIUS, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 690
AS - Asia 453
SA - Sud America 331
EU - Europa 250
AF - Africa 19
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 4
Totale 1.759
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 669
BR - Brasile 285
SG - Singapore 153
CN - Cina 148
UA - Ucraina 97
VN - Vietnam 60
IT - Italia 50
DE - Germania 36
HK - Hong Kong 35
FI - Finlandia 18
AR - Argentina 16
FR - Francia 16
EC - Ecuador 10
CO - Colombia 9
IN - India 9
TR - Turchia 9
BD - Bangladesh 8
CA - Canada 8
ID - Indonesia 6
IQ - Iraq 6
ZA - Sudafrica 6
GB - Regno Unito 5
MA - Marocco 5
MX - Messico 5
RU - Federazione Russa 5
AU - Australia 4
PY - Paraguay 4
ES - Italia 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.747
Salva come PNG Salva come JPEG
Città #
Dallas 157
Jacksonville 60
San Jose 58
Singapore 56
Chandler 54
Hong Kong 35
Ashburn 32
Council Bluffs 32
Princeton 30
Beijing 28
Santa Clara 25
Ho Chi Minh City 24
Columbus 17
Nanjing 17
São Paulo 16
Milan 14
Lauterbourg 12
Dearborn 11
Houston 11
Shenyang 11
Rio de Janeiro 10
Shanghai 9
Wilmington 9
Jinan 7
New York 7
Zhengzhou 7
Brasília 6
Hanoi 6
Hebei 6
Nanchang 6
Changsha 5
Jiaxing 5
Miano 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
San Francisco 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
Peoria 3
Philadelphia 3
Rabat 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
Atlanta 2
Baghdad 2
Bagé 2
Berlin 2
Brooklyn 2
Campina Grande 2
Castanhal 2
Caxias do Sul 2
Chicago 2
Cuiabá 2
Curitiba 2
Edmonton 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
Lucca 2
Maceió 2
Totale 973
Salva come PNG Salva come JPEG
Nome #
The Logical Structure of Modular Semantic Theories of Software Systems 146
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 141
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 134
Scientific Theories of Computational Systems in Model Checking 125
Building and integrating semantic theories over institutions 125
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 122
The Philosophy of Computer Science 121
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 119
The logic of identity and copy for computational artefacts 116
Epistemologia dell'Artificiale e Informatica Teorica 109
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 108
Model-based Abductive Reasoning in Automated Software Testing 103
The Problem of Justification of Empirical Hypotheses in Software Testing 102
Abstraction and Idealization in the Formal Verification of Software Systems 97
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 91
Totale 1.759
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.356
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 7.356
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/2027166 6 36 49 75 0 0 0 0 0 0 0 0
Totale 1.759