PORTO @ Archivio Istituzionale della Ricerca

PALENA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.214
NA - Nord America 2.337
AS - Asia 2.005
SA - Sud America 155
Continente sconosciuto - Info sul continente non disponibili 89
AF - Africa 23
OC - Oceania 5
Totale 7.828
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.288
IT - Italia 1.540
SG - Singapore 624
GB - Regno Unito 476
CN - Cina 416
VN - Vietnam 381
DE - Germania 344
FR - Francia 216
RU - Federazione Russa 186
BR - Brasile 112
HK - Hong Kong 106
KR - Corea 94
AT - Austria 65
BD - Bangladesh 65
UA - Ucraina 64
IN - India 63
ES - Italia 62
TR - Turchia 58
FI - Finlandia 51
BE - Belgio 39
IL - Israele 38
CH - Svizzera 36
IE - Irlanda 34
SE - Svezia 28
CA - Canada 27
ID - Indonesia 24
JP - Giappone 24
JO - Giordania 22
MY - Malesia 20
NL - Olanda 17
AR - Argentina 16
PH - Filippine 12
TW - Taiwan 12
PT - Portogallo 11
IQ - Iraq 10
TH - Thailandia 9
MX - Messico 8
EU - Europa 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
JM - Giamaica 4
RO - Romania 4
BY - Bielorussia 3
LT - Lituania 3
PK - Pakistan 3
SA - Arabia Saudita 3
AE - Emirati Arabi Uniti 2
CR - Costa Rica 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
CY - Cipro 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
GT - Guatemala 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
TT - Trinidad e Tobago 1
UY - Uruguay 1
VG - Isole Vergini Britanniche 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.742
Salva come PNG Salva come JPEG
Città #
Ashburn 553
Turin 445
Southend 431
Singapore 404
Milan 180
San Jose 171
Torino 157
Dallas 129
Chandler 113
Ho Chi Minh City 105
Hong Kong 88
Hefei 87
Hanoi 81
Ann Arbor 76
Fairfield 76
Santa Clara 73
Seattle 73
Rome 72
Beijing 57
Vienna 55
Seoul 52
Princeton 50
Los Angeles 49
Boardman 43
San Ramon 43
Cambridge 40
Brussels 39
Woodbridge 38
New York 37
Wilmington 37
Madrid 36
Council Bluffs 35
Houston 35
Berlin 34
Helsinki 32
Dublin 31
Jacksonville 31
Moscow 30
Munich 30
Bern 25
Istanbul 24
Figino 22
Izmir 22
Lauterbourg 22
Buffalo 21
Tel Aviv 20
Nuremberg 19
Tongling 19
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
Phoenix 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
Chicago 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
Totale 4.803
Salva come PNG Salva come JPEG
Nome #
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 531
SAT solver management strategies in IC3: an experimental approach 496
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 476
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 433
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 429
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 417
Test Time Minimization in Reconfigurable Scan Networks 403
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 399
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 377
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 359
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 329
Interpolation-based learning as a mean to speed-up Bounded Model Checking 328
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 293
Logic Synthesis for Interpolant Circuit Compaction 288
Hardware Model Checking Algorithms and Techniques 274
Edge-device Collaborative Computing for Multi-view Classification   273
Reducing interpolant circuit size through SAT-based weakening 262
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 257
Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking 254
Test of Reconfigurable Modules in Scan Networks 251
SPIFF: Selective Preservation of Image Fidelity for Bandwidth-constrained Heterogeneous Networks 242
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 228
Descriptor: Context-Aware Collaborative Perception in Autonomous Driving Dataset (ConVeX) 78
6G-INTENSE: Intent-Driven Native Artificial Intelligence Architecture Supporting Network-Compute Abstraction and Sensing at the Deep Edge 65
Manipulating Proof Certificate Invariants in the Presence of Model Transformations 56
Formal Property Verification 30
Totale 7.828
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.442
article - articoli 8.883
book - libri 0
conference - conferenze 7.844
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 101
Totale 34.270
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022255 0 0 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/2027221 100 88 33 0 0 0 0 0 0 0 0 0
Totale 7.828