IRIS
ANGIUS, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 547
AS - Asia 450
SA - Sud America 331
EU - Europa 224
AF - Africa 19
OC - Oceania 4
Totale 1.575
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 534
BR - Brasile 285
SG - Singapore 152
CN - Cina 148
UA - Ucraina 97
VN - Vietnam 60
DE - Germania 34
HK - Hong Kong 34
IT - Italia 30
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
NL - Olanda 3
PK - Pakistan 3
PL - Polonia 3
BY - Bielorussia 2
CI - Costa d'Avorio 2
DZ - Algeria 2
ES - Italia 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
CL - Cile 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
GR - Grecia 1
GY - Guiana 1
HR - Croazia 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.575
Salva come PNG Salva come JPEG
Città #
Dallas 156
Jacksonville 59
Singapore 56
Chandler 54
San Jose 54
Hong Kong 34
Princeton 30
Beijing 28
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
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
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
Totale 872
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 132
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 125
Scientific Theories of Computational Systems in Model Checking 116
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 111
Building and integrating semantic theories over institutions 111
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 108
The Philosophy of Computer Science 103
The logic of identity and copy for computational artefacts 101
Epistemologia dell'Artificiale e Informatica Teorica 99
Model-based Abductive Reasoning in Automated Software Testing 97
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 94
The Problem of Justification of Empirical Hypotheses in Software Testing 92
Abstraction and Idealization in the Formal Verification of Software Systems 82
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 82
Totale 1.587
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.573
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.573
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2026612 3 166 81 124 45 27 71 13 26 31 24 1
Totale 1.587