IRIS
ANGIUS, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 466
AS - Asia 377
SA - Sud America 327
EU - Europa 193
AF - Africa 19
OC - Oceania 3
Totale 1.385
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 454
BR - Brasile 283
CN - Cina 132
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
ZA - Sudafrica 6
IN - India 5
MA - Marocco 5
MX - Messico 5
RU - Federazione Russa 5
ID - Indonesia 4
PY - Paraguay 4
AU - Australia 3
CA - Canada 3
FR - Francia 3
IQ - Iraq 3
PK - Pakistan 3
BY - Bielorussia 2
CI - Costa d'Avorio 2
DZ - Algeria 2
GB - Regno Unito 2
PE - Perù 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
MD - Moldavia 1
MT - Malta 1
MU - Mauritius 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
PL - Polonia 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SE - Svezia 1
SN - Senegal 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 1.385
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
Shenyang 11
Houston 10
Rio de Janeiro 10
Shanghai 9
Wilmington 9
Jinan 7
Santa Clara 7
Zhengzhou 7
Brasília 6
Hebei 6
Nanchang 6
New York 6
Changsha 5
Jiaxing 5
Porto Alegre 5
Salvador 5
Ashburn 4
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
Abidjan 2
Alvorada 2
Araranguá 2
Araçatuba 2
Atibaia 2
Bagé 2
Bogotá 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
Istanbul 2
Itabaiana 2
Itatiba 2
Izmir 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
Aguascalientes 1
Aguaí 1
Akbou 1
Totale 762
Salva come PNG Salva come JPEG
Nome #
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 123
The Logical Structure of Modular Semantic Theories of Software Systems 120
Scientific Theories of Computational Systems in Model Checking 104
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 104
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 102
Building and integrating semantic theories over institutions 98
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 93
Epistemologia dell'Artificiale e Informatica Teorica 92
Model-based Abductive Reasoning in Automated Software Testing 89
The Problem of Justification of Empirical Hypotheses in Software Testing 84
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 84
The Philosophy of Computer Science 82
The logic of identity and copy for computational artefacts 80
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 72
Abstraction and Idealization in the Formal Verification of Software Systems 70
Totale 1.397
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.789
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.789
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/2026422 3 166 81 124 45 3 0 0 0 0 0 0
Totale 1.397