NARIZZANO, MASSIMO
 Distribuzione geografica
Continente #
EU - Europa 6.039
AS - Asia 537
NA - Nord America 242
SA - Sud America 37
AF - Africa 16
OC - Oceania 2
Totale 6.873
Nazione #
IT - Italia 5.948
SG - Singapore 249
US - Stati Uniti d'America 230
CN - Cina 123
VN - Vietnam 103
FR - Francia 42
BR - Brasile 24
HK - Hong Kong 23
DE - Germania 15
GB - Regno Unito 14
IN - India 7
ZA - Sudafrica 7
IQ - Iraq 6
CA - Canada 5
ID - Indonesia 5
AR - Argentina 4
CH - Svizzera 4
EC - Ecuador 4
JP - Giappone 4
MX - Messico 4
NG - Nigeria 3
PL - Polonia 3
AU - Australia 2
CL - Cile 2
ES - Italia 2
FI - Finlandia 2
KE - Kenya 2
MA - Marocco 2
NL - Olanda 2
OM - Oman 2
PH - Filippine 2
SA - Arabia Saudita 2
SE - Svezia 2
TH - Thailandia 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BD - Bangladesh 1
CO - Colombia 1
CR - Costa Rica 1
CY - Cipro 1
DZ - Algeria 1
EG - Egitto 1
GT - Guatemala 1
IL - Israele 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LT - Lituania 1
MM - Myanmar 1
NI - Nicaragua 1
PK - Pakistan 1
PY - Paraguay 1
RS - Serbia 1
RU - Federazione Russa 1
TW - Taiwan 1
UA - Ucraina 1
VE - Venezuela 1
Totale 6.873
Città #
Genova 3.753
Genoa 1.379
Rapallo 451
Vado Ligure 336
Singapore 128
San Jose 100
Ho Chi Minh City 37
Lauterbourg 37
Ashburn 29
Hanoi 22
Hong Kong 22
Beijing 17
Frankfurt am Main 12
New York 11
Cape Town 6
Haiphong 6
Los Angeles 5
Bordighera 4
City of London 4
Da Nang 4
Milan 4
Santa Clara 4
Zurich 4
Bologna 3
Cardiff 3
Guayaquil 3
Jakarta 3
Mexico City 3
Orem 3
Poplar 3
San Francisco 3
The Dalles 3
Tianjin 3
Tokyo 3
Toronto 3
Warsaw 3
Amsterdam 2
Atlanta 2
Baghdad 2
Biella 2
Bắc Giang 2
Council Bluffs 2
Dammam 2
Denver 2
Helsinki 2
Hưng Yên 2
Lagos 2
London 2
Nairobi 2
Naples 2
Nuremberg 2
Stockholm 2
São Paulo 2
Tân Tiến 2
Zhengzhou 2
Acalanes Ridge 1
Almaty 1
Ambato 1
Annapolis 1
Auburn 1
Aurangabad 1
Balsas 1
Bangkok 1
Basra 1
Beauvais 1
Belgrade 1
Bend 1
Bengaluru 1
Beni Mellal 1
Bishkek 1
Bom Jesus do Galho 1
Brescia 1
Bridgeport 1
Brisbane 1
Bristol 1
Bình Dương 1
Cairo 1
Caloocan City 1
Cherkasy 1
Chicago 1
Coronel Bicaco 1
Criciúma 1
Curitiba 1
Córdoba 1
Dallas 1
Delhi 1
Edina 1
Erbil 1
Estación Colina 1
Florianópolis 1
Franca 1
Go Vap 1
Guadalajara 1
Herculândia 1
Huinca Renancó 1
Huế 1
Hải Dương 1
Itapemirim 1
Johannesburg 1
Juiz de Fora 1
Totale 6.497
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 244
A new tool for touch-free patient registration for robot-assisted intracranial surgery: application accuracy from a phantom study and a retrospective surgical series 241
Automatic segmentation of deep intracerebral electrodes in computed tomography scans 213
Automatic Test Generation for Coverage Analysis of ERTMS Software 213
Backjumping for Quantified Boolean Logic satisfiability 204
Automatic Test Generation for Coverage Analysis Using CBMC 201
Automatic Test-Pattern Generation for Grey-Box Programs 198
Watched Data Structures for QBF Solvers 196
SEEG assistant: A 3DSlicer extension to support epilepsy surgery 195
Comparison of knowledge sharing strategies in a parallel QBF solver 186
Consistency of property specification patterns with boolean and constrained numerical signals 183
Poster: Automatic Consistency Checking of Requirements with ReqV 183
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 182
QuBE++: An efficient QBF solver 177
Backjumping for Quantified Boolean Logic Satisfiability 167
Learning for verification in embedded systems: A case study 167
Quantifier Structure in search based procedures for QBFs 166
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 165
The Second QBF Solvers Comparative Evaluation 160
QBF Reasoning on Real-World Instances 160
The QBFEVAL Web Portal 157
Learning middleware models for verification of distributed control programs 157
Ranking and Reputation Systems in the QBF Competition 156
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 153
Automata based test generation with SpecPro 145
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 143
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 143
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 142
Monotone Literals and Learning in QBF Reasoning 139
Towards an Efficient Library for SAT: a Manifesto 138
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 136
Learning for Quantified Boolean Logic Satisfiability 136
An empirical perspective on ten years of QBF solving 133
The Second QBF Solvers Comparative Evaluation 128
Property specification patterns at work: verification and inconsistency explanation 127
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 125
Parallel QBF Solving with Advanced Knowledge Sharing 123
Quantifier Structure in search based procedures for QBFs 119
Improving the automatic test generation proces for Coverage Analysis using CBMC 114
Reasoning with Quantified Boolean Formulas 106
Report of the Third QBF Solvers Evaluation 105
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant 102
Chapter 30. Reasoning with Quantified Boolean Formulas 82
QuBE7.0 74
Verification Of Data-Intensive Embedded Systems 65
Totale 6.949
Categoria #
all - tutte 20.422
article - articoli 7.487
book - libri 0
conference - conferenze 11.907
curatela - curatele 0
other - altro 0
patent - brevetti 349
selected - selezionate 0
volume - volumi 679
Totale 40.844


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021168 0 0 0 0 0 0 0 0 0 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/2025916 21 63 20 52 122 86 80 202 25 39 109 97
2025/20261.398 212 21 126 119 175 150 290 65 126 114 0 0
Totale 6.949