COCCO, Nicoletta
 Distribuzione geografica
Continente #
NA - Nord America 5.489
AS - Asia 2.383
EU - Europa 2.090
SA - Sud America 137
Continente sconosciuto - Info sul continente non disponibili 102
AF - Africa 26
OC - Oceania 1
Totale 10.228
Nazione #
US - Stati Uniti d'America 5.369
CN - Cina 938
PL - Polonia 635
SG - Singapore 586
IT - Italia 388
VN - Vietnam 360
UA - Ucraina 220
DE - Germania 155
SE - Svezia 144
GB - Regno Unito 128
FI - Finlandia 123
HK - Hong Kong 111
IE - Irlanda 110
BR - Brasile 95
CA - Canada 85
JP - Giappone 76
IN - India 63
KR - Corea 62
FR - Francia 58
TR - Turchia 53
RU - Federazione Russa 50
BD - Bangladesh 27
BE - Belgio 21
ID - Indonesia 15
NL - Olanda 14
PK - Pakistan 14
AR - Argentina 13
MX - Messico 13
PH - Filippine 13
IQ - Iraq 12
CL - Cile 9
ES - Italia 9
VE - Venezuela 9
ZA - Sudafrica 8
JM - Giamaica 7
CH - Svizzera 6
EC - Ecuador 6
EU - Europa 6
IR - Iran 6
OM - Oman 6
TH - Thailandia 6
TW - Taiwan 6
BG - Bulgaria 5
KE - Kenya 5
EG - Egitto 4
IL - Israele 4
JO - Giordania 4
AT - Austria 3
AZ - Azerbaigian 3
CR - Costa Rica 3
GR - Grecia 3
HU - Ungheria 3
KZ - Kazakistan 3
LB - Libano 3
PR - Porto Rico 3
BO - Bolivia 2
DK - Danimarca 2
DZ - Algeria 2
GA - Gabon 2
GT - Guatemala 2
HN - Honduras 2
LT - Lituania 2
MA - Marocco 2
MY - Malesia 2
NO - Norvegia 2
NP - Nepal 2
SI - Slovenia 2
SV - El Salvador 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AO - Angola 1
AU - Australia 1
AW - Aruba 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BY - Bielorussia 1
CO - Colombia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GE - Georgia 1
GH - Ghana 1
KG - Kirghizistan 1
LU - Lussemburgo 1
NG - Nigeria 1
NI - Nicaragua 1
PA - Panama 1
PE - Perù 1
PY - Paraguay 1
RO - Romania 1
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
Totale 10.133
Città #
Woodbridge 830
Warsaw 623
Ashburn 487
Chandler 457
Fairfield 415
Jacksonville 343
Singapore 328
Houston 312
Ann Arbor 301
Council Bluffs 176
Seattle 173
San Jose 169
Cambridge 139
Wilmington 135
Dublin 109
Ho Chi Minh City 107
Hong Kong 104
Des Moines 103
Mestre 103
Dallas 100
Nanjing 93
New York 90
Hanoi 80
Shenyang 78
Jinan 73
Hefei 72
Dearborn 71
Toronto 70
Beijing 65
Boardman 57
Seoul 57
The Dalles 55
Tianjin 49
Izmir 47
Los Angeles 46
Tokyo 45
Venezia 45
Hebei 42
San Mateo 42
Andover 41
Bengaluru 40
Boston 37
Guangzhou 37
Brooklyn 35
Nanchang 32
Venice 32
Columbus 31
Mülheim 29
Princeton 29
Lauterbourg 25
Jiaxing 24
Haikou 23
Hangzhou 23
Santa Clara 23
Taizhou 23
Bologna 22
Changsha 22
Haiphong 22
Brussels 21
Zhengzhou 21
Milan 20
Taiyuan 19
Ningbo 17
San Diego 17
Buffalo 15
Fuzhou 14
Saint Petersburg 14
Chicago 13
Orem 13
Jakarta 12
Berlin 10
Padova 10
Redwood City 10
São Paulo 10
San Francisco 9
Dong Ket 8
Frankfurt am Main 8
Helsinki 8
Mira 8
Bremen 7
Da Nang 7
Johannesburg 7
Kunming 7
London 7
Peshawar 7
Rome 7
Shanghai 7
Turku 7
Amsterdam 6
Atlanta 6
Baghdad 6
Denver 6
Norwalk 6
Sacramento 6
Auburn Hills 5
Chennai 5
Edinburgh 5
Hải Dương 5
Manchester 5
Montreal 5
Totale 7.647
Nome #
Petri nets for modelling and analysing trophic networks 603
Petri nets for modelling metabolic pathways: a survey 600
Comparison of Metabolic Pathways by Considering Potential Fluxes 534
MPath2PN - Translating Metabolic Pathways into Petri Nets 530
Comparing Metabolic Pathways through Reactions and Potential Fluxes 427
Norms on Terms and their use in Proving Universal Termination of a Logic Program 406
Petri Nets for Modelling and Analysing Trophic Networks 393
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 391
On Modular Termination Proofs of General Logic Programs 383
Programs Without Failures 374
MetNet: A two-level approach to reconstructing and comparing metabolic networks 356
Declarative Semantics of Input Consuming Logic Programs 352
Proving Termination of Logic Programs by Exploiting Term Properties 345
A Method for Specializing Logic Programs 339
Preserving Universal Termination through Unfold/Fold 334
A Mechanism for Exception Handlingand its Verification Rules 322
Termination of Well-Typed Logic Programs 312
Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach 311
Transforming Normal Programs by Replacement 303
On Safe Folding 293
Successes in Logic Programs 290
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta 286
A Divide-and-conquer Approach to General Context-free Parsing 285
Simultaneous Replacement in Normal Programs 270
Termination of Well-Moded Programs 263
Transformation of left terminating programs 255
The Ada Task System and Real-Time Applications:an Implementation Schema 237
Transformation Systems and Nondeclarative Properties 217
A Valuable Experience in Computational Logic 217
Totale 10.228
Categoria #
all - tutte 25.165
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 25.165


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022923 0 107 57 155 85 19 51 66 23 75 202 83
2022/20231.053 63 97 26 179 98 238 104 69 111 10 50 8
2023/2024313 10 23 8 2 47 85 10 14 26 5 42 41
2024/2025501 12 27 54 60 29 25 37 45 54 66 56 36
2025/20262.530 192 148 188 215 300 221 275 135 357 226 69 204
2026/2027165 82 83 0 0 0 0 0 0 0 0 0 0
Totale 10.228