IRIS
NARIZZANO, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.105
NA - Nord America 775
AS - Asia 598
Continente sconosciuto - Info sul continente non disponibili 76
SA - Sud America 49
AF - Africa 16
OC - Oceania 4
Totale 7.623
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 6.003
US - Stati Uniti d'America 725
SG - Singapore 255
CN - Cina 135
VN - Vietnam 108
FR - Francia 44
BD - Bangladesh 30
BR - Brasile 27
HK - Hong Kong 24
CA - Canada 21
GB - Regno Unito 17
DE - Germania 15
IN - India 9
CR - Costa Rica 8
EC - Ecuador 8
ZA - Sudafrica 7
ID - Indonesia 6
IQ - Iraq 6
MX - Messico 6
AR - Argentina 5
JM - Giamaica 5
JP - Giappone 5
AU - Australia 4
CH - Svizzera 4
ES - Italia 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
EE - Estonia 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.547
Salva come PNG Salva come JPEG
Città #
Genova 3.753
Genoa 1.381
Rapallo 451
Vado Ligure 336
San Jose 174
Singapore 134
Ashburn 95
Ho Chi Minh City 37
Lauterbourg 37
Council Bluffs 34
Beijing 26
Hanoi 22
Hong Kong 22
New York 20
Los Angeles 17
Frankfurt am Main 12
Milan 12
Santa Clara 9
San Francisco 8
Atlanta 7
Buffalo 7
Chicago 7
Phoenix 7
Rome 7
San José 7
Toronto 7
Cape Town 6
Haiphong 6
Naples 6
Da Nang 5
Dallas 5
Figino 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
Catania 3
Dayton 3
Denver 3
Guayaquil 3
Jakarta 3
Kingston 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
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
Wentzville 2
Zhengzhou 2
Aberdeen 1
Totale 6.833
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 259
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 254
Automatic segmentation of deep intracerebral electrodes in computed tomography scans 232
SEEG assistant: A 3DSlicer extension to support epilepsy surgery 229
Automatic Test Generation for Coverage Analysis of ERTMS Software 229
Backjumping for Quantified Boolean Logic satisfiability 221
Poster: Automatic Consistency Checking of Requirements with ReqV 221
Automatic Test Generation for Coverage Analysis Using CBMC 215
Automatic Test-Pattern Generation for Grey-Box Programs 211
Consistency of property specification patterns with boolean and constrained numerical signals 208
Watched Data Structures for QBF Solvers 201
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 201
Comparison of knowledge sharing strategies in a parallel QBF solver 200
Learning for verification in embedded systems: A case study 186
QuBE++: An efficient QBF solver 185
Backjumping for Quantified Boolean Logic Satisfiability 184
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 181
QBF Reasoning on Real-World Instances 175
Quantifier Structure in search based procedures for QBFs 172
Automata based test generation with SpecPro 172
The QBFEVAL Web Portal 170
The Second QBF Solvers Comparative Evaluation 168
Learning middleware models for verification of distributed control programs 168
Ranking and Reputation Systems in the QBF Competition 168
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 164
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 161
Property specification patterns at work: verification and inconsistency explanation 158
The Second QBF Solvers Comparative Evaluation 154
An empirical perspective on ten years of QBF solving 153
Towards an Efficient Library for SAT: a Manifesto 152
Learning for Quantified Boolean Logic Satisfiability 151
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 150
Monotone Literals and Learning in QBF Reasoning 149
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 148
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 146
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 134
Quantifier Structure in search based procedures for QBFs 129
Parallel QBF Solving with Advanced Knowledge Sharing 129
Improving the automatic test generation proces for Coverage Analysis using CBMC 128
Reasoning with Quantified Boolean Formulas 119
Report of the Third QBF Solvers Evaluation 115
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant 109
Chapter 30. Reasoning with Quantified Boolean Formulas 93
QuBE7.0 89
Verification Of Data-Intensive Embedded Systems 82
Totale 7.623
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.394
article - articoli 8.587
book - libri 0
conference - conferenze 13.605
curatela - curatele 0
other - altro 0
patent - brevetti 398
selected - selezionate 0
volume - volumi 804
Totale 46.788
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022525 0 0 0 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/2027442 161 48 135 98 0 0 0 0 0 0 0 0
Totale 7.623