PORTO @ Archivio Istituzionale della Ricerca

VENDRAMINETTO, DANILO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.598
NA - Nord America 2.388
AS - Asia 1.028
SA - Sud America 93
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 9.127
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.486
US - Stati Uniti d'America 2.359
GB - Regno Unito 711
DE - Germania 488
FR - Francia 370
SG - Singapore 315
CN - Cina 310
UA - Ucraina 121
TR - Turchia 90
BR - Brasile 77
KR - Corea 69
AT - Austria 65
IE - Irlanda 65
FI - Finlandia 50
IL - Israele 43
NL - Olanda 42
VN - Vietnam 41
CH - Svizzera 40
HK - Hong Kong 39
RU - Federazione Russa 36
SE - Svezia 30
EU - Europa 27
BE - Belgio 23
JO - Giordania 22
MY - Malesia 22
IN - India 19
CA - Canada 17
JP - Giappone 14
AE - Emirati Arabi Uniti 11
PH - Filippine 11
TW - Taiwan 10
ID - Indonesia 8
MX - Messico 8
AR - Argentina 7
BG - Bulgaria 7
IR - Iran 7
RO - Romania 7
ES - Italia 4
AU - Australia 3
BY - Bielorussia 3
CO - Colombia 3
CZ - Repubblica Ceca 3
MA - Marocco 3
ZA - Sudafrica 3
AL - Albania 2
CL - Cile 2
HR - Croazia 2
IQ - Iraq 2
LV - Lettonia 2
NO - Norvegia 2
SA - Arabia Saudita 2
SN - Senegal 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CU - Cuba 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
EE - Estonia 1
EG - Egitto 1
GR - Grecia 1
JM - Giamaica 1
KZ - Kazakistan 1
LT - Lituania 1
PE - Perù 1
PK - Pakistan 1
PL - Polonia 1
PY - Paraguay 1
TN - Tunisia 1
UY - Uruguay 1
Totale 9.127
Salva come PNG Salva come JPEG
Città #
Turin 755
Southend 638
Ashburn 576
Torino 375
Singapore 197
Milan 187
Chandler 152
Ann Arbor 112
Seattle 107
Woodbridge 107
Fairfield 102
Dallas 87
Princeton 76
Rome 76
Santa Clara 76
Dublin 64
Boardman 60
Jacksonville 60
Beijing 58
Hefei 55
Izmir 54
San Ramon 54
Vienna 54
Houston 53
Cambridge 51
Berlin 49
Wilmington 49
Helsinki 40
Novara 40
Bremen 30
Bern 29
Des Moines 27
Seoul 27
Munich 25
Hong Kong 24
Naples 24
Tel Aviv 23
San Donato Milanese 22
Istanbul 21
Tongling 21
Genova 20
New York 20
Palermo 19
Council Bluffs 18
Genoa 18
Mountain View 18
Buffalo 16
Catania 16
Florence 16
Zaporozhye 16
Fremont 15
Vicenza 15
Brussels 14
Falls Church 14
Los Angeles 14
Augusta 13
Bari 13
Bologna 12
Cagliari 12
London 12
Shanghai 12
Zhengzhou 12
Ho Chi Minh City 11
Jerusalem 11
Lecce 11
Malatya 11
Redwood City 11
Amsterdam 10
Carmagnola 10
Dearborn 10
Nuremberg 10
Salerno 10
Saluzzo 10
Tokyo 10
Turku 10
Aosta 9
Baltimore 9
Bolzano 9
Bulandshahr 9
Frankfurt 9
Guangzhou 9
Monopoli 9
Piscataway 9
Toronto 9
Trento 9
Volpiano 9
Alessandria 8
Chicago 8
Cuneo 8
Giovinazzo 8
Napoli 8
Nichelino 8
Reggio Calabria 8
Rotterdam 8
Sassari 8
Asti 7
Biot 7
Cadoneghe 7
Carpi 7
Imola 7
Totale 5.313
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.714
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.056
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 436
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 425
Embedded Systems Secure Path Verification at the HW/SW Interface 405
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 404
Algoritmi e programmazione in pratica. Da specifiche a codice C 400
Secure Path Verification 362
Dal problema al programma. Introduzione al problem-solving in linguaggio C 357
Formal Verification of Embedded Systems for Remote Attestation 349
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 348
Secure Embedded Architectures: Taint Properties Verification 345
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 336
Advanced Techniques for Bit-Level Model Checking 336
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 325
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 322
Optimization techniques for craig interpolant compaction in unbounded model checking 316
Interpolation-based learning as a mean to speed-up Bounded Model Checking 248
Logic Synthesis for Interpolant Circuit Compaction 206
Reducing interpolant circuit size through SAT-based weakening 184
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 158
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 146
Totale 9.178
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.346
article - articoli 5.482
book - libri 6.440
conference - conferenze 5.710
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 35.978
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021632 0 0 0 104 38 76 43 95 100 65 78 33
2021/2022581 48 35 41 56 45 37 16 70 63 35 58 77
2022/2023731 44 89 26 95 78 93 55 61 94 26 38 32
2023/2024502 33 12 59 70 44 52 29 37 33 27 57 49
2024/2025990 28 98 57 95 65 75 33 94 153 68 79 145
2025/2026462 124 124 197 17 0 0 0 0 0 0 0 0
Totale 9.178