VENDRAMINETTO, DANILO
 Distribuzione geografica
Continente #
EU - Europa 89
NA - Nord America 86
AS - Asia 10
SA - Sud America 1
Totale 186
Nazione #
US - Stati Uniti d'America 82
IT - Italia 69
DE - Germania 5
IE - Irlanda 5
AE - Emirati Arabi Uniti 4
CA - Canada 4
CZ - Repubblica Ceca 4
GB - Regno Unito 3
RU - Federazione Russa 3
VN - Vietnam 3
CN - Cina 2
CL - Cile 1
JP - Giappone 1
Totale 186
Città #
Torino 27
Houston 14
Encino 10
Santa Cruz 8
Ann Arbor 6
Fairfield 6
Dublin 5
Vicenza 5
Turin 4
Ashburn 3
Bremen 3
Dong Ket 3
Seattle 3
Toronto 3
Buffalo 2
Carignano 2
Fremont 2
Kansas City 2
San Diego 2
San Donato Milanese 2
Augusta 1
Beijing 1
Borgomanero 1
Cambridge 1
Cheyenne 1
Cloppenburg 1
Cuneo 1
Jinan 1
Lake Forest 1
Los Angeles 1
Miami 1
Milan 1
Ottawa 1
Palo Alto 1
Rome 1
San Francisco 1
San Mateo 1
Santiago 1
Scottsdale 1
Sunnyvale 1
University Park 1
Totale 133
Nome #
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening, file e384c42f-3256-d4b2-e053-9f05fe0a1d67 103
Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification, file e384c431-685f-d4b2-e053-9f05fe0a1d67 45
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties, file e384c42e-a869-d4b2-e053-9f05fe0a1d67 9
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks, file e384c42e-ad14-d4b2-e053-9f05fe0a1d67 8
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization, file e384c42e-b301-d4b2-e053-9f05fe0a1d67 7
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills, file e384c432-db75-d4b2-e053-9f05fe0a1d67 7
Secure Path Verification, file e384c42f-760d-d4b2-e053-9f05fe0a1d67 3
Secure Embedded Architectures: Taint Properties Verification, file e384c42f-760e-d4b2-e053-9f05fe0a1d67 3
Logic Synthesis for Interpolant Circuit Compaction, file e384c431-f0f0-d4b2-e053-9f05fe0a1d67 3
Dal problema al programma: introduzione al problem-solving in linguaggio C, file e384c42e-a4e6-d4b2-e053-9f05fe0a1d67 2
Advanced Techniques for Bit-Level Model Checking, file e384c42e-f903-d4b2-e053-9f05fe0a1d67 2
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification, file e384c431-1292-d4b2-e053-9f05fe0a1d67 2
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification, file 32198044-5209-40f4-aed1-e9024bff3ea4 1
Optimization techniques for craig interpolant compaction in unbounded model checking, file e384c432-045b-d4b2-e053-9f05fe0a1d67 1
Embedded Systems Secure Path Verification at the HW/SW Interface, file e384c432-285c-d4b2-e053-9f05fe0a1d67 1
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening, file e384c432-304b-d4b2-e053-9f05fe0a1d67 1
Totale 198
Categoria #
all - tutte 275
article - articoli 95
book - libri 2
conference - conferenze 176
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 548


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202027 0 0 0 0 0 1 1 1 10 2 7 5
2020/202143 3 9 1 1 7 6 2 2 1 4 4 3
2021/202268 13 2 3 14 9 5 4 2 0 3 10 3
2022/202332 2 1 4 6 6 8 4 1 0 0 0 0
Totale 198