PORTO @ Archivio Istituzionale della Ricerca

VENDRAMINETTO, DANILO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.166
NA - Nord America 2.794
AS - Asia 2.041
SA - Sud America 143
AF - Africa 28
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 11.180
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.783
US - Stati Uniti d'America 2.742
GB - Regno Unito 731
SG - Singapore 577
DE - Germania 498
VN - Vietnam 485
FR - Francia 402
CN - Cina 394
RU - Federazione Russa 205
UA - Ucraina 125
BR - Brasile 105
HK - Hong Kong 103
KR - Corea 93
TR - Turchia 92
IE - Irlanda 67
AT - Austria 65
FI - Finlandia 63
IN - India 51
NL - Olanda 46
IL - Israele 44
CH - Svizzera 40
SE - Svezia 31
CA - Canada 30
EU - Europa 27
MY - Malesia 25
PH - Filippine 25
BE - Belgio 23
JO - Giordania 23
JP - Giappone 23
BD - Bangladesh 22
TW - Taiwan 21
AR - Argentina 16
AE - Emirati Arabi Uniti 12
ID - Indonesia 11
IQ - Iraq 11
MX - Messico 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
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
CR - Costa Rica 2
DZ - Algeria 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
AO - Angola 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CU - Cuba 1
DK - Danimarca 1
EC - Ecuador 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
NP - Nepal 1
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
Totale 11.180
Salva come PNG Salva come JPEG
Città #
Turin 808
Ashburn 658
Southend 638
Torino 375
Singapore 372
Milan 296
Chandler 152
San Jose 147
Ho Chi Minh City 143
Rome 141
Ann Arbor 112
Hanoi 110
Seattle 107
Woodbridge 107
Fairfield 102
Dallas 97
Santa Clara 84
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 34
Moscow 33
Bremen 30
Bern 29
Munich 29
Des Moines 27
Naples 27
New York 25
Tel Aviv 24
Lauterbourg 22
San Donato Milanese 22
Istanbul 21
Tongling 21
Council Bluffs 20
Genova 20
Haiphong 20
Genoa 19
London 19
Palermo 19
Bologna 18
Da Nang 18
Mountain View 18
Buffalo 17
Catania 17
Vicenza 17
Florence 16
Shanghai 16
Zaporozhye 16
Fremont 15
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
Nuremberg 10
Piscataway 10
Salerno 10
Saluzzo 10
Aosta 9
Baltimore 9
Bolzano 9
Bulandshahr 9
Frankfurt 9
Modena 9
Monopoli 9
Trento 9
Volpiano 9
Alessandria 8
Cuneo 8
Giovinazzo 8
Hải Dương 8
Napoli 8
Totale 6.454
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.921
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.165
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 529
Algoritmi e programmazione in pratica. Da specifiche a codice C 501
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 499
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 487
Secure Path Verification 480
Embedded Systems Secure Path Verification at the HW/SW Interface 477
Formal Verification of Embedded Systems for Remote Attestation 442
Secure Embedded Architectures: Taint Properties Verification 439
Dal problema al programma. Introduzione al problem-solving in linguaggio C 437
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 437
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 429
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 424
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 416
Advanced Techniques for Bit-Level Model Checking 406
Optimization techniques for craig interpolant compaction in unbounded model checking 403
Interpolation-based learning as a mean to speed-up Bounded Model Checking 324
Logic Synthesis for Interpolant Circuit Compaction 287
Reducing interpolant circuit size through SAT-based weakening 259
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 251
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 218
Totale 11.231
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.018
article - articoli 6.768
book - libri 7.411
conference - conferenze 6.994
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 43.191
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20262.489 124 124 197 127 154 169 345 240 450 266 48 245
2026/202726 26 0 0 0 0 0 0 0 0 0 0 0
Totale 11.231