PORTO @ Archivio Istituzionale della Ricerca

NOCCO, SERGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.491
EU - Europa 4.337
AS - Asia 2.441
SA - Sud America 153
AF - Africa 25
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 11.454
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.432
IT - Italia 1.403
GB - Regno Unito 841
SG - Singapore 758
CN - Cina 592
FR - Francia 566
DE - Germania 504
VN - Vietnam 484
RU - Federazione Russa 301
UA - Ucraina 230
BR - Brasile 119
TR - Turchia 108
HK - Hong Kong 99
KR - Corea 90
NL - Olanda 81
AT - Austria 79
IE - Irlanda 69
SE - Svezia 68
CH - Svizzera 57
FI - Finlandia 57
IL - Israele 54
IN - India 50
CA - Canada 33
JO - Giordania 33
JP - Giappone 33
MY - Malesia 28
BE - Belgio 19
CR - Costa Rica 18
TH - Thailandia 16
UZ - Uzbekistan 16
BD - Bangladesh 12
ID - Indonesia 12
PH - Filippine 12
TW - Taiwan 12
EU - Europa 11
IR - Iran 11
CO - Colombia 10
IQ - Iraq 8
PL - Polonia 8
AP - ???statistics.table.value.countryCode.AP??? 7
CL - Cile 7
GH - Ghana 7
ES - Italia 6
VE - Venezuela 6
AR - Argentina 5
AU - Australia 5
DK - Danimarca 5
KZ - Kazakistan 5
RO - Romania 5
ZA - Sudafrica 5
MX - Messico 4
SN - Senegal 4
AE - Emirati Arabi Uniti 3
EE - Estonia 3
EG - Egitto 3
NP - Nepal 3
AZ - Azerbaigian 2
DO - Repubblica Dominicana 2
HU - Ungheria 2
KE - Kenya 2
NG - Nigeria 2
PE - Perù 2
PK - Pakistan 2
PY - Paraguay 2
SA - Arabia Saudita 2
TJ - Tagikistan 2
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BY - Bielorussia 1
CG - Congo 1
CZ - Repubblica Ceca 1
EC - Ecuador 1
GE - Georgia 1
GR - Grecia 1
JM - Giamaica 1
LB - Libano 1
LU - Lussemburgo 1
MD - Moldavia 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
TN - Tunisia 1
UY - Uruguay 1
Totale 11.454
Salva come PNG Salva come JPEG
Città #
Ashburn 1.028
Southend 732
Singapore 459
Seattle 434
Fairfield 357
Turin 254
Chandler 208
San Jose 182
Woodbridge 180
Ho Chi Minh City 137
Ann Arbor 128
Dallas 121
Houston 121
Cambridge 114
Jacksonville 114
Santa Clara 113
Beijing 111
Princeton 106
Hanoi 103
Hefei 101
Wilmington 101
San Ramon 86
Boardman 85
Torino 84
Hong Kong 81
Milan 68
Dublin 65
Vienna 64
Berlin 60
Zhengzhou 60
Izmir 56
Chicago 55
Bern 49
Shanghai 49
Buffalo 42
Helsinki 40
Bologna 33
Tel Aviv 33
Lauterbourg 32
San Donato Milanese 32
Moscow 31
Tongling 31
Zaporozhye 30
Los Angeles 29
Istanbul 28
Baltimore 27
Pennsylvania Furnace 27
Da Nang 26
Overberg 26
Fremont 24
Seoul 24
Saint Petersburg 23
Nuremberg 22
San Francisco 22
North Bergen 20
Rome 20
Toronto 20
San José 18
Atlanta 17
Monopoli 17
Norwalk 17
Tokyo 17
Bremen 16
Brussels 16
Des Moines 16
Munich 16
Council Bluffs 15
Jerusalem 15
Mountain View 15
Padua 15
New York 14
Redwood City 14
Turku 14
San Diego 13
Haiphong 12
Orem 12
Bangkok 11
Guangzhou 11
Malatya 11
Washington 11
Amsterdam 10
London 10
Nanjing 10
Tehran 10
Albisola Superiore 9
Columbus 9
Dearborn 9
Falls Church 9
Frankfurt 9
São Paulo 9
Lecce 8
Santa Croce sull'Arno 8
Frankfurt am Main 7
Perosa Argentina 7
Amarillo 6
Asti 6
Bắc Ninh 6
Can Tho 6
Dong Ket 6
Hangzhou 6
Totale 7.201
Salva come PNG Salva come JPEG
Nome #
Guida alla programmazione in linguaggio C. Volume I: Fondamenti di programmazione 759
Interpolation Sequences Revisited 575
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 574
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem 526
Guida alla programmazione in linguaggio C 493
Thread-based multi-engine model checking for multicore platforms 444
Strengthening Model Checking Techniques with Inductive Invariants 436
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 420
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 416
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 398
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 396
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 379
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits 363
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 353
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 353
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 352
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 350
Boosting the role of inductive invariants in model checking 343
Are BDDs Still Alive within Sequential Verification? 343
Stepping Forward with Interpolants in Unbounded Model Checking 338
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization 322
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 321
Optimized model checking of multiple properties 315
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 303
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification 285
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 273
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 266
Circuit Based Quantification: A Probabilistic/Approximated Approach 263
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 243
Mixing BDD and SAT techniques in Formal Verification 204
Stepping forward with interpolates in unbounded model checking 138
Totale 11.544
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.731
article - articoli 12.295
book - libri 2.195
conference - conferenze 13.241
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 55.462
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202165 0 0 0 0 0 0 0 0 0 0 40 25
2021/2022377 45 29 6 8 13 30 31 12 33 24 65 81
2022/2023651 58 111 20 66 70 83 43 38 76 3 23 60
2023/2024240 8 20 6 2 21 47 12 27 10 31 25 31
2024/20251.026 13 104 33 93 111 77 24 98 149 44 99 181
2025/20262.359 77 181 204 157 128 200 362 228 485 297 40 0
Totale 11.544