IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.694
NA - Nord America 1.560
AS - Asia 634
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 3
Totale 3.894
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.529
IT - Italia 593
CN - Cina 288
IE - Irlanda 220
UA - Ucraina 211
TR - Turchia 167
GB - Regno Unito 165
SE - Svezia 162
FR - Francia 103
DE - Germania 99
IN - India 74
SG - Singapore 73
FI - Finlandia 44
RU - Federazione Russa 41
CA - Canada 30
AT - Austria 19
VN - Vietnam 15
BE - Belgio 12
PK - Pakistan 8
CZ - Repubblica Ceca 7
NL - Olanda 7
JP - Giappone 4
IQ - Iraq 3
BR - Brasile 2
EU - Europa 2
MD - Moldavia 2
RO - Romania 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
CL - Cile 1
CY - Cipro 1
EE - Estonia 1
ES - Italia 1
GR - Grecia 1
HR - Croazia 1
IM - Isola di Man 1
LU - Lussemburgo 1
MX - Messico 1
Totale 3.894
Salva come PNG Salva come JPEG
Città #
Chandler 295
Jacksonville 247
Dublin 219
Dearborn 150
Southend 122
Princeton 97
Ann Arbor 86
Izmir 80
Nanjing 77
Singapore 62
Cambridge 59
Beijing 58
Ashburn 54
Alba 51
Wilmington 49
Francavilla Al Mare 46
Boardman 36
Nanchang 36
Altamura 35
Pescara 33
Woodbridge 33
Kocaeli 30
Ottawa 24
Chieti 23
Kunming 19
Milan 19
Vienna 19
Loreto Aprutino 16
Rome 16
Dong Ket 14
Grevenbroich 13
Brussels 12
Hebei 12
Santa Clara 12
Shenyang 12
Avezzano 11
Changsha 11
Houston 11
Jiaxing 10
Los Angeles 10
Orange 9
Tianjin 8
Vasto 8
Aosta 7
Hangzhou 7
Helsinki 7
Isernia 7
Norwalk 7
Augusta 6
Castelnuovo Berardenga 6
San Mateo 6
Trento 6
Campobasso 5
Padova 5
Auburn Hills 4
Brno 4
Cavenago Di Brianza 4
Hefei 4
Jinan 4
Ningbo 4
Teramo 4
Tokyo 4
Toronto 4
Turin 4
Zhengzhou 4
Andover 3
Changchun 3
Karbala 3
Lanciano 3
Lanzhou 3
Montesilvano Marina 3
Nocera Superiore 3
Olomouc 3
Rocca Di Mezzo 3
San Miniato 3
Seattle 3
Walnut 3
Washington 3
Amsterdam 2
Ancona 2
Canino 2
Chisinau 2
Decatur 2
Dueville 2
Erlangen 2
Mestre 2
Mola Di Bari 2
Parma 2
Porto Alegre 2
San Giuliano Milanese 2
Seelze 2
Shanghai 2
Simi Valley 2
Taizhou 2
Taranto 2
Trier 2
Valenzano 2
Baden 1
Bari 1
Birmingham 1
Totale 2.437
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 153
Sum of Abstract Domains 145
Jandom: JVM based Analyzer for Numerical DOMains 144
Descending chains and narrowing on template abstract domains 137
Primitive abundant and weird numbers with many prime factors 136
Efficiently intertwining widening and narrowing 124
SAI, a Sensible Artificial Intelligence that plays Go 116
Primitive weird numbers having more than three distinct prime factors 108
Optimality in goal-dependent Analysis of Sharing (full version) 105
null 100
SAI: A Sensible Artificial Intelligence that plays Go 99
Optimality in goal-dependent Analysis of Sharing 96
Observational Completeness on Abstract Interpretation 94
Optimality in goal-dependent Analysis of Sharing 89
Discovering invariants via simple component analysis 87
Inferring linear invariants with parallelotopes 87
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 87
A general framework for variable aliasing: Towards optimal operators for sharing properties 86
A tool which mines partial execution traces to improve static analysis 86
A Taxonomy of Program Analyses 83
On the algebraic structure of declarative programming language 82
On the interaction between sharing and linearity 80
On abstract unification for variable aliasing 80
Optimality in goal-dependent analysis of Sharing 80
The abstract domain of parallelotopes 78
Localizing Widening and Narrowing 77
A general framework for variable aliasing: Towards optimal operators for sharing properties 77
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 77
Modeling Web Applications by the Multiple Levels of Integrity Policy 74
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 74
Random: R-based Analyzer for Numerical DOMains 74
Abstract Compilation for Sharing Analysis 73
Deriving numerical abstract domains via Principal Component Analysis 72
Indexed Categories and Bottom-Up Semantics of Logic Programs 72
Correct Answers for First Order Logic 70
Numerical static analysis with Soot 69
Efficient Constraint/Generator Removal from Double Description of Polyhedra 69
Observational Completeness on Abstract Interpretation 69
Optimal multibinding unification for sharing and linearity analysis 67
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 66
Abstract Interpretation Based Semantics of Sequent Calculi 65
Correct Answers for First Order Logic 65
Experimental Evaluation of Numerical Domains for Inferring Ranges 60
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 57
On collecting semantics for program analysis 53
Universal Algebra in UniMath 48
JGMP: Java bindings and wrappers for the GMP library 31
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 16
The role of linearity in sharing analysis 15
Random: R-based Analyzer for Numerical Domains 10
Increasing biases can be more efficient than increasing weights 9
The ScalaFix Equation Solver 5
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 2
Totale 4.078
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.395
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 13.395
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020525 0 39 5 23 71 103 115 58 24 32 52 3
2020/2021535 45 0 47 17 31 69 11 16 141 90 23 45
2021/2022348 20 16 10 40 29 12 6 23 27 32 55 78
2022/2023835 66 96 47 111 63 176 47 79 102 11 20 17
2023/2024391 38 22 33 7 16 98 82 18 3 6 16 52
2024/2025149 51 98 0 0 0 0 0 0 0 0 0 0
Totale 4.078