PORTO @ Archivio Istituzionale della Ricerca

PASINI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.199
NA - Nord America 2.440
AS - Asia 1.287
SA - Sud America 126
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 5
Totale 10.076
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.872
US - Stati Uniti d'America 2.409
GB - Regno Unito 804
DE - Germania 541
CN - Cina 439
SG - Singapore 425
FR - Francia 331
UA - Ucraina 127
BR - Brasile 103
TR - Turchia 93
KR - Corea 86
AT - Austria 85
IE - Irlanda 67
FI - Finlandia 62
NL - Olanda 48
CH - Svizzera 44
IN - India 44
IL - Israele 43
BE - Belgio 41
RU - Federazione Russa 41
SE - Svezia 41
EU - Europa 30
JO - Giordania 26
MY - Malesia 25
ID - Indonesia 22
HK - Hong Kong 21
VN - Vietnam 19
CA - Canada 17
PH - Filippine 11
BG - Bulgaria 9
ES - Italia 9
IR - Iran 9
TW - Taiwan 9
MX - Messico 8
PL - Polonia 8
RO - Romania 7
CZ - Repubblica Ceca 6
JP - Giappone 6
AR - Argentina 5
AU - Australia 5
BD - Bangladesh 5
CL - Cile 5
CO - Colombia 5
ZA - Sudafrica 4
AE - Emirati Arabi Uniti 3
BY - Bielorussia 3
EE - Estonia 3
GR - Grecia 3
HR - Croazia 3
LT - Lituania 3
MA - Marocco 3
NO - Norvegia 3
PK - Pakistan 3
AL - Albania 2
DO - Repubblica Dominicana 2
EC - Ecuador 2
EG - Egitto 2
ET - Etiopia 2
HN - Honduras 2
PE - Perù 2
VE - Venezuela 2
AZ - Azerbaigian 1
DK - Danimarca 1
IQ - Iraq 1
JM - Giamaica 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
PA - Panama 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
Totale 10.076
Salva come PNG Salva come JPEG
Città #
Turin 904
Southend 725
Ashburn 624
Torino 354
Singapore 250
Milan 235
Chandler 171
Seattle 106
Fairfield 97
Ann Arbor 96
Woodbridge 95
Rome 92
Santa Clara 85
Hefei 84
Princeton 79
Vienna 74
Boardman 69
Dublin 66
Beijing 62
Jacksonville 61
San Ramon 60
Dallas 58
Cambridge 54
Berlin 52
Wilmington 52
Izmir 50
Houston 40
Munich 40
Helsinki 39
Seoul 39
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
Jakarta 18
Turku 18
Catania 17
Florence 17
Jerusalem 17
Council Bluffs 16
Zaporozhye 16
Zhengzhou 16
Bologna 15
Des Moines 15
Cagliari 14
Genova 14
New York 14
Bari 13
Falls Church 13
Augusta 12
Carmagnola 12
Genoa 12
Mountain View 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
Toronto 10
Aosta 9
Bolzano 9
Bulandshahr 9
Cangzhou 9
Kolkata 9
Legnano 9
Malatya 9
Messina 9
Moncalieri 9
Nichelino 9
Parma 9
Sofia 9
São Paulo 9
Volpiano 9
Cadoneghe 8
Casale Monferrato 8
Chieri 8
Fremont 8
Giovinazzo 8
Ivrea 8
Napoli 8
Paris 8
Piossasco 8
Reggio Calabria 8
Totale 5.787
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.701
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.035
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 432
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 422
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 393
Algoritmi e programmazione in pratica. Da specifiche a codice C 388
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 380
SAT solver management strategies in IC3: an experimental approach 354
Dal problema al programma. Introduzione al problem-solving in linguaggio C 353
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 342
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 318
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 314
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 313
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 312
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 307
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 305
Test Time Minimization in Reconfigurable Scan Networks 305
QEbu: an advanced graphical editor for the EBU Core metadata set 294
NN2FPGA: Optimizing CNN Inference on FPGAs With Binary Integer Programming 249
Interpolation-based learning as a mean to speed-up Bounded Model Checking 242
Improving bit-level model checking algorithms for scalability through circuit-based reasoning 203
Logic Synthesis for Interpolant Circuit Compaction 197
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 184
Reducing interpolant circuit size through SAT-based weakening 177
Test of Reconfigurable Modules in Scan Networks 175
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 154
Hardware Model Checking Algorithms and Techniques 135
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 134
Low-Power Subgraph Isomorphism at the Edge Using FPGAs 46
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 7
Totale 10.171
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.613
article - articoli 7.415
book - libri 6.319
conference - conferenze 6.422
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 40.769
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021733 0 0 58 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/2026505 239 184 82 0 0 0 0 0 0 0 0 0
Totale 10.171