IRIS
SCOZZARI, Francesca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.880
EU - Europa 2.731
AS - Asia 1.834
SA - Sud America 180
AF - Africa 26
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 7.655
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.820
RU - Federazione Russa 820
IT - Italia 679
SG - Singapore 662
CN - Cina 558
UA - Ucraina 238
IE - Irlanda 233
GB - Regno Unito 205
TR - Turchia 185
SE - Svezia 151
BR - Brasile 146
VN - Vietnam 145
DE - Germania 117
IN - India 116
FR - Francia 113
FI - Finlandia 56
CA - Canada 47
KR - Corea 45
AT - Austria 38
HK - Hong Kong 31
BD - Bangladesh 24
NL - Olanda 20
PL - Polonia 15
PK - Pakistan 13
AR - Argentina 12
BE - Belgio 11
IQ - Iraq 11
ZA - Sudafrica 10
ES - Italia 8
EC - Ecuador 7
ID - Indonesia 7
CZ - Repubblica Ceca 6
VE - Venezuela 6
IL - Israele 5
PH - Filippine 5
AE - Emirati Arabi Uniti 4
MX - Messico 4
CL - Cile 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
JM - Giamaica 3
JP - Giappone 3
KE - Kenya 3
KZ - Kazakistan 3
MA - Marocco 3
RO - Romania 3
AO - Angola 2
BG - Bulgaria 2
CO - Colombia 2
EE - Estonia 2
EU - Europa 2
GR - Grecia 2
JO - Giordania 2
LT - Lituania 2
MD - Moldavia 2
MY - Malesia 2
PS - Palestinian Territory 2
PT - Portogallo 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
SY - Repubblica araba siriana 2
UY - Uruguay 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BH - Bahrain 1
BO - Bolivia 1
CH - Svizzera 1
CY - Cipro 1
DK - Danimarca 1
EG - Egitto 1
ET - Etiopia 1
GE - Georgia 1
HR - Croazia 1
KW - Kuwait 1
LU - Lussemburgo 1
MU - Mauritius 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PY - Paraguay 1
Totale 7.655
Salva come PNG Salva come JPEG
Città #
San Jose 495
Singapore 469
Chandler 280
Jacksonville 265
Dublin 232
Dearborn 164
Ashburn 160
Southend 138
Beijing 128
Dallas 121
Princeton 102
Nanjing 87
Izmir 83
The Dalles 69
Ann Arbor 66
Pescara 65
Cambridge 59
Council Bluffs 56
Hefei 56
Alba 51
Wilmington 51
Los Angeles 47
Francavilla Al Mare 46
Seoul 45
Chieti 44
Hanoi 43
Altamura 40
Ho Chi Minh City 39
Vienna 37
New York 36
Santa Clara 36
Nanchang 35
Boardman 34
Hong Kong 29
Tongling 29
Rome 27
Woodbridge 27
Kocaeli 26
Buffalo 24
Ottawa 22
Redondo Beach 20
St Louis 20
Milan 16
Dong Ket 15
Grevenbroich 15
Moscow 15
Hebei 14
Helsinki 14
Warsaw 14
Jiaxing 13
Montesilvano Marina 13
São Paulo 13
Kunming 12
Avezzano 11
Changsha 11
Hangzhou 11
Orem 11
Brooklyn 10
Brussels 10
Chicago 10
Houston 10
Loreto Aprutino 10
Denver 9
Phoenix 9
San Mateo 9
Shenyang 9
Vasto 9
Amsterdam 8
Orange 8
Toronto 8
Atlanta 7
Augusta 7
Florence 7
Montreal 7
Auburn Hills 6
Johannesburg 6
Munich 6
Perugia 6
Poplar 6
Ankara 5
Boston 5
Chennai 5
Norwalk 5
Padova 5
Romola 5
Seattle 5
Tianjin 5
Washington 5
Baghdad 4
Bergamo 4
Cambiago 4
Frankfurt am Main 4
Jinan 4
Lanzhou 4
Manchester 4
Ningbo 4
Philadelphia 4
Rio de Janeiro 4
San Francisco 4
Secaucus 4
Totale 4.371
Salva come PNG Salva come JPEG
Nome #
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 830
Jandom: JVM based Analyzer for Numerical DOMains 213
Sum of Abstract Domains 211
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions 204
Descending chains and narrowing on template abstract domains 200
Efficiently intertwining widening and narrowing 185
null 171
A Taxonomy of Program Analyses 165
A tool which mines partial execution traces to improve static analysis 162
AI for Sustainability: Research at Ud’A Node 157
A general framework for variable aliasing: Towards optimal operators for sharing properties 156
Optimality in goal-dependent Analysis of Sharing 153
A general framework for variable aliasing: Towards optimal operators for sharing properties 153
Discovering invariants via simple component analysis 152
Optimality in goal-dependent Analysis of Sharing (full version) 146
Complete Abstract Interpretations made Constructive 144
Inferring linear invariants with parallelotopes 142
Building Complete Abstract Interpretations in a Linear Logic-based Setting 141
Deriving numerical abstract domains via Principal Component Analysis 138
On the interaction between sharing and linearity 132
Optimality in goal-dependent Analysis of Sharing 131
Efficient Constraint/Generator Removal from Double Description of Polyhedra 127
Observational Completeness on Abstract Interpretation 126
Building complete abstract interpretations in a linear logic-based setting 126
Logical optimality of groundness analysis 123
Optimality in goal-dependent analysis of Sharing 123
A survey on the role of artificial intelligence in managing Long COVID 119
Localizing Widening and Narrowing 119
A logical model for relational abstract domains 118
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 118
The abstract domain of parallelotopes 118
On abstract unification for variable aliasing 117
Modeling Web Applications by the Multiple Levels of Integrity Policy 116
Logical Optimality of Groundness Analysis 115
Intuitionistic Implication in Abstract Interpretation 115
Numerical static analysis with Soot 115
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 112
Observational Completeness on Abstract Interpretation 112
Making abstract domains condensing 111
Abstract domains for sharing analysis by optimal semantics 110
Random: R-based Analyzer for Numerical DOMains 109
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination 109
Making Abstract Interpretations Complete 108
Teoria dei domini nell'interpretazione astratta: equazioni, completezza, logica 106
Optimal multibinding unification for sharing and linearity analysis 105
JGMP: Java bindings and wrappers for the GMP library 103
null 100
Intuitionistic Implication in Abstract Interpretation 98
On collecting semantics for program analysis 98
Preface 92
Random: R-based Analyzer for Numerical Domains 68
Interpretability of Machine Learning Models for Breast Cancer Identification: A Review 58
A Comparative Analysis of Artificial Intelligence Methods for Breast Cancer Interpretation 53
The role of linearity in sharing analysis 46
Enabling research collaboration with AI: the BI4E experience with large language models 43
The ScalaFix Equation Solver 42
Optimal Matching for Sharing and Linearity Analysis 38
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 38
Explainability in breast cancer detection 33
Narrowing Operators on Template Abstract Domains 29
CONNECT: find your dream team 27
Bipolar Argumentation for Supporting Decisions in Software Design 4
Totale 7.833
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.825
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 26.825
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202143 0 0 0 0 0 0 0 0 0 0 0 43
2021/2022289 13 12 2 38 17 11 8 17 23 12 59 77
2022/2023812 62 103 39 92 64 176 46 71 108 11 20 20
2023/2024388 36 18 27 5 11 104 97 15 5 11 11 48
2024/2025867 50 159 101 20 11 30 48 55 68 41 144 140
2025/20263.053 192 125 205 283 170 138 297 154 889 222 223 155
Totale 7.833