IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.725
NA - Nord America 1.624
AS - Asia 757
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 3
Totale 4.112
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.591
IT - Italia 612
CN - Cina 294
IE - Irlanda 220
UA - Ucraina 211
SG - Singapore 190
TR - Turchia 167
GB - Regno Unito 165
SE - Svezia 162
FR - Francia 104
DE - Germania 100
IN - India 74
FI - Finlandia 48
RU - Federazione Russa 42
CA - Canada 32
AT - Austria 19
VN - Vietnam 15
BE - Belgio 13
NL - Olanda 10
PK - Pakistan 8
CZ - Repubblica Ceca 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
CH - Svizzera 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 4.112
Salva come PNG Salva come JPEG
Città #
Chandler 295
Jacksonville 247
Dublin 219
Singapore 164
Dearborn 150
Southend 122
Princeton 97
Ann Arbor 86
Izmir 80
Nanjing 77
Beijing 59
Cambridge 59
Ashburn 54
Alba 51
Wilmington 49
Francavilla Al Mare 46
Boardman 36
Nanchang 36
Altamura 35
Pescara 33
Woodbridge 33
Kocaeli 30
Ottawa 24
Santa Clara 24
Chieti 23
Kunming 19
Milan 19
Vienna 19
Loreto Aprutino 16
Rome 16
Dong Ket 14
Brussels 13
Grevenbroich 13
Hebei 12
Shenyang 12
Avezzano 11
Changsha 11
Houston 11
Jiaxing 10
Los Angeles 10
Helsinki 9
Orange 9
Tianjin 8
Vasto 8
Aosta 7
Hangzhou 7
Isernia 7
Norwalk 7
Augusta 6
Castelnuovo Berardenga 6
San Mateo 6
Toronto 6
Trento 6
Campobasso 5
Padova 5
Auburn Hills 4
Brno 4
Cavenago Di Brianza 4
Hefei 4
Jinan 4
Ningbo 4
Perugia 4
Romola 4
Teramo 4
Tokyo 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
Lappeenranta 2
Mestre 2
Mola Di Bari 2
Moscow 2
North Bergen 2
Parma 2
Porto Alegre 2
San Giuliano Milanese 2
Secaucus 2
Seelze 2
Shanghai 2
Simi Valley 2
Taizhou 2
Totale 2.564
Salva come PNG Salva come JPEG
Nome #
Narrowing Operators on Template Abstract Domains 157
Jandom: JVM based Analyzer for Numerical DOMains 150
Sum of Abstract Domains 148
Descending chains and narrowing on template abstract domains 147
Primitive abundant and weird numbers with many prime factors 140
Efficiently intertwining widening and narrowing 134
SAI, a Sensible Artificial Intelligence that plays Go 119
Primitive weird numbers having more than three distinct prime factors 110
Optimality in goal-dependent Analysis of Sharing (full version) 107
SAI: A Sensible Artificial Intelligence that plays Go 102
null 100
Optimality in goal-dependent Analysis of Sharing 98
Observational Completeness on Abstract Interpretation 96
A general framework for variable aliasing: Towards optimal operators for sharing properties 93
Optimality in goal-dependent Analysis of Sharing 92
Discovering invariants via simple component analysis 91
Inferring linear invariants with parallelotopes 90
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 90
A general framework for variable aliasing: Towards optimal operators for sharing properties 89
A Taxonomy of Program Analyses 89
A tool which mines partial execution traces to improve static analysis 88
On the algebraic structure of declarative programming language 84
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
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 79
Abstract Compilation for Sharing Analysis 76
Modeling Web Applications by the Multiple Levels of Integrity Policy 76
Random: R-based Analyzer for Numerical DOMains 76
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 75
Efficient Constraint/Generator Removal from Double Description of Polyhedra 75
Correct Answers for First Order Logic 74
Deriving numerical abstract domains via Principal Component Analysis 74
Indexed Categories and Bottom-Up Semantics of Logic Programs 74
Numerical static analysis with Soot 70
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 70
Observational Completeness on Abstract Interpretation 70
Abstract Interpretation Based Semantics of Sequent Calculi 68
Correct Answers for First Order Logic 68
Optimal multibinding unification for sharing and linearity analysis 68
Experimental Evaluation of Numerical Domains for Inferring Ranges 65
On collecting semantics for program analysis 62
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 59
Universal Algebra in UniMath 50
JGMP: Java bindings and wrappers for the GMP library 40
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 30
The role of linearity in sharing analysis 20
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. 16
Increasing biases can be more efficient than increasing weights 15
Random: R-based Analyzer for Numerical Domains 14
Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO. 6
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 5
The ScalaFix Equation Solver 5
AI for Sustainability: Research at Ud’A Node 4
Optimal Matching for Sharing and Linearity Analysis 1
Totale 4.303
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.757
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 15.757
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020387 0 0 0 0 0 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/2025374 51 155 105 19 14 30 0 0 0 0 0 0
Totale 4.303