Luca Pulina Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: Challenging SMT solvers to verify neural networks. AI Commun. 25(2): 117-135 (2012)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Maratea, Luca Pulina: Solving disjunctive temporal problems with preferences using maximum satisfiability. AI Commun. 25(2): 137-156 (2012)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Grosso, Andrea Lagorio, Luca Pulina, Massimo Tistarelli: Understanding Critical Factors in Appearance-Based Gender Categorization. ECCV Workshops (2) 2012: 280-289
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Grosso, Luca Pulina, Massimo Tistarelli: Modeling biometric template update with Ant Colony Optimization. ICB 2012: 506-511
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Maratea, Luca Pulina, Francesco Ricca: Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) 2012: 37-48
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Maratea, Luca Pulina, Francesco Ricca: The Multi-Engine ASP Solver me-asp. JELIA 2012: 484-487
2011
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. 62(3-4): 403-425 (2011)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. AI*IA 2011: 127-138
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Maratea, Luca Pulina: Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. AI*IA 2011: 420-425
2010
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina: Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning. AI Commun. 23(1): 61-63 (2010)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. Fundam. Inform. 102(3-4): 391-427 (2010)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: AQME'10. JSAT 7(2-3): 65-70 (2010)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella: Collaborative Expert Portfolio Management. AAAI 2010
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. CAV 2010: 243-257
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella: Safe and effective learning: A case study. ICRA 2010: 4809-4814
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella: Safe Learning with Real-Time Constraints: A Case Study. IEA/AIE (1) 2010: 133-142
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce: The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT 2010: 237-250
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella: Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun. 22(4): 191-210 (2009)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints 14(1): 80-116 (2009)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: Hard QBF Encodings Made Easy: Dream or Reality? AI*IA 2009: 31-41
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. FroCoS 2009: 350-365
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: A Structural Approach to Reasoning with Quantified Boolean Formulas. IJCAI 2009: 596-602
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841
2008
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR 2008: 528-542
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI 2008: 34-43
2007
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Massimo Narizzano, Luca Pulina, Armando Tacchella: Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina, Armando Tacchella: A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Massimo Narizzano, Luca Pulina, Armando Tacchella: Report of the Third QBF Solvers Evaluation. JSAT 2(1-4): 145-164 (2006)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Massimo Narizzano, Luca Pulina, Armando Tacchella: The QBFEVAL Web Portal. JELIA 2006: 494-497
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Pulina: Empirical Evaluation of Scoring Methods. STAIRS 2006: 108-119

Coauthor Index

1Uwe Bubeck
[c11]
2Thore Graepel
[c15]
3Enrico Grosso
[c21] [c20]
4Ralf Herbrich
[c15]
5Roman Kontchakov
[c7]
6Oliver Kullmann
[c11]
7Andrea Lagorio
[c21]
8Inês Lynce
[c11]
9Marco Maratea
[j8] [c19] [c18] [c16]
10Giorgio Metta
[c13] [c12]
11Massimo Narizzano
[j3] [c4] [j1] [c2]
12Lorenzo Natale
[c13] [c12]
13Shashank Pathak
[c13] [c12]
14Claudia Peschiera
[c11] [j3]
15Francesco Ricca
[c19] [c18]
16Horst Samulowitz
[c15]
17Ulrike Sattler (Uli Sattler)
[c7]
18Thomas Schneider 0002
[c7]
19Petra Selmer
[c7]
20David H. Stern
[c15]
21Armando Tacchella
[j9] [j7] [c17] [j5] [j4] [c15] [c14] [c13] [c12] [c11] [j3] [j2] [c10] [c9] [c8] [c6] [c5] [c4] [c3] [j1] [c2]
22Massimo Tistarelli
[c21] [c20]
23Frank Wolter
[c7]
24Michael Zakharyaschev
[c7]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 22:31:32 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page