PORTO @ Archivio Istituzionale della Ricerca

VENDRAMINETTO, DANILO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.308
NA - Nord America 3.128
AS - Asia 2.052
SA - Sud America 146
Continente sconosciuto - Info sul continente non disponibili 58
AF - Africa 28
OC - Oceania 3
Totale 11.723
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.910
US - Stati Uniti d'America 3.050
GB - Regno Unito 735
SG - Singapore 579
DE - Germania 499
VN - Vietnam 486
FR - Francia 404
CN - Cina 394
RU - Federazione Russa 205
UA - Ucraina 125
BR - Brasile 106
HK - Hong Kong 103
KR - Corea 94
TR - Turchia 93
IE - Irlanda 67
AT - Austria 65
FI - Finlandia 63
IN - India 51
NL - Olanda 48
CA - Canada 45
IL - Israele 45
CH - Svizzera 40
SE - Svezia 34
EU - Europa 27
BD - Bangladesh 26
MY - Malesia 25
PH - Filippine 25
BE - Belgio 24
JP - Giappone 24
JO - Giordania 23
TW - Taiwan 21
AR - Argentina 16
AE - Emirati Arabi Uniti 12
MX - Messico 12
ID - Indonesia 11
IQ - Iraq 11
ES - Italia 10
TH - Thailandia 10
IR - Iran 8
RO - Romania 8
BG - Bulgaria 7
CO - Colombia 7
CL - Cile 6
CR - Costa Rica 5
MA - Marocco 5
PK - Pakistan 5
TN - Tunisia 5
AL - Albania 4
CZ - Repubblica Ceca 4
PL - Polonia 4
SA - Arabia Saudita 4
SN - Senegal 4
ZA - Sudafrica 4
AU - Australia 3
AZ - Azerbaigian 3
BY - Bielorussia 3
DO - Repubblica Dominicana 3
EG - Egitto 3
PA - Panama 3
PE - Perù 3
BH - Bahrain 2
CW - ???statistics.table.value.countryCode.CW??? 2
DZ - Algeria 2
EC - Ecuador 2
EE - Estonia 2
ET - Etiopia 2
HR - Croazia 2
KZ - Kazakistan 2
LT - Lituania 2
LV - Lettonia 2
NI - Nicaragua 2
NO - Norvegia 2
OM - Oman 2
PR - Porto Rico 2
PY - Paraguay 2
VE - Venezuela 2
AF - Afghanistan, Repubblica islamica di 1
AI - Anguilla 1
AO - Angola 1
BO - Bolivia 1
BZ - Belize 1
CI - Costa d'Avorio 1
CU - Cuba 1
DK - Danimarca 1
GR - Grecia 1
HN - Honduras 1
HU - Ungheria 1
JM - Giamaica 1
KE - Kenya 1
KY - Cayman, isole 1
LB - Libano 1
LK - Sri Lanka 1
NP - Nepal 1
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
Totale 11.672
Salva come PNG Salva come JPEG
Città #
Turin 840
Ashburn 793
Southend 638
Torino 375
Singapore 373
Milan 303
San Jose 167
Chandler 152
Rome 144
Ho Chi Minh City 143
Ann Arbor 112
Hanoi 111
Seattle 109
Woodbridge 107
Dallas 103
Fairfield 102
Santa Clara 86
Hong Kong 78
Hefei 76
Princeton 76
Beijing 69
Dublin 65
Boardman 60
Jacksonville 60
Izmir 54
San Ramon 54
Vienna 54
Houston 53
Cambridge 51
Berlin 50
Wilmington 49
Helsinki 48
Seoul 46
Council Bluffs 43
Novara 41
Los Angeles 36
Chicago 33
Moscow 33
Bremen 30
Bern 29
Munich 29
Naples 29
Des Moines 27
New York 27
Tel Aviv 24
Lauterbourg 22
San Donato Milanese 22
Genoa 21
Istanbul 21
Tongling 21
Genova 20
Haiphong 20
Palermo 20
Bologna 19
London 19
Catania 18
Da Nang 18
Mountain View 18
Buffalo 17
Florence 17
Toronto 17
Vicenza 17
Bari 16
Fremont 16
Shanghai 16
Tokyo 16
Zaporozhye 16
Brussels 15
Falls Church 14
North Bergen 14
Turku 14
Augusta 13
Cagliari 12
Zhengzhou 12
Amsterdam 11
Guangzhou 11
Jerusalem 11
Lecce 11
Malatya 11
Redwood City 11
Carmagnola 10
Dearborn 10
Modena 10
Nuremberg 10
Piscataway 10
Salerno 10
Saluzzo 10
Aosta 9
Baltimore 9
Bolzano 9
Bulandshahr 9
Frankfurt 9
Monopoli 9
Perugia 9
São Paulo 9
Trento 9
Volpiano 9
Alessandria 8
Cuneo 8
Denver 8
Totale 6.733
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.982
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.212
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 541
Algoritmi e programmazione in pratica. Da specifiche a codice C 535
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 511
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 510
Embedded Systems Secure Path Verification at the HW/SW Interface 496
Secure Path Verification 495
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 462
Advanced Techniques for Bit-Level Model Checking 457
Formal Verification of Embedded Systems for Remote Attestation 455
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 454
Secure Embedded Architectures: Taint Properties Verification 450
Dal problema al programma. Introduzione al problem-solving in linguaggio C 449
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 443
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 429
Optimization techniques for craig interpolant compaction in unbounded model checking 422
Interpolation-based learning as a mean to speed-up Bounded Model Checking 340
Logic Synthesis for Interpolant Circuit Compaction 306
Reducing interpolant circuit size through SAT-based weakening 275
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 266
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 233
Totale 11.723
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.311
article - articoli 7.213
book - libri 7.788
conference - conferenze 7.379
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 45.691
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022457 0 0 0 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/20262.489 124 124 197 127 154 169 345 240 450 266 48 245
2026/2027518 57 58 174 229 0 0 0 0 0 0 0 0
Totale 11.723