STOLE: A Reference Ontology for Historical Research Documents. - Laura Pandolfo (DC@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)

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

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)

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)

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

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

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)

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)

Building the Semantic Portal of Italian Divagrafie (Short Paper). - Laura Pandolfo; Lucia Cardone; Luisa Cutzu; Beatrice Seligardi; Giulia Simi (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

The WOW Project: Bridging AI and Cultural Heritage for Actress Writings (short paper). - Laura Pandolfo; Lucia Cardone; Lucia Cutzu; Raffaella Perna; Beatrice Seligardi; Giulia Simi (IAI4CH@AI*IA, 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)

Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies (short paper). - Giorgio Corona; Dario Guidotti; Laura Pandolfo (IAI4CH@AI*IA, 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)

A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas. - Giorgio Corona; Dario Guidotti; Laura Pandolfo (IRCDL, 2025)

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)

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