NARIZZANO, MASSIMO
NARIZZANO, MASSIMO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A new tool for touch-free patient registration for robot-assisted intracranial surgery: application accuracy from a phantom study and a retrospective surgical series
2017-01-01 Cardinale, Francesco; Rizzi, Michele; D'Orio, Piergiorgio; Casaceli, Giuseppe; Arnulfo, Gabriele; Narizzano, Massimo; Scorza, Davide; De Momi, Elena; Nichelatti, Michele; Redaelli, Daniela; Sberna, Maurizio; Moscato, Alessio; Castana, Laura
Automatic segmentation of deep intracerebral electrodes in computed tomography scans
2015-01-01 Arnulfo, Gabriele; Narizzano, Massimo; Cardinale, F.; Fato, MARCO MASSIMO; Palva, J. M.
Backjumping for Quantified Boolean Logic satisfiability
2003-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
2006-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Evaluating and certifying QBFs: A comparison of state-of-the-art tools
2009-01-01 Narizzano, Massimo; Peschiera, C; Pulina, L; Tacchella, Armando
Learning middleware models for verification of distributed control programs
2017-01-01 Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando
Parallel QBF Solving with Advanced Knowledge Sharing
2011-01-01 M. D., T.; T., Schubert; B., Becker; P., Marin; Narizzano, Massimo; Giunchiglia, Enrico
Property specification patterns at work: verification and inconsistency explanation
2019-01-01 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.
Quantifier Structure in search based procedures for QBFs
2007-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QuBE7.0
2010-01-01 Giunchiglia, Enrico; P., Marin; Narizzano, Massimo
Report of the Third QBF Solvers Evaluation
2006-01-01 Narizzano, Massimo; Pulina, L.; Tacchella, Armando
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant
2017-01-01 Scorza, D.; De Momi, E.; Plaino, L.; Amoroso, G.; Arnulfo, G.; Narizzano, M.; Kabongo, L.; Cardinale, F.
SEEG assistant: A 3DSlicer extension to support epilepsy surgery
2017-01-01 Narizzano, Massimo; Arnulfo, Gabriele; Ricci, Serena; Toselli, Benedetta; Tisdall, Martin; Canessa, Andrea; Fato, MARCO MASSIMO; Cardinale, Francesco
Towards an Efficient Library for SAT: a Manifesto
2001-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando; M. Y., Vardi
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows
2016-01-01 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting
2010-01-01 D., Angeletti; Giunchiglia, Enrico; Narizzano, Massimo; A., Puddu; S., Sabina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A new tool for touch-free patient registration for robot-assisted intracranial surgery: application accuracy from a phantom study and a retrospective surgical series | 1-gen-2017 | Cardinale, Francesco; Rizzi, Michele; D'Orio, Piergiorgio; Casaceli, Giuseppe; Arnulfo, Gabriele; Narizzano, Massimo; Scorza, Davide; De Momi, Elena; Nichelatti, Michele; Redaelli, Daniela; Sberna, Maurizio; Moscato, Alessio; Castana, Laura | |
| Automatic segmentation of deep intracerebral electrodes in computed tomography scans | 1-gen-2015 | Arnulfo, Gabriele; Narizzano, Massimo; Cardinale, F.; Fato, MARCO MASSIMO; Palva, J. M. | |
| Backjumping for Quantified Boolean Logic satisfiability | 1-gen-2003 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas | 1-gen-2006 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Evaluating and certifying QBFs: A comparison of state-of-the-art tools | 1-gen-2009 | Narizzano, Massimo; Peschiera, C; Pulina, L; Tacchella, Armando | |
| Learning middleware models for verification of distributed control programs | 1-gen-2017 | Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando | |
| Parallel QBF Solving with Advanced Knowledge Sharing | 1-gen-2011 | M. D., T.; T., Schubert; B., Becker; P., Marin; Narizzano, Massimo; Giunchiglia, Enrico | |
| Property specification patterns at work: verification and inconsistency explanation | 1-gen-2019 | Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S. | |
| Quantifier Structure in search based procedures for QBFs | 1-gen-2007 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| QuBE7.0 | 1-gen-2010 | Giunchiglia, Enrico; P., Marin; Narizzano, Massimo | |
| Report of the Third QBF Solvers Evaluation | 1-gen-2006 | Narizzano, Massimo; Pulina, L.; Tacchella, Armando | |
| Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant | 1-gen-2017 | Scorza, D.; De Momi, E.; Plaino, L.; Amoroso, G.; Arnulfo, G.; Narizzano, M.; Kabongo, L.; Cardinale, F. | |
| SEEG assistant: A 3DSlicer extension to support epilepsy surgery | 1-gen-2017 | Narizzano, Massimo; Arnulfo, Gabriele; Ricci, Serena; Toselli, Benedetta; Tisdall, Martin; Canessa, Andrea; Fato, MARCO MASSIMO; Cardinale, Francesco | |
| Towards an Efficient Library for SAT: a Manifesto | 1-gen-2001 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando; M. Y., Vardi | |
| Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows | 1-gen-2016 | Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico | |
| Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting | 1-gen-2010 | D., Angeletti; Giunchiglia, Enrico; Narizzano, Massimo; A., Puddu; S., Sabina |