PORTO @ Archivio Istituzionale della Ricerca

CABODI, Gianpiero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 21.861
NA - Nord America 16.016
AS - Asia 7.304
SA - Sud America 585
AF - Africa 96
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 10
Totale 45.889
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.858
IT - Italia 9.528
GB - Regno Unito 3.788
SG - Singapore 2.641
DE - Germania 2.638
FR - Francia 2.548
CN - Cina 2.236
UA - Ucraina 884
RU - Federazione Russa 531
TR - Turchia 519
BR - Brasile 496
KR - Corea 352
NL - Olanda 333
JP - Giappone 320
HK - Hong Kong 302
IE - Irlanda 292
AT - Austria 259
SE - Svezia 259
IL - Israele 248
CH - Svizzera 229
FI - Finlandia 195
VN - Vietnam 176
JO - Giordania 140
CA - Canada 110
BE - Belgio 95
MY - Malesia 90
IN - India 88
EU - Europa 50
ID - Indonesia 41
RO - Romania 31
BD - Bangladesh 30
AR - Argentina 27
PL - Polonia 25
GH - Ghana 24
AE - Emirati Arabi Uniti 21
PK - Pakistan 21
BG - Bulgaria 20
ES - Italia 20
TW - Taiwan 20
CR - Costa Rica 18
MX - Messico 17
IQ - Iraq 15
ZA - Sudafrica 15
IR - Iran 14
AU - Australia 13
CL - Cile 13
CO - Colombia 13
DK - Danimarca 12
EE - Estonia 12
PH - Filippine 12
SN - Senegal 12
EG - Egitto 11
KZ - Kazakistan 10
UZ - Uzbekistan 10
CZ - Repubblica Ceca 9
EC - Ecuador 9
SA - Arabia Saudita 9
VE - Venezuela 9
AP - ???statistics.table.value.countryCode.AP??? 8
HR - Croazia 8
MA - Marocco 8
AL - Albania 7
BY - Bielorussia 7
LU - Lussemburgo 7
TH - Thailandia 7
KE - Kenya 6
PE - Perù 6
PY - Paraguay 6
TN - Tunisia 6
AZ - Azerbaigian 5
ET - Etiopia 5
NP - Nepal 5
PT - Portogallo 5
GR - Grecia 4
LT - Lituania 4
PA - Panama 4
UY - Uruguay 4
DO - Repubblica Dominicana 3
HU - Ungheria 3
KW - Kuwait 3
NG - Nigeria 3
NZ - Nuova Zelanda 3
SY - Repubblica araba siriana 3
AM - Armenia 2
CI - Costa d'Avorio 2
DZ - Algeria 2
GE - Georgia 2
HN - Honduras 2
LV - Lettonia 2
NO - Norvegia 2
PS - Palestinian Territory 2
QA - Qatar 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
TJ - Tagikistan 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
BO - Bolivia 1
CG - Congo 1
CU - Cuba 1
Totale 45.877
Salva come PNG Salva come JPEG
Città #
Ashburn 4.036
Southend 3.479
Torino 3.340
Seattle 1.550
Singapore 1.504
Turin 1.447
Fairfield 1.244
Chandler 677
Woodbridge 676
Boardman 508
Ann Arbor 502
Santa Clara 500
Houston 484
Princeton 469
Cambridge 462
Jacksonville 431
Wilmington 421
Dallas 397
Beijing 391
San Ramon 383
Milan 370
Hefei 328
Izmir 308
Dublin 283
Berlin 276
Hong Kong 262
Umatate 255
Bern 208
Vienna 202
Zhengzhou 190
Chicago 181
Saint Petersburg 166
Helsinki 163
Shanghai 155
San Donato Milanese 147
Tel Aviv 141
Tongling 141
Istanbul 129
Zaporozhye 127
Rome 102
Baltimore 100
Pennsylvania Furnace 91
Bremen 89
Seoul 87
Overberg 84
Jerusalem 82
Nuremberg 81
Brussels 78
Bologna 75
Monopoli 75
Council Bluffs 74
Hangzhou 71
Munich 71
New York 71
Buffalo 69
Guangzhou 68
Herkenbosch 64
Ho Chi Minh City 64
Mountain View 62
Des Moines 61
Toronto 59
Amsterdam 58
Fremont 56
Los Angeles 55
Padua 51
Malatya 45
Lecce 44
Dearborn 42
Novara 42
San Diego 42
Redwood City 41
Hanoi 39
San Jose 39
Norwalk 36
San Francisco 36
North Bergen 35
Moscow 34
Rotterdam 34
São Paulo 34
Frankfurt 31
Falls Church 30
Jakarta 30
London 30
Andover 28
Naples 28
Tokyo 28
Columbus 27
Washington 27
Genova 26
Modena 25
Augusta 24
Nürnberg 24
Palermo 24
Nanjing 23
San Antonio 23
Paris 22
Turku 22
Florence 20
Fortaleza 19
Piscataway 19
Totale 29.904
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.738
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.079
TPDL*: Extended Temporal Profile Description Language 695
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 620
Expressing logical and temporal conditions in simulation environments: TPDL* 613
C_TPDL* : adapting TPDL* to concurrent simulation environments 610
A new model for improving symbolic Product Machine traversal 609
Sequential circuit diagnosis based on formal verification techniques 607
The General Product Machine: a New Model for Symbolic FSM Traversal 584
Testability measures with concurrent good simulation 581
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 575
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques 553
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 538
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions 518
Interpolation Sequences Revisited 515
Experiences in Prolog based DFT rule checking 510
Transforming boolean relations by symbolic encoding 478
Accurate and Efficient Visual Search on Embedded Systems 475
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 437
Embedded Systems Secure Path Verification at the HW/SW Interface 420
Algoritmi e programmazione in pratica. Da specifiche a codice C 420
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 415
Formal Methods in Computer-Aided Design (FMCAD), 2012 407
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 405
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications 401
Thread-based multi-engine model checking for multicore platforms 400
SAT solver management strategies in IC3: an experimental approach 397
Strengthening Model Checking Techniques with Inductive Invariants 387
Special issue on FMCAD 2012 385
Scalable FPGA Graph model to detect routing faults 382
Secure Path Verification 375
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 374
Dal problema al programma. Introduzione al problem-solving in linguaggio C 367
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 364
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 364
Formal Verification of Embedded Systems for Remote Attestation 363
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 362
Secure Embedded Architectures: Taint Properties Verification 361
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers 357
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 350
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 349
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 347
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform 338
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 338
Optimization techniques for craig interpolant compaction in unbounded model checking 332
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 331
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 331
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 327
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 325
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform 324
A Transputer-based gate-level fault simulator 323
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform 320
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 319
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 313
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 313
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 308
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 308
Boosting the role of inductive invariants in model checking 304
Gabor Filter based Image Representation for Object Classification 303
Optimized Deep Neural Networks for Real-Time Object Classification on Embedded GPUs 301
Computing Timed Transition Relations for Sequential cycle-based simulation 297
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits 297
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 295
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 295
A Parallel System for Test Pattern Generation 293
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 292
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 291
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 289
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 287
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 287
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT 286
Improving symbolic reachability analysis by means of activity profiles 286
Efficient Complex High-Precision Computations on GPUs without Precision Loss 286
Are BDDs Still Alive within Sequential Verification? 285
Memory Optimization in Function and Set Manipulation with BDDs 284
Biasing symbolic search by means of dynamic activity profiles 278
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 275
A data parallel approach to Boolean function manipulation using BDDs 274
Optimized model checking of multiple properties 272
Stepping Forward with Interpolants in Unbounded Model Checking 272
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi 271
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 271
Advancements in Mixed BDD and SAT Techniques 269
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 266
GPGPU based concurrent classification using trained model of handwritten digits 266
Boolean Function Manipulation on Massively Parallel Computers 265
Can BDDs compete with SAT solvers on Bounded Model Checking? 264
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 263
Interpolation-based learning as a mean to speed-up Bounded Model Checking 263
BDD-Based Hardware Verification 261
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 261
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 260
Efficient State Space Pruning in Symbolic Backward Traversal 256
Comparative analysis of models and performance indicators for optimal service facility location 256
Auxiliary variables for extending symbolic traversal techniques to data paths 254
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation 253
Enhancing FSM Traversal by Temporary Re-Encoding 252
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 251
Fast Differential Fault Simulation by Dynamic Fault Ordering 250
Fault Simulation in a Multilevel Environment: the MOZART Approach 247
Totale 37.765
Salva come PNG Salva come JPEG
Categoria #
all - tutte 110.726
article - articoli 42.513
book - libri 7.503
conference - conferenze 56.401
curatela - curatele 1.375
other - altro 695
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.239
Totale 221.452
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.640 0 0 0 0 0 292 187 293 241 293 232 102
2021/20222.021 155 160 56 121 98 135 102 116 178 189 304 407
2022/20232.839 240 435 63 278 296 394 192 182 376 37 110 236
2023/20241.179 65 71 88 99 107 173 56 74 64 63 138 181
2024/20254.971 104 469 236 470 369 446 146 529 731 162 460 849
2025/20263.763 498 755 825 679 655 351 0 0 0 0 0 0
Totale 46.138