PORTO @ Archivio Istituzionale della Ricerca

QUER, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 18.254
NA - Nord America 13.022
AS - Asia 6.538
SA - Sud America 560
AF - Africa 106
OC - Oceania 24
Continente sconosciuto - Info sul continente non disponibili 7
Totale 38.511
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.885
IT - Italia 8.680
GB - Regno Unito 2.838
SG - Singapore 2.488
FR - Francia 2.025
CN - Cina 2.020
DE - Germania 1.845
UA - Ucraina 695
BR - Brasile 485
TR - Turchia 443
RU - Federazione Russa 359
KR - Corea 339
NL - Olanda 316
IE - Irlanda 264
HK - Hong Kong 257
IL - Israele 210
SE - Svezia 210
CH - Svizzera 205
AT - Austria 200
FI - Finlandia 156
VN - Vietnam 148
JO - Giordania 118
BE - Belgio 112
IN - India 99
CA - Canada 82
JP - Giappone 75
UZ - Uzbekistan 65
MY - Malesia 59
ID - Indonesia 50
BG - Bulgaria 49
EU - Europa 39
BD - Bangladesh 35
RO - Romania 35
PL - Polonia 34
ES - Italia 28
ZA - Sudafrica 28
GH - Ghana 25
AL - Albania 24
IR - Iran 24
AR - Argentina 21
TW - Taiwan 20
MX - Messico 18
AU - Australia 17
CR - Costa Rica 16
AP - ???statistics.table.value.countryCode.AP??? 15
CO - Colombia 15
PK - Pakistan 15
PT - Portogallo 14
CZ - Repubblica Ceca 13
IQ - Iraq 13
DK - Danimarca 12
LT - Lituania 11
BY - Bielorussia 10
SN - Senegal 10
CL - Cile 9
EE - Estonia 9
KE - Kenya 9
EC - Ecuador 8
GR - Grecia 8
KZ - Kazakistan 8
TH - Thailandia 8
AE - Emirati Arabi Uniti 7
LB - Libano 7
TN - Tunisia 7
DO - Repubblica Dominicana 6
LU - Lussemburgo 6
NZ - Nuova Zelanda 6
PE - Perù 6
PY - Paraguay 6
SA - Arabia Saudita 6
BA - Bosnia-Erzegovina 5
CI - Costa d'Avorio 5
EG - Egitto 5
HR - Croazia 5
LK - Sri Lanka 5
MA - Marocco 5
NO - Norvegia 5
NP - Nepal 5
PH - Filippine 5
VE - Venezuela 5
AZ - Azerbaigian 4
DZ - Algeria 4
GE - Georgia 4
UY - Uruguay 4
AM - Armenia 3
HU - Ungheria 3
JM - Giamaica 3
KW - Kuwait 3
ME - Montenegro 3
PA - Panama 3
RS - Serbia 3
AO - Angola 2
ET - Etiopia 2
KG - Kirghizistan 2
NG - Nigeria 2
QA - Qatar 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
TJ - Tagikistan 2
TT - Trinidad e Tobago 2
Totale 38.490
Salva come PNG Salva come JPEG
Città #
Ashburn 3.104
Southend 2.547
Turin 2.402
Singapore 1.439
Seattle 1.153
Fairfield 887
Chandler 581
Torino 570
Dallas 558
Woodbridge 455
Milan 447
Santa Clara 438
Boardman 411
Princeton 388
Houston 375
Ann Arbor 365
Beijing 339
Cambridge 337
Jacksonville 335
Hefei 302
Wilmington 283
Dublin 250
San Ramon 250
Berlin 231
Izmir 229
Hong Kong 210
Rome 186
Bern 172
Shanghai 149
Vienna 147
Zhengzhou 147
Chicago 146
Istanbul 130
Tongling 129
Tel Aviv 127
Helsinki 114
San Donato Milanese 106
Council Bluffs 105
Brussels 97
Seoul 97
Zaporozhye 97
Buffalo 83
Pont Canavese 80
Baltimore 77
Pennsylvania Furnace 73
Jerusalem 71
Nuremberg 69
Los Angeles 67
Overberg 67
Naples 65
Saint Petersburg 65
Ho Chi Minh City 57
Monopoli 57
Bremen 54
Guangzhou 54
Bologna 53
San Jose 53
Fremont 51
Herkenbosch 50
Toronto 49
Des Moines 48
Mountain View 47
Amsterdam 46
Munich 45
New York 44
Palermo 44
Padua 43
Frankfurt 40
Redwood City 40
Shenzhen 40
Genoa 37
San Francisco 37
Hanoi 36
North Bergen 36
Jakarta 35
Norwalk 35
San Diego 35
Sofia 35
Falls Church 34
Novara 34
Paris 34
Settimo Torinese 34
Tokyo 34
Dearborn 32
Modena 32
Monza 32
Rotterdam 32
São Paulo 32
Frankfurt am Main 31
Bari 30
Collegno 30
Moscow 30
Genova 27
Hangzhou 25
London 25
Washington 25
Columbus 24
Moncalieri 24
Nichelino 24
Tashkent 24
Totale 23.402
Salva come PNG Salva come JPEG
Nome #
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 2.158
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 1.471
Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures. 853
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 704
Guida alla programmazione in linguaggio C. Volume I: Fondamenti di programmazione 674
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione. 611
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 537
Street Viewer: An Autonomous Vision Based Traffic Tracking System 526
Interpolation Sequences Revisited 514
Transforming boolean relations by symbolic encoding 478
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem 475
Accurate and Efficient Visual Search on Embedded Systems 474
Guida alla programmazione in linguaggio C 448
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 447
Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures. 444
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 435
Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems. 407
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 405
Thread-based multi-engine model checking for multicore platforms 399
Programmazione in linguaggio Quick-BASIC: esercizi risolti e proposti 392
Strengthening Model Checking Techniques with Inductive Invariants 386
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 374
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
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 361
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 349
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 334
Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems. 332
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 329
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 327
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 325
A Smart Meter Infrastructure for Smart Grid IoT Applications 320
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 313
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 311
CDVS feature selection on embedded systems 309
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 308
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 307
Moving object detection in heterogeneous conditions in embedded systems 305
Boosting the role of inductive invariants in model checking 304
A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph 298
Computing Timed Transition Relations for Sequential cycle-based simulation 296
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 295
Heuristic and exact techniques for aircraft maintenance scheduling 295
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 294
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
Improving symbolic reachability analysis by means of activity profiles 286
Are BDDs Still Alive within Sequential Verification? 285
Efficient Complex High-Precision Computations on GPUs without Precision Loss 285
Memory Optimization in Function and Set Manipulation with BDDs 284
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization 279
Biasing symbolic search by means of dynamic activity profiles 278
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 275
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
Can BDDs compete with SAT solvers on Bounded Model Checking? 264
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 263
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 255
Power Optimization of Core-Based Systems By Address Bus Encoding 255
Auxiliary variables for extending symbolic traversal techniques to data paths 254
Enhancing FSM Traversal by Temporary Re-Encoding 252
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 251
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification 250
Model checking evaluation of airplane landing trajectories 249
Symbolic Traversals of Data Paths with Auxiliary Variables 247
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals 245
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN 244
Back to Basics: Solving Games with SAT 241
Symbolic Forward/Backward Traversals of Large Finite State Machines 240
System-Level Power Optimization of Special Purpose Applications: The Beach Solution 238
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 238
Dynamic Scheduling and Clustering in Symbolic Image Computation 237
Esercizi fondamentali in Pascal 236
Computing Subsets of Equivalence Classes for Large FSMs 233
Full Symbolic ATPG for Large Circuits 233
Improved reachability analysis of large finite state machines 233
Verification and synthesis of counters based on symbolic techniques 228
Reducing Operation Complexity in Symbolic Techniques throughPartitioning 224
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 224
Circuit Based Quantification: A Probabilistic/Approximated Approach 221
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN 215
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 214
Improving Symbolic Traversals by Means of Activity Profiles 214
Extending Equivalence Class Computation to Large FSMs 214
Verification and Synthesis of Counters based on Symbolic Techniques 211
Smart techniques for flying-probe testing 208
Boolean Function Decomposition in Symbolic FSM Traversal 207
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines 206
On-Going Research on Address Bus Encoding for Low Power: A Status Report 203
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 202
Optimizing Sequential Verification by Retiming Transformations 200
An innovative Strategy to Quickly Grade Functional Test Programs 197
Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal 197
Efficiently Computing Maximum Clique of Sparse Graphs with Many-Core Graphical Processing Units 196
Decomposed Symbolic Forward Traversals of Large Finite States Machines 185
Totale 34.194
Salva come PNG Salva come JPEG
Categoria #
all - tutte 95.545
article - articoli 35.347
book - libri 16.092
conference - conferenze 42.799
curatela - curatele 0
other - altro 585
patent - brevetti 0
selected - selezionate 0
volume - volumi 722
Totale 191.090
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.273 0 0 0 0 0 259 170 212 134 258 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/20264.039 520 911 829 797 694 288 0 0 0 0 0 0
Totale 38.845