PORTO @ Archivio Istituzionale della Ricerca

PASINI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.868
NA - Nord America 3.033
AS - Asia 2.710
SA - Sud America 214
AF - Africa 45
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 7
Totale 12.884
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 4.157
US - Stati Uniti d'America 2.974
GB - Regno Unito 827
SG - Singapore 827
VN - Vietnam 596
DE - Germania 560
CN - Cina 553
FR - Francia 377
RU - Federazione Russa 269
BR - Brasile 155
KR - Corea 135
UA - Ucraina 132
HK - Hong Kong 126
TR - Turchia 107
IN - India 91
AT - Austria 87
FI - Finlandia 79
IE - Irlanda 69
NL - Olanda 57
CH - Svizzera 50
IL - Israele 45
SE - Svezia 44
BE - Belgio 41
ID - Indonesia 31
EU - Europa 30
JO - Giordania 30
CA - Canada 28
MY - Malesia 27
PH - Filippine 25
JP - Giappone 24
TW - Taiwan 21
AR - Argentina 17
TH - Thailandia 16
MX - Messico 15
PL - Polonia 13
IQ - Iraq 12
BD - Bangladesh 11
ES - Italia 11
BG - Bulgaria 10
CL - Cile 10
EG - Egitto 10
RO - Romania 10
IR - Iran 9
ZA - Sudafrica 9
CO - Colombia 8
CZ - Repubblica Ceca 8
VE - Venezuela 8
AU - Australia 7
EC - Ecuador 7
ET - Etiopia 7
PK - Pakistan 6
PT - Portogallo 6
PA - Panama 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
AZ - Azerbaigian 4
DO - Repubblica Dominicana 4
GR - Grecia 4
LT - Lituania 4
PE - Perù 4
SN - Senegal 4
TN - Tunisia 4
BY - Bielorussia 3
CR - Costa Rica 3
EE - Estonia 3
HR - Croazia 3
KZ - Kazakistan 3
MA - Marocco 3
NO - Norvegia 3
NP - Nepal 3
PY - Paraguay 3
SA - Arabia Saudita 3
DZ - Algeria 2
HN - Honduras 2
KE - Kenya 2
LB - Libano 2
PS - Palestinian Territory 2
AO - Angola 1
BB - Barbados 1
BH - Bahrain 1
BJ - Benin 1
BO - Bolivia 1
CY - Cipro 1
DK - Danimarca 1
JM - Giamaica 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MU - Mauritius 1
OM - Oman 1
RS - Serbia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 12.884
Salva come PNG Salva come JPEG
Città #
Turin 1.027
Ashburn 727
Southend 725
Singapore 534
Torino 354
Milan 261
Dallas 177
Chandler 171
Ho Chi Minh City 166
San Jose 139
Hanoi 135
Hefei 116
Seattle 106
Rome 104
Fairfield 97
Hong Kong 97
Santa Clara 97
Ann Arbor 96
Woodbridge 95
Princeton 79
Seoul 78
Beijing 77
Vienna 74
Boardman 69
Dublin 67
Jacksonville 61
San Ramon 60
Cambridge 54
Los Angeles 53
Berlin 52
Wilmington 52
Izmir 50
Helsinki 48
Munich 46
Moscow 43
Houston 40
Naples 38
Istanbul 35
Brussels 33
Bern 32
Bremen 30
Lauterbourg 29
New York 27
Novara 26
Tel Aviv 26
Tongling 26
Shanghai 25
San Donato Milanese 23
Turku 23
Da Nang 22
Guangzhou 22
Nuremberg 22
Palermo 22
Buffalo 21
Catania 21
Bologna 20
Haiphong 20
London 19
Council Bluffs 18
Jakarta 18
Florence 17
Jerusalem 17
Zaporozhye 16
Zhengzhou 16
Des Moines 15
North Bergen 15
Bari 14
Cagliari 14
Genova 14
Toronto 14
Vicenza 14
Falls Church 13
Genoa 13
Paris 13
São Paulo 13
Augusta 12
Carmagnola 12
Mountain View 12
Amsterdam 11
Cuneo 11
Frankfurt 11
Lecce 11
Redwood City 11
Tokyo 11
Trento 11
Carpi 10
Hải Dương 10
Rotterdam 10
Salerno 10
Saluzzo 10
San Antonio 10
Sofia 10
Aosta 9
Bolzano 9
Bruino 9
Bulandshahr 9
Cangzhou 9
Kolkata 9
Legnano 9
Malatya 9
Totale 7.298
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.853
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.158
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 522
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 485
Algoritmi e programmazione in pratica. Da specifiche a codice C 482
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 473
SAT solver management strategies in IC3: an experimental approach 471
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 453
Dal problema al programma. Introduzione al problem-solving in linguaggio C 420
NN2FPGA: Optimizing CNN Inference on FPGAs With Binary Integer Programming 419
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 419
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 418
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 411
Test Time Minimization in Reconfigurable Scan Networks 394
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 391
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 385
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 382
QEbu: an advanced graphical editor for the EBU Core metadata set 367
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 364
Interpolation-based learning as a mean to speed-up Bounded Model Checking 316
Improving bit-level model checking algorithms for scalability through circuit-based reasoning 294
Logic Synthesis for Interpolant Circuit Compaction 275
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 263
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 252
Reducing interpolant circuit size through SAT-based weakening 246
Test of Reconfigurable Modules in Scan Networks 240
Hardware Model Checking Algorithms and Techniques 238
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 234
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 195
Low-Power Subgraph Isomorphism at the Edge Using FPGAs 161
Totale 12.981
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.208
article - articoli 9.589
book - libri 7.152
conference - conferenze 7.879
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 49.828
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021167 0 0 0 0 0 0 0 0 0 55 81 31
2021/2022695 45 54 42 80 46 44 29 70 82 34 65 104
2022/2023823 44 101 30 101 76 131 47 80 105 29 42 37
2023/2024624 37 11 60 84 63 67 37 42 45 48 72 58
2024/20251.637 62 135 88 122 106 148 113 186 232 67 153 225
2025/20263.315 239 184 329 223 257 226 452 368 664 373 0 0
Totale 12.981