NARIZZANO, MASSIMO
 Distribuzione geografica
Continente #
EU - Europa 6.095
NA - Nord America 661
AS - Asia 598
Continente sconosciuto - Info sul continente non disponibili 76
SA - Sud America 49
AF - Africa 16
OC - Oceania 4
Totale 7.499
Nazione #
IT - Italia 5.995
US - Stati Uniti d'America 616
SG - Singapore 255
CN - Cina 135
VN - Vietnam 108
FR - Francia 44
BD - Bangladesh 30
BR - Brasile 27
HK - Hong Kong 24
CA - Canada 19
GB - Regno Unito 16
DE - Germania 15
IN - India 9
EC - Ecuador 8
CR - Costa Rica 7
ZA - Sudafrica 7
ID - Indonesia 6
IQ - Iraq 6
MX - Messico 6
AR - Argentina 5
JP - Giappone 5
AU - Australia 4
CH - Svizzera 4
ES - Italia 3
JM - Giamaica 3
NG - Nigeria 3
NI - Nicaragua 3
PH - Filippine 3
PL - Polonia 3
CL - Cile 2
CO - Colombia 2
FI - Finlandia 2
KE - Kenya 2
MA - Marocco 2
NL - Olanda 2
OM - Oman 2
PK - Pakistan 2
PR - Porto Rico 2
PT - Portogallo 2
SA - Arabia Saudita 2
SE - Svezia 2
TH - Thailandia 2
UA - Ucraina 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BM - Bermuda 1
BO - Bolivia 1
BS - Bahamas 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EG - Egitto 1
GT - Guatemala 1
HN - Honduras 1
IL - Israele 1
JO - Giordania 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
MM - Myanmar 1
PY - Paraguay 1
RS - Serbia 1
RU - Federazione Russa 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UY - Uruguay 1
Totale 7.423
Città #
Genova 3.753
Genoa 1.380
Rapallo 451
Vado Ligure 336
San Jose 173
Singapore 134
Ashburn 69
Ho Chi Minh City 37
Lauterbourg 37
Beijing 26
Hanoi 22
Hong Kong 22
New York 20
Los Angeles 17
Frankfurt am Main 12
Milan 11
Santa Clara 9
San Francisco 8
Chicago 7
Phoenix 7
Toronto 7
Buffalo 6
Cape Town 6
Council Bluffs 6
Haiphong 6
Rome 6
San José 6
Atlanta 5
Da Nang 5
Dallas 5
Figino 5
Naples 5
Boardman 4
Bordighera 4
City of London 4
Marietta 4
Mexico City 4
Philadelphia 4
The Bronx 4
Tokyo 4
Zurich 4
Bologna 3
Cardiff 3
Dayton 3
Denver 3
Guayaquil 3
Jakarta 3
London 3
Managua 3
Orem 3
Poplar 3
Sacramento 3
San Antonio 3
Sydney 3
The Dalles 3
Tianjin 3
Warsaw 3
Ambato 2
Amsterdam 2
Auburn 2
Baghdad 2
Biella 2
Bắc Giang 2
Calgary 2
Catania 2
Charlotte 2
Chillicothe 2
Dammam 2
Farmington 2
Florence 2
Greensboro 2
Helsinki 2
Houston 2
Hưng Yên 2
Kirkland 2
Lagos 2
Long Beach 2
Louisville 2
Medford 2
Memphis 2
Milwaukee 2
Montreal 2
Nairobi 2
New Delhi 2
Nuremberg 2
Palermo 2
Pelican Rapids 2
Princeton 2
Quito 2
San Diego 2
Staten Island 2
Stockholm 2
São Paulo 2
Tucson 2
Tân Tiến 2
Verona 2
Zhengzhou 2
Aberdeen 1
Acalanes Ridge 1
Almaty 1
Totale 6.766
Nome #
A new tool for touch-free patient registration for robot-assisted intracranial surgery: application accuracy from a phantom study and a retrospective surgical series 255
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 251
Automatic segmentation of deep intracerebral electrodes in computed tomography scans 227
Automatic Test Generation for Coverage Analysis of ERTMS Software 227
SEEG assistant: A 3DSlicer extension to support epilepsy surgery 226
Backjumping for Quantified Boolean Logic satisfiability 219
Poster: Automatic Consistency Checking of Requirements with ReqV 216
Automatic Test Generation for Coverage Analysis Using CBMC 209
Automatic Test-Pattern Generation for Grey-Box Programs 207
Consistency of property specification patterns with boolean and constrained numerical signals 205
Watched Data Structures for QBF Solvers 201
Comparison of knowledge sharing strategies in a parallel QBF solver 196
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 196
Learning for verification in embedded systems: A case study 184
QuBE++: An efficient QBF solver 183
Backjumping for Quantified Boolean Logic Satisfiability 181
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 178
QBF Reasoning on Real-World Instances 173
Quantifier Structure in search based procedures for QBFs 171
The QBFEVAL Web Portal 168
Automata based test generation with SpecPro 167
The Second QBF Solvers Comparative Evaluation 166
Ranking and Reputation Systems in the QBF Competition 166
Learning middleware models for verification of distributed control programs 164
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 162
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 157
The Second QBF Solvers Comparative Evaluation 153
Towards an Efficient Library for SAT: a Manifesto 151
Property specification patterns at work: verification and inconsistency explanation 150
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 149
Learning for Quantified Boolean Logic Satisfiability 149
An empirical perspective on ten years of QBF solving 148
Monotone Literals and Learning in QBF Reasoning 148
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 147
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 144
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 132
Quantifier Structure in search based procedures for QBFs 128
Parallel QBF Solving with Advanced Knowledge Sharing 128
Improving the automatic test generation proces for Coverage Analysis using CBMC 125
Reasoning with Quantified Boolean Formulas 117
Report of the Third QBF Solvers Evaluation 111
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant 106
Chapter 30. Reasoning with Quantified Boolean Formulas 91
QuBE7.0 87
Verification Of Data-Intensive Embedded Systems 80
Totale 7.499
Categoria #
all - tutte 23.104
article - articoli 8.477
book - libri 0
conference - conferenze 13.440
curatela - curatele 0
other - altro 0
patent - brevetti 393
selected - selezionate 0
volume - volumi 794
Totale 46.208


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022586 0 0 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/2025916 21 63 20 52 122 86 80 202 25 39 109 97
2025/20261.630 212 21 126 119 175 150 290 65 126 127 102 117
2026/2027318 161 48 109 0 0 0 0 0 0 0 0 0
Totale 7.499