PORTO @ Archivio Istituzionale della Ricerca

PASINI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.106
NA - Nord America 3.194
AS - Asia 2.769
SA - Sud America 214
AF - Africa 45
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 7
Totale 13.342
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 4.388
US - Stati Uniti d'America 3.128
SG - Singapore 833
GB - Regno Unito 827
VN - Vietnam 596
DE - Germania 562
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 88
FI - Finlandia 79
IE - Irlanda 69
BD - Bangladesh 64
NL - Olanda 58
CH - Svizzera 51
IL - Israele 45
SE - Svezia 44
BE - Belgio 41
CA - Canada 35
ID - Indonesia 31
EU - Europa 30
JO - Giordania 30
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
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
PT - Portogallo 7
PK - Pakistan 6
LT - Lituania 5
PA - Panama 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
AZ - Azerbaigian 4
DO - Repubblica Dominicana 4
GR - Grecia 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 13.342
Salva come PNG Salva come JPEG
Città #
Turin 1.049
Ashburn 745
Southend 725
Singapore 535
Torino 354
Milan 348
San Jose 211
Dallas 179
Chandler 171
Ho Chi Minh City 166
Rome 156
Hanoi 135
Hefei 116
Seattle 107
Santa Clara 101
Fairfield 97
Hong Kong 97
Ann Arbor 96
Woodbridge 95
Princeton 79
Seoul 78
Beijing 77
Vienna 75
Boardman 71
Dublin 67
Jacksonville 61
San Ramon 60
Los Angeles 57
Cambridge 54
Berlin 52
Wilmington 52
Izmir 50
Helsinki 48
Munich 48
Moscow 43
Houston 40
Naples 40
New York 36
Istanbul 35
Brussels 33
Bern 32
Bremen 30
Lauterbourg 29
Novara 26
Tel Aviv 26
Tongling 26
Shanghai 25
Palermo 23
San Donato Milanese 23
Turku 23
Bologna 22
Buffalo 22
Da Nang 22
Guangzhou 22
Nuremberg 22
Catania 21
Council Bluffs 21
Figino 20
Haiphong 20
London 19
Florence 18
Jakarta 18
Jerusalem 17
Toronto 17
Zaporozhye 16
Zhengzhou 16
Bari 15
Des Moines 15
North Bergen 15
Cagliari 14
Genova 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
San Antonio 11
Tokyo 11
Trento 11
Carpi 10
Hải Dương 10
Rotterdam 10
Salerno 10
Saluzzo 10
Sofia 10
Aosta 9
Bolzano 9
Bruino 9
Bulandshahr 9
Cangzhou 9
Kolkata 9
Legnano 9
Totale 7.601
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.912
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.162
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 528
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 494
Algoritmi e programmazione in pratica. Da specifiche a codice C 493
SAT solver management strategies in IC3: an experimental approach 487
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 483
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 465
NN2FPGA: Optimizing CNN Inference on FPGAs With Binary Integer Programming 453
Dal problema al programma. Introduzione al problem-solving in linguaggio C 431
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 428
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 422
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 421
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 409
Test Time Minimization in Reconfigurable Scan Networks 398
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 393
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 388
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 371
QEbu: an advanced graphical editor for the EBU Core metadata set 370
Interpolation-based learning as a mean to speed-up Bounded Model Checking 323
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 306
Improving bit-level model checking algorithms for scalability through circuit-based reasoning 300
Logic Synthesis for Interpolant Circuit Compaction 284
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 272
Hardware Model Checking Algorithms and Techniques 263
Reducing interpolant circuit size through SAT-based weakening 257
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 255
Test of Reconfigurable Modules in Scan Networks 245
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 216
Low-Power Subgraph Isomorphism at the Edge Using FPGAs 181
Manipulating Proof Certificate Invariants in the Presence of Model Transformations 33
Totale 13.443
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.465
article - articoli 10.275
book - libri 7.354
conference - conferenze 8.216
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 52.310
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202131 0 0 0 0 0 0 0 0 0 0 0 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.777 239 184 329 223 257 226 452 368 664 397 125 313
Totale 13.443