PORTO @ Archivio Istituzionale della Ricerca

VENDRAMINETTO, DANILO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.458
NA - Nord America 2.182
AS - Asia 717
SA - Sud America 41
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 1
Totale 8.411
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.403
US - Stati Uniti d'America 2.160
GB - Regno Unito 707
DE - Germania 466
FR - Francia 368
SG - Singapore 202
CN - Cina 154
UA - Ucraina 120
TR - Turchia 88
KR - Corea 68
IE - Irlanda 65
AT - Austria 62
IL - Israele 42
CH - Svizzera 40
FI - Finlandia 40
NL - Olanda 36
RU - Federazione Russa 34
VN - Vietnam 32
BR - Brasile 30
SE - Svezia 29
EU - Europa 27
BE - Belgio 23
JO - Giordania 22
HK - Hong Kong 21
MY - Malesia 21
CA - Canada 15
IN - India 15
JP - Giappone 12
AE - Emirati Arabi Uniti 11
PH - Filippine 11
TW - Taiwan 10
ID - Indonesia 8
BG - Bulgaria 7
IR - Iran 7
RO - Romania 7
AR - Argentina 6
MX - Messico 5
ES - Italia 4
BY - Bielorussia 3
MA - Marocco 3
CL - Cile 2
CO - Colombia 2
HR - Croazia 2
LV - Lettonia 2
NO - Norvegia 2
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CI - Costa d'Avorio 1
CU - Cuba 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
GR - Grecia 1
IQ - Iraq 1
KZ - Kazakistan 1
PE - Perù 1
PK - Pakistan 1
SN - Senegal 1
TN - Tunisia 1
Totale 8.411
Salva come PNG Salva come JPEG
Città #
Turin 730
Southend 638
Ashburn 521
Torino 375
Milan 183
Chandler 152
Ann Arbor 112
Seattle 107
Woodbridge 107
Fairfield 102
Singapore 85
Princeton 76
Santa Clara 75
Rome 74
Dublin 64
Jacksonville 60
Boardman 59
Izmir 54
San Ramon 54
Vienna 54
Houston 53
Cambridge 51
Berlin 49
Wilmington 49
Beijing 41
Helsinki 40
Novara 40
Bremen 30
Bern 29
Des Moines 27
Seoul 27
Naples 24
Tel Aviv 23
San Donato Milanese 22
Istanbul 21
Genova 20
New York 19
Palermo 19
Council Bluffs 18
Genoa 18
Mountain View 18
Catania 16
Florence 16
Zaporozhye 16
Fremont 15
Brussels 14
Falls Church 14
Vicenza 14
Augusta 12
Bologna 12
Bari 11
Jerusalem 11
London 11
Malatya 11
Redwood City 11
Shanghai 11
Zhengzhou 11
Amsterdam 10
Carmagnola 10
Dallas 10
Dearborn 10
Salerno 10
Saluzzo 10
Aosta 9
Baltimore 9
Bolzano 9
Bulandshahr 9
Cagliari 9
Frankfurt 9
Monopoli 9
Nuremberg 9
Piscataway 9
Trento 9
Volpiano 9
Alessandria 8
Chicago 8
Cuneo 8
Giovinazzo 8
Guangzhou 8
Ho Chi Minh City 8
Napoli 8
Nichelino 8
Reggio Calabria 8
Rotterdam 8
Sassari 8
Tokyo 8
Asti 7
Biot 7
Cadoneghe 7
Carpi 7
Imola 7
Jakarta 7
Messina 7
Modena 7
Moncalieri 7
Sofia 7
Toronto 7
Buffalo 6
Casale Monferrato 6
Hangzhou 6
Totale 4.876
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.648
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 999
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 407
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 403
Embedded Systems Secure Path Verification at the HW/SW Interface 371
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 367
Algoritmi e programmazione in pratica. Da specifiche a codice C 354
Secure Path Verification 333
Dal problema al programma. Introduzione al problem-solving in linguaggio C 330
Formal Verification of Embedded Systems for Remote Attestation 326
Secure Embedded Architectures: Taint Properties Verification 322
Advanced Techniques for Bit-Level Model Checking 319
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 318
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 308
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 291
Optimization techniques for craig interpolant compaction in unbounded model checking 289
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 286
Interpolation-based learning as a mean to speed-up Bounded Model Checking 221
Logic Synthesis for Interpolant Circuit Compaction 170
Reducing interpolant circuit size through SAT-based weakening 157
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 127
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 116
Totale 8.462
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.363
article - articoli 4.764
book - libri 5.908
conference - conferenze 5.028
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 32.063
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202074 0 0 0 0 0 0 0 0 0 37 15 22
2020/2021825 56 78 59 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/2025736 28 98 57 95 65 75 33 94 153 38 0 0
Totale 8.462