PORTO @ Archivio Istituzionale della Ricerca

PALENA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.323
NA - Nord America 1.452
AS - Asia 542
SA - Sud America 43
AF - Africa 5
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.371
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.443
IT - Italia 1.061
GB - Regno Unito 459
DE - Germania 297
SG - Singapore 207
FR - Francia 182
CN - Cina 128
UA - Ucraina 59
AT - Austria 58
KR - Corea 48
TR - Turchia 43
BE - Belgio 39
IL - Israele 36
BR - Brasile 35
IE - Irlanda 30
CH - Svizzera 28
RU - Federazione Russa 26
FI - Finlandia 25
SE - Svezia 18
JO - Giordania 17
IN - India 16
MY - Malesia 15
ID - Indonesia 13
NL - Olanda 11
CA - Canada 8
EU - Europa 7
HK - Hong Kong 7
EE - Estonia 4
IR - Iran 4
AU - Australia 3
BY - Bielorussia 3
CL - Cile 3
HR - Croazia 3
JP - Giappone 3
AE - Emirati Arabi Uniti 2
BD - Bangladesh 2
CO - Colombia 2
PL - Polonia 2
RO - Romania 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AL - Albania 1
AR - Argentina 1
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EG - Egitto 1
ET - Etiopia 1
HN - Honduras 1
KW - Kuwait 1
LU - Lussemburgo 1
MA - Marocco 1
NZ - Nuova Zelanda 1
PE - Perù 1
PK - Pakistan 1
TW - Taiwan 1
VE - Venezuela 1
Totale 4.371
Salva come PNG Salva come JPEG
Città #
Southend 431
Ashburn 365
Turin 319
Torino 157
Chandler 113
Singapore 83
Ann Arbor 76
Fairfield 76
Seattle 70
Milan 64
Santa Clara 63
Vienna 52
Princeton 50
Boardman 43
San Ramon 43
Cambridge 40
Brussels 39
Woodbridge 38
Wilmington 37
Houston 34
Berlin 32
Jacksonville 31
Dublin 30
Bern 25
Helsinki 23
Izmir 22
Beijing 20
Tel Aviv 19
Bremen 17
Istanbul 16
Guangzhou 15
Jerusalem 15
Nuremberg 15
San Donato Milanese 14
Seoul 14
Jakarta 13
Rome 13
Shanghai 12
Council Bluffs 11
Falls Church 11
Zaporozhye 10
Kolkata 9
New York 9
Trento 9
Zhengzhou 9
Des Moines 8
Giugliano in Campania 8
San Antonio 8
Augusta 7
Carpi 7
Mountain View 7
Novara 7
Paris 7
Toronto 7
Washington 7
Cagliari 6
Fremont 6
Ames 5
Basiano 5
Costabissara 5
Cuneo 5
Dearborn 5
Desio 5
Legnano 5
Limbiate 5
Malatya 5
Noicattaro 5
Piossasco 5
San Giuseppe Vesuviano 5
São Paulo 5
Vicenza 5
Baltimore 4
Chieri 4
Frankfurt 4
Karlsruhe 4
Los Angeles 4
Mahwah 4
Monopoli 4
Norwalk 4
Parma 4
Rettorgole 4
Savona 4
Tallinn 4
The Dalles 4
Almese 3
Bologna 3
Brindisi 3
Cangzhou 3
Carignano 3
Castellarano 3
Coazze 3
Fuzhou 3
Grodno 3
Hong Kong 3
Kunming 3
Laas 3
Leawood 3
Livorno Ferraris 3
Miami 3
Nanchang 3
Totale 2.862
Salva come PNG Salva come JPEG
Nome #
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 404
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 348
SAT solver management strategies in IC3: an experimental approach 321
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 319
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 292
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 286
Test Time Minimization in Reconfigurable Scan Networks 286
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 282
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 276
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 249
Interpolation-based learning as a mean to speed-up Bounded Model Checking 221
Logic Synthesis for Interpolant Circuit Compaction 170
Test of Reconfigurable Modules in Scan Networks 157
Reducing interpolant circuit size through SAT-based weakening 157
Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking 150
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 141
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 103
Hardware Model Checking Algorithms and Techniques 100
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 93
Edge-device Collaborative Computing for Multi-view Classification   79
Totale 4.434
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.093
article - articoli 4.771
book - libri 0
conference - conferenze 4.951
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 19.815
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202042 0 0 0 0 0 0 0 0 0 22 11 9
2020/2021322 33 45 11 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/2025812 41 89 68 93 74 81 65 113 153 35 0 0
Totale 4.434