PORTO @ Archivio Istituzionale della Ricerca

QUER, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 20.016
NA - Nord America 14.598
AS - Asia 10.097
SA - Sud America 676
AF - Africa 139
OC - Oceania 27
Continente sconosciuto - Info sul continente non disponibili 7
Totale 45.560
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.393
IT - Italia 9.079
SG - Singapore 3.084
GB - Regno Unito 2.878
CN - Cina 2.239
FR - Francia 2.191
VN - Vietnam 2.061
DE - Germania 1.898
RU - Federazione Russa 1.308
UA - Ucraina 705
BR - Brasile 558
HK - Hong Kong 483
TR - Turchia 456
KR - Corea 448
NL - Olanda 348
IE - Irlanda 267
IN - India 246
SE - Svezia 214
IL - Israele 212
CH - Svizzera 208
AT - Austria 206
FI - Finlandia 196
JO - Giordania 124
BE - Belgio 113
CA - Canada 113
JP - Giappone 109
PH - Filippine 72
UZ - Uzbekistan 72
ID - Indonesia 68
MY - Malesia 68
TH - Thailandia 67
BD - Bangladesh 64
TW - Taiwan 60
BG - Bulgaria 49
IQ - Iraq 41
PL - Polonia 40
EU - Europa 39
ES - Italia 37
MX - Messico 37
RO - Romania 37
ZA - Sudafrica 37
PK - Pakistan 27
CO - Colombia 26
GH - Ghana 26
AL - Albania 25
IR - Iran 25
PT - Portogallo 25
AR - Argentina 24
CR - Costa Rica 22
AU - Australia 20
VE - Venezuela 18
CZ - Repubblica Ceca 16
LT - Lituania 16
AP - ???statistics.table.value.countryCode.AP??? 15
DK - Danimarca 14
CL - Cile 13
GR - Grecia 12
KE - Kenya 12
SN - Senegal 12
BY - Bielorussia 11
EC - Ecuador 11
PY - Paraguay 11
TN - Tunisia 11
AE - Emirati Arabi Uniti 10
MA - Marocco 10
NP - Nepal 10
DO - Repubblica Dominicana 9
EE - Estonia 9
KZ - Kazakistan 9
LB - Libano 9
AZ - Azerbaigian 8
EG - Egitto 8
PE - Perù 8
SA - Arabia Saudita 8
BA - Bosnia-Erzegovina 6
GE - Georgia 6
HR - Croazia 6
LU - Lussemburgo 6
NO - Norvegia 6
NZ - Nuova Zelanda 6
PA - Panama 6
RS - Serbia 6
UY - Uruguay 6
CI - Costa d'Avorio 5
DZ - Algeria 5
HU - Ungheria 5
LK - Sri Lanka 5
JM - Giamaica 4
AM - Armenia 3
ET - Etiopia 3
KW - Kuwait 3
ME - Montenegro 3
NI - Nicaragua 3
OM - Oman 3
PR - Porto Rico 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
AO - Angola 2
KG - Kirghizistan 2
KH - Cambogia 2
Totale 45.526
Salva come PNG Salva come JPEG
Città #
Ashburn 3.306
Turin 2.603
Southend 2.547
Singapore 1.930
Seattle 1.153
Fairfield 887
San Jose 717
Chandler 581
Ho Chi Minh City 573
Dallas 571
Torino 570
Milan 480
Hanoi 469
Santa Clara 462
Woodbridge 455
Hefei 437
Boardman 411
Princeton 388
Hong Kong 385
Houston 382
Ann Arbor 365
Beijing 345
Cambridge 337
Jacksonville 336
Wilmington 284
Dublin 252
San Ramon 250
Berlin 232
Izmir 229
Rome 196
Los Angeles 184
Seoul 175
Bern 172
Moscow 167
Chicago 154
Shanghai 152
Vienna 149
Zhengzhou 147
Council Bluffs 131
Istanbul 131
Tongling 129
Tel Aviv 127
Helsinki 125
Lauterbourg 124
San Donato Milanese 106
Brussels 98
Zaporozhye 97
Da Nang 94
Buffalo 87
Pont Canavese 80
New York 79
Baltimore 77
Nuremberg 73
Pennsylvania Furnace 73
Jerusalem 71
Munich 70
Haiphong 69
Naples 69
Overberg 67
Saint Petersburg 65
Guangzhou 59
Bologna 57
Monopoli 57
Amsterdam 56
Bremen 54
Toronto 52
Fremont 51
Herkenbosch 50
Tokyo 50
Des Moines 48
Turku 48
Mountain View 47
Palermo 47
North Bergen 46
São Paulo 46
Genoa 45
Orem 45
Frankfurt am Main 44
Padua 44
Jakarta 43
San Francisco 43
The Dalles 41
Frankfurt 40
Redwood City 40
Shenzhen 40
London 39
Paris 37
Norwalk 35
San Diego 35
Sofia 35
Falls Church 34
Novara 34
Settimo Torinese 34
Collegno 33
Dearborn 32
Modena 32
Monza 32
Rotterdam 32
Atlanta 31
Bari 31
Totale 27.174
Salva come PNG Salva come JPEG
Nome #
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 2.204
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 1.644
Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures. 930
Guida alla programmazione in linguaggio C. Volume I: Fondamenti di programmazione 778
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 746
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione. 655
Street Viewer: An Autonomous Vision Based Traffic Tracking System 584
Interpolation Sequences Revisited 575
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 574
Accurate and Efficient Visual Search on Embedded Systems 569
Transforming boolean relations by symbolic encoding 534
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem 526
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 524
Guida alla programmazione in linguaggio C 493
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 487
Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems. 482
Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures. 478
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 455
Thread-based multi-engine model checking for multicore platforms 444
Programmazione in linguaggio Quick-BASIC: esercizi risolti e proposti 439
Strengthening Model Checking Techniques with Inductive Invariants 436
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 420
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 420
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 416
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 409
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 398
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 396
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 391
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 391
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 384
A Smart Meter Infrastructure for Smart Grid IoT Applications 381
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 379
Moving object detection in heterogeneous conditions in embedded systems 377
Efficient Complex High-Precision Computations on GPUs without Precision Loss 375
CDVS feature selection on embedded systems 373
Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems. 366
A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph 362
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 353
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 353
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 352
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 350
Boosting the role of inductive invariants in model checking 343
Are BDDs Still Alive within Sequential Verification? 343
Stepping Forward with Interpolants in Unbounded Model Checking 338
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 333
Computing Timed Transition Relations for Sequential cycle-based simulation 329
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 329
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi 328
Heuristic and exact techniques for aircraft maintenance scheduling 328
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 324
Memory Optimization in Function and Set Manipulation with BDDs 322
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 322
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization 322
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 321
Improving symbolic reachability analysis by means of activity profiles 316
Advancements in Mixed BDD and SAT Techniques 314
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 314
Biasing symbolic search by means of dynamic activity profiles 305
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN 304
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 303
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN 303
Auxiliary variables for extending symbolic traversal techniques to data paths 303
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 298
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 296
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 293
Can BDDs compete with SAT solvers on Bounded Model Checking? 292
Symbolic Traversals of Data Paths with Auxiliary Variables 291
Efficient State Space Pruning in Symbolic Backward Traversal 287
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification 285
Enhancing FSM Traversal by Temporary Re-Encoding 285
Power Optimization of Core-Based Systems By Address Bus Encoding 283
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 282
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals 281
Improved reachability analysis of large finite state machines 281
System-Level Power Optimization of Special Purpose Applications: The Beach Solution 280
Model checking evaluation of airplane landing trajectories 280
Symbolic Forward/Backward Traversals of Large Finite State Machines 278
Dynamic Scheduling and Clustering in Symbolic Image Computation 276
Esercizi fondamentali in Pascal 274
Back to Basics: Solving Games with SAT 273
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 273
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 266
Verification and synthesis of counters based on symbolic techniques 266
An innovative Strategy to Quickly Grade Functional Test Programs 265
Efficiently Computing Maximum Clique of Sparse Graphs with Many-Core Graphical Processing Units 264
Circuit Based Quantification: A Probabilistic/Approximated Approach 263
An Experimental Evaluation of Graph Coloring Heuristics on Multi- and Many-Core Architectures 261
Computing Subsets of Equivalence Classes for Large FSMs 261
Smart techniques for flying-probe testing 261
A Framework for Economic and Environmental Benefit Through Renewable Energy Community 260
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines 259
Full Symbolic ATPG for Large Circuits 259
Social Influence Analysis (SIA) in Online Social Networks 258
Improving Data Quality of Low-Cost Light-Scattering PM Sensors: Towards Automatic Air Quality Monitoring in Urban Environments 254
A Toolchain to Quantify Burn-In Stress Effectiveness on large Automotive System-on-Chips 254
Reducing Operation Complexity in Symbolic Techniques throughPartitioning 253
Extending Equivalence Class Computation to Large FSMs 248
Verification and Synthesis of Counters based on Symbolic Techniques 246
Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence 244
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 244
Totale 39.221
Salva come PNG Salva come JPEG
Categoria #
all - tutte 106.329
article - articoli 39.769
book - libri 17.319
conference - conferenze 47.733
curatela - curatele 0
other - altro 718
patent - brevetti 0
selected - selezionate 0
volume - volumi 790
Totale 212.658
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021240 0 0 0 0 0 0 0 0 0 0 158 82
2021/20221.980 147 174 63 118 95 176 144 114 112 174 266 397
2022/20232.722 229 377 91 293 262 344 214 192 319 45 114 242
2023/20241.908 122 114 135 206 165 206 120 187 85 92 187 289
2024/20255.496 197 497 303 596 394 417 250 571 702 221 505 843
2025/202611.094 520 911 829 797 694 727 1.570 1.063 2.254 1.425 304 0
Totale 45.900