PORTO @ Archivio Istituzionale della Ricerca

PALENA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.476
NA - Nord America 1.760
AS - Asia 1.144
SA - Sud America 119
AF - Africa 11
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.517
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.742
IT - Italia 1.139
GB - Regno Unito 465
SG - Singapore 452
CN - Cina 350
DE - Germania 330
FR - Francia 184
BR - Brasile 88
KR - Corea 68
AT - Austria 61
UA - Ucraina 60
TR - Turchia 56
BE - Belgio 39
FI - Finlandia 39
VN - Vietnam 39
IL - Israele 37
HK - Hong Kong 30
IE - Irlanda 30
CH - Svizzera 28
RU - Federazione Russa 28
IN - India 27
SE - Svezia 20
MY - Malesia 19
ID - Indonesia 18
JO - Giordania 18
AR - Argentina 12
NL - Olanda 11
CA - Canada 9
JP - Giappone 8
EU - Europa 7
BD - Bangladesh 6
PL - Polonia 6
ZA - Sudafrica 6
MX - Messico 5
VE - Venezuela 5
CZ - Repubblica Ceca 4
EC - Ecuador 4
EE - Estonia 4
IR - Iran 4
RO - Romania 4
AU - Australia 3
AZ - Azerbaigian 3
BY - Bielorussia 3
CL - Cile 3
CO - Colombia 3
HR - Croazia 3
AE - Emirati Arabi Uniti 2
ET - Etiopia 2
HN - Honduras 2
IQ - Iraq 2
LT - Lituania 2
NP - Nepal 2
PY - Paraguay 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
AL - Albania 1
AO - Angola 1
DK - Danimarca 1
EG - Egitto 1
JM - Giamaica 1
KW - Kuwait 1
LB - Libano 1
LU - Lussemburgo 1
MA - Marocco 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PK - Pakistan 1
PT - Portogallo 1
SA - Arabia Saudita 1
TH - Thailandia 1
TW - Taiwan 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 5.517
Salva come PNG Salva come JPEG
Città #
Ashburn 461
Southend 431
Turin 357
Singapore 281
Torino 157
Chandler 113
Dallas 110
Ann Arbor 76
Fairfield 76
Seattle 71
Milan 70
Hefei 67
Santa Clara 65
Beijing 55
Vienna 53
Princeton 50
Boardman 43
San Ramon 43
Cambridge 40
Brussels 39
Woodbridge 38
Wilmington 37
Houston 35
Berlin 32
Seoul 32
Jacksonville 31
Dublin 30
Hong Kong 26
Munich 26
Bern 25
Helsinki 24
Istanbul 22
Izmir 22
Tel Aviv 19
Tongling 19
Nuremberg 18
Bremen 17
Guangzhou 17
Rome 17
Los Angeles 16
Buffalo 15
Jerusalem 15
Ho Chi Minh City 14
Jakarta 14
San Donato Milanese 14
Shanghai 14
New York 12
Turku 12
Council Bluffs 11
Falls Church 11
Cangzhou 10
Zaporozhye 10
Zhengzhou 10
Kolkata 9
São Paulo 9
Trento 9
Des Moines 8
Giugliano in Campania 8
North Bergen 8
San Antonio 8
Toronto 8
Augusta 7
Carpi 7
Mountain View 7
Novara 7
Paris 7
Washington 7
Cagliari 6
Fremont 6
Hanoi 6
Johannesburg 6
The Dalles 6
Vicenza 6
Warsaw 6
Ames 5
Ankara 5
Basiano 5
Costabissara 5
Cuneo 5
Dearborn 5
Desio 5
Galliera 5
Legnano 5
Limbiate 5
Malatya 5
Noicattaro 5
Piossasco 5
Redondo Beach 5
San Giuseppe Vesuviano 5
Tokyo 5
Baltimore 4
Bengaluru 4
Brasília 4
Bruino 4
Chieri 4
Columbus 4
Falkenstein 4
Frankfurt 4
Fuzhou 4
Karlsruhe 4
Totale 3.594
Salva come PNG Salva come JPEG
Nome #
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 446
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 403
SAT solver management strategies in IC3: an experimental approach 395
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 362
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 345
Test Time Minimization in Reconfigurable Scan Networks 339
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 329
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 327
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 317
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 284
Interpolation-based learning as a mean to speed-up Bounded Model Checking 262
Logic Synthesis for Interpolant Circuit Compaction 213
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 200
Reducing interpolant circuit size through SAT-based weakening 195
Test of Reconfigurable Modules in Scan Networks 191
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 189
Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking 187
Hardware Model Checking Algorithms and Techniques 164
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 163
Edge-device Collaborative Computing for Multi-view Classification   158
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 83
6G-INTENSE: Intent-Driven Native Artificial Intelligence Architecture Supporting Network-Compute Abstraction and Sensing at the Deep Edge 32
SPIFF: Selective Preservation of Image Fidelity for Bandwidth-constrained Heterogeneous Networks 1
Totale 5.585
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.931
article - articoli 6.414
book - libri 0
conference - conferenze 6.039
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 25.384
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021199 0 0 0 0 0 41 19 36 37 27 32 7
2021/2022308 22 31 5 24 11 28 21 10 39 13 39 65
2022/2023432 27 64 9 45 38 88 26 31 55 4 17 28
2023/2024261 9 3 20 23 23 38 13 21 17 20 36 38
2024/20251.075 41 89 68 93 74 81 65 113 153 53 98 147
2025/2026888 171 126 209 158 192 32 0 0 0 0 0 0
Totale 5.585