IRIS
SCOZZARI, Francesca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.573
NA - Nord America 1.441
AS - Asia 575
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 2
OC - Oceania 1
Totale 3.595
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.413
IT - Italia 494
CN - Cina 285
UA - Ucraina 229
IE - Irlanda 228
GB - Regno Unito 178
TR - Turchia 175
SE - Svezia 142
IN - India 98
DE - Germania 97
FR - Francia 95
FI - Finlandia 49
AT - Austria 37
CA - Canada 27
VN - Vietnam 13
BE - Belgio 7
NL - Olanda 4
RU - Federazione Russa 4
BR - Brasile 2
EU - Europa 2
IL - Israele 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
MD - Moldavia 1
MX - Messico 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
RO - Romania 1
Totale 3.595
Salva come PNG Salva come JPEG
Città #
Chandler 275
Jacksonville 261
Dublin 227
Dearborn 163
Southend 138
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
Nanchang 34
Woodbridge 27
Kocaeli 26
Pescara 25
Ottawa 22
Boardman 19
Rome 18
Grevenbroich 15
Dong Ket 13
Hebei 13
Jiaxing 13
Kunming 12
Avezzano 11
Changsha 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
Los Angeles 7
Auburn Hills 6
Augusta 6
Montesilvano Marina 6
Norwalk 5
Padova 5
Tianjin 5
Toronto 5
Jinan 4
Lanzhou 4
Ningbo 4
Washington 4
Bergamo 3
Rocca Di Mezzo 3
San Miniato 3
Seattle 3
Turin 3
Zhengzhou 3
Campobasso 2
Canino 2
Castelnuovo Berardenga 2
Chongqing 2
Dueville 2
Erlangen 2
Fuzhou 2
Grafing 2
Isernia 2
Lanciano 2
Leawood 2
Mola Di Bari 2
New York 2
Parma 2
Porto Alegre 2
Prato 2
San Vito Lo Capo 2
Seelze 2
Shanghai 2
Tappahannock 2
Teramo 2
Valenzano 2
Amsterdam 1
Ancona 1
Andover 1
Auckland 1
Bucu 1
Camerino 1
Cedar Knolls 1
Changchun 1
Chengdu 1
Chicago 1
Chisinau 1
Colonnella 1
Copenhagen 1
Cupertino 1
Dobrich 1
Dronten 1
Edinburgh 1
Totale 2.302
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 149
Sum of Abstract Domains 141
Jandom: JVM based Analyzer for Numerical DOMains 136
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions 135
Descending chains and narrowing on template abstract domains 132
Efficiently intertwining widening and narrowing 121
Optimality in goal-dependent Analysis of Sharing (full version) 100
null 100
Optimality in goal-dependent Analysis of Sharing 93
Observational Completeness on Abstract Interpretation 90
Building Complete Abstract Interpretations in a Linear Logic-based Setting 90
Logical optimality of groundness analysis 87
Optimality in goal-dependent Analysis of Sharing 85
A general framework for variable aliasing: Towards optimal operators for sharing properties 84
Inferring linear invariants with parallelotopes 83
Discovering invariants via simple component analysis 81
A tool which mines partial execution traces to improve static analysis 80
On abstract unification for variable aliasing 79
Optimality in goal-dependent analysis of Sharing 78
A Taxonomy of Program Analyses 77
The abstract domain of parallelotopes 75
Localizing Widening and Narrowing 74
On the interaction between sharing and linearity 72
Modeling Web Applications by the Multiple Levels of Integrity Policy 71
Intuitionistic Implication in Abstract Interpretation 70
Random: R-based Analyzer for Numerical DOMains 69
A general framework for variable aliasing: Towards optimal operators for sharing properties 69
Deriving numerical abstract domains via Principal Component Analysis 68
A logical model for relational abstract domains 67
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination 67
Building complete abstract interpretations in a linear logic-based setting 67
Numerical static analysis with Soot 66
Efficient Constraint/Generator Removal from Double Description of Polyhedra 66
Teoria dei domini nell'interpretazione astratta: equazioni, completezza, logica 65
Making abstract domains condensing 65
Logical Optimality of Groundness Analysis 65
Making Abstract Interpretations Complete 63
Complete Abstract Interpretations made Constructive 63
Optimal multibinding unification for sharing and linearity analysis 63
Observational Completeness on Abstract Interpretation 63
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 61
Preface 57
Intuitionistic Implication in Abstract Interpretation 55
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 53
On collecting semantics for program analysis 49
Abstract domains for sharing analysis by optimal semantics 48
JGMP: Java bindings and wrappers for the GMP library 24
The role of linearity in sharing analysis 13
A survey on the role of artificial intelligence in managing Long COVID 9
Random: R-based Analyzer for Numerical Domains 7
The ScalaFix Equation Solver 4
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 1
Totale 3.750
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.050
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 11.050
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019106 0 0 0 0 0 0 0 0 0 4 6 96
2019/2020724 201 40 7 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/2024317 36 17 25 4 9 102 94 15 5 10 0 0
Totale 3.750