ask others

Massimo Narizzano

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

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

2017
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/bmcbi/NarizzanoARTTCF17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/bmcbi/NarizzanoARTTCF17
Massimo Narizzano, Gabriele Arnulfo, Serena Ricci, Benedetta Toselli, Martin Tisdall, Andrea Canessa, Marco Massimo Fato, Francesco Cardinale:
SEEG assistant: a 3DSlicer extension to support epilepsy surgery. BMC Bioinformatics 18(1): 124:1-124:13 (2017)
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cars/ScorzaMPAANKC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/cars/ScorzaMPAANKC17
Davide Scorza, Elena De Momi, Lisa Plaino, Gaetano Amoroso, Gabriele Arnulfo, Massimo Narizzano, Luis Kabongo, Francesco Cardinale:
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant. Int. J. Computer Assisted Radiology and Surgery 12(10): 1727-1738 (2017)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ras/KhaliliNNT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ras/KhaliliNNT17
Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella:
Learning middleware models for verification of distributed control programs. Robotics and Autonomous Systems 92: 139-151 (2017)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1712-04162
- ask others
- share record
  short 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
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/MarinNPTG16
- ask others
- share record
  short 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. Inform. 149(1-2): 133-158 (2016)
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/KhaliliNT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/KhaliliNT16
Ali Khalili, Massimo Narizzano, Armando Tacchella:
Learning for Verification in Embedded Systems: A Case Study. AI*IA 2016: 525-538
2015
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/bmcbi/ArnulfoNCFP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/bmcbi/ArnulfoNCFP15
Gabriele Arnulfo, Massimo Narizzano, Francesco Cardinale, Marco Fato, Jaakko Palva:
Automatic segmentation of deep intracerebral electrodes in computed tomography scans. BMC Bioinformatics 16: 99:1-99:12 (2015)
[c23]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/MarinNPTG15
- ask others
- share record
  short 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
[c22]
- view
- export record
  dblp key:
  - conf/icse/KhaliliNTG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/KhaliliNTG15
Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia:
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE 2015: 33-37
2011
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/LewisSBMNG11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/LewisSBMNG11
Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia:
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Inform. 107(2-3): 139-166 (2011)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1111-0860
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0860
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. CoRR abs/1111.0860 (2011)
2010
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/AngelettiGNPS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/AngelettiGNPS10
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. J. Autom. Reasoning 45(4): 397-414 (2010)
[j7]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/GiunchigliaMN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/GiunchigliaMN10
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
QuBE7.0. JSAT 7(2-3): 83-88 (2010)
[c21]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/cade/RosaGNPP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/RosaGNPP10
Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu:
Automatic generation of high quality test sets via CBMC. VERIFY@IJCAR 2010: 65-78
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/GiunchigliaMN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/GiunchigliaMN10
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. SAT 2010: 85-98

2000 – 2009

see FAQ

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

2009
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aicom/NarizzanoPPT09
- ask others
- share record
  short 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)
[c19]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/AngelettiGNPPS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/AngelettiGNPPS09
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina:
Improving the Automatic Test Generation process for Coverage Analysis using CBMC. RCRA@AI*IA 2009
[c18]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/MarinL0N0G09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/MarinL0N0G09
Paolo Marin, Matthew D. T. Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA 2009
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/eurocast/AngelettiGNPS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eurocast/AngelettiGNPS09
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/AngelettiGNPS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/AngelettiGNPS09
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST 2009: 303-306
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ieeehpcs/MarinNGLSB09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ieeehpcs/MarinNGLSB09
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker:
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS 2009: 161-167
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/LewisMSNBG09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/LewisMSNBG09
Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/faia/GiunchigliaMN09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/faia/GiunchigliaMN09
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2009: 761-780
2007
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcad/GiunchigliaNT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcad/GiunchigliaNT07
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. on CAD of Integrated Circuits and Systems 26(3): 497-507 (2007)
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/NarizzanoPT07
- ask others
- share record
  short 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
2006
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jair/GiunchigliaNT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jair/GiunchigliaNT06
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. 26: 371-416 (2006)
[j3]
- view
  - electronic edition @ satassociation.org
- export record
  dblp key:
  - journals/jsat/NarizzanoPT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsat/NarizzanoPT06
Massimo Narizzano, Luca Pulina, Armando Tacchella:
Report of the Third QBF Solvers Evaluation. JSAT 2(1-4): 145-164 (2006)
[c12]
- view
- export record
  dblp key:
  - conf/date/GiunchigliaNT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/date/GiunchigliaNT06
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/jelia/NarizzanoPT06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/jelia/NarizzanoPT06
Massimo Narizzano, Luca Pulina, Armando Tacchella:
The QBFEVAL Web Portal. JELIA 2006: 494-497
2004
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/GiunchigliaNT04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmcad/GiunchigliaNT04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmcad/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BerreNST04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/BerreNST04
Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella:
The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
[c7]
- view
  - electronic edition @ satisfiability.org
- export record
  dblp key:
  - conf/sat/GiunchigliaNT04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT 2004
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/GiunchigliaNT04a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/GiunchigliaNT04a
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121
2003
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/GiunchigliaNT03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ai/GiunchigliaNT03
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/GentGNRT03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/GentGNRT03
Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella:
Watched Data Structures for QBF Solvers. SAT 2003: 25-36
2002
[c4]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/GiunchigliaNT02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/GiunchigliaNT02
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654
2001
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/endm/GiunchigliaNTV01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/endm/GiunchigliaNTV01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi:
Towards an Efficient Library for SAT: a Manifesto. Electronic Notes in Discrete Mathematics 9: 290-310 (2001)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aiia/GiunchigliaNT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/GiunchigliaNT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR 2001: 364-369
[c1]
- no documents available
- export record
  dblp key:
  - conf/ijcai/GiunchigliaNT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281

Coauthor Index

see FAQ

maintained by

at