default search action

combined dblp search
author search
venue search
publication search

ask others

Luca Pulina

> Home > Persons

Person information

affiliation: University of Sassari, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/soco/DemarchiGPT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/DemarchiGPT24
Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella:
NeVer2: learning and verification of neural networks. Soft Comput. 28(19): 11647-11665 (2024)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/date/0001AAABBBBSDFF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/0001AAABBBBSDFF24
Francesco Regazzoni, Gergely Ács, Albert Zoltan Aszalos, Christos Avgerinos, Nikolaos Bakalos, Josep Lluis Berral, Joppe W. Bos, Marco Brohet, Andrés G. Castillo Sanz, Gareth T. Davies, Stefanos Florescu, Pierre-Elisée Flory, Alberto Gutierrez-Torre, Evangelos Haleplidis, Alice Héliou, Sotirios Ioannidis, Alexander Islam El-Kady, Katarzyna Kapusta, Konstantina Karagianni, Pieter Kruizinga, Kyrian Maat, Zoltán Ádám Mann, Kalliopi Mastoraki, SeoJeong Moon, Maja Nisevic, Balázs Pejó, Kostas Papagiannopoulos, Vassilis Paliouras, Paolo Palmieri, Francesca Palumbo, Juan Carlos Pérez Baun, Péter Pollner, Eduard Porta-Pardo, Luca Pulina, Muhammad Ali Siddiqi, Daniela Spajic, Christos Strydis, Georgios Tasopoulos, Vincent Thouvenot, Christos Tselios, Apostolos P. Fournaris:
SECURED for Health: Scaling Up Privacy to Enable the Integration of the European Health Data Space. DATE 2024: 1-4
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/GuidottiPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/GuidottiPP24
Dario Guidotti, Laura Pandolfo, Luca Pulina:
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance. IEA/AIE 2024: 188-199
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/GuidottiPP24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/GuidottiPP24a
Dario Guidotti, Laura Pandolfo, Luca Pulina:
Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection. IEA/AIE 2024: 297-309
[c79]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rcra/GuidottiPFZP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/GuidottiPFZP24
Dario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, Luca Pulina:
Translating Requirements in Property Specification Patterns using LLMs. AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024
[c78]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rcra/GuidottiPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/GuidottiPP24
Dario Guidotti, Laura Pandolfo, Luca Pulina:
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control. AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024
[c77]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semdh/CoronaGPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semdh/CoronaGPP24
Giorgio Corona, Dario Guidotti, Laura Pandolfo, Luca Pulina:
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes. SemDH@ESWC 2024
2023
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/information/GuidottiPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/information/GuidottiPP23
Dario Guidotti, Laura Pandolfo, Luca Pulina:
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. Inf. 14(7): 397 (2023)
[c76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DemarchiGPT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DemarchiGPT23
Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella:
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV 2023: 47-58
[c75]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/PandolfoP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PandolfoP23
Laura Pandolfo, Luca Pulina:
Unlocking Historical Insights: Developing a Dataset from Historical Archives. CILC 2023
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/eScience/GuidottiPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eScience/GuidottiPP23
Dario Guidotti, Laura Pandolfo, Luca Pulina:
Verifying Neural Networks with SMT: An Experimental Evaluation. e-Science 2023: 1-2
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/eScience/GuidottiPP23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eScience/GuidottiPP23a
Dario Guidotti, Laura Pandolfo, Luca Pulina:
Detection of Component Degradation: A Study on Autoencoder-Based Approaches. e-Science 2023: 1-2
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GuidottiMPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GuidottiMPP23
Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina:
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. ETFA 2023: 1-4
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GuidottiPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GuidottiPP23
Dario Guidotti, Laura Pandolfo, Luca Pulina:
Verification of NNs in the IMOCO4.E Project: Preliminary Results. ETFA 2023: 1-4
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/GuidottiPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/GuidottiPP23
Dario Guidotti, Laura Pandolfo, Luca Pulina:
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. ICTAI 2023: 423-428
2022
[c69]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/AngilicaILP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/AngilicaILP22
Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina:
AI and Videogames: a "Drosophila" for Declarative Methods. IPS/RiCeRcA/SPIRIT@AI*IA 2022
[c68]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/EramoFGPPZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/EramoFGPPZ22
Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda:
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA 2022
2021
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/PandolfoPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/PandolfoPV21
Laura Pandolfo, Luca Pulina, Simone Vuotto:
SMT-Based Consistency Checking of Configuration-Based Components Specifications. IEEE Access 9: 83718-83726 (2021)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ijswis/PandolfoP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijswis/PandolfoP21
Laura Pandolfo, Luca Pulina:
Building the Semantic Layer of the Józef Piłsudski Digital Archive With an Ontology-Based Approach. Int. J. Semantic Web Inf. Syst. 17(4): 1-21 (2021)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GuidottiPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GuidottiPT21
Dario Guidotti, Luca Pulina, Armando Tacchella:
pyNeVer: A Framework for Learning and Verification of Neural Networks. ATVA 2021: 357-363
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BeyersdorffPSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BeyersdorffPSS21
Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla:
QBFFam: A Tool for Generating QBF Families from Proof Complexity. SAT 2021: 21-29
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/webist/PandolfoP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/PandolfoP21
Laura Pandolfo, Luca Pulina:
ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools. WEBIST 2021: 341-345
2020
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ijthi/PandolfoSPG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijthi/PandolfoSPG20
Laura Pandolfo, Sara Spanu, Luca Pulina, Enrico Grosso:
Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences. Int. J. Technol. Hum. Interact. 16(3): 24-38 (2020)
[c64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/GuidottiLPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GuidottiLPT20
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI 2020: 2505-2512
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NarizzanoPTV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NarizzanoPTV20
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. NFM 2020: 153-169
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/2020
Luca Pulina, Martina Seidl:
Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Lecture Notes in Computer Science 12178, Springer 2020, ISBN 978-3-030-51824-0 [contents]
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-07636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-07636
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR abs/2003.07636 (2020)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06750
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. CoRR abs/2005.06750 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-09933
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-09933
Dario Guidotti, Luca Pulina, Armando Tacchella:
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. CoRR abs/2011.09933 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/PulinaS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/PulinaS19
Luca Pulina, Martina Seidl:
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). Artif. Intell. 274: 224-248 (2019)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/NarizzanoPTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/NarizzanoPTV19
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Property specification patterns at work: verification and inconsistency explanation. Innov. Syst. Softw. Eng. 15(3-4): 307-323 (2019)
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/PulinaS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/PulinaS19
Luca Pulina, Martina Seidl:
Notes from the Guest Editors. J. Satisf. Boolean Model. Comput. 11(1): 1 (2019)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GuidottiLPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GuidottiLPT19
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA 2019: 405-417
[c61]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/Bit-MonnotPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/Bit-MonnotPT19
Arthur Bit-Monnot, Luca Pulina, Armando Tacchella:
Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. ICAPS 2019: 49-57
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/cf/PalumboFSPRMSRD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cf/PalumboFSPRMSRD19
Francesca Palumbo, Tiziana Fanni, Carlo Sau, Luca Pulina, Luigi Raffo, Michael Masin, Evgeny Shindin, Pablo Sanchez de Rojas, Karol Desnos, Maxime Pelcat, Alfonso Rodríguez, Eduardo Juárez, Francesco Regazzoni, Giuseppe Meloni, Katiuscia Zedda, Hans Myrhaug, Leszek Kaliciak, Joost Adriaanse, Julio de Oliveira 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: 320-325
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/VuottoNPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VuottoNPT19
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella:
Automata based test generation with SpecPro. RET@ICSE 2019: 13-16
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/VuottoNPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/VuottoNPT19
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella:
Poster: Automatic Consistency Checking of Requirements with ReqV. ICST 2019: 363-366
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/ShuklaBPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/ShuklaBPS19
Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl:
A Survey on Applications of Quantified Boolean Formulas. ICTAI 2019: 78-84
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/Bit-MonnotLPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/Bit-MonnotLPT19
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella:
SMT-based Planning for Robots in Smart Factories. IEA/AIE 2019: 674-686
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/ircdl/PandolfoPZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ircdl/PandolfoPZ19
Laura Pandolfo, Luca Pulina, Marek Zielinski:
Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America. IRCDL 2019: 107-121
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/AmendolaD0PR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/AmendolaD0PR19
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca:
Algorithm Selection for Paracoherent Answer Set Computation. JELIA 2019: 479-489
[e1]
- view
- export record
  dblp key:
  - conf/cpsschool/2019phd
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsschool/2019phd
Luca Pulina:
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. CEUR Workshop Proceedings 2457, CEUR-WS.org 2019 [contents]
2018
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/apin/PathakPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/PathakPT18
Shashank Pathak, Luca Pulina, Armando Tacchella:
Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48(4): 886-908 (2018)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/GiunchigliaMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/GiunchigliaMP18
Enrico Giunchiglia, Marco Maratea, Luca Pulina:
Translation-based approaches for solving disjunctive temporal problems with preferences. Constraints An Int. J. 23(4): 383-402 (2018)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/appis/PandolfoPG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/appis/PandolfoPG18
Laura Pandolfo, Luca Pulina, Enrico Grosso:
A User Model Ontology for Adaptive Systems in Cultural Tourism Domain. APPIS 2018: 212-219
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/appis/Khellat-KihelPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/appis/Khellat-KihelPP18
Souad Khellat-Kihel, Laura Pandolfo, Luca Pulina, Enrico Grosso:
On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations. APPIS 2018: 220-230
[c51]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/PandolfoPZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PandolfoPZ18
Laura Pandolfo, Luca Pulina, Marek Zielinski:
ARKIVO: an Ontology for Describing Archival Resources. CILC 2018: 112-116
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NarizzanoPTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NarizzanoPTV18
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. NFM 2018: 383-398
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KorneevNPTBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KorneevNPTBS18
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. SAT 2018: 438-449
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08795
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08795
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR abs/1802.08795 (2018)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-09938
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-09938
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella:
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR abs/1805.09938 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-07135
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-07135
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella:
SMarTplan: a Task Planner for Smart Factories. CoRR abs/1806.07135 (2018)
2017
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/PulinaT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/PulinaT17
Luca Pulina, Armando Tacchella:
More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference 2017: 237-240
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/PandolfoP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/PandolfoP17
Laura Pandolfo, Luca Pulina:
ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents. IEA/AIE (1) 2017: 495-501
[c46]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semweb/PandolfoPZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/PandolfoPZ17
Laura Pandolfo, Luca Pulina, Marek Zielinski:
Towards an Ontology for Describing Archival Resources. WHiSe@ISWC 2017: 111-116
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-04162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-04162
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR abs/1712.04162 (2017)
2016
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/PathakPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/PathakPT16
Shashank Pathak, Luca Pulina, Armando Tacchella:
Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29(2): 287-299 (2016)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MarinNPTG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MarinNPTG16
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149(1-2): 133-158 (2016)
[c45]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/LeofantePT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/LeofantePT16
Francesco Leofante, Luca Pulina, Armando Tacchella:
Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA 2016: 11-25
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/PandolfoPA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PandolfoPA16
Laura Pandolfo, Luca Pulina, Giovanni Adorni:
A Framework for Automatic Population of Ontology-Based Digital Libraries. AI*IA 2016: 406-417
[c43]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/KontchakovPPRZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KontchakovPPRZ16
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI 2016: 1160-1166
[c42]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sat/Pulina16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Pulina16
Luca Pulina:
The Ninth QBF Solvers Evaluation - Preliminary Report. QBF@SAT 2016: 1-13
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/MarateaPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/MarateaPR15
Marco Maratea, Luca Pulina, Francesco Ricca:
Multi-engine ASP solving with policy adaptation. J. Log. Comput. 25(6): 1285-1306 (2015)
[c41]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/MarinNPTG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarinNPTG15
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA 2015: 62-75
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/PathakPT15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PathakPT15a
Shashank Pathak, Luca Pulina, Armando Tacchella:
A Case for Robust AI in Robotics. AIRO@AI*IA 2015: 94-103
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/MarateaPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarateaPR15
Marco Maratea, Luca Pulina, Francesco Ricca:
Advances in Multi-engine ASP Solving. AI*IA 2015: 179-190
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/PathakPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PathakPT15
Shashank Pathak, Luca Pulina, Armando Tacchella:
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA 2015: 260-273
[c37]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/PulinaMPPRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PulinaMPPRT15
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: 66-71
[c36]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/AdorniMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AdorniMPP15
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina:
An Ontology-Based Archive for Historical Research. Description Logics 2015
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/MarateaPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/MarateaPR15
Marco Maratea, Luca Pulina, Francesco Ricca:
Multi-level Algorithm Selection for ASP. LPNMR 2015: 439-445
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/AdorniMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/AdorniMPP15
Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina:
An Ontology for Historical Research Documents. RR 2015: 11-18
2014
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/MarateaP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/MarateaP14
Marco Maratea, Luca Pulina:
Efficient DTPP solving with a reduction-based approach. Intelligenza Artificiale 8(1): 101-111 (2014)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/MarateaPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/MarateaPR14
Marco Maratea, Luca Pulina, Francesco Ricca:
A multi-engine approach to answer-set programming. Theory Pract. Log. Program. 14(6): 841-868 (2014)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ias/CicalaKMNPPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ias/CicalaKMNPPT14
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: 1683-1700
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/iwbf/GrossoLPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwbf/GrossoLPT14
Enrico Grosso, Andrea Lagorio, Luca Pulina, Massimo Tistarelli:
Towards practical space-variant based face recognition and authentication. IWBF 2014: 1-6
[c31]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ore/BourguetP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ore/BourguetP14
Jean-Rémi Bourguet, Luca Pulina:
TROvE: a Graphical Tool to Evaluate OWL Reasoners. ORE 2014: 30-35
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/Pulina14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/Pulina14
Luca Pulina:
An Ontology for Container Terminal Operations. RR 2014: 224-229
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MarateaPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MarateaPR14
Marco Maratea, Luca Pulina, Francesco Ricca:
The Multi-engine ASP Solver ME-ASP: Progress Report. CoRR abs/1405.0876 (2014)
2013
[c29]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaifs/PathakPMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaifs/PathakPMT13
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella:
How to Abstract Intelligence? (If Verification Is in Order). AAAI Fall Symposia 2013
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/MarateaPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarateaPR13
Marco Maratea, Luca Pulina, Francesco Ricca:
Automated Selection of Grounding Algorithm in Answer Set Programming. AI*IA 2013: 73-84
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/BourguetMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/BourguetMP13
Jean-Rémi Bourguet, Marco Maratea, Luca Pulina:
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences. AI*IA 2013: 445-456
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/PathakPMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/PathakPMT13
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: 170-175
[c25]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ore/BourguetP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ore/BourguetP13
Jean-Rémi Bourguet, Luca Pulina:
FRaQuE: A Framework for Rapid Query Processing Evaluation. ORE 2013: 53-60
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/BourguetCPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/BourguetCPT13
Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella:
OBDA and Intermodal Logistics: Active Projects and Applications. RR 2013: 210-215
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MarateaPR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MarateaPR13
Marco Maratea, Luca Pulina, Francesco Ricca:
A Multi-Engine Approach to Answer Set Programming. CoRR abs/1306.4925 (2013)
2012
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/PulinaT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/PulinaT12
Luca Pulina, Armando Tacchella:
Challenging SMT solvers to verify neural networks. AI Commun. 25(2): 117-135 (2012)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/MarateaP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/MarateaP12
Marco Maratea, Luca Pulina:
Solving disjunctive temporal problems with preferences using maximum satisfiability. AI Commun. 25(2): 137-156 (2012)
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/eccv/GrossoLPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eccv/GrossoLPT12
Enrico Grosso, Andrea Lagorio, Luca Pulina, Massimo Tistarelli:
Understanding Critical Factors in Appearance-Based Gender Categorization. ECCV Workshops (2) 2012: 280-289
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icb/GrossoPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icb/GrossoPT12
Enrico Grosso, Luca Pulina, Massimo Tistarelli:
Modeling biometric template update with Ant Colony Optimization. ICB 2012: 506-511
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/MarateaPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/MarateaPR12
Marco Maratea, Luca Pulina, Francesco Ricca:
Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) 2012: 37-48
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/MarateaPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/MarateaPR12
Marco Maratea, Luca Pulina, Francesco Ricca:
The Multi-Engine ASP Solver me-asp. JELIA 2012: 484-487
2011
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/PulinaT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/PulinaT11
Luca Pulina, Armando Tacchella:
NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. 62(3-4): 403-425 (2011)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/PulinaT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PulinaT11
Luca Pulina, Armando Tacchella:
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. AI*IA 2011: 127-138
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/MarateaP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarateaP11
Marco Maratea, Luca Pulina:
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. AI*IA 2011: 420-425
2010
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/Pulina10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/Pulina10
Luca Pulina:
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning. AI Commun. 23(1): 61-63 (2010)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PulinaT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PulinaT10
Luca Pulina, Armando Tacchella:
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. Fundam. Informaticae 102(3-4): 391-427 (2010)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/PulinaT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/PulinaT10
Luca Pulina, Armando Tacchella:
AQME'10. J. Satisf. Boolean Model. Comput. 7(2-3): 65-70 (2010)
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SternSHGPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SternSHGPT10
David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella:
Collaborative Expert Portfolio Management. AAAI 2010: 179-184
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/PeschieraPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/PeschieraPT10
Claudia Peschiera, Luca Pulina, Armando Tacchella:
Designing a solver competition: the QBFEVAL'10 case study. EMSQMS@IJCAR 2010: 19-32
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PulinaT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PulinaT10
Luca Pulina, Armando Tacchella:
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. CAV 2010: 243-257
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/MettaNPPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/MettaNPPT10
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe and effective learning: A case study. ICRA 2010: 4809-4814
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/MettaNPPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/MettaNPPT10
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
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeschieraPTBKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeschieraPTBKL10
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce:
The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT 2010: 237-250

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/NarizzanoPPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/NarizzanoPPT09
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)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/PulinaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/PulinaT09
Luca Pulina, Armando Tacchella:
A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints An Int. J. 14(1): 80-116 (2009)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/PulinaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PulinaT09
Luca Pulina, Armando Tacchella:
Hard QBF Encodings Made Easy: Dream or Reality? AI*IA 2009: 31-41
[c10]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/PulinaT09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PulinaT09a
Luca Pulina, Armando Tacchella:
A structural approach to reasoning with quantified Boolean formulas. RCRA@AI*IA 2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/PulinaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/PulinaT09
Luca Pulina, Armando Tacchella:
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. FroCoS 2009: 350-365
[c8]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/PulinaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/PulinaT09
Luca Pulina, Armando Tacchella:
A Structural Approach to Reasoning with Quantified Boolean Formulas. IJCAI 2009: 596-602
[c7]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/KontchakovPSSSWZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KontchakovPSSSWZ09
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
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/PulinaT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/PulinaT08
Luca Pulina, Armando Tacchella:
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR 2008: 528-542
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/PulinaT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/PulinaT08
Luca Pulina, Armando Tacchella:
QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI 2008: 34-43
2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/NarizzanoPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/NarizzanoPT07
Massimo Narizzano, Luca Pulina, Armando Tacchella:
Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PulinaT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PulinaT07
Luca Pulina, Armando Tacchella:
A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589
2006
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/NarizzanoPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/NarizzanoPT06
Massimo Narizzano, Luca Pulina, Armando Tacchella:
Report of the Third QBF Solvers Evaluation. J. Satisf. Boolean Model. Comput. 2(1-4): 145-164 (2006)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/NarizzanoPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/NarizzanoPT06
Massimo Narizzano, Luca Pulina, Armando Tacchella:
The QBFEVAL Web Portal. JELIA 2006: 494-497
[c1]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/stairs/Pulina06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/Pulina06
Luca Pulina:
Empirical Evaluation of Scoring Methods. STAIRS 2006: 108-119

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.