PORTO @ Archivio Istituzionale della Ricerca

PALENA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.172
NA - Nord America 1.357
AS - Asia 358
SA - Sud America 7
OC - Oceania 4
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.902
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.348
IT - Italia 962
GB - Regno Unito 459
DE - Germania 282
FR - Francia 181
CN - Cina 116
SG - Singapore 92
UA - Ucraina 58
KR - Corea 43
TR - Turchia 43
BE - Belgio 39
AT - Austria 38
IE - Irlanda 30
CH - Svizzera 28
RU - Federazione Russa 23
SE - Svezia 18
FI - Finlandia 16
JO - Giordania 16
MY - Malesia 15
ID - Indonesia 13
NL - Olanda 11
CA - Canada 8
EU - Europa 7
IN - India 7
HK - Hong Kong 4
IR - Iran 4
AU - Australia 3
BY - Bielorussia 3
CL - Cile 3
EE - Estonia 3
HR - Croazia 3
JP - Giappone 3
BR - Brasile 2
IL - Israele 2
RO - Romania 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AR - Argentina 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EG - Egitto 1
ET - Etiopia 1
HN - Honduras 1
LU - Lussemburgo 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PL - Polonia 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
Totale 3.902
Salva come PNG Salva come JPEG
Città #
Southend 431
Ashburn 362
Turin 256
Torino 157
Chandler 113
Ann Arbor 76
Fairfield 76
Seattle 70
Singapore 66
Milan 52
Princeton 50
Boardman 43
San Ramon 43
Cambridge 40
Brussels 39
Vienna 38
Woodbridge 38
Wilmington 37
Houston 34
Berlin 32
Jacksonville 31
Dublin 30
Bern 25
Izmir 22
Beijing 19
Bremen 17
Istanbul 16
Guangzhou 15
Helsinki 15
Santa Clara 15
San Donato Milanese 14
Seoul 14
Jakarta 13
Shanghai 12
Falls Church 11
Rome 10
Zaporozhye 10
New York 9
Trento 9
Zhengzhou 9
Des Moines 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
Costabissara 5
Cuneo 5
Dearborn 5
Desio 5
Legnano 5
Limbiate 5
Malatya 5
Noicattaro 5
Piossasco 5
San Giuseppe Vesuviano 5
Vicenza 5
Baltimore 4
Chieri 4
Frankfurt 4
Karlsruhe 4
Mahwah 4
Monopoli 4
Norwalk 4
Parma 4
Rettorgole 4
Savona 4
Almese 3
Bologna 3
Brindisi 3
Carignano 3
Castellarano 3
Coazze 3
Fuzhou 3
Grodno 3
Laas 3
Leawood 3
Miami 3
Nanchang 3
Natick 3
Pavia 3
Pennsylvania Furnace 3
Redwood City 3
Rotterdam 3
Saint Petersburg 3
San Diego 3
San Mateo 3
Secunderabad 3
Shenyang 3
Shenzhen 3
Tallinn 3
Yubileyny 3
Zagreb 3
Amsterdam 2
Totale 2.626
Salva come PNG Salva come JPEG
Nome #
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 390
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 333
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 302
SAT solver management strategies in IC3: an experimental approach 289
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 273
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 270
Test Time Minimization in Reconfigurable Scan Networks 267
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 262
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 259
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 233
Interpolation-based learning as a mean to speed-up Bounded Model Checking 203
Logic Synthesis for Interpolant Circuit Compaction 152
Test of Reconfigurable Modules in Scan Networks 145
Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking 144
Reducing interpolant circuit size through SAT-based weakening 141
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking 118
Hardware Model Checking Algorithms and Techniques 60
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 47
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening 43
Edge-device Collaborative Computing for Multi-view Classification   27
Totale 3.958
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.709
article - articoli 3.934
book - libri 0
conference - conferenze 4.446
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 17.089
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020325 0 0 0 0 70 47 61 51 54 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/2025336 41 89 68 93 45 0 0 0 0 0 0 0
Totale 3.958