IRIS
SCOZZARI, Francesca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.648
NA - Nord America 1.588
AS - Asia 730
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 2
OC - Oceania 1
Totale 3.972
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.560
IT - Italia 518
CN - Cina 287
UA - Ucraina 229
IE - Irlanda 228
GB - Regno Unito 179
TR - Turchia 175
SG - Singapore 153
SE - Svezia 142
DE - Germania 99
IN - India 98
FR - Francia 97
FI - Finlandia 50
RU - Federazione Russa 40
AT - Austria 37
CA - Canada 27
VN - Vietnam 13
BE - Belgio 7
CZ - Repubblica Ceca 6
NL - Olanda 4
BR - Brasile 2
ES - Italia 2
EU - Europa 2
IL - Israele 2
MD - Moldavia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BG - Bulgaria 1
CY - Cipro 1
DK - Danimarca 1
GR - Grecia 1
HR - Croazia 1
LU - Lussemburgo 1
MX - Messico 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
RO - Romania 1
Totale 3.972
Salva come PNG Salva come JPEG
Città #
Chandler 275
Jacksonville 261
Dublin 227
Dearborn 163
Southend 138
Singapore 131
Princeton 100
Nanjing 85
Izmir 81
Cambridge 57
Ann Arbor 54
Ashburn 54
Beijing 52
Alba 51
Wilmington 50
Francavilla Al Mare 46
Altamura 39
Vienna 37
Chieti 35
Boardman 34
Nanchang 34
Pescara 32
Woodbridge 27
Kocaeli 26
Santa Clara 26
Ottawa 22
Rome 19
Grevenbroich 15
Dong Ket 13
Hebei 13
Jiaxing 13
Kunming 12
Avezzano 11
Changsha 11
Los Angeles 11
Loreto Aprutino 10
Milan 10
Hangzhou 9
Hefei 9
Helsinki 9
Houston 9
San Mateo 9
Shenyang 9
Vasto 9
Orange 8
Brussels 7
Auburn Hills 6
Augusta 6
Montesilvano Marina 6
Norwalk 5
Padova 5
Tianjin 5
Toronto 5
Jinan 4
Lanzhou 4
Ningbo 4
Romola 4
Washington 4
Bergamo 3
Brno 3
Olomouc 3
Rocca Di Mezzo 3
San Miniato 3
Seattle 3
Turin 3
Zhengzhou 3
Campobasso 2
Canino 2
Castelnuovo Berardenga 2
Chisinau 2
Chongqing 2
Dueville 2
Erlangen 2
Fuzhou 2
Grafing 2
Isernia 2
Lanciano 2
Leawood 2
Madrid 2
Mola Di Bari 2
New York 2
Parma 2
Porto Alegre 2
Prato 2
San Vito Lo Capo 2
Secaucus 2
Seelze 2
Shanghai 2
Tappahannock 2
Teramo 2
Valenzano 2
Verona 2
Amsterdam 1
Ancona 1
Andover 1
Auckland 1
Birmingham 1
Bucu 1
Camerino 1
Cedar Knolls 1
Totale 2.495
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 157
Jandom: JVM based Analyzer for Numerical DOMains 149
Sum of Abstract Domains 148
Descending chains and narrowing on template abstract domains 145
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions 140
Efficiently intertwining widening and narrowing 133
Optimality in goal-dependent Analysis of Sharing (full version) 107
null 100
Optimality in goal-dependent Analysis of Sharing 98
Observational Completeness on Abstract Interpretation 95
Logical optimality of groundness analysis 94
Building Complete Abstract Interpretations in a Linear Logic-based Setting 94
Optimality in goal-dependent Analysis of Sharing 92
A general framework for variable aliasing: Towards optimal operators for sharing properties 91
Discovering invariants via simple component analysis 90
Inferring linear invariants with parallelotopes 90
A general framework for variable aliasing: Towards optimal operators for sharing properties 88
A Taxonomy of Program Analyses 88
Complete Abstract Interpretations made Constructive 87
A tool which mines partial execution traces to improve static analysis 87
On the interaction between sharing and linearity 82
On abstract unification for variable aliasing 82
Optimality in goal-dependent analysis of Sharing 82
The abstract domain of parallelotopes 79
Localizing Widening and Narrowing 79
Modeling Web Applications by the Multiple Levels of Integrity Policy 76
Intuitionistic Implication in Abstract Interpretation 76
Random: R-based Analyzer for Numerical DOMains 76
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination 75
Efficient Constraint/Generator Removal from Double Description of Polyhedra 74
Deriving numerical abstract domains via Principal Component Analysis 73
A logical model for relational abstract domains 72
Teoria dei domini nell'interpretazione astratta: equazioni, completezza, logica 71
Logical Optimality of Groundness Analysis 71
Building complete abstract interpretations in a linear logic-based setting 71
Numerical static analysis with Soot 70
Observational Completeness on Abstract Interpretation 70
Making abstract domains condensing 69
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 69
Making Abstract Interpretations Complete 68
Optimal multibinding unification for sharing and linearity analysis 68
Preface 62
On collecting semantics for program analysis 60
Intuitionistic Implication in Abstract Interpretation 58
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 58
Abstract domains for sharing analysis by optimal semantics 53
JGMP: Java bindings and wrappers for the GMP library 37
A survey on the role of artificial intelligence in managing Long COVID 31
The role of linearity in sharing analysis 20
Random: R-based Analyzer for Numerical Domains 13
The ScalaFix Equation Solver 5
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 4
Totale 4.127
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.122
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 14.122
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020476 0 0 0 25 67 101 112 70 20 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/2025319 49 159 98 13 0 0 0 0 0 0 0 0
Totale 4.127