IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.795
NA - Nord America 1.687
AS - Asia 839
SA - Sud America 70
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
Totale 4.399
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.652
IT - Italia 659
CN - Cina 294
SG - Singapore 254
IE - Irlanda 220
UA - Ucraina 211
TR - Turchia 168
GB - Regno Unito 165
SE - Svezia 162
DE - Germania 105
FR - Francia 104
IN - India 74
BR - Brasile 63
FI - Finlandia 50
RU - Federazione Russa 48
CA - Canada 32
AT - Austria 22
VN - Vietnam 15
BE - Belgio 13
NL - Olanda 13
HK - Hong Kong 8
PK - Pakistan 8
CZ - Repubblica Ceca 7
IQ - Iraq 6
EE - Estonia 4
JP - Giappone 4
AE - Emirati Arabi Uniti 2
BD - Bangladesh 2
CL - Cile 2
DZ - Algeria 2
EC - Ecuador 2
EU - Europa 2
MD - Moldavia 2
MX - Messico 2
RO - Romania 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AR - Argentina 1
BG - Bulgaria 1
CH - Svizzera 1
CO - Colombia 1
CR - Costa Rica 1
CY - Cipro 1
ES - Italia 1
GR - Grecia 1
HR - Croazia 1
IM - Isola di Man 1
KZ - Kazakistan 1
LU - Lussemburgo 1
QA - Qatar 1
SN - Senegal 1
SY - Repubblica araba siriana 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZA - Sudafrica 1
Totale 4.399
Salva come PNG Salva come JPEG
Città #
Chandler 295
Jacksonville 247
Dublin 219
Singapore 176
Dearborn 150
Southend 122
Princeton 97
Ann Arbor 86
Izmir 80
Nanjing 77
Beijing 59
Cambridge 59
The Dalles 56
Ashburn 54
Alba 51
Pescara 49
Wilmington 49
Francavilla Al Mare 46
Boardman 36
Nanchang 36
Altamura 35
Woodbridge 33
Kocaeli 30
Chieti 25
Ottawa 24
Santa Clara 24
Milan 22
Kunming 19
Vienna 19
Rome 17
Loreto Aprutino 16
Dong Ket 14
Brussels 13
Grevenbroich 13
Hebei 12
Shenyang 12
Avezzano 11
Changsha 11
Houston 11
Helsinki 10
Jiaxing 10
Los Angeles 10
Orange 9
Hong Kong 8
Perugia 8
Tianjin 8
Vasto 8
Aosta 7
Hangzhou 7
Isernia 7
Norwalk 7
Augusta 6
Castelnuovo Berardenga 6
San Mateo 6
São Paulo 6
Toronto 6
Trento 6
Campobasso 5
Iesi 5
Padova 5
Auburn Hills 4
Brno 4
Cavenago Di Brianza 4
Hefei 4
Jinan 4
Lanciano 4
Ningbo 4
Porto Alegre 4
Romola 4
Teramo 4
Tokyo 4
Turin 4
West Jordan 4
Zhengzhou 4
Andover 3
Brasília 3
Changchun 3
Karbala 3
Lanzhou 3
Lappeenranta 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
Ardea 2
Bauru 2
Belo Horizonte 2
Bologna 2
Canino 2
Chisinau 2
Decatur 2
Dueville 2
Erlangen 2
Frankfurt am Main 2
Totale 2.677
Salva come PNG Salva come JPEG
Nome #
Jandom: JVM based Analyzer for Numerical DOMains 159
Narrowing Operators on Template Abstract Domains 158
Descending chains and narrowing on template abstract domains 157
Sum of Abstract Domains 151
Primitive abundant and weird numbers with many prime factors 148
Efficiently intertwining widening and narrowing 136
SAI, a Sensible Artificial Intelligence that plays Go 127
Optimality in goal-dependent Analysis of Sharing (full version) 114
Primitive weird numbers having more than three distinct prime factors 113
SAI: A Sensible Artificial Intelligence that plays Go 104
Optimality in goal-dependent Analysis of Sharing 100
null 100
Inferring linear invariants with parallelotopes 100
A general framework for variable aliasing: Towards optimal operators for sharing properties 99
Discovering invariants via simple component analysis 99
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 99
A general framework for variable aliasing: Towards optimal operators for sharing properties 98
Observational Completeness on Abstract Interpretation 97
Optimality in goal-dependent Analysis of Sharing 96
A tool which mines partial execution traces to improve static analysis 94
A Taxonomy of Program Analyses 93
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 87
On the algebraic structure of declarative programming language 86
On abstract unification for variable aliasing 86
Optimality in goal-dependent analysis of Sharing 85
On the interaction between sharing and linearity 84
Abstract Compilation for Sharing Analysis 82
Modeling Web Applications by the Multiple Levels of Integrity Policy 82
Correct Answers for First Order Logic 82
The abstract domain of parallelotopes 82
Deriving numerical abstract domains via Principal Component Analysis 81
Localizing Widening and Narrowing 81
Efficient Constraint/Generator Removal from Double Description of Polyhedra 79
Random: R-based Analyzer for Numerical DOMains 78
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 76
Indexed Categories and Bottom-Up Semantics of Logic Programs 76
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 74
Abstract Interpretation Based Semantics of Sequent Calculi 73
Correct Answers for First Order Logic 73
Numerical static analysis with Soot 73
Observational Completeness on Abstract Interpretation 73
On collecting semantics for program analysis 71
Optimal multibinding unification for sharing and linearity analysis 69
Experimental Evaluation of Numerical Domains for Inferring Ranges 67
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 61
Universal Algebra in UniMath 56
JGMP: Java bindings and wrappers for the GMP library 46
Increasing biases can be more efficient than increasing weights 36
null 31
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. 25
The role of linearity in sharing analysis 24
Random: R-based Analyzer for Numerical Domains 22
AI for Sustainability: Research at Ud’A Node 14
Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO. 14
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 10
The ScalaFix Equation Solver 9
Universal algebra in UniMath 8
Optimal Matching for Sharing and Linearity Analysis 6
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 1
Totale 4.605
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.211
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 18.211
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202055 0 0 0 0 0 0 0 0 0 0 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/2025676 51 155 105 19 14 33 74 43 75 55 52 0
Totale 4.605