IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.053
EU - Europa 2.169
AS - Asia 1.939
SA - Sud America 213
AF - Africa 38
Continente sconosciuto - Info sul continente non disponibili 4
Totale 7.416
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.967
IT - Italia 789
SG - Singapore 727
CN - Cina 577
IE - Irlanda 220
UA - Ucraina 218
GB - Regno Unito 193
TR - Turchia 180
RU - Federazione Russa 172
BR - Brasile 171
SE - Svezia 169
VN - Vietnam 144
DE - Germania 116
FR - Francia 116
IN - India 94
CA - Canada 61
FI - Finlandia 53
KR - Corea 52
BD - Bangladesh 49
HK - Hong Kong 32
NL - Olanda 27
AT - Austria 24
PL - Polonia 19
AR - Argentina 17
MX - Messico 16
BE - Belgio 15
IQ - Iraq 15
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
DO - Repubblica Dominicana 4
EE - Estonia 4
KZ - Kazakistan 4
RO - Romania 4
UZ - Uzbekistan 4
VE - Venezuela 4
CO - Colombia 3
JO - Giordania 3
KE - Kenya 3
LT - Lituania 3
MA - Marocco 3
CR - Costa Rica 2
ET - Etiopia 2
EU - Europa 2
GE - Georgia 2
JM - Giamaica 2
MD - Moldavia 2
PH - Filippine 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
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
QA - Qatar 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.416
Salva come PNG Salva come JPEG
Città #
Singapore 529
San Jose 518
Chandler 295
Jacksonville 247
Dublin 219
Ashburn 162
Dearborn 150
Beijing 140
Southend 122
Dallas 121
Princeton 97
Ann Arbor 86
Izmir 81
Nanjing 77
Pescara 64
Cambridge 62
The Dalles 62
Hefei 59
Seoul 52
Alba 51
Los Angeles 49
Wilmington 49
Francavilla Al Mare 46
Council Bluffs 45
Santa Clara 44
Hanoi 42
Ho Chi Minh City 39
Boardman 36
Nanchang 36
Altamura 35
Chieti 34
New York 33
Woodbridge 33
Hong Kong 31
Kocaeli 30
Buffalo 28
Milan 28
Tongling 28
Rome 27
Ottawa 24
São Paulo 21
Redondo Beach 20
St Louis 20
Kunming 19
Vienna 19
Warsaw 19
Loreto Aprutino 16
Moscow 16
Florence 15
Brussels 14
Dong Ket 14
Houston 14
Denver 13
Grevenbroich 13
Helsinki 13
Tokyo 13
Hebei 12
Montreal 12
Shenyang 12
Toronto 12
Avezzano 11
Changsha 11
Mexico City 11
Orem 11
Atlanta 10
Brooklyn 10
Jiaxing 10
Perugia 10
Phoenix 10
Amsterdam 9
Chicago 9
Johannesburg 9
Orange 9
Ankara 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
Bologna 6
Cambiago 6
Castelnuovo Berardenga 6
Frankfurt am Main 6
Manchester 6
Philadelphia 6
San Mateo 6
Stockholm 6
Trento 6
Brasília 5
Campobasso 5
Curitiba 5
Iesi 5
Padova 5
Totale 4.523
Salva come PNG Salva come JPEG
Nome #
Jandom: JVM based Analyzer for Numerical DOMains 213
Sum of Abstract Domains 211
Descending chains and narrowing on template abstract domains 200
Efficiently intertwining widening and narrowing 188
Primitive abundant and weird numbers with many prime factors 185
null 171
A Taxonomy of Program Analyses 166
A tool which mines partial execution traces to improve static analysis 163
SAI, a Sensible Artificial Intelligence that plays Go 160
AI for Sustainability: Research at Ud’A Node 158
A general framework for variable aliasing: Towards optimal operators for sharing properties 156
Optimality in goal-dependent Analysis of Sharing 153
A general framework for variable aliasing: Towards optimal operators for sharing properties 153
Discovering invariants via simple component analysis 152
Optimality in goal-dependent Analysis of Sharing (full version) 146
Inferring linear invariants with parallelotopes 146
Abstract Compilation for Sharing Analysis 141
Deriving numerical abstract domains via Principal Component Analysis 138
Primitive weird numbers having more than three distinct prime factors 138
Correct Answers for First Order Logic 136
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 135
On the interaction between sharing and linearity 132
Enabling research collaboration with AI: the BI4E experience with large language models 131
Optimality in goal-dependent Analysis of Sharing 131
Efficient Constraint/Generator Removal from Double Description of Polyhedra 127
Observational Completeness on Abstract Interpretation 126
Correct Answers for First Order Logic 125
Optimality in goal-dependent analysis of Sharing 123
Abstract Interpretation Based Semantics of Sequent Calculi 122
Localizing Widening and Narrowing 119
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 118
The abstract domain of parallelotopes 118
Modeling Web Applications by the Multiple Levels of Integrity Policy 117
On abstract unification for variable aliasing 117
On the algebraic structure of declarative programming language 116
null 116
Numerical static analysis with Soot 115
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 113
Experimental Evaluation of Numerical Domains for Inferring Ranges 113
Observational Completeness on Abstract Interpretation 112
Random: R-based Analyzer for Numerical DOMains 109
Indexed Categories and Bottom-Up Semantics of Logic Programs 107
Optimal multibinding unification for sharing and linearity analysis 105
null 104
JGMP: Java bindings and wrappers for the GMP library 103
Introducing Displayed Universal Algebra in UniMath 103
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 103
null 100
On collecting semantics for program analysis 98
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. 94
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 84
Universal algebra in UniMath 75
Random: R-based Analyzer for Numerical Domains 69
null 66
Increasing biases can be more efficient than increasing weights 59
Displayed Universal Algebra in UniMath: Basic Definitions and Results 48
The role of linearity in sharing analysis 46
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 44
The ScalaFix Equation Solver 43
Optimal Matching for Sharing and Linearity Analysis 39
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 38
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 34
null 31
Narrowing Operators on Template Abstract Domains 30
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 28
CONNECT: find your dream team 27
Increasing biases can be more efficient than increasing weights 25
Improving Performance in Neural Networks by Dendrite-Activated Connection 23
SAI: A Sensible Artificial Intelligence that plays Go 18
Bipolar Argumentation for Supporting Decisions in Software Design 5
Totale 7.642
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.792
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 27.792
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.780 209 156 235 311 228 124 335 159 279 241 262 241
2026/202741 41 0 0 0 0 0 0 0 0 0 0 0
Totale 7.642