SCOZZARI, Francesca
 Distribuzione geografica
Continente #
EU - Europa 1385
NA - Nord America 1279
AS - Asia 574
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 2
Totale 3243
Nazione #
US - Stati Uniti d'America 1252
IT - Italia 454
CN - Cina 285
UA - Ucraina 228
GB - Regno Unito 177
TR - Turchia 175
SE - Svezia 142
IN - India 97
FR - Francia 95
DE - Germania 93
IE - Irlanda 90
FI - Finlandia 49
AT - Austria 37
CA - Canada 27
VN - Vietnam 13
BE - Belgio 11
RU - Federazione Russa 4
BR - Brasile 2
EU - Europa 2
IL - Israele 2
A2 - ???statistics.table.value.countryCode.A2??? 1
CY - Cipro 1
DK - Danimarca 1
GR - Grecia 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
RO - Romania 1
Totale 3243
Città #
Chandler 275
Jacksonville 261
Dearborn 163
Southend 138
Princeton 100
Dublin 90
Nanjing 85
Izmir 81
Cambridge 57
Ann Arbor 54
Beijing 52
Alba 51
Wilmington 50
Francavilla Al Mare 46
Altamura 39
Vienna 37
Nanchang 34
Chieti 32
Woodbridge 27
Kocaeli 26
Ottawa 22
Boardman 19
Pescara 16
Grevenbroich 15
Rome 14
Dong Ket 13
Hebei 13
Jiaxing 13
Kunming 12
Avezzano 11
Brussels 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
Auburn Hills 6
Augusta 6
Los Angeles 5
Norwalk 5
Padova 5
Tianjin 5
Toronto 5
Jinan 4
Lanzhou 4
Ningbo 4
Bergamo 3
Montesilvano Marina 3
Rocca Di Mezzo 3
San Miniato 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
Parma 2
Porto Alegre 2
Prato 2
San Vito Lo Capo 2
Shanghai 2
Teramo 2
Ancona 1
Andover 1
Bucu 1
Camerino 1
Cedar Knolls 1
Changchun 1
Chengdu 1
Chicago 1
Colonnella 1
Copenhagen 1
Cupertino 1
Ercolano 1
Florence 1
Genova 1
Guiyang 1
Haikou 1
Hanover 1
Jesi 1
Kraków 1
Latina 1
Lisbon 1
Marano Vicentino 1
Mardan 1
Misterbianco 1
Paese 1
Totale 2084
Nome #
Narrowing Operators on Template Abstract Domains 139
Sum of Abstract Domains 134
Jandom: JVM based Analyzer for Numerical DOMains 128
Descending chains and narrowing on template abstract domains 116
Efficiently intertwining widening and narrowing 111
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions 111
Random: R-based Analyzer for Numerical Domains 101
Optimality in goal-dependent Analysis of Sharing 86
Observational Completeness on Abstract Interpretation 86
Optimality in goal-dependent Analysis of Sharing (full version) 84
Logical optimality of groundness analysis 83
Optimality in goal-dependent Analysis of Sharing 82
Building Complete Abstract Interpretations in a Linear Logic-based Setting 82
Inferring linear invariants with parallelotopes 76
A general framework for variable aliasing: Towards optimal operators for sharing properties 73
A tool which mines partial execution traces to improve static analysis 73
On abstract unification for variable aliasing 72
Discovering invariants via simple component analysis 72
The abstract domain of parallelotopes 72
Localizing Widening and Narrowing 70
On the interaction between sharing and linearity 69
Modeling Web Applications by the Multiple Levels of Integrity Policy 68
Optimality in goal-dependent analysis of Sharing 68
A Taxonomy of Program Analyses 68
Random: R-based Analyzer for Numerical DOMains 67
Intuitionistic Implication in Abstract Interpretation 63
Teoria dei domini nell'interpretazione astratta: equazioni, completezza, logica 62
Deriving numerical abstract domains via Principal Component Analysis 62
Numerical static analysis with Soot 62
A logical model for relational abstract domains 61
Making abstract domains condensing 60
Optimal multibinding unification for sharing and linearity analysis 60
Observational Completeness on Abstract Interpretation 60
A general framework for variable aliasing: Towards optimal operators for sharing properties 60
Logical Optimality of Groundness Analysis 59
Complete Abstract Interpretations made Constructive 59
Making Abstract Interpretations Complete 58
Efficient Constraint/Generator Removal from Double Description of Polyhedra 58
Building complete abstract interpretations in a linear logic-based setting 58
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 57
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination 57
Intuitionistic Implication in Abstract Interpretation 50
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 47
Preface 46
Abstract domains for sharing analysis by optimal semantics 44
On collecting semantics for program analysis 40
The role of linearity in sharing analysis 10
The ScalaFix Equation Solver 2
Totale 3386
Categoria #
all - tutte 5631
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 5631


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201891 0000 00 00 1276111
2018/2019338 55118 11017 607 94696
2019/2020724 20140725 67101 11270 2025533
2020/2021481 490485 2666 77 126891840
2021/2022280 1211236 1711 716 23105976
2022/2023745 60983890 63173 5073 100000
Totale 3386