PORTO @ Archivio Istituzionale della Ricerca

VENDRAMINETTO, DANILO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.196
NA - Nord America 2.863
AS - Asia 2.047
SA - Sud America 144
Continente sconosciuto - Info sul continente non disponibili 56
AF - Africa 28
OC - Oceania 3
Totale 11.337
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.810
US - Stati Uniti d'America 2.803
GB - Regno Unito 731
SG - Singapore 579
DE - Germania 498
VN - Vietnam 485
FR - Francia 404
CN - Cina 394
RU - Federazione Russa 205
UA - Ucraina 125
BR - Brasile 105
HK - Hong Kong 103
KR - Corea 93
TR - Turchia 93
IE - Irlanda 67
AT - Austria 65
FI - Finlandia 63
IN - India 51
NL - Olanda 47
IL - Israele 44
CH - Svizzera 40
CA - Canada 33
SE - Svezia 31
EU - Europa 27
BD - Bangladesh 25
MY - Malesia 25
PH - Filippine 25
BE - Belgio 23
JO - Giordania 23
JP - Giappone 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
CL - Cile 6
CO - Colombia 6
MA - Marocco 5
PK - Pakistan 5
TN - Tunisia 5
AL - Albania 4
CR - Costa Rica 4
CZ - Repubblica Ceca 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
PL - Polonia 3
BH - Bahrain 2
DZ - Algeria 2
EC - Ecuador 2
ET - Etiopia 2
HR - Croazia 2
KZ - Kazakistan 2
LT - Lituania 2
LV - Lettonia 2
NO - Norvegia 2
OM - Oman 2
PY - Paraguay 2
VE - Venezuela 2
AF - Afghanistan, Repubblica islamica di 1
AI - Anguilla 1
AO - Angola 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CU - Cuba 1
DK - Danimarca 1
EE - Estonia 1
GR - Grecia 1
HU - Ungheria 1
JM - Giamaica 1
KE - Kenya 1
KY - Cayman, isole 1
LB - Libano 1
LK - Sri Lanka 1
NI - Nicaragua 1
NP - Nepal 1
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
Totale 11.286
Salva come PNG Salva come JPEG
Città #
Turin 812
Ashburn 662
Southend 638
Torino 375
Singapore 373
Milan 296
San Jose 160
Chandler 152
Ho Chi Minh City 143
Rome 141
Ann Arbor 112
Hanoi 110
Seattle 107
Woodbridge 107
Fairfield 102
Dallas 99
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
Novara 41
Los Angeles 35
Moscow 33
Council Bluffs 31
Bremen 30
Bern 29
Munich 29
Naples 29
Des Moines 27
New York 26
Tel Aviv 24
Lauterbourg 22
San Donato Milanese 22
Istanbul 21
Tongling 21
Genova 20
Haiphong 20
Bologna 19
Genoa 19
London 19
Palermo 19
Catania 18
Da Nang 18
Mountain View 18
Buffalo 17
Vicenza 17
Florence 16
Fremont 16
Shanghai 16
Zaporozhye 16
Tokyo 15
Bari 14
Brussels 14
Falls Church 14
Toronto 14
Turku 14
Augusta 13
North Bergen 13
Cagliari 12
Zhengzhou 12
Amsterdam 11
Guangzhou 11
Jerusalem 11
Lecce 11
Malatya 11
Redwood City 11
Carmagnola 10
Chicago 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
Trento 9
Volpiano 9
Alessandria 8
Cuneo 8
Giovinazzo 8
Hải Dương 8
Messina 8
Totale 6.499
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.936
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.181
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 531
Algoritmi e programmazione in pratica. Da specifiche a codice C 511
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 503
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 490
Embedded Systems Secure Path Verification at the HW/SW Interface 484
Secure Path Verification 483
Formal Verification of Embedded Systems for Remote Attestation 449
Secure Embedded Architectures: Taint Properties Verification 441
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 441
Dal problema al programma. Introduzione al problem-solving in linguaggio C 440
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 433
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 429
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 418
Advanced Techniques for Bit-Level Model Checking 410
Optimization techniques for craig interpolant compaction in unbounded model checking 407
Interpolation-based learning as a mean to speed-up Bounded Model Checking 328
Logic Synthesis for Interpolant Circuit Compaction 288
Reducing interpolant circuit size through SAT-based weakening 262
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 253
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 219
Totale 11.337
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.533
article - articoli 6.961
book - libri 7.550
conference - conferenze 7.149
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 44.193
Salva come PNG Salva come JPEG


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