Luca Pulina

University of Sassari — Italy

Computer Science · Physical Sciences

18h-index1.5kcitations121works3.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(38), Semantic Web and Ontologies(19), Logic, Reasoning, and Knowledge(18), Adversarial Robustness in Machine Learning(18), Software Reliability and Analysis Research(13)

Publications121 total

Discovering sentiment insights: streamlining tourism review analysis with Large Language Models
Information Technology & Tourism·2025· 9 citedOpen Access
A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems
IEEE Access·2025Open Access
<i>SynthVal</i> : A Framework for Validating Synthetic Medical Images
IEEE Access·2025Open Access
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0
IEEE Access·2025· 10 citedOpen Access
LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach
2024· 1 cited
NeVer2: learning and verification of neural networks
Soft Computing·2024· 7 citedOpen Access
SECURED for Health: Scaling Up Privacy to Enable the Integration of the European Health Data Space
2024· 3 citedOpen Access
NeVer2: Learning and Verification of Neural Networks
2024Open Access
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection
Lecture notes in computer science·2024
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance
Lecture notes in computer science·2024Open Access
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report
2023· 3 cited
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
Kalpa publications in computing·2023· 10 citedOpen Access
Verifying Neural Networks with SMT: An Experimental Evaluation
2023· 6 cited
Detection of Component Degradation: A Study on Autoencoder-Based Approaches
2023· 6 citedOpen Access
Verification of NNs in the IMOCO4.E Project: Preliminary Results
2023· 6 citedOpen Access
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project
2023· 6 citedOpen Access
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications
Information·2023· 8 citedOpen Access
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project
Zenodo (CERN European Organization for Nuclear Research)·2023· 3 citedOpen Access
Building the Semantic Layer of the Józef Piłsudski Digital Archive With an Ontology-Based Approach
International Journal on Semantic Web and Information Systems·2021· 5 cited
Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State
Proceedings of the International Conference on Automated Planning and Scheduling·2021· 1 citedOpen Access
page 1 of 7Next →

Frequent Co-authors

Armando Tacchella(30), Dario Guidotti(11), Laura Pandolfo(8), Massimo Narizzano(7), Marco Maratea(6), Francesco Ricca(5), Francesco Leofante(4), Shashank Pathak(4), Martina Seidl(3), Giorgio Metta(3), Simone Vuotto(3), Roman Kontchakov(2), Michael Zakharyaschev(2), Claudia Peschiera(2), Giovanni Adorni(2), S. Demarchi(2), Lorenzo Natale(2), Ulrike Sattler(1), Thomas Schneider(1), Petra Selmer(1)