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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021300 0 0 0 0 0 0 0 0 0 122 97 81
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/20263.623 428 88 321 296 578 379 677 186 364 306 0 0
Totale 16.433