The QBFEVAL Web Portal. - Massimo Narizzano; Luca Pulina; Armando Tacchella (JELIA, 2006)

Empirical Evaluation of Scoring Methods. - Luca Pulina (STAIRS, 2006)

Report of the Third QBF Solvers Evaluation. - Massimo Narizzano; Luca Pulina; Armando Tacchella (J. Satisf. Boolean Model. Comput., 2006)

Ranking and Reputation Systems in the QBF Competition. - Massimo Narizzano; Luca Pulina; Armando Tacchella (AI*IA, 2007)

A Multi-engine Solver for Quantified Boolean Formulas. - Luca Pulina; Armando Tacchella (CP, 2007)

Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. - Luca Pulina; Armando Tacchella (LPAR, 2008)

QuBIS: An (In)complete Solver for Quantified Boolean Formulas. - Luca Pulina; Armando Tacchella (MICAI, 2008)

Hard QBF Encodings Made Easy: Dream or Reality? - Luca Pulina; Armando Tacchella (AI*IA, 2009)

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. - Luca Pulina; Armando Tacchella (FroCoS, 2009)

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. - Roman Kontchakov; Luca Pulina; Ulrike Sattler; Thomas Schneider 002; Petra Selmer; Frank Wolter; Michael Zakharyaschev (IJCAI, 2009)

A Structural Approach to Reasoning with Quantified Boolean Formulas. - Luca Pulina; Armando Tacchella (IJCAI, 2009)

Evaluating and certifying QBFs: A comparison of state-of-the-art tools. - Massimo Narizzano; Claudia Peschiera; Luca Pulina; Armando Tacchella (AI Commun., 2009)

A self-adaptive multi-engine solver for quantified Boolean formulas. - Luca Pulina; Armando Tacchella (Constraints An Int. J., 2009)

Collaborative Expert Portfolio Management. - David H. Stern; Horst Samulowitz; Ralf Herbrich; Thore Graepel; Luca Pulina; Armando Tacchella (AAAI, 2010)

Designing a solver competition: the QBFEVAL'10 case study. - Claudia Peschiera; Luca Pulina; Armando Tacchella (EMSQMS@IJCAR, 2010)

An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. - Luca Pulina; Armando Tacchella (CAV, 2010)

Safe and effective learning: A case study. - Giorgio Metta; Lorenzo Natale; Shashank Pathak; Luca Pulina; Armando Tacchella (ICRA, 2010)

Safe Learning with Real-Time Constraints: A Case Study. - Giorgio Metta; Lorenzo Natale; Shashank Pathak; Luca Pulina; Armando Tacchella (IEA/AIE (1), 2010)

