PORTO @ Archivio Istituzionale della Ricerca

PASINI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.262
NA - Nord America 3.306
AS - Asia 2.811
SA - Sud America 214
Continente sconosciuto - Info sul continente non disponibili 111
AF - Africa 45
OC - Oceania 7
Totale 13.756
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 4.538
US - Stati Uniti d'America 3.228
SG - Singapore 837
GB - Regno Unito 828
VN - Vietnam 596
DE - Germania 562
CN - Cina 554
FR - Francia 377
RU - Federazione Russa 269
BR - Brasile 155
KR - Corea 135
UA - Ucraina 133
HK - Hong Kong 128
TR - Turchia 107
IN - India 96
BD - Bangladesh 90
AT - Austria 89
FI - Finlandia 79
IE - Irlanda 69
NL - Olanda 59
CH - Svizzera 51
IL - Israele 45
SE - Svezia 44
BE - Belgio 41
CA - Canada 39
ID - Indonesia 32
EU - Europa 30
JO - Giordania 30
MY - Malesia 27
JP - Giappone 25
PH - Filippine 25
TW - Taiwan 23
AR - Argentina 17
MX - Messico 16
TH - Thailandia 16
ES - Italia 13
PL - Polonia 13
IQ - Iraq 12
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
CR - Costa Rica 5
DO - Repubblica Dominicana 5
LT - Lituania 5
PA - Panama 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
AZ - Azerbaigian 4
GR - Grecia 4
PE - Perù 4
SN - Senegal 4
TN - Tunisia 4
BY - Bielorussia 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
JM - Giamaica 2
KE - Kenya 2
LB - Libano 2
PS - Palestinian Territory 2
AI - Anguilla 1
AO - Angola 1
BB - Barbados 1
BH - Bahrain 1
BJ - Benin 1
BO - Bolivia 1
CY - Cipro 1
DK - Danimarca 1
GT - Guatemala 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
VG - Isole Vergini Britanniche 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 13.652
Salva come PNG Salva come JPEG
Città #
Turin 1.061
Ashburn 755
Southend 725
Singapore 535
Milan 410
Torino 354
San Jose 229
Rome 184
Dallas 181
Chandler 171
Ho Chi Minh City 166
Hanoi 135
Hefei 116
Seattle 107
Santa Clara 105
Fairfield 97
Hong Kong 97
Ann Arbor 96
Woodbridge 95
Princeton 79
Seoul 78
Beijing 77
Vienna 76
Boardman 71
Dublin 67
Jacksonville 61
Los Angeles 60
San Ramon 60
Cambridge 54
Berlin 52
Wilmington 52
Izmir 50
Helsinki 48
Munich 48
Moscow 43
Naples 42
Houston 41
New York 40
Council Bluffs 38
Istanbul 35
Brussels 33
Bern 32
Bremen 30
Lauterbourg 29
Novara 27
Tel Aviv 26
Tongling 26
Shanghai 25
Bologna 23
Buffalo 23
Catania 23
Palermo 23
San Donato Milanese 23
Turku 23
Da Nang 22
Figino 22
Guangzhou 22
Nuremberg 22
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
Tokyo 12
Amsterdam 11
Cuneo 11
Frankfurt 11
Lecce 11
Redwood City 11
San Antonio 11
Trento 11
Carpi 10
Chicago 10
Hải Dương 10
Messina 10
Rotterdam 10
Salerno 10
Saluzzo 10
Sofia 10
Aosta 9
Bolzano 9
Bruino 9
Bulandshahr 9
Cangzhou 9
Totale 7.775
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.935
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.177
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 530
Algoritmi e programmazione in pratica. Da specifiche a codice C 507
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 501
SAT solver management strategies in IC3: an experimental approach 495
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 489
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 476
NN2FPGA: Optimizing CNN Inference on FPGAs With Binary Integer Programming 473
Dal problema al programma. Introduzione al problem-solving in linguaggio C 440
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 438
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 432
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 429
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 417
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 403
Test Time Minimization in Reconfigurable Scan Networks 403
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 397
QEbu: an advanced graphical editor for the EBU Core metadata set 375
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 374
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 327
Interpolation-based learning as a mean to speed-up Bounded Model Checking 326
Improving bit-level model checking algorithms for scalability through circuit-based reasoning 302
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 290
Logic Synthesis for Interpolant Circuit Compaction 288
Hardware Model Checking Algorithms and Techniques 274
Reducing interpolant circuit size through SAT-based weakening 261
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 256
Test of Reconfigurable Modules in Scan Networks 251
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 226
Low-Power Subgraph Isomorphism at the Edge Using FPGAs 185
Manipulating Proof Certificate Invariants in the Presence of Model Transformations 51
Formal Property Verification 28
Totale 13.756
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.516
article - articoli 10.807
book - libri 7.517
conference - conferenze 8.472
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 84
Totale 54.396
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022650 0 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.872 239 184 329 223 257 226 452 368 664 397 125 408
2026/2027218 122 96 0 0 0 0 0 0 0 0 0 0
Totale 13.756