ANGIUS, Nicola
 Distribuzione geografica
Continente #
AS - Asia 395
NA - Nord America 249
EU - Europa 201
SA - Sud America 129
AF - Africa 10
OC - Oceania 1
Totale 985
Nazione #
SG - Singapore 245
US - Stati Uniti d'America 234
BR - Brasile 109
IE - Irlanda 105
HK - Hong Kong 67
CN - Cina 41
SE - Svezia 31
IT - Italia 29
VN - Vietnam 15
CA - Canada 11
RU - Federazione Russa 9
GB - Regno Unito 7
AR - Argentina 5
ZA - Sudafrica 5
CO - Colombia 4
FI - Finlandia 4
IN - India 4
BD - Bangladesh 3
EC - Ecuador 3
MX - Messico 3
NL - Olanda 3
PL - Polonia 3
TR - Turchia 3
UY - Uruguay 3
DE - Germania 2
JP - Giappone 2
KR - Corea 2
LK - Sri Lanka 2
MA - Marocco 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AT - Austria 1
BO - Bolivia 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
EG - Egitto 1
ES - Italia 1
FR - Francia 1
HN - Honduras 1
HU - Ungheria 1
ID - Indonesia 1
IR - Iran 1
JO - Giordania 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
LU - Lussemburgo 1
NZ - Nuova Zelanda 1
OM - Oman 1
PE - Perù 1
PK - Pakistan 1
PY - Paraguay 1
TN - Tunisia 1
Totale 985
Città #
Singapore 121
Dublin 105
Hong Kong 66
Ashburn 41
Dallas 33
Los Angeles 33
Nyköping 29
Buffalo 17
Beijing 14
Redondo Beach 11
Catania 9
São Paulo 8
Ho Chi Minh City 6
Montreal 5
Rio de Janeiro 5
Campinas 4
Cottage Grove 4
Hanoi 4
Johannesburg 4
Medford 4
Moscow 4
New York 4
Princeton 4
Santa Clara 4
Taranto 4
Brasília 3
Denver 3
Montevideo 3
Pelotas 3
Poplar 3
Pune 3
Tianjin 3
Warsaw 3
Amsterdam 2
Belo Horizonte 2
Bogotá 2
Buenos Aires 2
Bảo Lộc 2
Caxias do Sul 2
Chicago 2
Colombo 2
Curitiba 2
Feira de Santana 2
Helsinki 2
Jaboatão dos Guararapes 2
London 2
Meknes 2
Messina 2
Palagonia 2
Portland 2
Santa Luzia 2
Stockholm 2
Sumaré 2
Tashkent 2
Tauá 2
The Dalles 2
Tokyo 2
Vacaria 2
Yongin-si 2
Abidjan 1
Almenara 1
Almirante Tamandaré 1
Americana 1
Amman 1
Anaheim 1
Ananindeua 1
Ankara 1
Arapiraca 1
Araruama 1
Auckland 1
Barra da Estiva 1
Baturité 1
Belém 1
Bishkek 1
Brooklyn 1
Cabimas 1
Cabo Frio 1
Cajamar 1
Cambará 1
Canindé de São Francisco 1
Canoinhas 1
Canápolis 1
Cape Town 1
Capão da Canoa 1
Caracas 1
Caraguatatuba 1
Cariacica 1
Cartagena 1
Cleveland 1
Concord 1
Contagem 1
Covina 1
Curuçá 1
Cúcuta 1
Dhaka 1
Divinópolis 1
Dock Sud 1
Dom Feliciano 1
Dubai 1
El Progreso 1
Totale 660
Nome #
Copying Safety and Liveness Properties of Computational Artefacts. 70
Co-Simulations of Brain Language Processing using Neural Language Models. 56
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification 53
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning. 51
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions 49
The Simulative Role of Neural Language Models in Brain Language Processing 48
On the Experimental Foundation of Computing 38
Central Themes and Open Questions in the Philosophy of Computer Science 38
Building and Integrating Semantic Theories over Institutions. 37
The Philosophy of Computer Science 36
THE LOGICAL STRUCTURE OF MODULAR SEMANTIC THEORIES OF SOFTWARE SYSTEMS 35
Epistemologia dell’artificiale e informatica teorica 35
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 35
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization 35
Making sense of transformer success 34
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation 33
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 33
Model-based abductive reasoning in automated software testing 32
Computer simulations without simulative programs in executable cell biology: hypothesis discovery and justification 32
Scientific theories of computational systems in model checking 30
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper 30
Can Computer Programs be Formally Verified? 29
The logic of identity and copy for computational artefacts 28
Abstraction and idealization in the formal verification of software systems 28
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 27
The Philosophy of Computer Science 22
Meaning and Reference in Programming Languages 18
What is (the philosophy of) computer science? 15
The Epistemology of DT Simulations 15
The problem of justification of empirical hypotheses in software testing 15
A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories 14
The Philosophy of Computer Science (Spring 2025 Edition) 7
Totale 1.058
Categoria #
all - tutte 4.292
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 4.292


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/2026411 62 79 68 69 124 9 0 0 0 0 0 0
Totale 1.058