ANGIUS, Nicola
 Distribuzione geografica
Continente #
EU - Europa 681
AS - Asia 472
NA - Nord America 339
SA - Sud America 144
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.653
Nazione #
RU - Federazione Russa 476
US - Stati Uniti d'America 323
SG - Singapore 255
BR - Brasile 118
IE - Irlanda 105
HK - Hong Kong 68
CN - Cina 65
IT - Italia 32
SE - Svezia 31
VN - Vietnam 26
CA - Canada 12
IN - India 10
GB - Regno Unito 9
TR - Turchia 8
AR - Argentina 7
BD - Bangladesh 7
FR - Francia 7
ZA - Sudafrica 6
EC - Ecuador 5
JO - Giordania 5
CO - Colombia 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
ES - Italia 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.653
Città #
Moscow 141
Singapore 129
Dublin 105
Ashburn 75
Hong Kong 67
San Jose 40
Dallas 34
Los Angeles 34
Nyköping 29
Buffalo 17
Beijing 15
Ho Chi Minh City 11
Redondo Beach 11
Catania 9
São Paulo 9
Hanoi 7
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
Princeton 4
Taranto 4
Brasília 3
Denver 3
Manchester 3
Messina 3
Montevideo 3
Orem 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
London 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
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
Baturité 1
Belém 1
Bishkek 1
Boksburg 1
Brooklyn 1
Cabimas 1
Cabo Frio 1
Cajamar 1
Calgary 1
Cambará 1
Canindé de São Francisco 1
Canoinhas 1
Canápolis 1
Cape Town 1
Totale 920
Nome #
Copying Safety and Liveness Properties of Computational Artefacts. 119
Co-Simulations of Brain Language Processing using Neural Language Models. 116
The Simulative Role of Neural Language Models in Brain Language Processing 91
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning. 87
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions 82
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification 81
Making sense of transformer success 72
THE LOGICAL STRUCTURE OF MODULAR SEMANTIC THEORIES OF SOFTWARE SYSTEMS 65
Central Themes and Open Questions in the Philosophy of Computer Science 61
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization 61
On the Experimental Foundation of Computing 59
Building and Integrating Semantic Theories over Institutions. 59
Computer simulations without simulative programs in executable cell biology: hypothesis discovery and justification 55
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper 54
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 52
Epistemologia dell’artificiale e informatica teorica 51
Model-based abductive reasoning in automated software testing 50
Abstraction and idealization in the formal verification of software systems 50
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 50
Can Computer Programs be Formally Verified? 49
The Philosophy of Computer Science 39
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation 39
Meaning and Reference in Programming Languages 38
A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories 38
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 32
Co-simulations of brain language processing using neural language models 31
Scientific theories of computational systems in model checking 30
The logic of identity and copy for computational artefacts 28
The Philosophy of Computer Science 25
What is (the philosophy of) computer science? 18
The problem of justification of empirical hypotheses in software testing 18
The Epistemology of DT Simulations 17
The Philosophy of Computer Science (Spring 2025 Edition) 10
Totale 1.727
Categoria #
all - tutte 5.506
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.506


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.080 62 79 68 69 124 215 121 165 116 61 0 0
Totale 1.727