IRIS
SCOZZARI, Francesca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.583
EU - Europa 2.853
AS - Asia 1.864
Continente sconosciuto - Info sul continente non disponibili 188
SA - Sud America 185
AF - Africa 29
OC - Oceania 1
Totale 8.703
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.469
RU - Federazione Russa 826
IT - Italia 783
SG - Singapore 667
CN - Cina 561
UA - Ucraina 238
IE - Irlanda 234
GB - Regno Unito 209
TR - Turchia 186
SE - Svezia 151
BR - Brasile 148
VN - Vietnam 145
DE - Germania 117
IN - India 117
FR - Francia 113
CA - Canada 68
FI - Finlandia 56
KR - Corea 45
AT - Austria 38
HK - Hong Kong 34
BD - Bangladesh 31
NL - Olanda 22
PL - Polonia 15
PK - Pakistan 13
AR - Argentina 12
BE - Belgio 11
IQ - Iraq 11
ZA - Sudafrica 10
ES - Italia 9
IL - Israele 9
EC - Ecuador 8
ID - Indonesia 7
CZ - Repubblica Ceca 6
NI - Nicaragua 6
PH - Filippine 6
VE - Venezuela 6
CR - Costa Rica 5
CW - ???statistics.table.value.countryCode.CW??? 5
JM - Giamaica 5
JP - Giappone 5
LT - Lituania 5
MX - Messico 5
TT - Trinidad e Tobago 5
AE - Emirati Arabi Uniti 4
CO - Colombia 4
DO - Repubblica Dominicana 4
HN - Honduras 4
PR - Porto Rico 4
CL - Cile 3
DZ - Algeria 3
GT - Guatemala 3
JO - Giordania 3
KE - Kenya 3
KZ - Kazakistan 3
MA - Marocco 3
PS - Palestinian Territory 3
PT - Portogallo 3
RO - Romania 3
SC - Seychelles 3
AO - Angola 2
BG - Bulgaria 2
EE - Estonia 2
EU - Europa 2
GP - Guadalupe 2
GR - Grecia 2
MD - Moldavia 2
MY - Malesia 2
NP - Nepal 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
BZ - Belize 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
KY - Cayman, isole 1
LU - Lussemburgo 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
PY - Paraguay 1
SV - El Salvador 1
SX - ???statistics.table.value.countryCode.SX??? 1
Totale 8.524
Salva come PNG Salva come JPEG
Città #
San Jose 533
Singapore 473
Chandler 280
Jacksonville 265
Dublin 232
Ashburn 173
Dearborn 164
Council Bluffs 154
Southend 138
Beijing 129
Dallas 127
Princeton 103
Los Angeles 101
Nanjing 87
Izmir 83
The Dalles 69
Pescara 68
Ann Arbor 66
Cambridge 61
Hefei 56
Alba 51
Buffalo 51
Staranzano 51
Wilmington 51
Chieti 46
Francavilla Al Mare 46
Santa Clara 45
Seoul 45
Hanoi 43
New York 42
Altamura 40
Ho Chi Minh City 39
Vienna 37
Nanchang 35
Rome 35
Boardman 34
Columbus 32
Hong Kong 32
Tongling 29
Woodbridge 27
Kocaeli 26
Milan 24
Ottawa 22
Redondo Beach 20
St Louis 20
Brooklyn 16
Dong Ket 15
Grevenbroich 15
Moscow 15
Chicago 14
Hebei 14
Helsinki 14
Phoenix 14
Warsaw 14
Atlanta 13
Jiaxing 13
Montesilvano Marina 13
São Paulo 13
Kunming 12
Avezzano 11
Changsha 11
Hangzhou 11
Houston 11
Orem 11
Toronto 11
Amsterdam 10
Brussels 10
Denver 10
Loreto Aprutino 10
Montreal 10
North Bergen 9
San Mateo 9
Shenyang 9
Vasto 9
Orange 8
Augusta 7
Florence 7
Perugia 7
Philadelphia 7
Auburn Hills 6
Johannesburg 6
Munich 6
Norwalk 6
Poplar 6
Washington 6
Ankara 5
Boston 5
Charlotte 5
Chennai 5
Kyle 5
Las Vegas 5
Naples 5
Padova 5
Romola 5
San Francisco 5
Seattle 5
Tianjin 5
Tokyo 5
Willemstad 5
Baghdad 4
Totale 4.778
Salva come PNG Salva come JPEG
Nome #
Major adverse cardiovascular events in non-valvular atrial fibrillation with chronic obstructive pulmonary disease: the ARAPACIS study 896
Sum of Abstract Domains 227
Jandom: JVM based Analyzer for Numerical DOMains 222
Descending chains and narrowing on template abstract domains 215
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions 215
Efficiently intertwining widening and narrowing 206
AI for Sustainability: Research at Ud’A Node 187
A Taxonomy of Program Analyses 182
A tool which mines partial execution traces to improve static analysis 178
null 171
A general framework for variable aliasing: Towards optimal operators for sharing properties 166
Optimality in goal-dependent Analysis of Sharing 163
Discovering invariants via simple component analysis 163
A general framework for variable aliasing: Towards optimal operators for sharing properties 162
Inferring linear invariants with parallelotopes 159
Optimality in goal-dependent Analysis of Sharing (full version) 155
Complete Abstract Interpretations made Constructive 155
On the interaction between sharing and linearity 152
Enabling research collaboration with AI: the BI4E experience with large language models 151
Building Complete Abstract Interpretations in a Linear Logic-based Setting 151
Deriving numerical abstract domains via Principal Component Analysis 150
Optimality in goal-dependent Analysis of Sharing 143
Building complete abstract interpretations in a linear logic-based setting 143
Localizing Widening and Narrowing 140
Observational Completeness on Abstract Interpretation 137
Efficient Constraint/Generator Removal from Double Description of Polyhedra 136
Optimality in goal-dependent analysis of Sharing 134
A survey on the role of artificial intelligence in managing Long COVID 133
Logical optimality of groundness analysis 132
A logical model for relational abstract domains 132
On abstract unification for variable aliasing 131
Modeling Web Applications by the Multiple Levels of Integrity Policy 130
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 128
Logical Optimality of Groundness Analysis 126
Abstract domains for sharing analysis by optimal semantics 125
The abstract domain of parallelotopes 124
Numerical static analysis with Soot 124
Observational Completeness on Abstract Interpretation 124
Making abstract domains condensing 123
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 120
Intuitionistic Implication in Abstract Interpretation 119
JGMP: Java bindings and wrappers for the GMP library 118
Making Abstract Interpretations Complete 118
Random: R-based Analyzer for Numerical DOMains 118
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination 118
Teoria dei domini nell'interpretazione astratta: equazioni, completezza, logica 112
Optimal multibinding unification for sharing and linearity analysis 111
Intuitionistic Implication in Abstract Interpretation 107
On collecting semantics for program analysis 106
Preface 102
null 100
Random: R-based Analyzer for Numerical Domains 79
Interpretability of Machine Learning Models for Breast Cancer Identification: A Review 73
A Comparative Analysis of Artificial Intelligence Methods for Breast Cancer Interpretation 70
The role of linearity in sharing analysis 56
The ScalaFix Equation Solver 51
Explainability in breast cancer detection 50
Optimal Matching for Sharing and Linearity Analysis 44
CONNECT: find your dream team 41
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 41
Narrowing Operators on Template Abstract Domains 38
Bipolar Argumentation for Supporting Decisions in Software Design 20
Totale 8.703
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.572
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 30.572
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022224 0 0 0 0 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.137 192 125 205 283 170 138 297 154 889 222 223 239
2026/2027786 90 138 180 276 102 0 0 0 0 0 0 0
Totale 8.703