The Seventh QBF Solvers Evaluation (QBFEVAL'10). - Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Inês Lynce (SAT, 2010)

Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning. - Luca Pulina (AI Commun., 2010)

An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. - Luca Pulina; Armando Tacchella (Fundam. Informaticae, 2010)

AQME'10. - Luca Pulina; Armando Tacchella (J. Satisf. Boolean Model. Comput., 2010)

Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. - Marco Maratea; Luca Pulina (AI*IA, 2011)

Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. - Luca Pulina; Armando Tacchella (AI*IA, 2011)

NeVer: a tool for artificial neural networks verification. - Luca Pulina; Armando Tacchella (Ann. Math. Artif. Intell., 2011)

Understanding Critical Factors in Appearance-Based Gender Categorization. - Enrico Grosso; Andrea Lagorio; Luca Pulina; Massimo Tistarelli (ECCV Workshops (2), 2012)

Modeling biometric template update with Ant Colony Optimization. - Enrico Grosso; Luca Pulina; Massimo Tistarelli (ICB, 2012)

Applying Machine Learning Techniques to ASP Solving. - Marco Maratea; Luca Pulina; Francesco Ricca (ICLP (Technical Communications), 2012)

The Multi-Engine ASP Solver me-asp. - Marco Maratea; Luca Pulina; Francesco Ricca (JELIA, 2012)

Solving disjunctive temporal problems with preferences using maximum satisfiability. - Marco Maratea; Luca Pulina (AI Commun., 2012)

Challenging SMT solvers to verify neural networks. - Luca Pulina; Armando Tacchella (AI Commun., 2012)

How to Abstract Intelligence? (If Verification Is in Order). - Shashank Pathak; Luca Pulina; Giorgio Metta; Armando Tacchella (AAAI Fall Symposia, 2013)

A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences. - Jean-Rémi Bourguet; Marco Maratea; Luca Pulina (AI*IA, 2013)

Automated Selection of Grounding Algorithm in Answer Set Programming. - Marco Maratea; Luca Pulina; Francesco Ricca (AI*IA, 2013)

Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. - Shashank Pathak; Luca Pulina; Giorgio Metta; Armando Tacchella (IROS, 2013)

FRaQuE: A Framework for Rapid Query Processing Evaluation. - Jean-Rémi Bourguet; Luca Pulina (ORE, 2013)

OBDA and Intermodal Logistics: Active Projects and Applications. - Jean-Rémi Bourguet; Giuseppe Cicala; Luca Pulina; Armando Tacchella (RR, 2013)

Engineering Approaches and Methods to Verify Software in Autonomous Systems. - Giuseppe Cicala; Ali Khalili; Giorgio Metta; Lorenzo Natale; Shashank Pathak; Luca Pulina; Armando Tacchella (IAS, 2014)

Towards practical space-variant based face recognition and authentication. - Enrico Grosso; Andrea Lagorio; Luca Pulina; Massimo Tistarelli (IWBF, 2014)

TROvE: a Graphical Tool to Evaluate OWL Reasoners. - Jean-Rémi Bourguet; Luca Pulina (ORE, 2014)

An Ontology for Container Terminal Operations. - Luca Pulina (RR, 2014)

The Multi-engine ASP Solver ME-ASP: Progress Report. - Marco Maratea; Luca Pulina; Francesco Ricca (CoRR, 2014)

Efficient DTPP solving with a reduction-based approach. - Marco Maratea; Luca Pulina (Intelligenza Artificiale, 2014)

A multi-engine approach to answer-set programming. - Marco Maratea; Luca Pulina; Francesco Ricca (Theory Pract. Log. Program., 2014)

Advances in Multi-engine ASP Solving. - Marco Maratea; Luca Pulina; Francesco Ricca (AI*IA, 2015)

An Empirical Perspective on Ten Years of QBF Solving. - Paolo Marin; Massimo Narizzano; Luca Pulina; Armando Tacchella; Enrico Giunchiglia (RCRA@AI*IA, 2015)

Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. - Shashank Pathak; Luca Pulina; Armando Tacchella (AI*IA, 2015)

A Case for Robust AI in Robotics. - Shashank Pathak; Luca Pulina; Armando Tacchella (AIRO@AI*IA, 2015)

Leveraging semantic web technologies for analysis of crime in social science. - Luca Pulina; Antonietta Mazzette; Laura Pandolfo; Elena Piga; Maria Laura Ruiu; Camillo Tidore (CILC, 2015)

An Ontology-Based Archive for Historical Research. - Giovanni Adorni; Marco Maratea; Laura Pandolfo; Luca Pulina (Description Logics, 2015)

Multi-level Algorithm Selection for ASP. - Marco Maratea; Luca Pulina; Francesco Ricca (LPNMR, 2015)

An Ontology for Historical Research Documents. - Giovanni Adorni; Marco Maratea; Laura Pandolfo; Luca Pulina (RR, 2015)

Multi-engine ASP solving with policy adaptation. - Marco Maratea; Luca Pulina; Francesco Ricca (J. Log. Comput., 2015)

Learning with Safety Requirements: State of the Art and Open Questions. - Francesco Leofante; Luca Pulina; Armando Tacchella (RCRA@AI*IA, 2016)

A Framework for Automatic Population of Ontology-Based Digital Libraries. - Laura Pandolfo; Luca Pulina; Giovanni Adorni (AI*IA, 2016)

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. - Roman Kontchakov; Laura Pandolfo; Luca Pulina; Vladislav Ryzhikov; Michael Zakharyaschev (IJCAI, 2016)

The Ninth QBF Solvers Evaluation - Preliminary Report. - Luca Pulina (QBF@SAT, 2016)

Evaluating probabilistic model checking tools for verification of robot control policies. - Shashank Pathak; Luca Pulina; Armando Tacchella (AI Commun., 2016)

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. - Paolo Marin; Massimo Narizzano; Luca Pulina; Armando Tacchella; Enrico Giunchiglia (Fundam. Informaticae, 2016)

More Adaptive Does not Imply Less Safe (with Formal Verification). - Luca Pulina; Armando Tacchella (Haifa Verification Conference, 2017)

ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents. - Laura Pandolfo; Luca Pulina (IEA/AIE (1), 2017)

Towards an Ontology for Describing Archival Resources. - Laura Pandolfo; Luca Pulina; Marek Zielinski (WHiSe@ISWC, 2017)

On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations. - Souad Khellat-Kihel; Laura Pandolfo; Luca Pulina; Enrico Grosso (APPIS, 2018)

A User Model Ontology for Adaptive Systems in Cultural Tourism Domain. - Laura Pandolfo; Luca Pulina; Enrico Grosso (APPIS, 2018)

ARKIVO: an Ontology for Describing Archival Resources. - Laura Pandolfo; Luca Pulina; Marek Zielinski (CILC, 2018)

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (NFM, 2018)

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. - Svyatoslav Korneev; Nina Narodytska; Luca Pulina; Armando Tacchella; Nikolaj S. Bjørner; Mooly Sagiv (SAT, 2018)

Verification and repair of control policies for safe reinforcement learning. - Shashank Pathak; Luca Pulina; Armando Tacchella (Appl. Intell., 2018)

Translation-based approaches for solving disjunctive temporal problems with preferences. - Enrico Giunchiglia; Marco Maratea; Luca Pulina (Constraints An Int. J., 2018)

Automated Verification of Neural Networks: Advances, Challenges and Perspectives. - Francesco Leofante; Nina Narodytska; Luca Pulina; Armando Tacchella (CoRR, 2018)

SMarTplan: a Task Planner for Smart Factories. - Arthur Bit-Monnot; Francesco Leofante; Luca Pulina; Erika Ábrahám; Armando Tacchella (CoRR, 2018)

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. - Dario Guidotti; Francesco Leofante; Luca Pulina; Armando Tacchella (AI*IA, 2019)

Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. - Arthur Bit-Monnot; Luca Pulina; Armando Tacchella (ICAPS, 2019)

CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of reconfigurable systems in unceRtain hybRid envirOnments: Invited paper: CERBERO teams from UniSS, UniCA, IBM Research, TASE, INSA-Rennes, UPM, USI, Abinsula, AmbieSense, TNO, S&T, CRF. - Francesca Palumbo; Tiziana Fanni; Carlo Sau; Luca Pulina; Luigi Raffo; Michael Masin; Evgeny Shindin; Pablo Sanchez de Rojas; Karol Desnos; Maxime Pelcat; Alfonso Rodríguez 002; Eduardo Juárez 001; et al. (CF, 2019)

Automata based test generation with SpecPro. - Simone Vuotto; Massimo Narizzano; Luca Pulina; Armando Tacchella (RET@ICSE, 2019)

Poster: Automatic Consistency Checking of Requirements with ReqV. - Simone Vuotto; Massimo Narizzano; Luca Pulina; Armando Tacchella (ICST, 2019)

A Survey on Applications of Quantified Boolean Formulas. - Ankit Shukla 003; Armin Biere; Luca Pulina; Martina Seidl (ICTAI, 2019)

SMT-based Planning for Robots in Smart Factories. - Arthur Bit-Monnot; Francesco Leofante; Luca Pulina; Armando Tacchella (IEA/AIE, 2019)

Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America. - Laura Pandolfo; Luca Pulina; Marek Zielinski (IRCDL, 2019)

Algorithm Selection for Paracoherent Answer Set Computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Luca Pulina; Francesco Ricca (JELIA, 2019)

The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). - Luca Pulina; Martina Seidl (Artif. Intell., 2019)

