IRIS
TACCHELLA, ARMANDO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 14.060
AS - Asia 1.595
NA - Nord America 1.389
Continente sconosciuto - Info sul continente non disponibili 196
SA - Sud America 154
AF - Africa 34
OC - Oceania 11
Totale 17.439
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 13.801
US - Stati Uniti d'America 1.314
SG - Singapore 655
CN - Cina 418
VN - Vietnam 272
FR - Francia 112
BR - Brasile 94
BD - Bangladesh 78
HK - Hong Kong 61
CA - Canada 35
DE - Germania 33
GB - Regno Unito 27
IN - India 20
ZA - Sudafrica 18
ID - Indonesia 15
EC - Ecuador 14
AR - Argentina 13
JP - Giappone 13
MX - Messico 13
NL - Olanda 11
PL - Polonia 11
AU - Australia 10
IQ - Iraq 10
CO - Colombia 9
CR - Costa Rica 8
ES - Italia 8
FI - Finlandia 8
JM - Giamaica 8
CH - Svizzera 6
PE - Perù 6
TR - Turchia 6
VE - Venezuela 6
JO - Giordania 5
LT - Lituania 5
PY - Paraguay 5
TH - Thailandia 5
CL - Cile 4
IE - Irlanda 4
KE - Kenya 4
MA - Marocco 4
NP - Nepal 4
PT - Portogallo 4
RO - Romania 4
TW - Taiwan 4
UA - Ucraina 4
AT - Austria 3
BE - Belgio 3
DZ - Algeria 3
IR - Iran 3
KR - Corea 3
MY - Malesia 3
PK - Pakistan 3
RU - Federazione Russa 3
SA - Arabia Saudita 3
CY - Cipro 2
CZ - Repubblica Ceca 2
HN - Honduras 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
NI - Nicaragua 2
OM - Oman 2
SE - Svezia 2
SI - Slovenia 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BO - Bolivia 1
BS - Bahamas 1
EG - Egitto 1
ET - Etiopia 1
GR - Grecia 1
HR - Croazia 1
KG - Kirghizistan 1
LB - Libano 1
LK - Sri Lanka 1
MM - Myanmar 1
MQ - Martinica 1
MW - Malawi 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PR - Porto Rico 1
RS - Serbia 1
SC - Seychelles 1
SV - El Salvador 1
TN - Tunisia 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 17.244
Salva come PNG Salva come JPEG
Città #
Genova 8.022
Genoa 3.532
Rapallo 1.204
Vado Ligure 900
San Jose 359
Singapore 327
Ashburn 125
Lauterbourg 94
Ho Chi Minh City 87
New York 71
Beijing 64
Hong Kong 59
Hanoi 58
Los Angeles 32
Santa Clara 32
Frankfurt am Main 26
Chicago 23
Bordighera 19
Buffalo 17
Council Bluffs 17
Orem 17
Atlanta 13
Boardman 12
Dallas 12
Da Nang 11
Houston 11
Mexico City 11
Naples 11
St Louis 11
Tokyo 11
Haiphong 10
Hải Dương 10
Warsaw 10
Johannesburg 9
Milan 9
Phoenix 9
São Paulo 9
Tianjin 9
Cape Town 8
Columbus 8
Helsinki 8
Toronto 8
City of London 7
Figino 7
Marseille 7
Memphis 7
The Dalles 7
Charlotte 6
London 6
Marietta 6
San José 6
The Bronx 6
Zurich 6
Amsterdam 5
Biên Hòa 5
Brisbane 5
Can Tho 5
Denton 5
Denver 5
Guangzhou 5
Madrid 5
Montreal 5
Newark 5
San Antonio 5
San Francisco 5
Amman 4
Baghdad 4
Birmingham 4
Boston 4
Brooklyn 4
Dublin 4
Lima 4
Miami 4
Minneapolis 4
Mumbai 4
Nairobi 4
Philadelphia 4
Quito 4
Rome 4
Sacramento 4
Sydney 4
Asunción 3
Bangkok 3
Belo Horizonte 3
Brussels 3
Calgary 3
Cardiff 3
Chennai 3
Dayton 3
Des Moines 3
Florence 3
Guayaquil 3
Hangzhou 3
Huntsville 3
Istanbul 3
Kathmandu 3
Kingston 3
Las Vegas 3
Louisville 3
Manchester 3
Totale 15.547
Salva come PNG Salva come JPEG
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 250
A Multi-engine Solver for Quantified Boolean Formulas 239
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics 224
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 223
Backjumping for Quantified Boolean Logic satisfiability 216
Benefits of bounded model checking at an industrial setting 211
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 207
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 205
Automatic Test-Pattern Generation for Grey-Box Programs 204
Poster: Automatic Consistency Checking of Requirements with ReqV 204
Watched Data Structures for QBF Solvers 201
Verification and repair of control policies for safe reinforcement learning 201
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles 201
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas 197
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 196
Engineering approaches and methods to verify software in autonomous systems 196
Consistency of property specification patterns with boolean and constrained numerical signals 196
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 192
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 189
A Self-adaptive Multi-engine solver for quantified Boolean formulas 185
QuBE++: An efficient QBF solver 182
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 182
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 179
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems 179
Learning for verification in embedded systems: A case study 178
NuSMV 2: An OpenSource Tool for Symbolic Model Checking 177
Backjumping for Quantified Boolean Logic Satisfiability 177
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 177
Hard QBF Encodings made easy: Dream or Reality? 174
Evaluating probabilistic model checking tools for verification of robot control policies 173
Quantifier Structure in search based procedures for QBFs 170
Dependent and Independent Variables in Propositional Satisfiability 170
QBF Reasoning on Real-World Instances 170
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems 169
The Seventh QBF Solvers Evaluation (QBFEVAL'10) 169
Ontology-based data access: An application to intermodal logistics 169
From Natural Language Definitions to Knowledge Bases Axioms 168
Repairing Learned Controllers with Convex Optimization: A Case Study 168
Getting to the airport: The oldest planning problem in AI 167
The Second QBF Solvers Comparative Evaluation 166
Testing a learn-verify-repair approach for safe human-robot interaction 166
The QBFEVAL Web Portal 166
Improving Reliability of Myocontrol Using Formal Verification 165
A greedy approach for the efficient repair of stochastic models 164
Reverse Engineering of Middleware for Verification of Robot Control Architectures 164
Ranking and Reputation Systems in the QBF Competition 164
Combining static and runtime methods to achieve safe standing-up for humanoid robots 164
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 162
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems 161
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 161
Learning middleware models for verification of distributed control programs 161
Safe Learning with Real-Time Constraints: A Case Study 160
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub 156
Conditional behavior trees: Definition, executability, and applications 155
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. 154
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 154
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation 154
Optimal Planning as Constraint Optimization 154
OBDA and Intermodal Logistics: Active Projects and Applications 153
Automata based test generation with SpecPro 153
A Structural Approach to Reasoning with Quantified Boolean Formulas 152
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper 151
A comparison of declarative AI techniques for computer automated design of elevator systems 150
SMT-based Planning for Robots in Smart Factories 149
Evaluating search heuristics and optimization techniques in propositional satisfiability 148
Monotone Literals and Learning in QBF Reasoning 148
Towards an Efficient Library for SAT: a Manifesto 147
Safe and Effective Learning: a Case Study 147
Learning for Quantified Boolean Logic Satisfiability 146
Automating functional genomics data analysis: a use case with an interdisciplinary approach 146
Collaborative Expert Portfolio Management 146
An empirical perspective on ten years of QBF solving 144
NeVer: a tool for artificial neural networks verification 142
Introducing computer engineering curriculum to upper secondary students: An evaluation of experiences based on educational robotics 141
Constrained image generation using binarized neural networks with decision procedures 139
Property specification patterns at work: verification and inconsistency explanation 139
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems 138
OT Cyber Security Frameworks Comparison Tool (CSFCTool) 138
On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories 137
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 135
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers 133
Ontologies in system engineering: A field report 133
SAT-Based Decision Procedures for Classical Modal Logics 128
Learning Nondeterministic Mealy Machines 127
Quantifier Structure in search based procedures for QBFs 126
Learning in physical domains: Mating safety requirements and costly sampling 126
Is verification a requisite for safe adaptive robots? 123
Challenging SMT solvers to verify neural networks 120
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 120
NeVer2: learning and verification of neural networks 117
AQME’10 System Description. 117
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches 116
Resilience of Cyber-Physical Systems: An Experimental Appraisal of Quantitative Measures 116
More adaptive does not imply less safe (with formal verification) 115
Learning Linear Temporal Properties for Autonomous Robotic Systems 112
Report of the Third QBF Solvers Evaluation 110
Task planning with OMT: An application to production logistics 109
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers 107
Computational thinking for beginners: A successful experience using Prolog 104
Engineering controllers for swarm robotics via reachability analysis in hybrid systems 98
Totale 16.032
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.100
article - articoli 13.669
book - libri 0
conference - conferenze 39.356
curatela - curatele 325
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.750
Totale 110.200
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.466 48 106 151 160 41 76 113 304 90 126 79 172
2022/20231.472 134 93 20 156 224 229 38 99 243 4 183 49
2023/2024812 60 122 26 120 45 111 53 26 34 59 63 93
2024/20252.343 55 157 64 111 348 248 239 428 73 88 244 288
2025/20264.174 428 88 321 296 578 379 677 186 364 335 220 302
2026/2027455 455 0 0 0 0 0 0 0 0 0 0 0
Totale 17.439