ANGIUS, Nicola
 Distribuzione geografica
Continente #
EU - Europa 696
AS - Asia 477
NA - Nord America 378
SA - Sud America 144
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.712
Nazione #
RU - Federazione Russa 476
US - Stati Uniti d'America 359
SG - Singapore 256
BR - Brasile 118
IE - Irlanda 105
CN - Cina 68
HK - Hong Kong 68
IT - Italia 43
SE - Svezia 31
VN - Vietnam 27
CA - Canada 15
GB - Regno Unito 10
IN - India 10
TR - Turchia 8
AR - Argentina 7
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
MA - Marocco 3
MX - Messico 3
NL - Olanda 3
PL - Polonia 3
TN - Tunisia 3
UY - Uruguay 3
ID - Indonesia 2
JP - Giappone 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
CI - Costa d'Avorio 1
EG - Egitto 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
IL - Israele 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
NZ - Nuova Zelanda 1
PE - Perù 1
PS - Palestinian Territory 1
SY - Repubblica araba siriana 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 1.712
Città #
Moscow 141
Singapore 129
Dublin 105
Ashburn 80
Hong Kong 67
San Jose 60
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
New York 6
Rio de Janeiro 6
Tianjin 6
Amman 5
Montreal 5
Santa Clara 5
Campinas 4
Cottage Grove 4
Istanbul 4
Johannesburg 4
Lauterbourg 4
Medford 4
Orem 4
Princeton 4
Rome 4
Taranto 4
Brasília 3
Council Bluffs 3
Denver 3
London 3
Manchester 3
Messina 3
Montevideo 3
Paterna 3
Pelotas 3
Poplar 3
Pune 3
Santa Luzia 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
Chicago 2
Colombo 2
Curitiba 2
Feira de Santana 2
Helsinki 2
Jaboatão dos Guararapes 2
Meknes 2
Muscat 2
Palagonia 2
Portland 2
Quito 2
Shanghai 2
Stockholm 2
Sumaré 2
Tashkent 2
Tauá 2
The Dalles 2
Tokyo 2
Trento 2
Tunis 2
Vacaria 2
Yongin-si 2
Abidjan 1
Adrogué 1
Ahmedabad 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
Barra da Estiva 1
Barrie 1
Baturité 1
Bayonne 1
Belmont 1
Belém 1
Bishkek 1
Boksburg 1
Brooklyn 1
Cabimas 1
Cabo Frio 1
Totale 961
Nome #
Copying Safety and Liveness Properties of Computational Artefacts. 122
Co-Simulations of Brain Language Processing using Neural Language Models. 121
The Simulative Role of Neural Language Models in Brain Language Processing 94
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning. 90
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions 84
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification 81
Making sense of transformer success 78
THE LOGICAL STRUCTURE OF MODULAR SEMANTIC THEORIES OF SOFTWARE SYSTEMS 72
Central Themes and Open Questions in the Philosophy of Computer Science 64
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization 63
On the Experimental Foundation of Computing 60
Building and Integrating Semantic Theories over Institutions. 59
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper 55
Computer simulations without simulative programs in executable cell biology: hypothesis discovery and justification 55
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 53
Abstraction and idealization in the formal verification of software systems 52
Can Computer Programs be Formally Verified? 51
Epistemologia dell’artificiale e informatica teorica 51
Model-based abductive reasoning in automated software testing 50
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 50
A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories 41
The Philosophy of Computer Science 41
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation 40
Meaning and Reference in Programming Languages 39
Co-simulations of brain language processing using neural language models 33
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 32
Scientific theories of computational systems in model checking 30
The logic of identity and copy for computational artefacts 28
The Philosophy of Computer Science 26
What is (the philosophy of) computer science? 19
The problem of justification of empirical hypotheses in software testing 19
The Epistemology of DT Simulations 18
The Philosophy of Computer Science (Spring 2025 Edition) 15
Totale 1.786
Categoria #
all - tutte 6.109
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.109


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.139 62 79 68 69 124 215 121 165 116 68 30 22
Totale 1.786