PORTO @ Archivio Istituzionale della Ricerca

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021233 0 0 0 26 8 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/2026529 171 126 209 23 0 0 0 0 0 0 0 0
Totale 5.226