PORTO @ Archivio Istituzionale della Ricerca

NOCCO, SERGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.692
EU - Europa 4.575
AS - Asia 2.460
SA - Sud America 159
Continente sconosciuto - Info sul continente non disponibili 93
AF - Africa 25
OC - Oceania 5
Totale 12.009
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.617
IT - Italia 1.635
GB - Regno Unito 841
SG - Singapore 768
CN - Cina 593
FR - Francia 567
DE - Germania 504
VN - Vietnam 484
RU - Federazione Russa 301
UA - Ucraina 230
BR - Brasile 120
TR - Turchia 108
HK - Hong Kong 99
KR - Corea 90
NL - Olanda 82
AT - Austria 79
IE - Irlanda 69
SE - Svezia 68
CH - Svizzera 58
FI - Finlandia 57
IL - Israele 54
IN - India 50
CA - Canada 41
JO - Giordania 33
JP - Giappone 33
MY - Malesia 28
BE - Belgio 20
CR - Costa Rica 20
BD - Bangladesh 19
TH - Thailandia 16
UZ - Uzbekistan 16
ID - Indonesia 13
PH - Filippine 12
TW - Taiwan 12
CO - Colombia 11
EU - Europa 11
IR - Iran 11
PL - Polonia 9
IQ - Iraq 8
AP - ???statistics.table.value.countryCode.AP??? 7
AR - Argentina 7
CL - Cile 7
GH - Ghana 7
ES - Italia 6
VE - Venezuela 6
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
JM - Giamaica 3
NP - Nepal 3
PY - Paraguay 3
AZ - Azerbaigian 2
DO - Repubblica Dominicana 2
EC - Ecuador 2
HU - Ungheria 2
KE - Kenya 2
NG - Nigeria 2
PA - Panama 2
PE - Perù 2
PK - Pakistan 2
SA - Arabia Saudita 2
TJ - Tagikistan 2
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
BY - Bielorussia 1
CG - Congo 1
CZ - Repubblica Ceca 1
GE - Georgia 1
GR - Grecia 1
LB - Libano 1
LU - Lussemburgo 1
MD - Moldavia 1
NO - Norvegia 1
PR - Porto Rico 1
PT - Portogallo 1
SV - El Salvador 1
TC - Turks e Caicos 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 11.919
Salva come PNG Salva come JPEG
Città #
Ashburn 1.059
Southend 732
Singapore 459
Seattle 434
Fairfield 357
Turin 255
San Jose 218
Chandler 208
Milan 186
Woodbridge 180
Ho Chi Minh City 137
Ann Arbor 128
Dallas 126
Houston 121
Santa Clara 117
Cambridge 114
Jacksonville 114
Beijing 112
Princeton 106
Hanoi 103
Hefei 101
Wilmington 101
Rome 90
San Ramon 86
Boardman 85
Torino 84
Hong Kong 81
Dublin 65
Vienna 64
Berlin 60
Zhengzhou 60
Izmir 56
Chicago 55
Bern 49
Shanghai 49
Buffalo 44
Helsinki 40
Bologna 34
Council Bluffs 34
Tel Aviv 33
Lauterbourg 32
San Donato Milanese 32
Los Angeles 31
Moscow 31
Tongling 31
Zaporozhye 30
Baltimore 29
Istanbul 28
Pennsylvania Furnace 27
Da Nang 26
Overberg 26
Fremont 24
San Francisco 24
Seoul 24
Saint Petersburg 23
Nuremberg 22
Toronto 21
North Bergen 20
San José 19
Atlanta 18
New York 18
Des Moines 17
Figino 17
Monopoli 17
Norwalk 17
Tokyo 17
Bremen 16
Brussels 16
Munich 16
Jerusalem 15
Mountain View 15
Padua 15
Orem 14
Redwood City 14
Turku 14
San Diego 13
Haiphong 12
Bangkok 11
Guangzhou 11
Malatya 11
Washington 11
Amsterdam 10
Falls Church 10
London 10
Nanjing 10
Tehran 10
Albisola Superiore 9
Columbus 9
Dearborn 9
Frankfurt 9
Naples 9
São Paulo 9
Catania 8
Lecce 8
Santa Croce sull'Arno 8
Frankfurt am Main 7
Montreal 7
Perosa Argentina 7
Amarillo 6
Asti 6
Totale 7.523
Salva come PNG Salva come JPEG
Nome #
Guida alla programmazione in linguaggio C. Volume I: Fondamenti di programmazione 810
Interpolation Sequences Revisited 604
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 586
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem 547
Guida alla programmazione in linguaggio C 499
Thread-based multi-engine model checking for multicore platforms 451
Strengthening Model Checking Techniques with Inductive Invariants 447
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 436
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 433
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 411
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 410
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 396
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits 377
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 369
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 367
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 367
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 360
Are BDDs Still Alive within Sequential Verification? 357
Stepping Forward with Interpolants in Unbounded Model Checking 354
Boosting the role of inductive invariants in model checking 352
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization 334
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 333
Optimized model checking of multiple properties 326
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 317
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification 296
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 284
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 278
Circuit Based Quantification: A Probabilistic/Approximated Approach 274
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 257
Mixing BDD and SAT techniques in Formal Verification 228
Stepping forward with interpolates in unbounded model checking 149
Totale 12.009
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.262
article - articoli 12.919
book - libri 2.314
conference - conferenze 14.029
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 58.524
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022332 0 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.704 77 181 204 157 128 200 362 228 485 297 87 298
2026/2027120 53 67 0 0 0 0 0 0 0 0 0 0
Totale 12.009