SCOZZARI, Francesca
 Distribuzione geografica
Continente #
EU - Europa 1.703
NA - Nord America 1.596
AS - Asia 834
SA - Sud America 44
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 4.186
Nazione #
US - Stati Uniti d'America 1.567
IT - Italia 549
CN - Cina 291
SG - Singapore 235
UA - Ucraina 230
IE - Irlanda 228
GB - Regno Unito 179
TR - Turchia 176
SE - Svezia 142
DE - Germania 107
IN - India 98
FR - Francia 97
FI - Finlandia 53
RU - Federazione Russa 43
BR - Brasile 39
AT - Austria 38
CA - Canada 27
VN - Vietnam 13
NL - Olanda 9
HK - Hong Kong 8
BE - Belgio 7
CZ - Repubblica Ceca 6
IQ - Iraq 4
IL - Israele 3
EC - Ecuador 2
EE - Estonia 2
ES - Italia 2
EU - Europa 2
MD - Moldavia 2
MX - Messico 2
PK - Pakistan 2
VE - Venezuela 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
BD - Bangladesh 1
BG - Bulgaria 1
CH - Svizzera 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
GR - Grecia 1
HR - Croazia 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MA - Marocco 1
NZ - Nuova Zelanda 1
PL - Polonia 1
PT - Portogallo 1
RO - Romania 1
SN - Senegal 1
SY - Repubblica araba siriana 1
Totale 4.186
Città #
Chandler 275
Jacksonville 261
Dublin 227
Dearborn 163
Singapore 159
Southend 138
Princeton 100
Nanjing 85
Izmir 81
Cambridge 57
Ann Arbor 54
Ashburn 54
Beijing 53
Alba 51
Wilmington 50
Francavilla Al Mare 46
Pescara 40
Altamura 39
Vienna 37
Chieti 35
Boardman 34
Nanchang 34
Woodbridge 27
Kocaeli 26
Santa Clara 26
Ottawa 22
Rome 20
Grevenbroich 15
Dong Ket 13
Hebei 13
Jiaxing 13
Kunming 12
Avezzano 11
Changsha 11
Helsinki 11
Los Angeles 11
Milan 11
Loreto Aprutino 10
Hangzhou 9
Hefei 9
Houston 9
San Mateo 9
Shenyang 9
Vasto 9
Hong Kong 8
Orange 8
Brussels 7
Auburn Hills 6
Augusta 6
Montesilvano Marina 6
Perugia 6
Norwalk 5
Padova 5
Tianjin 5
Toronto 5
Jinan 4
Lanzhou 4
Ningbo 4
Romola 4
Seregno 4
Washington 4
Baghdad 3
Bergamo 3
Brno 3
Chongqing 3
Lanciano 3
Nuremberg 3
Olomouc 3
Porto Alegre 3
Rocca Di Mezzo 3
San Miniato 3
Seattle 3
Turin 3
Zhengzhou 3
Campobasso 2
Canino 2
Castelnuovo Berardenga 2
Chisinau 2
Curitiba 2
Dueville 2
Erlangen 2
Frankfurt am Main 2
Fuzhou 2
Grafing 2
Isernia 2
Lappeenranta 2
Leawood 2
Madrid 2
Mola Di Bari 2
New York 2
Parma 2
Prato 2
San Vito Lo Capo 2
Santo André 2
Secaucus 2
Seelze 2
Shanghai 2
Tappahannock 2
Tartu 2
Teramo 2
Totale 2.561
Nome #
Jandom: JVM based Analyzer for Numerical DOMains 158
Narrowing Operators on Template Abstract Domains 158
Descending chains and narrowing on template abstract domains 151
Sum of Abstract Domains 150
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions 150
Efficiently intertwining widening and narrowing 135
Optimality in goal-dependent Analysis of Sharing (full version) 110
Optimality in goal-dependent Analysis of Sharing 100
null 100
Observational Completeness on Abstract Interpretation 97
Discovering invariants via simple component analysis 97
Logical optimality of groundness analysis 96
Inferring linear invariants with parallelotopes 96
Optimality in goal-dependent Analysis of Sharing 95
Building Complete Abstract Interpretations in a Linear Logic-based Setting 95
A general framework for variable aliasing: Towards optimal operators for sharing properties 95
A general framework for variable aliasing: Towards optimal operators for sharing properties 92
A Taxonomy of Program Analyses 92
A tool which mines partial execution traces to improve static analysis 90
Complete Abstract Interpretations made Constructive 88
On abstract unification for variable aliasing 85
Optimality in goal-dependent analysis of Sharing 85
On the interaction between sharing and linearity 84
The abstract domain of parallelotopes 82
Modeling Web Applications by the Multiple Levels of Integrity Policy 81
Intuitionistic Implication in Abstract Interpretation 80
Localizing Widening and Narrowing 80
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination 80
Deriving numerical abstract domains via Principal Component Analysis 79
Logical Optimality of Groundness Analysis 78
Random: R-based Analyzer for Numerical DOMains 78
Teoria dei domini nell'interpretazione astratta: equazioni, completezza, logica 76
Efficient Constraint/Generator Removal from Double Description of Polyhedra 75
Building complete abstract interpretations in a linear logic-based setting 75
A logical model for relational abstract domains 74
Making Abstract Interpretations Complete 73
Observational Completeness on Abstract Interpretation 73
Numerical static analysis with Soot 72
Making abstract domains condensing 71
On collecting semantics for program analysis 71
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 70
Optimal multibinding unification for sharing and linearity analysis 69
Preface 66
Intuitionistic Implication in Abstract Interpretation 61
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 59
Abstract domains for sharing analysis by optimal semantics 56
JGMP: Java bindings and wrappers for the GMP library 45
A survey on the role of artificial intelligence in managing Long COVID 42
The role of linearity in sharing analysis 23
Random: R-based Analyzer for Numerical Domains 21
AI for Sustainability: Research at Ud’A Node 12
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 10
The ScalaFix Equation Solver 9
Optimal Matching for Sharing and Linearity Analysis 6
Interpretability of Machine Learning Models for Breast Cancer Identification: A Review 5
Totale 4.351
Categoria #
all - tutte 17.078
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 17.078


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202081 0 0 0 0 0 0 0 0 0 25 53 3
2020/2021481 49 0 48 5 26 66 7 7 126 89 18 40
2021/2022280 12 11 2 36 17 11 7 16 23 10 59 76
2022/2023792 60 98 38 90 63 173 45 70 106 9 20 20
2023/2024375 36 17 25 4 9 102 94 15 5 10 11 47
2024/2025543 49 159 98 19 11 27 48 54 68 10 0 0
Totale 4.351