PORTO @ Archivio Istituzionale della Ricerca

VENDRAMINETTO, DANILO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.362
NA - Nord America 2.139
AS - Asia 540
SA - Sud America 15
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
OC - Oceania 1
Totale 8.066
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.343
US - Stati Uniti d'America 2.121
GB - Regno Unito 707
DE - Germania 456
FR - Francia 366
CN - Cina 146
UA - Ucraina 119
SG - Singapore 111
TR - Turchia 87
IE - Irlanda 65
KR - Corea 62
AT - Austria 46
CH - Svizzera 40
FI - Finlandia 40
RU - Federazione Russa 33
NL - Olanda 32
SE - Svezia 29
EU - Europa 27
BE - Belgio 23
JO - Giordania 22
MY - Malesia 21
HK - Hong Kong 18
CA - Canada 14
IN - India 14
JP - Giappone 12
PH - Filippine 11
AE - Emirati Arabi Uniti 10
IL - Israele 10
TW - Taiwan 10
ID - Indonesia 8
BG - Bulgaria 7
BR - Brasile 7
IR - Iran 7
RO - Romania 7
ES - Italia 4
AR - Argentina 3
BY - Bielorussia 3
MX - Messico 3
CL - Cile 2
CO - Colombia 2
HR - Croazia 2
MA - Marocco 2
NO - Norvegia 2
VN - Vietnam 2
AL - Albania 1
AU - Australia 1
CI - Costa d'Avorio 1
CU - Cuba 1
DK - Danimarca 1
EE - Estonia 1
GR - Grecia 1
PE - Perù 1
PK - Pakistan 1
SN - Senegal 1
Totale 8.066
Salva come PNG Salva come JPEG
Città #
Turin 699
Southend 638
Ashburn 516
Torino 375
Milan 177
Chandler 152
Ann Arbor 112
Seattle 107
Woodbridge 107
Fairfield 102
Singapore 80
Princeton 76
Santa Clara 75
Rome 73
Dublin 64
Jacksonville 60
Boardman 59
Izmir 54
San Ramon 54
Houston 53
Cambridge 51
Berlin 49
Wilmington 49
Vienna 46
Helsinki 40
Novara 38
Beijing 36
Bremen 30
Bern 29
Des Moines 27
Seoul 27
Naples 23
San Donato Milanese 22
Genova 20
Istanbul 20
New York 19
Palermo 19
Mountain View 18
Catania 16
Florence 16
Zaporozhye 16
Fremont 15
Genoa 15
Brussels 14
Falls Church 14
Vicenza 14
Augusta 12
Bologna 12
Bari 11
London 11
Malatya 11
Redwood City 11
Shanghai 11
Zhengzhou 11
Carmagnola 10
Dallas 10
Dearborn 10
Salerno 10
Saluzzo 10
Aosta 9
Baltimore 9
Bolzano 9
Bulandshahr 9
Cagliari 9
Frankfurt 9
Monopoli 9
Piscataway 9
Trento 9
Volpiano 9
Alessandria 8
Amsterdam 8
Chicago 8
Cuneo 8
Giovinazzo 8
Guangzhou 8
Napoli 8
Nichelino 8
Reggio Calabria 8
Rotterdam 8
Sassari 8
Tokyo 8
Asti 7
Biot 7
Cadoneghe 7
Imola 7
Jakarta 7
Messina 7
Moncalieri 7
Sofia 7
Toronto 7
Buffalo 6
Carpi 6
Casale Monferrato 6
Hangzhou 6
Hong Kong 6
Ivrea 6
Modena 6
Paris 6
San Antonio 6
Verbania 6
Totale 4.765
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.595
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 983
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 397
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 393
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 360
Embedded Systems Secure Path Verification at the HW/SW Interface 349
Algoritmi e programmazione in pratica. Da specifiche a codice C 343
Secure Path Verification 324
Dal problema al programma. Introduzione al problem-solving in linguaggio C 320
Formal Verification of Embedded Systems for Remote Attestation 317
Secure Embedded Architectures: Taint Properties Verification 316
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 305
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 301
Advanced Techniques for Bit-Level Model Checking 276
Optimization techniques for craig interpolant compaction in unbounded model checking 275
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 273
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 260
Interpolation-based learning as a mean to speed-up Bounded Model Checking 208
Logic Synthesis for Interpolant Circuit Compaction 156
Reducing interpolant circuit size through SAT-based weakening 144
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 116
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 105
Totale 8.116
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.195
article - articoli 4.349
book - libri 5.584
conference - conferenze 4.673
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 29.801
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020405 0 0 0 0 0 72 78 93 88 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/2025390 28 98 57 95 65 47 0 0 0 0 0 0
Totale 8.116