ANGIUS, Nicola
 Distribuzione geografica
Continente #
NA - Nord America 252
EU - Europa 151
AS - Asia 92
OC - Oceania 2
Totale 497
Nazione #
US - Stati Uniti d'America 250
UA - Ucraina 92
CN - Cina 81
DE - Germania 30
FI - Finlandia 14
IT - Italia 7
FR - Francia 3
IN - India 3
SG - Singapore 3
AU - Australia 2
GB - Regno Unito 2
TR - Turchia 2
TW - Taiwan 2
CA - Canada 1
ES - Italia 1
GR - Grecia 1
ID - Indonesia 1
PA - Panama 1
SE - Svezia 1
Totale 497
Città #
Jacksonville 59
Chandler 54
Princeton 30
Nanjing 17
Dearborn 11
Shenyang 11
Houston 10
Wilmington 9
Jinan 7
Hebei 6
Nanchang 6
Zhengzhou 6
Changsha 5
Jiaxing 5
Perugia 4
Taizhou 4
Tianjin 4
Ann Arbor 3
Beijing 3
New Delhi 3
Fuzhou 2
Hangzhou 2
San Francisco 2
Sassari 2
Taipei 2
Arraiján 1
Boardman 1
Canberra 1
Hefei 1
Izmir 1
Lappeenranta 1
Los Angeles 1
Milan 1
Ningbo 1
Norwalk 1
Singapore 1
Stanford 1
Sydney 1
Toronto 1
Wuhan 1
Totale 282
Nome #
The Logical Structure of Modular Semantic Theories of Software Systems 40
Building and integrating semantic theories over institutions 39
The logic of identity and copy for computational artefacts 39
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 39
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 38
Epistemologia dell'Artificiale e Informatica Teorica 38
Computer simulations without simulative programs in executable cell biology. Hypothesis discovery and justification 35
The Philosophy of Computer Science 34
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 33
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper, 32
Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization 31
Model-based Abductive Reasoning in Automated Software Testing 29
Scientific Theories of Computational Systems in Model Checking 28
Abstraction and Idealization in the Formal Verification of Software Systems 28
The Problem of Justification of Empirical Hypotheses in Software Testing 26
Totale 509
Categoria #
all - tutte 2.430
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 2.430


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201928 0 0 0 0 0 0 0 0 0 0 0 28
2019/2020131 31 0 13 1 15 10 27 0 15 2 17 0
2020/202187 16 0 15 0 15 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/202418 9 1 1 0 6 0 0 0 0 0 1 0
Totale 509