IRIS
SCOZZARI, Francesca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.705
NA - Nord America 1.659
AS - Asia 834
SA - Sud America 57
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 4.264
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.629
IT - Italia 551
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
BR - Brasile 51
RU - Federazione Russa 43
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
AR - Argentina 2
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
BD - Bangladesh 1
BG - Bulgaria 1
CH - Svizzera 1
CR - Costa Rica 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.264
Salva come PNG Salva come JPEG
Città #
Chandler 275
Jacksonville 261
Dublin 227
Dearborn 163
Singapore 159
Southend 138
Princeton 100
Nanjing 85
Izmir 81
The Dalles 62
Cambridge 57
Ann Arbor 54
Ashburn 54
Beijing 53
Alba 51
Wilmington 50
Francavilla Al Mare 46
Pescara 41
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
Ribeirão Preto 2
San Vito Lo Capo 2
Santo André 2
Secaucus 2
Seelze 2
Shanghai 2
São João Batista 2
Totale 2.622
Salva come PNG Salva come JPEG
Nome #
Jandom: JVM based Analyzer for Numerical DOMains 159
Narrowing Operators on Template Abstract Domains 158
Descending chains and narrowing on template abstract domains 157
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions 153
Sum of Abstract Domains 151
Efficiently intertwining widening and narrowing 136
Optimality in goal-dependent Analysis of Sharing (full version) 114
Optimality in goal-dependent Analysis of Sharing 100
null 100
Inferring linear invariants with parallelotopes 100
A general framework for variable aliasing: Towards optimal operators for sharing properties 99
Discovering invariants via simple component analysis 99
A general framework for variable aliasing: Towards optimal operators for sharing properties 98
Observational Completeness on Abstract Interpretation 97
Building Complete Abstract Interpretations in a Linear Logic-based Setting 97
Optimality in goal-dependent Analysis of Sharing 96
Logical optimality of groundness analysis 96
A tool which mines partial execution traces to improve static analysis 94
A Taxonomy of Program Analyses 93
Complete Abstract Interpretations made Constructive 92
On abstract unification for variable aliasing 86
Optimality in goal-dependent analysis of Sharing 85
On the interaction between sharing and linearity 84
Modeling Web Applications by the Multiple Levels of Integrity Policy 82
The abstract domain of parallelotopes 82
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination 82
Deriving numerical abstract domains via Principal Component Analysis 81
Localizing Widening and Narrowing 81
Intuitionistic Implication in Abstract Interpretation 80
Efficient Constraint/Generator Removal from Double Description of Polyhedra 79
Building complete abstract interpretations in a linear logic-based setting 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
A logical model for relational abstract domains 74
Making Abstract Interpretations Complete 74
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 74
Numerical static analysis with Soot 73
Observational Completeness on Abstract Interpretation 73
Making abstract domains condensing 71
On collecting semantics for program analysis 71
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 61
Abstract domains for sharing analysis by optimal semantics 59
JGMP: Java bindings and wrappers for the GMP library 46
A survey on the role of artificial intelligence in managing Long COVID 45
The role of linearity in sharing analysis 24
Random: R-based Analyzer for Numerical Domains 22
AI for Sustainability: Research at Ud’A Node 14
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.429
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.475
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.475
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202056 0 0 0 0 0 0 0 0 0 0 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/2025621 49 159 98 19 11 27 48 54 68 39 49 0
Totale 4.429