Luca Pulina

1.5k total citations
53 papers, 372 citations indexed

About

Luca Pulina is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Luca Pulina has authored 53 papers receiving a total of 372 indexed citations (citations by other indexed papers that have themselves been cited), including 37 papers in Artificial Intelligence, 20 papers in Computational Theory and Mathematics and 11 papers in Information Systems. Recurrent topics in Luca Pulina's work include Formal Methods in Verification (17 papers), Logic, Reasoning, and Knowledge (9 papers) and Adversarial Robustness in Machine Learning (7 papers). Luca Pulina is often cited by papers focused on Formal Methods in Verification (17 papers), Logic, Reasoning, and Knowledge (9 papers) and Adversarial Robustness in Machine Learning (7 papers). Luca Pulina collaborates with scholars based in Italy, United Kingdom and Austria. Luca Pulina's co-authors include Armando Tacchella, Massimo Narizzano, Martina Seidl, Michael Zakharyaschev, Roman Kontchakov, Ulrike Sattler, Marco Maratea, Frank Wolter, Thomas Schneider and Petra Selmer and has published in prestigious journals such as IEEE Access, Artificial Intelligence and Perception.

In The Last Decade

Luca Pulina

48 papers receiving 344 citations

Peers

Luca Pulina
Giuseppe Della Penna Italy
Franck Thollard France
Mark Chavira United States
Andrew S. Miner United States
Dilsun Kaynar United States
Garvit Juniwal United States
Christian Muise Canada
Georg Weißenbacher Austria
Martin Wehrle Switzerland
Sudarshan K. Srinivasan United States
Giuseppe Della Penna Italy
Luca Pulina
Citations per year, relative to Luca Pulina Luca Pulina (= 1×) peers Giuseppe Della Penna

Countries citing papers authored by Luca Pulina

Since Specialization
Citations

This map shows the geographic impact of Luca Pulina's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Luca Pulina with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luca Pulina more than expected).

Fields of papers citing papers by Luca Pulina

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luca Pulina. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Luca Pulina. The network helps show where Luca Pulina may publish in the future.

Co-authorship network of co-authors of Luca Pulina

This figure shows the co-authorship network connecting the top 25 collaborators of Luca Pulina. A scholar is included among the top collaborators of Luca Pulina based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Luca Pulina. Luca Pulina is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Pulina, Luca, et al.. (2024). NeVer2: learning and verification of neural networks. Soft Computing. 28(19). 11647–11665. 1 indexed citations
2.
Pulina, Luca, et al.. (2023). Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. Information. 14(7). 397–397. 2 indexed citations
3.
Pulina, Luca, et al.. (2023). Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. 16. 47–34. 2 indexed citations
4.
Pulina, Luca, et al.. (2023). Verification of NNs in the IMOCO4.E Project: Preliminary Results. Zenodo (CERN European Organization for Nuclear Research). 325. 1–4. 2 indexed citations
5.
Pulina, Luca, et al.. (2023). Verifying Neural Networks with SMT: An Experimental Evaluation. 1–2. 3 indexed citations
6.
Pulina, Luca & Martina Seidl. (2019). The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). Artificial Intelligence. 274. 224–248. 11 indexed citations
7.
Narizzano, Massimo, et al.. (2019). Poster: Automatic Consistency Checking of Requirements with ReqV. CINECA IRIS Institutial Research Information System (University of Genoa). 363–366. 7 indexed citations
8.
Pulina, Luca, et al.. (2018). ARKIVO: an Ontology for Describing Archival Resources.. 112–116. 4 indexed citations
9.
Pulina, Luca, et al.. (2017). Verification and repair of control policies for safe reinforcement learning. Applied Intelligence. 48(4). 886–908. 17 indexed citations
10.
Pulina, Luca, et al.. (2017). Towards an Ontology for Describing Archival Resources.. 111–116. 1 indexed citations
11.
Kontchakov, Roman, et al.. (2016). Temporal and spatial OBDA with many-dimensional halpern-shoham logic. BIROn (Birkbeck, University of London). 1160–1166. 10 indexed citations
12.
Adorni, Giovanni, et al.. (2015). An Ontology-Based Archive for Historical Research.. CINECA IRIS Institutial Research Information System (University of Genoa).
13.
Pulina, Luca, et al.. (2015). Leveraging semantic web technologies for analysis of crime in social science.. 66–71. 1 indexed citations
14.
Pulina, Luca, et al.. (2013). How to Abstract Intelligence? (If Verification Is in Order).. National Conference on Artificial Intelligence. 3 indexed citations
15.
Brelstaff, Gavin, et al.. (2012). On the plausibility of a generalized model of perceived similarity between faces. Perception. 41. 116–116. 1 indexed citations
16.
Kontchakov, Roman, Luca Pulina, Ulrike Sattler, et al.. (2009). Minimal module extraction from DL-lite ontologies using QBF solvers. Research Explorer (The University of Manchester). 836–841. 33 indexed citations
17.
Pulina, Luca & Armando Tacchella. (2009). A structural approach to reasoning with quantified Boolean formulas. CINECA IRIS Institutial Research Information System (University of Genoa). 596–602. 7 indexed citations
18.
Narizzano, Massimo, et al.. (2009). Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Communications. 22(4). 191–210. 13 indexed citations
19.
Pulina, Luca & Armando Tacchella. (2008). QuBIS : An (In)complete Solver for Quantified Boolean Formulas. Lecture notes in computer science. 5317. 34–43. 5 indexed citations
20.
Narizzano, Massimo, Luca Pulina, & Armando Tacchella. (2006). Report of the Third QBF Solvers Evaluation1. 2(1-4). 145–164. 18 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Giuseppe Della Penna Breakdown of academic impact, for papers by Franck Thollard Breakdown of academic impact, for papers by Mark Chavira Breakdown of academic impact, for papers by Andrew S. Miner Breakdown of academic impact, for papers by Dilsun Kaynar Breakdown of academic impact, for papers by Garvit Juniwal Breakdown of academic impact, for papers by Christian Muise Breakdown of academic impact, for papers by Georg Weißenbacher Breakdown of academic impact, for papers by Martin Wehrle Breakdown of academic impact, for papers by Sudarshan K. Srinivasan
Rankless by CCL
2026