TACCHELLA, ARMANDO

TACCHELLA, ARMANDO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 102 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
A Multi-engine Solver for Quantified Boolean Formulas 1-gen-2007 Pulina, L; Tacchella, Armando
A Self-adaptive Multi-engine solver for quantified Boolean formulas 1-gen-2009 Tacchella, Armando; Pulina, L.
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 1-gen-2010 Pulina, L; Tacchella, Armando
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
AQME’10 System Description. 1-gen-2010 Pulina, L; Tacchella, Armando
Automata based test generation with SpecPro 1-gen-2019 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Automatic Test-Pattern Generation for Grey-Box Programs 1-gen-2015 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
Automating functional genomics data analysis: a use case with an interdisciplinary approach 1-gen-2008 Balbi, Alberto; Corradi, Luca; Fato, MARCO MASSIMO; Mirisola, Valentina; Pfeffer, Ulrich; Porro, Ivan; Romano, Paolo; Tacchella, Armando
Backjumping for Quantified Boolean Logic Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Backjumping for Quantified Boolean Logic satisfiability 1-gen-2003 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Benefits of bounded model checking at an industrial setting 1-gen-2001 Copty, F.; Fix, L.; Fraer, R.; Giunchiglia, Enrico; Kamhi, G.; Tacchella, Armando; Vardi, M. Y.
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers 1-gen-2004 Le Berre, D.; Simon, L.; Tacchella, Armando
Challenging SMT solvers to verify neural networks 1-gen-2012 L., Pulina; Tacchella, Armando
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation 1-gen-2011 Luca, Pulina; Tacchella, Armando
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 1-gen-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Collaborative Expert Portfolio Management 1-gen-2010 Stern, D. H.; Samulowitz, H.; Herbrich, R.; Graepel, T.; Pulina, Luca; Tacchella, Armando
Combining static and runtime methods to achieve safe standing-up for humanoid robots 1-gen-2016 Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils
Computational thinking for beginners: A successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems 1-gen-2017 Annunziata, Leopoldo; Menapace, Marco; Tacchella, Armando
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems 1-gen-2018 Murino, Giuseppina; Tacchella, Armando