IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.633
EU - Europa 2.287
AS - Asia 1.964
Continente sconosciuto - Info sul continente non disponibili 236
SA - Sud America 226
AF - Africa 41
Totale 8.387
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.497
IT - Italia 889
SG - Singapore 732
CN - Cina 582
IE - Irlanda 220
UA - Ucraina 218
GB - Regno Unito 199
BR - Brasile 181
TR - Turchia 180
RU - Federazione Russa 179
SE - Svezia 169
VN - Vietnam 144
DE - Germania 116
FR - Francia 116
IN - India 95
CA - Canada 80
FI - Finlandia 53
BD - Bangladesh 52
KR - Corea 52
HK - Hong Kong 36
NL - Olanda 27
AT - Austria 24
PL - Polonia 19
MX - Messico 18
AR - Argentina 17
BE - Belgio 15
IQ - Iraq 15
JP - Giappone 14
ZA - Sudafrica 14
PK - Pakistan 13
EC - Ecuador 8
ID - Indonesia 8
IL - Israele 8
CZ - Repubblica Ceca 7
DZ - Algeria 7
ES - Italia 7
AE - Emirati Arabi Uniti 6
CO - Colombia 6
CR - Costa Rica 6
LT - Lituania 6
CL - Cile 5
CW - ???statistics.table.value.countryCode.CW??? 5
EG - Egitto 5
PR - Porto Rico 5
DO - Repubblica Dominicana 4
EE - Estonia 4
JM - Giamaica 4
KZ - Kazakistan 4
NI - Nicaragua 4
RO - Romania 4
TT - Trinidad e Tobago 4
UZ - Uzbekistan 4
VE - Venezuela 4
GT - Guatemala 3
HN - Honduras 3
JO - Giordania 3
KE - Kenya 3
MA - Marocco 3
PH - Filippine 3
SC - Seychelles 3
ET - Etiopia 2
EU - Europa 2
GE - Georgia 2
GP - Guadalupe 2
MD - Moldavia 2
PS - Palestinian Territory 2
PT - Portogallo 2
PY - Paraguay 2
SN - Senegal 2
SY - Repubblica araba siriana 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
BS - Bahamas 1
BY - Bielorussia 1
BZ - Belize 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CY - Cipro 1
GR - Grecia 1
HR - Croazia 1
IM - Isola di Man 1
KW - Kuwait 1
KY - Cayman, isole 1
LU - Lussemburgo 1
MY - Malesia 1
NG - Nigeria 1
NP - Nepal 1
QA - Qatar 1
RS - Serbia 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
SX - ???statistics.table.value.countryCode.SX??? 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 8.161
Salva come PNG Salva come JPEG
Città #
San Jose 556
Singapore 532
Chandler 295
Jacksonville 247
Dublin 219
Ashburn 175
Council Bluffs 150
Dearborn 150
Beijing 143
Dallas 127
Southend 122
Princeton 97
Ann Arbor 86
Izmir 81
Nanjing 77
Pescara 69
Cambridge 62
The Dalles 62
Hefei 59
Buffalo 55
Los Angeles 54
Santa Clara 52
Seoul 52
Alba 51
Wilmington 50
Francavilla Al Mare 46
Hanoi 42
Ho Chi Minh City 39
New York 38
Milan 37
Boardman 36
Nanchang 36
Rome 36
Altamura 35
Chieti 35
Hong Kong 35
Staranzano 34
Woodbridge 33
Kocaeli 30
Tongling 28
Ottawa 24
São Paulo 22
Redondo Beach 20
St Louis 20
Kunming 19
Vienna 19
Warsaw 19
Columbus 18
Florence 17
Brooklyn 16
Loreto Aprutino 16
Moscow 16
North Bergen 15
Toronto 15
Brussels 14
Denver 14
Dong Ket 14
Houston 14
Montreal 14
Tokyo 14
Chicago 13
Grevenbroich 13
Helsinki 13
Phoenix 13
Atlanta 12
Hebei 12
Shenyang 12
Avezzano 11
Changsha 11
Mexico City 11
Orem 11
Perugia 11
Jiaxing 10
Philadelphia 10
Amsterdam 9
Johannesburg 9
Orange 9
Ankara 8
Hangzhou 8
Las Vegas 8
Norwalk 8
Pisa 8
Poplar 8
San Francisco 8
Tianjin 8
Vasto 8
Aosta 7
Augusta 7
Bologna 7
Chennai 7
Isernia 7
Miami 7
Montesilvano Marina 7
Washington 7
Brasília 6
Cambiago 6
Castelnuovo Berardenga 6
Frankfurt am Main 6
Manchester 6
Naples 6
Totale 4.857
Salva come PNG Salva come JPEG
Nome #
Sum of Abstract Domains 227
Jandom: JVM based Analyzer for Numerical DOMains 222
Descending chains and narrowing on template abstract domains 215
Efficiently intertwining widening and narrowing 207
Primitive abundant and weird numbers with many prime factors 196
AI for Sustainability: Research at Ud’A Node 187
A Taxonomy of Program Analyses 183
A tool which mines partial execution traces to improve static analysis 178
null 171
SAI, a Sensible Artificial Intelligence that plays Go 168
A general framework for variable aliasing: Towards optimal operators for sharing properties 166
Optimality in goal-dependent Analysis of Sharing 163
Discovering invariants via simple component analysis 163
A general framework for variable aliasing: Towards optimal operators for sharing properties 162
Inferring linear invariants with parallelotopes 159
Optimality in goal-dependent Analysis of Sharing (full version) 155
Abstract Compilation for Sharing Analysis 153
Enabling research collaboration with AI: the BI4E experience with large language models 152
On the interaction between sharing and linearity 152
Deriving numerical abstract domains via Principal Component Analysis 150
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 147
Primitive weird numbers having more than three distinct prime factors 147
Optimality in goal-dependent Analysis of Sharing 143
Correct Answers for First Order Logic 142
Localizing Widening and Narrowing 140
Observational Completeness on Abstract Interpretation 138
Efficient Constraint/Generator Removal from Double Description of Polyhedra 136
Optimality in goal-dependent analysis of Sharing 134
Abstract Interpretation Based Semantics of Sequent Calculi 133
Correct Answers for First Order Logic 133
Modeling Web Applications by the Multiple Levels of Integrity Policy 132
On abstract unification for variable aliasing 131
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 128
The abstract domain of parallelotopes 124
Numerical static analysis with Soot 124
Observational Completeness on Abstract Interpretation 124
On the algebraic structure of declarative programming language 121
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 120
JGMP: Java bindings and wrappers for the GMP library 118
Random: R-based Analyzer for Numerical DOMains 118
Experimental Evaluation of Numerical Domains for Inferring Ranges 117
null 116
Indexed Categories and Bottom-Up Semantics of Logic Programs 115
Optimal multibinding unification for sharing and linearity analysis 113
Introducing Displayed Universal Algebra in UniMath 111
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. 110
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 110
On collecting semantics for program analysis 106
null 104
null 100
Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO. 99
Universal Algebra in UniMath 92
Universal algebra in UniMath 80
Random: R-based Analyzer for Numerical Domains 79
Increasing biases can be more efficient than increasing weights 78
null 66
Displayed Universal Algebra in UniMath: Basic Definitions and Results 61
The role of linearity in sharing analysis 56
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 56
The ScalaFix Equation Solver 51
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 45
Optimal Matching for Sharing and Linearity Analysis 44
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 42
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 42
CONNECT: find your dream team 41
SAI: A Sensible Artificial Intelligence that plays Go 39
Narrowing Operators on Template Abstract Domains 38
Improving Performance in Neural Networks by Dendrite-Activated Connection 35
null 31
Increasing biases can be more efficient than increasing weights 28
Bipolar Argumentation for Supporting Decisions in Software Design 20
Totale 8.387
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.141
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 31.141
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022262 0 0 0 0 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/2025892 51 155 105 19 14 33 74 43 75 55 141 127
2025/20262.780 209 156 235 311 228 124 335 159 279 241 262 241
2026/2027786 63 136 171 286 130 0 0 0 0 0 0 0
Totale 8.387