IRIS
NARIZZANO, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.588
Totale 4.588
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 4.588
Totale 4.588
Salva come PNG Salva come JPEG
Città #
Genova 3.753
Rapallo 451
Genoa 363
Vado Ligure 17
Bordighera 4
Totale 4.588
Salva come PNG Salva come JPEG
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 163
Watched Data Structures for QBF Solvers 162
Automatic Test Generation for Coverage Analysis of ERTMS Software 152
A new tool for touch-free patient registration for robot-assisted intracranial surgery: application accuracy from a phantom study and a retrospective surgical series 146
QuBE++: An efficient QBF solver 145
Automatic segmentation of deep intracerebral electrodes in computed tomography scans 144
Automatic Test Generation for Coverage Analysis Using CBMC 142
SEEG assistant: A 3DSlicer extension to support epilepsy surgery 135
Comparison of knowledge sharing strategies in a parallel QBF solver 134
Backjumping for Quantified Boolean Logic satisfiability 132
The Second QBF Solvers Comparative Evaluation 129
Quantifier Structure in search based procedures for QBFs 125
Automatic Test-Pattern Generation for Grey-Box Programs 125
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 121
QBF Reasoning on Real-World Instances 120
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 119
Ranking and Reputation Systems in the QBF Competition 116
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 113
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 113
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 111
Towards an Efficient Library for SAT: a Manifesto 111
Learning for verification in embedded systems: A case study 110
Backjumping for Quantified Boolean Logic Satisfiability 108
Consistency of property specification patterns with boolean and constrained numerical signals 107
The QBFEVAL Web Portal 105
Poster: Automatic Consistency Checking of Requirements with ReqV 103
The Second QBF Solvers Comparative Evaluation 102
Monotone Literals and Learning in QBF Reasoning 101
Learning middleware models for verification of distributed control programs 100
Parallel QBF Solving with Advanced Knowledge Sharing 94
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 93
Quantifier Structure in search based procedures for QBFs 87
Automata based test generation with SpecPro 84
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 82
Reasoning with Quantified Boolean Formulas 74
Report of the Third QBF Solvers Evaluation 74
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant 74
Learning for Quantified Boolean Logic Satisfiability 72
Property specification patterns at work: verification and inconsistency explanation 66
Metodo per il supporto alla pianificazione di traiettorie stereotassiche lineari per l'mpianto di dispositivi intracerebrali quali elettrodi multicontatto registranti e/o stimolanti, sonde bioptiche, applicatori di luce laser 65
An empirical perspective on ten years of QBF solving 64
Improving the automatic test generation proces for Coverage Analysis using CBMC 60
QuBE7.0 45
Chapter 30. Reasoning with Quantified Boolean Formulas 23
Verification Of Data-Intensive Embedded Systems 13
Totale 4.664
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.033
article - articoli 4.830
book - libri 0
conference - conferenze 7.653
curatela - curatele 0
other - altro 0
patent - brevetti 186
selected - selezionate 0
volume - volumi 364
Totale 26.066
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.283 0 27 51 75 109 143 188 104 136 222 158 70
2020/2021546 44 29 47 25 34 33 50 69 47 74 56 38
2021/2022652 24 42 61 78 13 36 52 131 41 50 32 92
2022/2023547 59 40 11 53 98 86 3 40 96 2 48 11
2023/2024262 16 37 6 37 16 43 14 12 14 6 29 32
2024/202529 21 8 0 0 0 0 0 0 0 0 0 0
Totale 4.664