PORTO @ Archivio Istituzionale della Ricerca

VENDRAMINETTO, DANILO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.239
NA - Nord America 1.980
AS - Asia 349
SA - Sud America 14
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
OC - Oceania 1
Totale 7.592
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.255
US - Stati Uniti d'America 1.963
GB - Regno Unito 704
DE - Germania 455
FR - Francia 363
UA - Ucraina 118
CN - Cina 105
TR - Turchia 69
IE - Irlanda 65
KR - Corea 48
AT - Austria 46
CH - Svizzera 39
FI - Finlandia 35
NL - Olanda 30
SE - Svezia 29
EU - Europa 27
BE - Belgio 23
JO - Giordania 22
MY - Malesia 21
IN - India 14
RU - Federazione Russa 14
CA - Canada 13
JP - Giappone 12
HK - Hong Kong 11
AE - Emirati Arabi Uniti 10
IL - Israele 10
PH - Filippine 10
TW - Taiwan 10
BG - Bulgaria 7
BR - Brasile 7
IR - Iran 7
RO - Romania 7
SG - Singapore 6
ES - Italia 4
AR - Argentina 3
BY - Bielorussia 3
ID - Indonesia 3
MX - Messico 3
CL - Cile 2
HR - Croazia 2
MA - Marocco 2
NO - Norvegia 2
VN - Vietnam 2
AL - Albania 1
AU - Australia 1
CI - Costa d'Avorio 1
CO - Colombia 1
CU - Cuba 1
DK - Danimarca 1
EE - Estonia 1
GR - Grecia 1
PE - Perù 1
PK - Pakistan 1
SN - Senegal 1
Totale 7.592
Salva come PNG Salva come JPEG
Città #
Turin 682
Southend 638
Ashburn 507
Torino 375
Milan 172
Chandler 152
Ann Arbor 112
Seattle 107
Woodbridge 107
Fairfield 102
Princeton 76
Rome 70
Dublin 64
Jacksonville 60
Izmir 54
San Ramon 54
Houston 53
Cambridge 51
Berlin 49
Wilmington 49
Vienna 46
Novara 38
Beijing 36
Helsinki 35
Bremen 30
Bern 29
Des Moines 27
Seoul 27
Boardman 24
Naples 23
San Donato Milanese 22
Genova 20
Mountain View 18
Catania 16
Florence 16
New York 16
Palermo 16
Zaporozhye 16
Fremont 15
Genoa 15
Brussels 14
Falls Church 14
Vicenza 14
Augusta 12
Bari 11
Malatya 11
Redwood City 11
Shanghai 11
Zhengzhou 11
Bologna 10
Carmagnola 10
Dallas 10
Dearborn 10
Salerno 10
Saluzzo 10
Aosta 9
Baltimore 9
Bolzano 9
Bulandshahr 9
Cagliari 9
Frankfurt 9
London 9
Monopoli 9
Trento 9
Alessandria 8
Chicago 8
Giovinazzo 8
Napoli 8
Nichelino 8
Rotterdam 8
Sassari 8
Tokyo 8
Amsterdam 7
Asti 7
Biot 7
Cadoneghe 7
Cuneo 7
Imola 7
Messina 7
Moncalieri 7
Sofia 7
Buffalo 6
Casale Monferrato 6
Guangzhou 6
Hangzhou 6
Ivrea 6
Modena 6
Paris 6
San Antonio 6
Toronto 6
Ames 5
Andover 5
Andria 5
Bergamo 5
Binasco 5
Carpi 5
Castelletto 5
Lansing 5
Lecce 5
Norwalk 5
Totale 4.500
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.516
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 951
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 386
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 381
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 337
Embedded Systems Secure Path Verification at the HW/SW Interface 333
Algoritmi e programmazione in pratica. Da specifiche a codice C 319
Secure Path Verification 309
Dal problema al programma. Introduzione al problem-solving in linguaggio C 303
Formal Verification of Embedded Systems for Remote Attestation 302
Secure Embedded Architectures: Taint Properties Verification 294
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 292
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 287
Advanced Techniques for Bit-Level Model Checking 259
Optimization techniques for craig interpolant compaction in unbounded model checking 258
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 251
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 228
Interpolation-based learning as a mean to speed-up Bounded Model Checking 191
Logic Synthesis for Interpolant Circuit Compaction 140
Reducing interpolant circuit size through SAT-based weakening 122
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 93
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification 90
Totale 7.642
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.313
article - articoli 3.686
book - libri 5.013
conference - conferenze 4.091
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 26.103
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019203 0 0 0 0 0 0 0 0 0 0 105 98
2019/2020842 55 29 67 174 112 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/2024418 33 12 59 70 44 52 29 37 33 27 22 0
Totale 7.642