The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luca Pulina" ( http://dblp.L3S.de/Authors/Luca_Pulina )

URL (Homepage):  https://orcid.org/0000-0003-0258-3222  Author page on DBLP  Author page in RDF  Community of Luca Pulina in ASPL-2

Publication years (Num. hits)
2006-2010 (23) 2011-2013 (16) 2014-2015 (16) 2016-2018 (20) 2019 (11)
Publication types (Num. hits)
article(24) inproceedings(61) proceedings(1)
Venues (Conferences, Journals, ...)
AI*IA(10) CoRR(6) AI Commun.(5) IJCAI(3) JELIA(3) RCRA@AI*IA(3) RR(3) APPIS(2) CILC(2) Constraints(2) Fundam. Inform.(2) IEA/AIE (1)(2) JSAT(2) ORE(2) SAT(2) AAAI(1) More (+10 of total 52)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

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