Property specification patterns at work: verification and inconsistency explanation. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (Innov. Syst. Softw. Eng., 2019)

Notes from the Guest Editors. - Luca Pulina; Martina Seidl (J. Satisf. Boolean Model. Comput., 2019)

Verification of Neural Networks: Enhancing Scalability Through Pruning. - Dario Guidotti; Francesco Leofante; Luca Pulina; Armando Tacchella (ECAI, 2020)

Automated Requirements-Based Testing of Black-Box Reactive Systems. - Massimo Narizzano; Luca Pulina; Armando Tacchella; Simone Vuotto (NFM, 2020)

NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. - Dario Guidotti; Luca Pulina; Armando Tacchella (CoRR, 2020)

Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences. - Laura Pandolfo; Sara Spanu; Luca Pulina; Enrico Grosso (Int. J. Technol. Hum. Interact., 2020)

pyNeVer: A Framework for Learning and Verification of Neural Networks. - Dario Guidotti; Luca Pulina; Armando Tacchella (ATVA, 2021)

QBFFam: A Tool for Generating QBF Families from Proof Complexity. - Olaf Beyersdorff; Luca Pulina; Martina Seidl; Ankit Shukla 003 (SAT, 2021)

ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools. - Laura Pandolfo; Luca Pulina (WEBIST, 2021)

