PORTO @ Archivio Istituzionale della Ricerca

PASINI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.282
NA - Nord America 2.588
AS - Asia 1.489
SA - Sud America 146
AF - Africa 19
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 6
Totale 10.537
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.936
US - Stati Uniti d'America 2.553
GB - Regno Unito 804
SG - Singapore 547
DE - Germania 546
CN - Cina 476
FR - Francia 335
UA - Ucraina 127
BR - Brasile 117
TR - Turchia 99
KR - Corea 98
AT - Austria 85
IE - Irlanda 67
FI - Finlandia 64
NL - Olanda 52
IN - India 47
CH - Svizzera 44
IL - Israele 43
BE - Belgio 41
RU - Federazione Russa 41
SE - Svezia 41
HK - Hong Kong 33
EU - Europa 30
JO - Giordania 26
MY - Malesia 26
VN - Vietnam 24
ID - Indonesia 22
CA - Canada 19
PH - Filippine 11
BG - Bulgaria 9
ES - Italia 9
IR - Iran 9
PL - Polonia 9
RO - Romania 9
TW - Taiwan 9
AR - Argentina 8
MX - Messico 8
JP - Giappone 7
AU - Australia 6
BD - Bangladesh 6
CO - Colombia 6
CZ - Repubblica Ceca 6
CL - Cile 5
ZA - Sudafrica 5
EC - Ecuador 4
EG - Egitto 4
AE - Emirati Arabi Uniti 3
BY - Bielorussia 3
EE - Estonia 3
ET - Etiopia 3
GR - Grecia 3
HR - Croazia 3
LT - Lituania 3
MA - Marocco 3
NO - Norvegia 3
PK - Pakistan 3
AL - Albania 2
AZ - Azerbaigian 2
DO - Repubblica Dominicana 2
HN - Honduras 2
PE - Perù 2
VE - Venezuela 2
AO - Angola 1
BB - Barbados 1
CR - Costa Rica 1
DK - Danimarca 1
IQ - Iraq 1
JM - Giamaica 1
KE - Kenya 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
NP - Nepal 1
PA - Panama 1
PT - Portogallo 1
PY - Paraguay 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TH - Thailandia 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 10.537
Salva come PNG Salva come JPEG
Città #
Turin 937
Southend 725
Ashburn 631
Torino 354
Singapore 331
Milan 237
Chandler 171
Dallas 158
Seattle 106
Fairfield 97
Ann Arbor 96
Woodbridge 95
Rome 94
Hefei 90
Santa Clara 87
Princeton 79
Beijing 75
Vienna 74
Boardman 69
Dublin 66
Jacksonville 61
San Ramon 60
Cambridge 54
Berlin 52
Wilmington 52
Seoul 51
Izmir 50
Helsinki 40
Houston 40
Munich 40
Brussels 33
Naples 33
Bern 32
Bremen 30
Istanbul 28
Novara 26
Tongling 26
Tel Aviv 25
San Donato Milanese 23
Guangzhou 22
Nuremberg 21
Palermo 21
Shanghai 21
Hong Kong 19
Jakarta 18
Turku 18
Buffalo 17
Catania 17
Florence 17
Jerusalem 17
Council Bluffs 16
Zaporozhye 16
Zhengzhou 16
Bologna 15
Des Moines 15
Los Angeles 15
New York 15
Cagliari 14
Genova 14
Bari 13
Falls Church 13
Augusta 12
Carmagnola 12
Genoa 12
Mountain View 12
Toronto 12
Vicenza 12
Frankfurt 11
Lecce 11
Redwood City 11
Trento 11
Amsterdam 10
Carpi 10
Cuneo 10
London 10
Rotterdam 10
Salerno 10
Saluzzo 10
San Antonio 10
Aosta 9
Bolzano 9
Bulandshahr 9
Cangzhou 9
Kolkata 9
Legnano 9
Malatya 9
Messina 9
Moncalieri 9
Nichelino 9
Parma 9
Redondo Beach 9
Sofia 9
São Paulo 9
Volpiano 9
Cadoneghe 8
Casale Monferrato 8
Chieri 8
Fremont 8
Giovinazzo 8
Hanoi 8
Totale 6.077
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.723
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.061
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 439
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 429
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 407
Algoritmi e programmazione in pratica. Da specifiche a codice C 404
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 395
SAT solver management strategies in IC3: an experimental approach 379
Dal problema al programma. Introduzione al problem-solving in linguaggio C 360
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 353
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 330
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 329
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 320
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 320
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 319
Test Time Minimization in Reconfigurable Scan Networks 315
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 310
QEbu: an advanced graphical editor for the EBU Core metadata set 302
NN2FPGA: Optimizing CNN Inference on FPGAs With Binary Integer Programming 286
Interpolation-based learning as a mean to speed-up Bounded Model Checking 253
Improving bit-level model checking algorithms for scalability through circuit-based reasoning 215
Logic Synthesis for Interpolant Circuit Compaction 209
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 194
Reducing interpolant circuit size through SAT-based weakening 190
Test of Reconfigurable Modules in Scan Networks 183
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 180
Hardware Model Checking Algorithms and Techniques 157
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 153
Low-Power Subgraph Isomorphism at the Edge Using FPGAs 69
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 50
Totale 10.634
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.673
article - articoli 7.927
book - libri 6.518
conference - conferenze 6.742
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 42.860
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021675 0 0 0 90 43 90 54 112 119 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/2026968 239 184 329 216 0 0 0 0 0 0 0 0
Totale 10.634