IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.533
EU - Europa 2.135
AS - Asia 1.883
SA - Sud America 211
AF - Africa 38
Continente sconosciuto - Info sul continente non disponibili 4
Totale 6.804
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.458
IT - Italia 762
SG - Singapore 716
CN - Cina 564
IE - Irlanda 220
UA - Ucraina 217
GB - Regno Unito 193
TR - Turchia 179
RU - Federazione Russa 172
BR - Brasile 169
SE - Svezia 169
VN - Vietnam 144
DE - Germania 116
FR - Francia 116
IN - India 94
CA - Canada 55
FI - Finlandia 53
KR - Corea 52
HK - Hong Kong 30
AT - Austria 24
NL - Olanda 24
BD - Bangladesh 20
PL - Polonia 19
AR - Argentina 17
BE - Belgio 15
IQ - Iraq 15
MX - Messico 14
ZA - Sudafrica 14
JP - Giappone 13
PK - Pakistan 13
EC - Ecuador 8
ID - Indonesia 8
CZ - Repubblica Ceca 7
DZ - Algeria 7
AE - Emirati Arabi Uniti 6
ES - Italia 6
CL - Cile 5
EG - Egitto 5
IL - Israele 5
EE - Estonia 4
KZ - Kazakistan 4
UZ - Uzbekistan 4
VE - Venezuela 4
CO - Colombia 3
DO - Repubblica Dominicana 3
JO - Giordania 3
KE - Kenya 3
LT - Lituania 3
MA - Marocco 3
RO - Romania 3
CR - Costa Rica 2
ET - Etiopia 2
EU - Europa 2
GE - Georgia 2
MD - Moldavia 2
PH - Filippine 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
BG - Bulgaria 1
BH - Bahrain 1
BY - Bielorussia 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
LU - Lussemburgo 1
MY - Malesia 1
NG - Nigeria 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PT - Portogallo 1
QA - Qatar 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.804
Salva come PNG Salva come JPEG
Città #
Singapore 528
Chandler 295
Jacksonville 247
San Jose 242
Dublin 219
Ashburn 156
Dearborn 150
Beijing 138
Southend 122
Dallas 117
Princeton 97
Ann Arbor 86
Izmir 81
Nanjing 77
The Dalles 62
Cambridge 60
Hefei 59
Pescara 55
Seoul 52
Alba 51
Wilmington 49
Francavilla Al Mare 46
Los Angeles 44
Hanoi 42
Ho Chi Minh City 39
Santa Clara 38
Boardman 36
Nanchang 36
Altamura 35
Woodbridge 33
Chieti 32
Kocaeli 30
Hong Kong 29
New York 28
Tongling 28
Milan 26
Rome 26
Buffalo 25
Ottawa 24
Redondo Beach 20
São Paulo 20
Kunming 19
Vienna 19
Warsaw 19
Loreto Aprutino 16
Moscow 16
Brussels 14
Dong Ket 14
Florence 14
Houston 14
Grevenbroich 13
Helsinki 13
Tokyo 13
Denver 12
Hebei 12
Montreal 12
Shenyang 12
Avezzano 11
Changsha 11
Brooklyn 10
Jiaxing 10
Perugia 10
Toronto 10
Amsterdam 9
Johannesburg 9
Mexico City 9
Orange 9
Orem 9
Phoenix 9
Ankara 8
Chicago 8
Hangzhou 8
Poplar 8
Tianjin 8
Vasto 8
Aosta 7
Augusta 7
Chennai 7
Isernia 7
Montesilvano Marina 7
Norwalk 7
Pisa 7
San Francisco 7
Atlanta 6
Cambiago 6
Castelnuovo Berardenga 6
Frankfurt am Main 6
Manchester 6
San Mateo 6
Stockholm 6
Trento 6
Brasília 5
Campobasso 5
Curitiba 5
Iesi 5
Padova 5
St Louis 5
Turin 5
West Jordan 5
Auburn Hills 4
Totale 4.124
Salva come PNG Salva come JPEG
Nome #
Jandom: JVM based Analyzer for Numerical DOMains 203
Sum of Abstract Domains 199
Descending chains and narrowing on template abstract domains 199
Efficiently intertwining widening and narrowing 185
Primitive abundant and weird numbers with many prime factors 184
null 171
SAI, a Sensible Artificial Intelligence that plays Go 158
Discovering invariants via simple component analysis 152
A general framework for variable aliasing: Towards optimal operators for sharing properties 151
A tool which mines partial execution traces to improve static analysis 150
A Taxonomy of Program Analyses 150
Optimality in goal-dependent Analysis of Sharing 149
Optimality in goal-dependent Analysis of Sharing (full version) 144
A general framework for variable aliasing: Towards optimal operators for sharing properties 144
AI for Sustainability: Research at Ud’A Node 143
Inferring linear invariants with parallelotopes 140
Primitive weird numbers having more than three distinct prime factors 137
Correct Answers for First Order Logic 133
Optimality in goal-dependent Analysis of Sharing 131
Abstract Compilation for Sharing Analysis 130
Deriving numerical abstract domains via Principal Component Analysis 125
Observational Completeness on Abstract Interpretation 125
Correct Answers for First Order Logic 123
Efficient Constraint/Generator Removal from Double Description of Polyhedra 122
On the interaction between sharing and linearity 121
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 121
The abstract domain of parallelotopes 117
Modeling Web Applications by the Multiple Levels of Integrity Policy 116
null 116
On abstract unification for variable aliasing 115
On the algebraic structure of declarative programming language 112
Numerical static analysis with Soot 112
Experimental Evaluation of Numerical Domains for Inferring Ranges 112
Abstract Interpretation Based Semantics of Sequent Calculi 111
Optimality in goal-dependent analysis of Sharing 111
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 109
Localizing Widening and Narrowing 105
null 104
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 102
Observational Completeness on Abstract Interpretation 101
null 100
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 98
Random: R-based Analyzer for Numerical DOMains 97
Indexed Categories and Bottom-Up Semantics of Logic Programs 97
On collecting semantics for program analysis 97
Optimal multibinding unification for sharing and linearity analysis 92
JGMP: Java bindings and wrappers for the GMP library 89
Introducing Displayed Universal Algebra in UniMath 85
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. 84
Universal Algebra in UniMath 82
Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO. 76
null 66
Random: R-based Analyzer for Numerical Domains 64
Universal algebra in UniMath 49
Increasing biases can be more efficient than increasing weights 44
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 39
The role of linearity in sharing analysis 36
null 31
Enabling research collaboration with AI: the BI4E experience with large language models 31
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 29
Displayed Universal Algebra in UniMath: Basic Definitions and Results 29
Optimal Matching for Sharing and Linearity Analysis 26
The ScalaFix Equation Solver 24
Increasing biases can be more efficient than increasing weights 23
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 22
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 21
Improving Performance in Neural Networks by Dendrite-Activated Connection 21
Narrowing Operators on Template Abstract Domains 17
CONNECT: find your dream team 16
SAI: A Sensible Artificial Intelligence that plays Go 10
Totale 7.028
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.814
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 24.814
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021158 0 0 0 0 0 0 0 0 0 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/2025892 51 155 105 19 14 33 74 43 75 55 141 127
2025/20262.207 209 156 235 311 228 124 335 159 279 171 0 0
Totale 7.028