SMT-Based Consistency Checking of Configuration-Based Components Specifications. - Laura Pandolfo; Luca Pulina; Simone Vuotto (IEEE Access, 2021)

Building the Semantic Layer of the Józef Piłsudski Digital Archive With an Ontology-Based Approach. - Laura Pandolfo; Luca Pulina (Int. J. Semantic Web Inf. Syst., 2021)

AI and Videogames: a "Drosophila" for Declarative Methods. - Denise Angilica; Giovambattista Ianni; Francesca A. Lisi; Luca Pulina (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). - Romina Eramo; Tiziana Fanni; Dario Guidotti; Laura Pandolfo; Luca Pulina; Katiuscia Zedda (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. - Stefano Demarchi; Dario Guidotti; Luca Pulina; Armando Tacchella (FoMLAS@CAV, 2023)

Unlocking Historical Insights: Developing a Dataset from Historical Archives. - Laura Pandolfo; Luca Pulina (CILC, 2023)

Verifying Neural Networks with SMT: An Experimental Evaluation. - Dario Guidotti; Laura Pandolfo; Luca Pulina (e-Science, 2023)

Detection of Component Degradation: A Study on Autoencoder-Based Approaches. - Dario Guidotti; Laura Pandolfo; Luca Pulina (e-Science, 2023)

Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. - Dario Guidotti; Riccardo Masiero; Laura Pandolfo; Luca Pulina (ETFA, 2023)

Verification of NNs in the IMOCO4.E Project: Preliminary Results. - Dario Guidotti; Laura Pandolfo; Luca Pulina (ETFA, 2023)

Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. - Dario Guidotti; Laura Pandolfo; Luca Pulina (ICTAI, 2023)

Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. - Dario Guidotti; Laura Pandolfo; Luca Pulina (Inf., 2023)

SECURED for Health: Scaling Up Privacy to Enable the Integration of the European Health Data Space. - Francesco Regazzoni 001; Gergely Ács; Albert Zoltan Aszalos; Christos Avgerinos; Nikolaos Bakalos; Josep Lluis Berral; Joppe W. Bos; Marco Brohet; Andrés G. Castillo Sanz; Gareth T. Davies; Stefanos Florescu; Pierre-Elisée Flory; et al. (DATE, 2024)

LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach. - Dario Guidotti; Laura Pandolfo; Luca Pulina (ICTAI, 2024)

Verifying Autoencoders for Anomaly Detection in Predictive Maintenance. - Dario Guidotti; Laura Pandolfo; Luca Pulina (IEA/AIE, 2024)

Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection. - Dario Guidotti; Laura Pandolfo; Luca Pulina (IEA/AIE, 2024)

Translating Requirements in Property Specification Patterns using LLMs. - Dario Guidotti; Laura Pandolfo; Tiziana Fanni; Katiuscia Zedda; Luca Pulina (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control. - Dario Guidotti; Laura Pandolfo; Luca Pulina (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes. - Giorgio Corona; Dario Guidotti; Laura Pandolfo; Luca Pulina (SemDH@ESWC, 2024)

NeVer2: learning and verification of neural networks. - Stefano Demarchi; Dario Guidotti; Luca Pulina; Armando Tacchella (Soft Comput., 2024)

A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0. - Dario Guidotti; Laura Pandolfo; Luca Pulina (IEEE Access, 2025)

A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems. - Laura Pandolfo; Giorgio Corona; Dario Guidotti; Luca Pulina (IEEE Access, 2025)

Discovering sentiment insights: streamlining tourism review analysis with Large Language Models. - Dario Guidotti; Laura Pandolfo; Luca Pulina (J. Inf. Technol. Tour., 2025)