IRIS
NARIZZANO, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.079
NA - Nord America 627
AS - Asia 595
Continente sconosciuto - Info sul continente non disponibili 76
SA - Sud America 46
AF - Africa 16
OC - Oceania 4
Totale 7.443
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 5.980
US - Stati Uniti d'America 587
SG - Singapore 255
CN - Cina 135
VN - Vietnam 108
FR - Francia 44
BD - Bangladesh 29
BR - Brasile 26
HK - Hong Kong 24
CA - Canada 17
DE - Germania 15
GB - Regno Unito 15
EC - Ecuador 8
IN - India 7
ZA - Sudafrica 7
ID - Indonesia 6
IQ - Iraq 6
MX - Messico 6
CR - Costa Rica 5
JP - Giappone 5
AR - Argentina 4
AU - Australia 4
CH - Svizzera 4
ES - Italia 3
JM - Giamaica 3
NG - Nigeria 3
PH - Filippine 3
PL - Polonia 3
CL - Cile 2
CO - Colombia 2
FI - Finlandia 2
KE - Kenya 2
MA - Marocco 2
NI - Nicaragua 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
Totale 7.367
Salva come PNG Salva come JPEG
Città #
Genova 3.753
Genoa 1.380
Rapallo 451
Vado Ligure 336
San Jose 171
Singapore 134
Ashburn 60
Ho Chi Minh City 37
Lauterbourg 37
Beijing 26
Hanoi 22
Hong Kong 22
New York 19
Los Angeles 15
Frankfurt am Main 12
Santa Clara 9
San Francisco 8
Milan 7
Toronto 7
Buffalo 6
Cape Town 6
Chicago 6
Council Bluffs 6
Haiphong 6
Phoenix 6
Atlanta 5
Da Nang 5
Dallas 5
Naples 5
Boardman 4
Bordighera 4
City of London 4
Marietta 4
Mexico City 4
Philadelphia 4
Rome 4
San José 4
The Bronx 4
Tokyo 4
Zurich 4
Bologna 3
Cardiff 3
Dayton 3
Denver 3
Guayaquil 3
Jakarta 3
London 3
Orem 3
Poplar 3
Sacramento 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
Greensboro 2
Helsinki 2
Houston 2
Hưng Yên 2
Kirkland 2
Lagos 2
Long Beach 2
Louisville 2
Managua 2
Medford 2
Memphis 2
Milwaukee 2
Montreal 2
Nairobi 2
Nuremberg 2
Palermo 2
Pelican Rapids 2
Princeton 2
Quito 2
San Antonio 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
Altamonte Springs 1
Annapolis 1
Aurangabad 1
Avon 1
Totale 6.733
Salva come PNG Salva come JPEG
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 254
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 226
SEEG assistant: A 3DSlicer extension to support epilepsy surgery 220
Backjumping for Quantified Boolean Logic satisfiability 219
Poster: Automatic Consistency Checking of Requirements with ReqV 214
Automatic Test Generation for Coverage Analysis Using CBMC 209
Automatic Test-Pattern Generation for Grey-Box Programs 206
Consistency of property specification patterns with boolean and constrained numerical signals 202
Watched Data Structures for QBF Solvers 201
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 196
Comparison of knowledge sharing strategies in a parallel QBF solver 191
Learning for verification in embedded systems: A case study 184
QuBE++: An efficient QBF solver 182
Backjumping for Quantified Boolean Logic Satisfiability 178
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 178
QBF Reasoning on Real-World Instances 172
Quantifier Structure in search based procedures for QBFs 171
The QBFEVAL Web Portal 168
The Second QBF Solvers Comparative Evaluation 166
Ranking and Reputation Systems in the QBF Competition 165
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 156
Automata based test generation with SpecPro 155
The Second QBF Solvers Comparative Evaluation 153
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 149
Towards an Efficient Library for SAT: a Manifesto 148
Learning for Quantified Boolean Logic Satisfiability 148
An empirical perspective on ten years of QBF solving 148
Monotone Literals and Learning in QBF Reasoning 148
Property specification patterns at work: verification and inconsistency explanation 148
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 146
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 143
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
Parallel QBF Solving with Advanced Knowledge Sharing 128
Quantifier Structure in search based procedures for QBFs 126
Improving the automatic test generation proces for Coverage Analysis using CBMC 124
Reasoning with Quantified Boolean Formulas 115
Report of the Third QBF Solvers Evaluation 110
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant 106
Chapter 30. Reasoning with Quantified Boolean Formulas 90
QuBE7.0 87
Verification Of Data-Intensive Embedded Systems 77
Totale 7.443
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.877
article - articoli 8.399
book - libri 0
conference - conferenze 13.301
curatela - curatele 0
other - altro 0
patent - brevetti 392
selected - selezionate 0
volume - volumi 785
Totale 45.754
Salva come PNG Salva come JPEG


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/2027262 161 48 53 0 0 0 0 0 0 0 0 0
Totale 7.443