PORTO @ Archivio Istituzionale della Ricerca

PALENA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.926
NA - Nord America 2.123
AS - Asia 1.932
SA - Sud America 154
AF - Africa 22
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.165
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.094
IT - Italia 1.276
SG - Singapore 617
GB - Regno Unito 473
CN - Cina 415
VN - Vietnam 381
DE - Germania 341
FR - Francia 216
RU - Federazione Russa 186
BR - Brasile 112
HK - Hong Kong 103
KR - Corea 92
UA - Ucraina 63
AT - Austria 62
IN - India 61
TR - Turchia 58
ES - Italia 56
FI - Finlandia 50
BE - Belgio 39
IL - Israele 38
CH - Svizzera 35
IE - Irlanda 34
SE - Svezia 23
ID - Indonesia 22
JO - Giordania 22
JP - Giappone 22
MY - Malesia 19
NL - Olanda 17
AR - Argentina 16
CA - Canada 15
BD - Bangladesh 12
PH - Filippine 12
TW - Taiwan 12
IQ - Iraq 10
PT - Portogallo 10
TH - Thailandia 9
EU - Europa 7
MX - Messico 7
PL - Polonia 7
VE - Venezuela 7
ZA - Sudafrica 7
EC - Ecuador 6
AZ - Azerbaigian 5
CL - Cile 5
ET - Etiopia 5
NP - Nepal 5
AU - Australia 4
CO - Colombia 4
CZ - Repubblica Ceca 4
EE - Estonia 4
HR - Croazia 4
IR - Iran 4
RO - Romania 4
BY - Bielorussia 3
LT - Lituania 3
PK - Pakistan 3
SA - Arabia Saudita 3
AE - Emirati Arabi Uniti 2
HN - Honduras 2
LB - Libano 2
MA - Marocco 2
PA - Panama 2
PY - Paraguay 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
UZ - Uzbekistan 2
AL - Albania 1
AO - Angola 1
BH - Bahrain 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CY - Cipro 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
JM - Giamaica 1
KE - Kenya 1
KW - Kuwait 1
LK - Sri Lanka 1
LU - Lussemburgo 1
NZ - Nuova Zelanda 1
OM - Oman 1
PE - Perù 1
PS - Palestinian Territory 1
SI - Slovenia 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.165
Salva come PNG Salva come JPEG
Città #
Ashburn 532
Southend 431
Turin 421
Singapore 402
Torino 157
San Jose 139
Dallas 126
Chandler 113
Ho Chi Minh City 105
Hong Kong 88
Hefei 87
Hanoi 81
Milan 79
Ann Arbor 76
Fairfield 76
Seattle 71
Santa Clara 68
Beijing 57
Vienna 53
Seoul 52
Princeton 50
Boardman 43
San Ramon 43
Los Angeles 41
Cambridge 40
Brussels 39
Woodbridge 38
Wilmington 37
Houston 35
Berlin 34
Madrid 32
New York 32
Dublin 31
Helsinki 31
Jacksonville 31
Moscow 30
Munich 28
Bern 25
Istanbul 24
Rome 24
Izmir 22
Lauterbourg 22
Tel Aviv 20
Nuremberg 19
Tongling 19
Guangzhou 18
Bremen 17
Buffalo 16
Council Bluffs 15
Jerusalem 15
Shanghai 15
Turku 15
Da Nang 14
Haiphong 14
Jakarta 14
San Donato Milanese 14
São Paulo 12
Falls Church 11
Cangzhou 10
Zaporozhye 10
Zhengzhou 10
Kolkata 9
Lisbon 9
Murcia 9
North Bergen 9
Paris 9
Toronto 9
Trento 9
Des Moines 8
Giugliano in Campania 8
Hangzhou 8
San Antonio 8
Tokyo 8
Augusta 7
Carpi 7
Mountain View 7
Novara 7
Orem 7
Warsaw 7
Washington 7
Amman 6
Bologna 6
Bruino 6
Cagliari 6
Cuneo 6
Fremont 6
Getafe 6
Hải Dương 6
Johannesburg 6
The Dalles 6
Vicenza 6
Ames 5
Ankara 5
Baku 5
Basel 5
Basiano 5
Bến Tre 5
Cambiano 5
Columbus 5
Costabissara 5
Totale 4.487
Salva come PNG Salva come JPEG
Nome #
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 524
SAT solver management strategies in IC3: an experimental approach 474
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 455
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 420
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 413
Test Time Minimization in Reconfigurable Scan Networks 395
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 389
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 384
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 364
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 352
Interpolation-based learning as a mean to speed-up Bounded Model Checking 318
Logic Synthesis for Interpolant Circuit Compaction 277
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 274
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 253
Reducing interpolant circuit size through SAT-based weakening 248
Test of Reconfigurable Modules in Scan Networks 244
Edge-device Collaborative Computing for Multi-view Classification   243
Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking 242
Hardware Model Checking Algorithms and Techniques 241
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 240
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 207
SPIFF: Selective Preservation of Image Fidelity for Bandwidth-constrained Heterogeneous Networks 205
6G-INTENSE: Intent-Driven Native Artificial Intelligence Architecture Supporting Network-Compute Abstraction and Sensing at the Deep Edge 48
Descriptor: Context-Aware Collaborative Perception in Autonomous Driving Dataset (ConVeX) 26
Manipulating Proof Certificate Invariants in the Presence of Model Transformations 6
Totale 7.242
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.440
article - articoli 7.652
book - libri 0
conference - conferenze 7.231
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 30.323
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202139 0 0 0 0 0 0 0 0 0 0 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/20262.545 171 126 209 158 192 202 351 260 481 325 70 0
Totale 7.242