IRIS
ANGIUS, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 715
NA - Nord America 512
AS - Asia 480
SA - Sud America 147
Continente sconosciuto - Info sul continente non disponibili 76
AF - Africa 16
OC - Oceania 1
Totale 1.947
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 486
RU - Federazione Russa 476
SG - Singapore 257
BR - Brasile 119
IE - Irlanda 105
CN - Cina 68
HK - Hong Kong 68
IT - Italia 57
SE - Svezia 31
VN - Vietnam 27
CA - Canada 17
GB - Regno Unito 11
IN - India 10
AR - Argentina 8
TR - Turchia 8
BD - Bangladesh 7
FR - Francia 7
ZA - Sudafrica 6
EC - Ecuador 5
JO - Giordania 5
CO - Colombia 4
ES - Italia 4
FI - Finlandia 4
DE - Germania 3
HN - Honduras 3
JP - Giappone 3
MA - Marocco 3
MX - Messico 3
NL - Olanda 3
PL - Polonia 3
TN - Tunisia 3
UY - Uruguay 3
ID - Indonesia 2
IL - Israele 2
KR - Corea 2
KZ - Kazakistan 2
LK - Sri Lanka 2
OM - Oman 2
PK - Pakistan 2
PY - Paraguay 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
BY - Bielorussia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CL - Cile 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EG - Egitto 1
GY - Guiana 1
HU - Ungheria 1
IQ - Iraq 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
LU - Lussemburgo 1
MY - Malesia 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PE - Perù 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RO - Romania 1
SC - Seychelles 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 1.872
Salva come PNG Salva come JPEG
Città #
Moscow 141
Singapore 130
Dublin 106
Ashburn 88
San Jose 80
Hong Kong 67
Council Bluffs 40
Los Angeles 36
Dallas 34
Nyköping 29
Buffalo 17
Beijing 15
Catania 12
Ho Chi Minh City 11
Redondo Beach 11
São Paulo 9
Hanoi 8
Santa Clara 7
New York 6
Rio de Janeiro 6
Tianjin 6
Amman 5
Montreal 5
Phoenix 5
Princeton 5
Rome 5
Campinas 4
Columbus 4
Cottage Grove 4
Istanbul 4
Johannesburg 4
Lauterbourg 4
Medford 4
Orem 4
Taranto 4
Brasília 3
Chicago 3
Curitiba 3
Denver 3
London 3
Manchester 3
Messina 3
Montevideo 3
Paterna 3
Pelotas 3
Poplar 3
Pune 3
Santa Luzia 3
Tokyo 3
Warsaw 3
Amsterdam 2
Ankara 2
Belo Horizonte 2
Bogotá 2
Buenos Aires 2
Bảo Lộc 2
Caxias do Sul 2
Chennai 2
Colombo 2
Feira de Santana 2
Helsinki 2
Jaboatão dos Guararapes 2
Meknes 2
Milan 2
Muscat 2
Palagonia 2
Portland 2
Quito 2
Shanghai 2
Stockholm 2
Suffern 2
Sumaré 2
Tashkent 2
Tauá 2
The Dalles 2
Trento 2
Tunis 2
Turin 2
Vacaria 2
Yongin-si 2
Abidjan 1
Adrogué 1
Ahmedabad 1
Alhambra 1
Almenara 1
Almirante Tamandaré 1
Americana 1
Anaheim 1
Ananindeua 1
Arapiraca 1
Araruama 1
Asunción 1
Auckland 1
Bandung 1
Banja Luka 1
Bari 1
Barra da Estiva 1
Barrie 1
Baturité 1
Bayonne 1
Totale 1.045
Salva come PNG Salva come JPEG
Nome #
Copying Safety and Liveness Properties of Computational Artefacts. 129
Co-Simulations of Brain Language Processing using Neural Language Models. 128
The Simulative Role of Neural Language Models in Brain Language Processing 103
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning. 100
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions 90
Making sense of transformer success 90
THE LOGICAL STRUCTURE OF MODULAR SEMANTIC THEORIES OF SOFTWARE SYSTEMS 86
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification 86
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization 68
Central Themes and Open Questions in the Philosophy of Computer Science 67
On the Experimental Foundation of Computing 64
Building and Integrating Semantic Theories over Institutions. 63
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper 58
Can Computer Programs be Formally Verified? 56
Computer simulations without simulative programs in executable cell biology: hypothesis discovery and justification 56
Abstraction and idealization in the formal verification of software systems 56
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 55
Model-based abductive reasoning in automated software testing 55
Epistemologia dell’artificiale e informatica teorica 54
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 54
A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories 45
The Philosophy of Computer Science 45
Meaning and Reference in Programming Languages 44
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation 44
Co-simulations of brain language processing using neural language models 37
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 35
Scientific theories of computational systems in model checking 34
The logic of identity and copy for computational artefacts 31
The Philosophy of Computer Science 29
What is (the philosophy of) computer science? 21
The problem of justification of empirical hypotheses in software testing 21
The Epistemology of DT Simulations 20
The Philosophy of Computer Science (Spring 2025 Edition) 19
When Correctness is Not Enough: Symbolic AI and the Certainty–Scope Conjecture 4
Totale 1.947
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.087
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.087
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202213 0 0 0 0 0 0 0 0 4 0 0 9
2022/2023140 4 1 1 0 0 15 0 2 117 0 0 0
2023/202454 0 0 1 2 5 22 14 5 0 0 4 1
2024/2025440 25 0 18 9 42 26 14 26 109 35 44 92
2025/20261.147 62 79 68 69 124 215 121 165 116 68 30 30
2026/2027153 12 66 30 45 0 0 0 0 0 0 0 0
Totale 1.947