Armando Tacchella

Cited by

	All	Since 2018
Citations	6180	1839
h-index	33	17
i10-index	66	29

400

200

100

300

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 30 52 83 157 208 279 283 248 289 314 304 272 279 298 252 278 310 264 334 390 329 349 327 106

Public access

View all

11 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Luca PulinaUniversity of SassariVerified email at uniss.it
Massimo NarizzanoUnige, DIBRIS (Dipartimento di Informatica, Bioingegneria, Robotica, e Ingegneria dei Sistemi)Verified email at unige.it
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Francesco LeofanteImperial College Research Fellow, Imperial College LondonVerified email at imperial.ac.uk
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Claudio CastelliniProfessor of Medical Robotics at FAU Erlangen and senior researcher at the German Aerospace CenterVerified email at fau.de
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Marco MarateaUniversity of GenovaVerified email at dibris.unige.it
Lorenzo NataleTenured Senior Scientist, Istituto Italiano di TecnologiaVerified email at iit.it
giuseppe cicalaUniversity of GenoaVerified email at unige.it
Giorgio MettaScientific Director, Istituto Italiano di TecnologiaVerified email at iit.it
Simone VuottoUniversità degli studi di GenovaVerified email at edu.unige.it
Ali KhaliliUniversità degli Studi di GenovaVerified email at edu.unige.it
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Ranan FraerDesign Technology, Intel CorporationVerified email at intel.com

Armando Tacchella

Professor, Information Processing Systems, University of Genoa

Verified email at unige.it

Artificial Intelligence Automated Reasoning System Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	2395	2002
An abstraction-refinement approach to verification of artificial neural networks L Pulina, A Tacchella Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	305	2010
Benefits of bounded model checking at an industrial setting F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	275	2001
QUBE: A system for deciding quantified boolean formulas satisfiability E Giunchiglia, M Narizzano, A Tacchella Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	176	2001
Backjumping for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella Artificial Intelligence 145 (1-2), 99-120, 2003	139	2003
Clause/term resolution and learning in the evaluation of quantified Boolean formulas E Giunchiglia, M Narizzano, A Tacchella Journal of Artificial Intelligence Research 26, 371-416, 2006	138	2006
Challenging SMT solvers to verify neural networks L Pulina, A Tacchella Ai Communications 25 (2), 117-135, 2012	131	2012
Learning for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella AAAI/IAAI, 649-654, 2002	127	2002
A self-adaptive multi-engine solver for quantified Boolean formulas L Pulina, A Tacchella Constraints 14, 80-116, 2009	124	2009
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism C Castellini, E Giunchiglia, A Tacchella Artificial Intelligence 147 (1-2), 85-117, 2003	115	2003
SAT-based decision procedures for classical modal logics E Giunchiglia, A Tacchella, F Giunchiglia Journal of automated reasoning 28, 143-171, 2002	104	2002
A multi-engine solver for quantified boolean formulas L Pulina, A Tacchella Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007	84	2007
Automated verification of neural networks: Advances, challenges and perspectives F Leofante, N Narodytska, L Pulina, A Tacchella arXiv preprint arXiv:1805.09938, 2018	79	2018
Quantified boolean formulas satisfiability library (qbflib), 2001 E Giunchiglia, M Narizzano, A Tacchella	75	2006
Collaborative expert portfolio management D Stern, H Samulowitz, R Herbrich, T Graepel, L Pulina, A Tacchella Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 179-184, 2010	64	2010
Evaluating search heuristics and optimization techniques in propositional satisfiability E Giunchiglia, M Maratea, A Tacchella, D Zambonin Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	64	2001
Integrating BDD-based and SAT-based symbolic model checking A Cimatti, E Giunchiglia, M Pistore, M Roveri, R Sebastiani, A Tacchella Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 …, 2002	63	2002
Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers D Le Berre, L Simon, A Tacchella Theory and Applications of Satisfiability Testing: 6th International …, 2004	62	2004
Dependent and independent variables in propositional satisfiability E Giunchiglia, M Maratea, A Tacchella JELIA 2424, 296-307, 2002	62	2002
Watched data structures for QBF solvers I Gent, E Giunchiglia, M Narizzano, A Rowley, A Tacchella Theory and Applications of Satisfiability Testing: 6th International …, 2004	59	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors