| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luca Pulina, Martina Seidl |
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17).  |
Artif. Intell.  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto |
Property specification patterns at work: verification and inconsistency explanation. |
ISSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina (eds.) |
Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems - From concepts to implementation", Alghero, Italy, September 23, 2019. |
CPS Summer School, PhD Workshop |
2019 |
DBLP BibTeX RDF |
|
| 1 | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
Poster: Automatic Consistency Checking of Requirements with ReqV. |
ICST |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Pandolfo, Luca Pulina, Marek Zielinski |
Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America. |
IRCDL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Palumbo, Tiziana Fanni, Carlo Sau, Luca Pulina, Luigi Raffo, Michael Masin, Evgeny Shindin, Pablo Sanchez de Rojas, Karol Desnos, Maxime Pelcat, Alfonso Rodriguez, Eduardo Juárez, Francesco Regazzoni, Giuseppe Meloni, Katiuscia Zedda, Hans Myrhaug, Leszek Kaliciak, Joost Andriaanse, Julio de Olivieria Filho, Pablo Muñoz, Antonella Toffetti |
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. |
CF |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Luca Pulina, Francesco Ricca |
Algorithm Selection for Paracoherent Answer Set Computation. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella |
Automata based test generation with SpecPro. |
RET@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella |
SMT-based Planning for Robots in Smart Factories. |
IEA/AIE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Bit-Monnot, Luca Pulina, Armando Tacchella |
Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. |
ICAPS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella |
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. |
AI*IA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella |
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella |
SMarTplan: a Task Planner for Smart Factories. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv |
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Shashank Pathak, Luca Pulina, Armando Tacchella |
Verification and repair of control policies for safe reinforcement learning. |
Appl. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Luca Pulina |
Translation-based approaches for solving disjunctive temporal problems with preferences. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Pandolfo, Luca Pulina, Marek Zielinski |
ARKIVO: an Ontology for Describing Archival Resources. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv |
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. |
SAT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto |
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. |
NFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Souad Khellat-Kihel, Laura Pandolfo, Luca Pulina, Enrico Grosso |
On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations. |
APPIS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Pandolfo, Luca Pulina, Enrico Grosso |
A User Model Ontology for Adaptive Systems in Cultural Tourism Domain. |
APPIS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto |
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Laura Pandolfo, Luca Pulina, Marek Zielinski |
Towards an Ontology for Describing Archival Resources. |
WHiSe@ISWC |
2017 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
More Adaptive Does not Imply Less Safe (with Formal Verification). |
Haifa Verification Conference |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Pandolfo, Luca Pulina |
ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents. |
IEA/AIE (1) |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia |
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. |
Fundam. Inform. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shashank Pathak, Luca Pulina, Armando Tacchella |
Evaluating probabilistic model checking tools for verification of robot control policies. |
AI Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina |
The Ninth QBF Solvers Evaluation - Preliminary Report. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Francesco Leofante, Luca Pulina, Armando Tacchella |
Learning with Safety Requirements: State of the Art and Open Questions. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Laura Pandolfo, Luca Pulina, Giovanni Adorni |
A Framework for Automatic Population of Ontology-Based Digital Libraries. |
AI*IA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev |
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Multi-engine ASP solving with policy adaptation. |
J. Log. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore |
Leveraging semantic web technologies for analysis of crime in social science. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Multi-level Algorithm Selection for ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina |
An Ontology-Based Archive for Historical Research. |
Description Logics |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Advances in Multi-engine ASP Solving. |
AI*IA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia |
An Empirical Perspective on Ten Years of QBF Solving. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Shashank Pathak, Luca Pulina, Armando Tacchella |
A Case for Robust AI in Robotics. |
AIRO@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Shashank Pathak, Luca Pulina, Armando Tacchella |
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. |
AI*IA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina |
An Ontology for Historical Research Documents. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina |
Efficient DTPP solving with a reduction-based approach. |
Intelligenza Artificiale |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
The Multi-engine ASP Solver ME-ASP: Progress Report. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
A multi-engine approach to answer-set programming. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Grosso, Andrea Lagorio, Luca Pulina, Massimo Tistarelli |
Towards practical space-variant based face recognition and authentication. |
IWBF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella |
Engineering Approaches and Methods to Verify Software in Autonomous Systems. |
IAS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Rémi Bourguet, Luca Pulina |
TROvE: a Graphical Tool to Evaluate OWL Reasoners. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina |
An Ontology for Container Terminal Operations. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
A Multi-Engine Approach to Answer Set Programming. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella |
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. |
IROS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella |
How to Abstract Intelligence? (If Verification Is in Order). |
AAAI Fall Symposia |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jean-Rémi Bourguet, Luca Pulina |
FRaQuE: A Framework for Rapid Query Processing Evaluation. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jean-Rémi Bourguet, Marco Maratea, Luca Pulina |
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences. |
AI*IA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Automated Selection of Grounding Algorithm in Answer Set Programming. |
AI*IA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella |
OBDA and Intermodal Logistics: Active Projects and Applications. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina |
Solving disjunctive temporal problems with preferences using maximum satisfiability. |
AI Commun. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
Challenging SMT solvers to verify neural networks. |
AI Commun. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Grosso, Luca Pulina, Massimo Tistarelli |
Modeling biometric template update with Ant Colony Optimization. |
ICB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Applying Machine Learning Techniques to ASP Solving. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
The Multi-Engine ASP Solver me-asp. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Grosso, Andrea Lagorio, Luca Pulina, Massimo Tistarelli |
Understanding Critical Factors in Appearance-Based Gender Categorization. |
ECCV Workshops (2) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
NeVer: a tool for artificial neural networks verification. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina |
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. |
AI*IA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. |
AI*IA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina |
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
AQME'10. |
JSAT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella |
Safe and effective learning: A case study. |
ICRA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella |
Collaborative Expert Portfolio Management. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Claudia Peschiera, Luca Pulina, Armando Tacchella |
Designing a solver competition: the QBFEVAL'10 case study. |
EMSQMS@IJCAR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce |
The Seventh QBF Solvers Evaluation (QBFEVAL'10). |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella |
Safe Learning with Real-Time Constraints: A Case Study. |
IEA/AIE (1) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella |
Evaluating and certifying QBFs: A comparison of state-of-the-art tools. |
AI Commun. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
A self-adaptive multi-engine solver for quantified Boolean formulas. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Self-adaptive multi-engine solver, AQME, Quantified Boolean formulas |
| 1 | Luca Pulina, Armando Tacchella |
Hard QBF Encodings Made Easy: Dream or Reality? |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
A structural approach to reasoning with quantified Boolean formulas. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. |
FroCoS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
A Structural Approach to Reasoning with Quantified Boolean Formulas. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider 0002, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
QuBIS: An (In)complete Solver for Quantified Boolean Formulas. |
MICAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
A Multi-engine Solver for Quantified Boolean Formulas. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Narizzano, Luca Pulina, Armando Tacchella |
Ranking and Reputation Systems in the QBF Competition. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Narizzano, Luca Pulina, Armando Tacchella |
Report of the Third QBF Solvers Evaluation. |
JSAT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina |
Empirical Evaluation of Scoring Methods. |
STAIRS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Massimo Narizzano, Luca Pulina, Armando Tacchella |
The QBFEVAL Web Portal. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license