PORTO @ Archivio Istituzionale della Ricerca

QUER, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 16.451
NA - Nord America 10.895
AS - Asia 1.778
AF - Africa 61
SA - Sud America 45
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 6
Totale 29.255
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.810
IT - Italia 7.634
GB - Regno Unito 2.805
FR - Francia 1.885
DE - Germania 1.696
UA - Ucraina 690
CN - Cina 670
TR - Turchia 294
IE - Irlanda 255
NL - Olanda 246
RU - Federazione Russa 237
SE - Svezia 199
CH - Svizzera 192
SG - Singapore 175
KR - Corea 157
FI - Finlandia 115
JO - Giordania 115
AT - Austria 111
BE - Belgio 107
IN - India 69
CA - Canada 66
MY - Malesia 50
JP - Giappone 49
BG - Bulgaria 48
UZ - Uzbekistan 42
HK - Hong Kong 40
EU - Europa 39
RO - Romania 31
GH - Ghana 25
PL - Polonia 22
IR - Iran 21
BR - Brasile 20
CR - Costa Rica 16
IL - Israele 16
AP - ???statistics.table.value.countryCode.AP??? 15
TW - Taiwan 15
VN - Vietnam 15
AU - Australia 14
ES - Italia 13
DK - Danimarca 12
PT - Portogallo 12
CO - Colombia 11
ZA - Sudafrica 11
ID - Indonesia 10
SN - Senegal 10
CZ - Repubblica Ceca 9
EE - Estonia 9
CL - Cile 8
GR - Grecia 8
PK - Pakistan 8
BY - Bielorussia 7
AL - Albania 6
BD - Bangladesh 6
LB - Libano 6
LU - Lussemburgo 6
TH - Thailandia 6
HR - Croazia 5
KZ - Kazakistan 5
NO - Norvegia 5
NZ - Nuova Zelanda 5
AE - Emirati Arabi Uniti 4
BA - Bosnia-Erzegovina 4
LT - Lituania 4
PH - Filippine 4
CI - Costa d'Avorio 3
EC - Ecuador 3
EG - Egitto 3
GE - Georgia 3
ME - Montenegro 3
RS - Serbia 3
AM - Armenia 2
DO - Repubblica Dominicana 2
HU - Ungheria 2
KW - Kuwait 2
LK - Sri Lanka 2
MA - Marocco 2
NG - Nigeria 2
QA - Qatar 2
SK - Slovacchia (Repubblica Slovacca) 2
AR - Argentina 1
BH - Bahrain 1
CM - Camerun 1
ET - Etiopia 1
HN - Honduras 1
IQ - Iraq 1
KE - Kenya 1
KG - Kirghizistan 1
LI - Liechtenstein 1
MD - Moldavia 1
NP - Nepal 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
SC - Seychelles 1
SM - San Marino 1
SY - Repubblica araba siriana 1
TJ - Tagikistan 1
TN - Tunisia 1
Totale 29.255
Salva come PNG Salva come JPEG
Città #
Ashburn 2.854
Southend 2.547
Turin 1.972
Seattle 1.150
Fairfield 887
Chandler 581
Torino 570
Woodbridge 455
Princeton 388
Houston 372
Ann Arbor 365
Milan 339
Cambridge 337
Jacksonville 335
Wilmington 283
Boardman 281
San Ramon 250
Dublin 243
Berlin 231
Izmir 225
Beijing 184
Bern 172
Chicago 143
Zhengzhou 139
Rome 134
Shanghai 128
Vienna 108
San Donato Milanese 106
Helsinki 105
Singapore 99
Zaporozhye 97
Brussels 93
Pont Canavese 80
Baltimore 76
Pennsylvania Furnace 73
Overberg 67
Saint Petersburg 65
Monopoli 57
Bremen 54
Council Bluffs 54
Naples 54
Fremont 50
Herkenbosch 50
Bologna 47
Mountain View 47
Des Moines 46
San Jose 45
Toronto 43
Padua 42
Amsterdam 40
Buffalo 40
Frankfurt 40
Redwood City 40
Shenzhen 37
Norwalk 35
San Diego 35
Seoul 35
Sofia 35
Falls Church 34
Settimo Torinese 34
Palermo 33
Rotterdam 32
Dearborn 31
San Francisco 31
Collegno 30
Guangzhou 29
Monza 28
Genova 27
New York 27
Novara 27
Genoa 26
Modena 26
Moscow 26
Bari 24
Moncalieri 24
Washington 24
Lecce 23
Nichelino 23
Andover 22
Dallas 22
Malatya 22
Aosta 20
Atlanta 20
Catania 20
Hangzhou 20
Taranto 20
Cuneo 19
Perosa Argentina 19
Rivoli 19
Asti 17
London 17
Gottolengo 16
Romulus 16
San Antonio 16
San José 16
Alba 15
Borgaro Torinese 15
Chieri 15
Istanbul 15
Nanjing 15
Totale 18.415
Salva come PNG Salva come JPEG
Nome #
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 2.093
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 991
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti 624
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione. 552
Guida alla programmazione in linguaggio C. Volume I: Fondamenti di programmazione 525
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 488
Street Viewer: An Autonomous Vision Based Traffic Tracking System 453
Interpolation Sequences Revisited 441
Transforming boolean relations by symbolic encoding 439
Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures. 435
Accurate and Efficient Visual Search on Embedded Systems 415
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem 402
Guida alla programmazione in linguaggio C 391
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 389
Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures. 389
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties 383
Programmazione in linguaggio Quick-BASIC: esercizi risolti e proposti 342
Thread-based multi-engine model checking for multicore platforms 338
Strengthening Model Checking Techniques with Inductive Invariants 329
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 324
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 309
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 308
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 299
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 294
Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems. 287
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 286
Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems. 279
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 272
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties 271
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 270
CDVS feature selection on embedded systems 256
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 252
Computing Timed Transition Relations for Sequential cycle-based simulation 252
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 252
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 251
Boosting the role of inductive invariants in model checking 248
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 248
Heuristic and exact techniques for aircraft maintenance scheduling 246
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 245
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 245
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 244
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 242
Improving symbolic reachability analysis by means of activity profiles 238
Memory Optimization in Function and Set Manipulation with BDDs 235
Moving object detection in heterogeneous conditions in embedded systems 235
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 235
Are BDDs Still Alive within Sequential Verification? 230
Advancements in Mixed BDD and SAT Techniques 229
Biasing symbolic search by means of dynamic activity profiles 228
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 223
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 222
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 220
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization 220
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 218
Stepping Forward with Interpolants in Unbounded Model Checking 217
Can BDDs compete with SAT solvers on Bounded Model Checking? 216
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 216
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 210
Auxiliary variables for extending symbolic traversal techniques to data paths 209
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 208
Power Optimization of Core-Based Systems By Address Bus Encoding 208
Model checking evaluation of airplane landing trajectories 208
Enhancing FSM Traversal by Temporary Re-Encoding 208
A Smart Meter Infrastructure for Smart Grid IoT Applications 206
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi 205
Efficient State Space Pruning in Symbolic Backward Traversal 204
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification 203
Symbolic Traversals of Data Paths with Auxiliary Variables 201
Symbolic Forward/Backward Traversals of Large Finite State Machines 200
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 200
Dynamic Scheduling and Clustering in Symbolic Image Computation 194
Efficient Complex High-Precision Computations on GPUs without Precision Loss 194
Back to Basics: Solving Games with SAT 193
A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph 190
Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals 189
Esercizi fondamentali in Pascal 189
Improved reachability analysis of large finite state machines 189
Verification and synthesis of counters based on symbolic techniques 188
System-Level Power Optimization of Special Purpose Applications: The Beach Solution 187
Full Symbolic ATPG for Large Circuits 187
Computing Subsets of Equivalence Classes for Large FSMs 184
Circuit Based Quantification: A Probabilistic/Approximated Approach 183
Reducing Operation Complexity in Symbolic Techniques throughPartitioning 183
Extending Equivalence Class Computation to Large FSMs 172
Improving Symbolic Traversals by Means of Activity Profiles 170
Verification and Synthesis of Counters based on Symbolic Techniques 170
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 168
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines 165
Optimizing Sequential Verification by Retiming Transformations 163
On-Going Research on Address Bus Encoding for Low Power: A Status Report 160
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN 158
Boolean Function Decomposition in Symbolic FSM Traversal 155
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking 154
Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal 149
Improving the Efficiency of BDD--based operators through Partitioning 147
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 145
Decomposed Symbolic Forward Traversals of Large Finite States Machines 141
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN 128
Cycle-based Symbolic Simulation of Synchronous Circuits 126
Mixing BDD and SAT techniques in Formal Verification 124
Totale 27.696
Salva come PNG Salva come JPEG
Categoria #
all - tutte 67.455
article - articoli 24.300
book - libri 12.037
conference - conferenze 30.195
curatela - curatele 0
other - altro 342
patent - brevetti 0
selected - selezionate 0
volume - volumi 581
Totale 134.910
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.001 0 167 102 516 401 388 383 363 333 158 112 78
2020/20212.469 266 302 131 379 118 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/2025248 202 46 0 0 0 0 0 0 0 0 0 0
Totale 29.558