Armando Tacchella

Cited by

	All	Since 2016
Citations	5308	1697
h-index	30	15
i10-index	59	28

480

240

120

360

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202125 27 49 79 176 211 255 286 240 274 312 301 257 268 229 253 248 304 255 330 469 304 33

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 disi.unitn.it
Roberto SebastianiAssociate Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Marco PistoreResearch Director, Service Oriented Applications, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Francesco LeofanteResearch Associate, Imperial College LondonVerified email at imperial.ac.uk
Claudio CastelliniTeam leader at the DLR (German Aerospace Center)Verified email at dlr.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Marco MarateaUniversity of GenovaVerified email at dibris.unige.it
Giorgio MettaScientific Director, Istituto Italiano di TecnologiaVerified email at iit.it
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Ali KhaliliUniversità degli Studi di GenovaVerified email at edu.unige.it
Lorenzo NataleTenured Senior Scientist, Istituto Italiano di TecnologiaVerified email at iit.it
giuseppe cicalaUniversity of GenoaVerified email at unige.it
Simone VuottoUniversità degli studi di GenovaVerified email at edu.unige.it
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Verified email at labri.fr

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, ... International Conference on Computer Aided Verification, 359-364, 2002	2140	2002
Benefits of bounded model checking at an industrial setting F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi International Conference on Computer Aided Verification, 436-453, 2001	271	2001
An abstraction-refinement approach to verification of artificial neural networks L Pulina, A Tacchella International Conference on Computer Aided Verification, 243-257, 2010	190	2010
QUBE: A system for deciding quantified boolean formulas satisfiability E Giunchiglia, M Narizzano, A Tacchella International Joint Conference on Automated Reasoning, 364-369, 2001	170	2001
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	129	2006
Backjumping for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella Artificial Intelligence 145 (1-2), 99-120, 2003	126	2003
A self-adaptive multi-engine solver for quantified Boolean formulas L Pulina, A Tacchella Constraints 14 (1), 80-116, 2009	114	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	107	2003
SAT-based decision procedures for classical modal logics E Giunchiglia, A Tacchella, F Giunchiglia Journal of automated reasoning 28 (2), 143-171, 2002	101	2002
Learning for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella AAAI/IAAI, 649-654, 2002	93	2002
Challenging SMT solvers to verify neural networks L Pulina, A Tacchella Ai Communications 25 (2), 117-135, 2012	85	2012
A multi-engine solver for quantified boolean formulas L Pulina, A Tacchella International Conference on Principles and Practice of Constraint …, 2007	76	2007
Quantified boolean formulas satisfiability library (qbflib), 2001 E Giunchiglia, M Narizzano, A Tacchella	66	2006
Integrating BDD-based and SAT-based symbolic model checking A Cimatti, E Giunchiglia, M Pistore, M Roveri, R Sebastiani, A Tacchella International Workshop on Frontiers of Combining Systems, 49-56, 2002	64	2002
Evaluating search heuristics and optimization techniques in propositional satisfiability E Giunchiglia, M Maratea, A Tacchella, D Zambonin International Joint Conference on Automated Reasoning, 347-363, 2001	57	2001
More evaluation of decision procedures for modal logics E Giunchiglia, F Giunchiglia, R Sebastiani, A Tacchella KR 98, 626-635, 1998	57	1998
Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers D Le Berre, L Simon, A Tacchella International Conference on Theory and Applications of Satisfiability …, 2003	56	2003
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), 2010	55	2010
Watched data structures for QBF solvers I Gent, E Giunchiglia, M Narizzano, A Rowley, A Tacchella International Conference on Theory and Applications of Satisfiability …, 2003	54	2003
QuBE++: An efficient QBF solver E Giunchiglia, M Narizzano, A Tacchella International Conference on Formal Methods In Computer-Aided Design, 201-213, 2004	52	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

Upload PDF

Follow this author

Cited by

Co-authors