IRIS
NARIZZANO, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.071
AS - Asia 587
NA - Nord America 542
Continente sconosciuto - Info sul continente non disponibili 76
SA - Sud America 44
AF - Africa 16
OC - Oceania 4
Totale 7.340
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 5.975
US - Stati Uniti d'America 506
SG - Singapore 254
CN - Cina 134
VN - Vietnam 107
FR - Francia 43
BD - Bangladesh 29
BR - Brasile 26
HK - Hong Kong 23
CA - Canada 17
DE - Germania 15
GB - Regno Unito 14
EC - Ecuador 7
IN - India 7
ZA - Sudafrica 7
ID - Indonesia 6
IQ - Iraq 6
MX - Messico 6
AR - Argentina 4
AU - Australia 4
CH - Svizzera 4
JP - Giappone 4
CR - Costa Rica 3
ES - Italia 3
JM - Giamaica 3
NG - Nigeria 3
PL - Polonia 3
CL - Cile 2
FI - Finlandia 2
KE - Kenya 2
MA - Marocco 2
NI - Nicaragua 2
NL - Olanda 2
OM - Oman 2
PH - Filippine 2
PR - Porto Rico 2
PT - Portogallo 2
SA - Arabia Saudita 2
SE - Svezia 2
TH - Thailandia 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BO - Bolivia 1
BS - Bahamas 1
CO - Colombia 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
LT - Lituania 1
MM - Myanmar 1
PK - Pakistan 1
PY - Paraguay 1
RS - Serbia 1
RU - Federazione Russa 1
TW - Taiwan 1
UA - Ucraina 1
Totale 7.264
Salva come PNG Salva come JPEG
Città #
Genova 3.753
Genoa 1.380
Rapallo 451
Vado Ligure 336
San Jose 150
Singapore 133
Ashburn 46
Ho Chi Minh City 37
Lauterbourg 37
Beijing 26
Hanoi 22
Hong Kong 22
New York 19
Los Angeles 13
Frankfurt am Main 12
San Francisco 7
Santa Clara 7
Toronto 7
Buffalo 6
Cape Town 6
Council Bluffs 6
Haiphong 6
Da Nang 5
Naples 5
Phoenix 5
Boardman 4
Bordighera 4
Chicago 4
City of London 4
Mexico City 4
Milan 4
Zurich 4
Atlanta 3
Bologna 3
Cardiff 3
Dallas 3
Dayton 3
Guayaquil 3
Jakarta 3
Marietta 3
Orem 3
Philadelphia 3
Poplar 3
Sacramento 3
Sydney 3
The Bronx 3
The Dalles 3
Tianjin 3
Tokyo 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
Denver 2
Farmington 2
Greensboro 2
Helsinki 2
Houston 2
Hưng Yên 2
Kirkland 2
Lagos 2
London 2
Long Beach 2
Managua 2
Memphis 2
Montreal 2
Nairobi 2
Nuremberg 2
Palermo 2
Pelican Rapids 2
Princeton 2
Rome 2
San Antonio 2
San José 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
Balsas 1
Bangkok 1
Barra do Piraí 1
Basra 1
Baton Rouge 1
Totale 6.667
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 251
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 250
Automatic Test Generation for Coverage Analysis of ERTMS Software 224
Automatic segmentation of deep intracerebral electrodes in computed tomography scans 223
SEEG assistant: A 3DSlicer extension to support epilepsy surgery 219
Backjumping for Quantified Boolean Logic satisfiability 216
Automatic Test Generation for Coverage Analysis Using CBMC 208
Automatic Test-Pattern Generation for Grey-Box Programs 204
Poster: Automatic Consistency Checking of Requirements with ReqV 204
Watched Data Structures for QBF Solvers 201
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 196
Consistency of property specification patterns with boolean and constrained numerical signals 196
Comparison of knowledge sharing strategies in a parallel QBF solver 189
QuBE++: An efficient QBF solver 182
Learning for verification in embedded systems: A case study 178
Backjumping for Quantified Boolean Logic Satisfiability 177
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 177
Quantifier Structure in search based procedures for QBFs 170
QBF Reasoning on Real-World Instances 170
The Second QBF Solvers Comparative Evaluation 166
The QBFEVAL Web Portal 166
Ranking and Reputation Systems in the QBF Competition 164
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 161
Learning middleware models for verification of distributed control programs 161
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 154
Automata based test generation with SpecPro 153
Monotone Literals and Learning in QBF Reasoning 148
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 147
Towards an Efficient Library for SAT: a Manifesto 147
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 146
Learning for Quantified Boolean Logic Satisfiability 146
The Second QBF Solvers Comparative Evaluation 144
An empirical perspective on ten years of QBF solving 144
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 140
Property specification patterns at work: verification and inconsistency explanation 139
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 129
Parallel QBF Solving with Advanced Knowledge Sharing 127
Quantifier Structure in search based procedures for QBFs 126
Improving the automatic test generation proces for Coverage Analysis using CBMC 122
Reasoning with Quantified Boolean Formulas 113
Report of the Third QBF Solvers Evaluation 110
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant 105
Chapter 30. Reasoning with Quantified Boolean Formulas 89
QuBE7.0 83
Verification Of Data-Intensive Embedded Systems 75
Totale 7.340
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.115
article - articoli 8.132
book - libri 0
conference - conferenze 12.861
curatela - curatele 0
other - altro 0
patent - brevetti 374
selected - selezionate 0
volume - volumi 748
Totale 44.230
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.630 212 21 126 119 175 150 290 65 126 127 102 117
2026/2027159 159 0 0 0 0 0 0 0 0 0 0 0
Totale 7.340