PORTO @ Archivio Istituzionale della Ricerca

PALENA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.182
NA - Nord America 2.237
AS - Asia 1.979
SA - Sud America 155
AF - Africa 23
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.584
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.200
IT - Italia 1.513
SG - Singapore 622
GB - Regno Unito 475
CN - Cina 415
VN - Vietnam 381
DE - Germania 343
FR - Francia 216
RU - Federazione Russa 186
BR - Brasile 112
HK - Hong Kong 105
KR - Corea 94
AT - Austria 65
UA - Ucraina 64
ES - Italia 62
IN - India 62
TR - Turchia 58
FI - Finlandia 51
BD - Bangladesh 47
BE - Belgio 39
IL - Israele 38
CH - Svizzera 36
IE - Irlanda 34
SE - Svezia 25
JP - Giappone 24
CA - Canada 23
ID - Indonesia 22
JO - Giordania 22
MY - Malesia 19
NL - Olanda 17
AR - Argentina 16
PH - Filippine 12
TW - Taiwan 12
PT - Portogallo 11
IQ - Iraq 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
PE - Perù 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
PS - Palestinian Territory 1
RW - Ruanda 1
SI - Slovenia 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.584
Salva come PNG Salva come JPEG
Città #
Ashburn 544
Turin 439
Southend 431
Singapore 404
Milan 180
San Jose 168
Torino 157
Dallas 127
Chandler 113
Ho Chi Minh City 105
Hong Kong 88
Hefei 87
Hanoi 81
Ann Arbor 76
Fairfield 76
Seattle 73
Rome 71
Santa Clara 69
Beijing 57
Vienna 55
Seoul 52
Princeton 50
Los Angeles 46
Boardman 43
San Ramon 43
Cambridge 40
Brussels 39
Woodbridge 38
Wilmington 37
Madrid 36
Houston 35
New York 35
Berlin 34
Helsinki 32
Dublin 31
Jacksonville 31
Moscow 30
Munich 30
Bern 25
Istanbul 24
Figino 22
Izmir 22
Lauterbourg 22
Buffalo 20
Tel Aviv 20
Nuremberg 19
Tongling 19
Council Bluffs 18
Guangzhou 18
Bremen 17
Jerusalem 15
Shanghai 15
Turku 15
Da Nang 14
Haiphong 14
Jakarta 14
San Donato Milanese 14
Toronto 13
São Paulo 12
Falls Church 11
Cangzhou 10
Zaporozhye 10
Zhengzhou 10
Kolkata 9
Lisbon 9
Murcia 9
North Bergen 9
Paris 9
Trento 9
Bologna 8
Des Moines 8
Giugliano in Campania 8
Hangzhou 8
San Antonio 8
Tokyo 8
Washington 8
Augusta 7
Carpi 7
Cuneo 7
Mountain View 7
Novara 7
Orem 7
Warsaw 7
Amman 6
Bruino 6
Cagliari 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
Totale 4.749
Salva come PNG Salva come JPEG
Nome #
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 529
SAT solver management strategies in IC3: an experimental approach 490
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 473
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 429
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 423
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 411
Test Time Minimization in Reconfigurable Scan Networks 399
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 395
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 373
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 356
Interpolation-based learning as a mean to speed-up Bounded Model Checking 324
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 315
Logic Synthesis for Interpolant Circuit Compaction 287
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 276
Hardware Model Checking Algorithms and Techniques 271
Edge-device Collaborative Computing for Multi-view Classification   267
Reducing interpolant circuit size through SAT-based weakening 259
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 256
Test of Reconfigurable Modules in Scan Networks 251
Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking 248
SPIFF: Selective Preservation of Image Fidelity for Bandwidth-constrained Heterogeneous Networks 235
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 222
Descriptor: Context-Aware Collaborative Perception in Autonomous Driving Dataset (ConVeX) 65
6G-INTENSE: Intent-Driven Native Artificial Intelligence Architecture Supporting Network-Compute Abstraction and Sensing at the Deep Edge 58
Manipulating Proof Certificate Invariants in the Presence of Model Transformations 45
Formal Property Verification 10
Totale 7.667
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.559
article - articoli 8.368
book - libri 0
conference - conferenze 7.575
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 28
Totale 32.530
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.910 171 126 209 158 192 202 351 260 481 325 129 306
2026/202760 60 0 0 0 0 0 0 0 0 0 0 0
Totale 7.667