PORTO @ Archivio Istituzionale della Ricerca

VENDRAMINETTO, DANILO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.957
NA - Nord America 2.667
AS - Asia 2.017
SA - Sud America 142
AF - Africa 28
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 10.819
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.578
US - Stati Uniti d'America 2.627
GB - Regno Unito 731
SG - Singapore 570
DE - Germania 498
VN - Vietnam 485
FR - Francia 401
CN - Cina 393
RU - Federazione Russa 205
UA - Ucraina 125
BR - Brasile 104
HK - Hong Kong 103
KR - Corea 93
TR - Turchia 92
IE - Irlanda 67
AT - Austria 65
FI - Finlandia 63
IN - India 50
NL - Olanda 46
IL - Israele 44
CH - Svizzera 40
SE - Svezia 31
EU - Europa 27
MY - Malesia 25
PH - Filippine 25
BE - Belgio 23
JO - Giordania 23
JP - Giappone 23
CA - Canada 21
TW - Taiwan 21
AR - Argentina 16
AE - Emirati Arabi Uniti 12
ID - Indonesia 11
IQ - Iraq 11
MX - Messico 11
TH - Thailandia 10
ES - Italia 8
IR - Iran 8
RO - Romania 8
BD - Bangladesh 7
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
EG - Egitto 3
PA - Panama 3
PE - Perù 3
PL - Polonia 3
BH - Bahrain 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
ET - Etiopia 2
HR - Croazia 2
KZ - Kazakistan 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
CR - Costa Rica 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
LB - Libano 1
LK - Sri Lanka 1
LT - Lituania 1
NP - Nepal 1
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
UY - Uruguay 1
Totale 10.819
Salva come PNG Salva come JPEG
Città #
Turin 779
Ashburn 639
Southend 638
Torino 375
Singapore 371
Milan 201
Chandler 152
Ho Chi Minh City 143
Ann Arbor 112
Hanoi 110
Seattle 107
Woodbridge 107
Fairfield 102
Dallas 97
San Jose 83
Santa Clara 82
Rome 80
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 40
Los Angeles 34
Moscow 33
Bremen 30
Bern 29
Munich 29
Des Moines 27
Naples 27
New York 24
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
Da Nang 18
Mountain View 18
Bologna 17
Catania 17
Vicenza 17
Buffalo 16
Florence 16
Shanghai 16
Zaporozhye 16
Fremont 15
Tokyo 15
Brussels 14
Falls Church 14
Turku 14
Augusta 13
Bari 13
North Bergen 13
Cagliari 12
Zhengzhou 12
Amsterdam 11
Guangzhou 11
Jerusalem 11
Lecce 11
Malatya 11
Redwood City 11
Toronto 11
Carmagnola 10
Dearborn 10
Nuremberg 10
Piscataway 10
Salerno 10
Saluzzo 10
Aosta 9
Baltimore 9
Bolzano 9
Bulandshahr 9
Chicago 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.174
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.850
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.157
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 521
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 484
Algoritmi e programmazione in pratica. Da specifiche a codice C 482
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 472
Embedded Systems Secure Path Verification at the HW/SW Interface 467
Secure Path Verification 467
Formal Verification of Embedded Systems for Remote Attestation 426
Secure Embedded Architectures: Taint Properties Verification 421
Dal problema al programma. Introduzione al problem-solving in linguaggio C 420
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 418
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 417
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 410
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 402
Advanced Techniques for Bit-Level Model Checking 399
Optimization techniques for craig interpolant compaction in unbounded model checking 383
Interpolation-based learning as a mean to speed-up Bounded Model Checking 315
Logic Synthesis for Interpolant Circuit Compaction 274
Reducing interpolant circuit size through SAT-based weakening 245
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 231
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 209
Totale 10.870
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.986
article - articoli 6.391
book - libri 7.139
conference - conferenze 6.646
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 41.162
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021176 0 0 0 0 0 0 0 0 0 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/20262.154 124 124 197 127 154 169 345 240 450 224 0 0
Totale 10.870