IRIS
TACCHELLA, ARMANDO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.667
AS - Asia 65
SA - Sud America 45
NA - Nord America 5
AF - Africa 1
Totale 13.783
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 13.667
BR - Brasile 41
CN - Cina 28
VN - Vietnam 22
SG - Singapore 10
ID - Indonesia 4
US - Stati Uniti d'America 3
AR - Argentina 2
CL - Cile 1
HK - Hong Kong 1
MA - Marocco 1
MX - Messico 1
PY - Paraguay 1
TT - Trinidad e Tobago 1
Totale 13.783
Salva come PNG Salva come JPEG
Città #
Genova 8.022
Genoa 3.520
Rapallo 1.204
Vado Ligure 900
Bordighera 19
Ho Chi Minh City 8
Beijing 7
Hanoi 4
São Paulo 3
Ashburn 2
Belo Horizonte 2
Biên Hòa 2
Haiphong 2
Hải Dương 2
Milan 2
Tianjin 2
Ananindeua 1
Araci 1
Açu 1
Banjarmasin 1
Belo Jardim 1
Belém 1
Bom Jesus do Itabapoana 1
Bình Dương 1
Camamu 1
Campinas 1
Canoas 1
Capitão de Campos 1
Catalão 1
Chaguanas 1
Colatina 1
Conceição das Pedras 1
Criciúma 1
Curitiba 1
Divinópolis 1
Dário Meira 1
Esmeraldas 1
Estación Colina 1
Ha Long 1
Herculândia 1
Hong Kong 1
Ituzaingó 1
Joinville 1
João Pessoa 1
Juazeirinho 1
Katueté 1
Livramento do Brumado 1
Lấp Vò 1
Manaus 1
Monte Azul Paulista 1
Nova Timboteua 1
Ourinhos 1
Patrocínio 1
Pontal do Paraná 1
Porto Alegre 1
Rabat 1
Rio de Janeiro 1
Rosario 1
Samarinda 1
Solânea 1
São José dos Campos 1
The Bronx 1
Tucumã 1
Uruguaiana 1
Álvaro Obregón 1
Totale 13.750
Salva come PNG Salva come JPEG
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 225
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 187
Watched Data Structures for QBF Solvers 182
Benefits of bounded model checking at an industrial setting 180
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 179
Backjumping for Quantified Boolean Logic satisfiability 177
Verification and repair of control policies for safe reinforcement learning 177
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 175
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 173
Engineering approaches and methods to verify software in autonomous systems 172
Automatic Test-Pattern Generation for Grey-Box Programs 172
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles 172
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas 170
QuBE++: An efficient QBF solver 165
A Multi-engine Solver for Quantified Boolean Formulas 163
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 162
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 157
NuSMV 2: An OpenSource Tool for Symbolic Model Checking 156
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics 156
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 154
Dependent and Independent Variables in Propositional Satisfiability 152
From Natural Language Definitions to Knowledge Bases Axioms 152
Consistency of property specification patterns with boolean and constrained numerical signals 152
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems 151
A Self-adaptive Multi-engine solver for quantified Boolean formulas 151
Hard QBF Encodings made easy: Dream or Reality? 151
The Second QBF Solvers Comparative Evaluation 149
Backjumping for Quantified Boolean Logic Satisfiability 147
The Seventh QBF Solvers Evaluation (QBFEVAL'10) 147
Getting to the airport: The oldest planning problem in AI 147
Quantifier Structure in search based procedures for QBFs 145
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 145
QBF Reasoning on Real-World Instances 144
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 142
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 141
Learning for verification in embedded systems: A case study 140
The QBFEVAL Web Portal 140
Evaluating probabilistic model checking tools for verification of robot control policies 140
Reverse Engineering of Middleware for Verification of Robot Control Architectures 140
Ontology-based data access: An application to intermodal logistics 140
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems 139
Testing a learn-verify-repair approach for safe human-robot interaction 139
Poster: Automatic Consistency Checking of Requirements with ReqV 139
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub 138
Ranking and Reputation Systems in the QBF Competition 138
Repairing Learned Controllers with Convex Optimization: A Case Study 136
Learning middleware models for verification of distributed control programs 135
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation 134
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 133
OBDA and Intermodal Logistics: Active Projects and Applications 132
A greedy approach for the efficient repair of stochastic models 132
Safe Learning with Real-Time Constraints: A Case Study 130
Safe and Effective Learning: a Case Study 130
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems 129
Improving Reliability of Myocontrol Using Formal Verification 129
Evaluating search heuristics and optimization techniques in propositional satisfiability 128
Combining static and runtime methods to achieve safe standing-up for humanoid robots 128
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper 127
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. 126
Towards an Efficient Library for SAT: a Manifesto 124
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 123
Automata based test generation with SpecPro 123
Collaborative Expert Portfolio Management 123
SMT-based Planning for Robots in Smart Factories 122
Conditional behavior trees: Definition, executability, and applications 121
Monotone Literals and Learning in QBF Reasoning 120
A Structural Approach to Reasoning with Quantified Boolean Formulas 118
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers 118
Constrained image generation using binarized neural networks with decision procedures 117
NeVer: a tool for artificial neural networks verification 117
Optimal Planning as Constraint Optimization 116
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems 113
Ontologies in system engineering: A field report 112
Introducing computer engineering curriculum to upper secondary students: An evaluation of experiences based on educational robotics 111
Automating functional genomics data analysis: a use case with an interdisciplinary approach 110
On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories 109
Learning for Quantified Boolean Logic Satisfiability 108
SAT-Based Decision Procedures for Classical Modal Logics 106
An empirical perspective on ten years of QBF solving 106
Quantifier Structure in search based procedures for QBFs 105
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 104
Learning in physical domains: Mating safety requirements and costly sampling 103
More adaptive does not imply less safe (with formal verification) 99
Challenging SMT solvers to verify neural networks 98
Property specification patterns at work: verification and inconsistency explanation 98
Learning Nondeterministic Mealy Machines 96
Is verification a requisite for safe adaptive robots? 95
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 95
AQME’10 System Description. 92
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers 91
Report of the Third QBF Solvers Evaluation 91
Task planning with OMT: An application to production logistics 88
Resilience of Cyber-Physical Systems: An Experimental Appraisal of Quantitative Measures 88
OT Cyber Security Frameworks Comparison Tool (CSFCTool) 88
A comparison of declarative AI techniques for computer automated design of elevator systems 80
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches 71
Engineering controllers for swarm robotics via reachability analysis in hybrid systems 71
SAT Techniques for Modal and Description Logics 70
Un sistema peer-to-peer per la ricerca e la condivisione di Learning Object 68
Computational thinking for beginners: A successful experience using Prolog 68
Totale 13.068
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.212
article - articoli 11.442
book - libri 0
conference - conferenze 32.989
curatela - curatele 268
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.513
Totale 92.424
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021707 0 0 0 0 45 82 71 128 81 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/20261.168 428 88 321 296 35 0 0 0 0 0 0 0
Totale 13.978