Luca Pulina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
22
Active years
2006–2024
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | DATE | SECURED for Health: Scaling Up Privacy to Enable the Integration of the European Health Data Space. | Francesco Regazzoni, Gergely cs, Albert Zoltan Aszalos, Christos Avgerinos, Nikolaos Bakalos, Josep Lluis Berral, Joppe W. Bos, Marco Brohet, Andrs G. Castillo Sanz, Gareth T. Davies, Stefanos Florescu, Pierre-Elise Flory, Alberto Gutierrez-Torre, Evangelos Haleplidis, Alice Hliou, Sotirios Ioannidis, Alexander Islam El-Kady, Katarzyna Kapusta, Konstantina Karagianni, Pieter Kruizinga, Kyrian Maat, Zoltn dm Mann, Kalliopi Mastoraki, SeoJeong Moon, Maja Nisevic, Balzs Pej, Kostas Papagiannopoulos, Vassilis Paliouras, Paolo Palmieri, Francesca Palumbo, Juan Carlos Prez Baun, Pter Pollner, Eduard Porta-Pardo, Luca Pulina, Muhammad Ali Siddiqi, Daniela Spajic, Christos Strydis, Georgios Tasopoulos, Vincent Thouvenot, Christos Tselios, Apostolos P. Fournaris |
| 2024 | ICTAI | LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach. | Dario Guidotti, Laura Pandolfo, Luca Pulina |
| 2023 | CAV | Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. | Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella |
| 2023 | ETFA | Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. | Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina |
| 2023 | ETFA | Verification of NNs in the IMOCO4.E Project: Preliminary Results. | Dario Guidotti, Laura Pandolfo, Luca Pulina |
| 2023 | ICTAI | Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. | Dario Guidotti, Laura Pandolfo, Luca Pulina |
| 2021 | ATVA | pyNeVer: A Framework for Learning and Verification of Neural Networks. | Dario Guidotti, Luca Pulina, Armando Tacchella |
| 2021 | WEBIST | ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools. | Laura Pandolfo, Luca Pulina |
| 2021 | SAT | QBFFam: A Tool for Generating QBF Families from Proof Complexity. | Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla |
| 2020 | ECAI | Verification of Neural Networks: Enhancing Scalability Through Pruning. | Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella |
| 2019 | ICSE | Automata based test generation with SpecPro. | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2019 | ICST | Poster: Automatic Consistency Checking of Requirements with ReqV. | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
| 2019 | ICTAI | A Survey on Applications of Quantified Boolean Formulas. | Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl |
| 2019 | JELIA | Algorithm Selection for Paracoherent Answer Set Computation. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca |
| 2018 | SAT | Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. | Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjrner, Mooly Sagiv |
| 2016 | IJCAI | Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. | Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2016 | SAT | The Ninth QBF Solvers Evaluation - Preliminary Report. | Luca Pulina |
| 2015 | LPNMR | Multi-level Algorithm Selection for ASP. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2014 | IAS | Engineering Approaches and Methods to Verify Software in Autonomous Systems. | Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella |
| 2013 | IROS | 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 |
| 2012 | ECCV | Understanding Critical Factors in Appearance-Based Gender Categorization. | Enrico Grosso, Andrea Lagorio, Luca Pulina, Massimo Tistarelli |
| 2012 | ICLP | Applying Machine Learning Techniques to ASP Solving. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2012 | JELIA | The Multi-Engine ASP Solver me-asp. | Marco Maratea, Luca Pulina, Francesco Ricca |
| 2010 | AAAI | Collaborative Expert Portfolio Management. | David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella |
| 2010 | CADE | Designing a solver competition: the QBFEVAL'10 case study. | Claudia Peschiera, Luca Pulina, Armando Tacchella |
| 2010 | CAV | An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. | Luca Pulina, Armando Tacchella |
| 2010 | ICRA | Safe and effective learning: A case study. | Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella |
| 2010 | SAT | The Seventh QBF Solvers Evaluation (QBFEVAL'10). | Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Ins Lynce |
| 2009 | IJCAI | Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
| 2009 | IJCAI | A Structural Approach to Reasoning with Quantified Boolean Formulas. | Luca Pulina, Armando Tacchella |
| 2008 | LPAR | Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. | Luca Pulina, Armando Tacchella |
| 2007 | CP | A Multi-engine Solver for Quantified Boolean Formulas. | Luca Pulina, Armando Tacchella |
| 2006 | JELIA | The QBFEVAL Web Portal. | Massimo Narizzano, Luca Pulina, Armando Tacchella |