IRIS
TACCHELLA, ARMANDO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 10.869
Totale 10.869
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 10.869
Totale 10.869
Salva come PNG Salva come JPEG
Città #
Genova 8.022
Rapallo 1.204
Genoa 1.057
Vado Ligure 567
Bordighera 19
Totale 10.869
Salva come PNG Salva come JPEG
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 170
Watched Data Structures for QBF Solvers 165
Benefits of bounded model checking at an industrial setting 163
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 162
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 153
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 152
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas 152
QuBE++: An efficient QBF solver 148
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles 140
NuSMV 2: An OpenSource Tool for Symbolic Model Checking 139
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 139
Backjumping for Quantified Boolean Logic satisfiability 138
Engineering approaches and methods to verify software in autonomous systems 138
Verification and repair of control policies for safe reinforcement learning 137
Dependent and Independent Variables in Propositional Satisfiability 135
From Natural Language Definitions to Knowledge Bases Axioms 134
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 132
The Second QBF Solvers Comparative Evaluation 131
Automatic Test-Pattern Generation for Grey-Box Programs 131
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 130
Hard QBF Encodings made easy: Dream or Reality? 130
A Multi-engine Solver for Quantified Boolean Formulas 129
Quantifier Structure in search based procedures for QBFs 129
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 126
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 126
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems 124
The Seventh QBF Solvers Evaluation (QBFEVAL'10) 124
QBF Reasoning on Real-World Instances 123
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 122
Reverse Engineering of Middleware for Verification of Robot Control Architectures 122
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics 122
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems 120
Ontology-based data access: An application to intermodal logistics 120
Ranking and Reputation Systems in the QBF Competition 120
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation 120
A Self-adaptive Multi-engine solver for quantified Boolean formulas 119
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 118
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 116
OBDA and Intermodal Logistics: Active Projects and Applications 116
Testing a learn-verify-repair approach for safe human-robot interaction 116
Consistency of property specification patterns with boolean and constrained numerical signals 116
Repairing Learned Controllers with Convex Optimization: A Case Study 115
Learning for verification in embedded systems: A case study 114
Evaluating search heuristics and optimization techniques in propositional satisfiability 113
Towards an Efficient Library for SAT: a Manifesto 113
Evaluating probabilistic model checking tools for verification of robot control policies 113
Safe Learning with Real-Time Constraints: A Case Study 113
Backjumping for Quantified Boolean Logic Satisfiability 112
Getting to the airport: The oldest planning problem in AI 110
The QBFEVAL Web Portal 109
Improving Reliability of Myocontrol Using Formal Verification 108
Safe and Effective Learning: a Case Study 108
Monotone Literals and Learning in QBF Reasoning 107
Poster: Automatic Consistency Checking of Requirements with ReqV 107
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers 106
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper 105
Combining static and runtime methods to achieve safe standing-up for humanoid robots 105
Learning middleware models for verification of distributed control programs 104
SMT-based Planning for Robots in Smart Factories 103
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub 102
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems 101
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. 99
Collaborative Expert Portfolio Management 99
Constrained image generation using binarized neural networks with decision procedures 98
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 97
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems 97
Ontologies in system engineering: A field report 97
NeVer: a tool for artificial neural networks verification 96
A greedy approach for the efficient repair of stochastic models 95
Quantifier Structure in search based procedures for QBFs 94
On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories 89
More adaptive does not imply less safe (with formal verification) 87
Automata based test generation with SpecPro 87
Challenging SMT solvers to verify neural networks 86
SAT-Based Decision Procedures for Classical Modal Logics 85
Learning in physical domains: Mating safety requirements and costly sampling 84
Optimal Planning as Constraint Optimization 84
A Structural Approach to Reasoning with Quantified Boolean Formulas 83
Introducing computer engineering curriculum to upper secondary students: An evaluation of experiences based on educational robotics 82
Learning for Quantified Boolean Logic Satisfiability 78
Report of the Third QBF Solvers Evaluation 77
Is verification a requisite for safe adaptive robots? 77
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers 76
Conditional behavior trees: Definition, executability, and applications 76
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 72
Learning Nondeterministic Mealy Machines 71
Task planning with OMT: An application to production logistics 71
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 70
Automating functional genomics data analysis: a use case with an interdisciplinary approach 69
An empirical perspective on ten years of QBF solving 69
Property specification patterns at work: verification and inconsistency explanation 68
AQME’10 System Description. 67
null 65
SAT Techniques for Modal and Description Logics 62
Resilience of Cyber-Physical Systems: An Experimental Appraisal of Quantitative Measures 62
Un sistema peer-to-peer per la ricerca e la condivisione di Learning Object 56
null 54
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation 52
Engineering controllers for swarm robotics via reachability analysis in hybrid systems 51
A comparison of declarative AI techniques for computer automated design of elevator systems 49
Totale 10.646
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.479
article - articoli 8.511
book - libri 0
conference - conferenze 24.594
curatela - curatele 198
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.176
Totale 68.958
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.547 0 0 0 0 227 308 475 228 296 520 391 102
2020/20211.111 110 97 105 92 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/2025591 55 157 64 111 204 0 0 0 0 0 0 0
Totale 11.058