IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.172
EU - Europa 1.934
AS - Asia 1.452
SA - Sud America 188
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 4
Totale 5.774
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.103
IT - Italia 716
CN - Cina 504
SG - Singapore 493
IE - Irlanda 220
UA - Ucraina 213
GB - Regno Unito 188
TR - Turchia 177
SE - Svezia 169
BR - Brasile 155
DE - Germania 112
FR - Francia 109
IN - India 88
VN - Vietnam 55
CA - Canada 52
FI - Finlandia 52
KR - Corea 52
RU - Federazione Russa 51
AT - Austria 23
HK - Hong Kong 21
NL - Olanda 19
PL - Polonia 18
BD - Bangladesh 16
AR - Argentina 13
BE - Belgio 13
MX - Messico 13
ZA - Sudafrica 11
IQ - Iraq 10
JP - Giappone 10
EC - Ecuador 8
PK - Pakistan 8
CZ - Repubblica Ceca 7
DZ - Algeria 6
ES - Italia 6
AE - Emirati Arabi Uniti 4
EE - Estonia 4
ID - Indonesia 4
CL - Cile 3
CO - Colombia 3
LT - Lituania 3
VE - Venezuela 3
DO - Repubblica Dominicana 2
EG - Egitto 2
EU - Europa 2
KZ - Kazakistan 2
MA - Marocco 2
MD - Moldavia 2
RO - Romania 2
SY - Repubblica araba siriana 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
BG - Bulgaria 1
CH - Svizzera 1
CR - Costa Rica 1
CY - Cipro 1
ET - Etiopia 1
GR - Grecia 1
HR - Croazia 1
IL - Israele 1
IM - Isola di Man 1
JO - Giordania 1
KE - Kenya 1
LU - Lussemburgo 1
PR - Porto Rico 1
PY - Paraguay 1
QA - Qatar 1
SN - Senegal 1
SR - Suriname 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 5.774
Salva come PNG Salva come JPEG
Città #
Singapore 359
Chandler 295
Jacksonville 247
Dublin 219
Dearborn 150
Beijing 132
Southend 122
Dallas 117
Ashburn 113
Princeton 97
Ann Arbor 86
Izmir 81
Nanjing 77
The Dalles 62
Cambridge 60
Hefei 59
Seoul 52
Alba 51
Pescara 51
Wilmington 49
Francavilla Al Mare 46
Los Angeles 40
Boardman 36
Nanchang 36
Altamura 35
Santa Clara 33
Woodbridge 33
Kocaeli 30
Chieti 28
Tongling 28
Milan 26
Buffalo 25
New York 25
Ottawa 24
Hong Kong 21
Redondo Beach 20
Kunming 19
Rome 19
Vienna 19
Warsaw 18
Loreto Aprutino 16
Ho Chi Minh City 15
São Paulo 15
Dong Ket 14
Houston 14
Brussels 13
Grevenbroich 13
Hebei 12
Helsinki 12
Shenyang 12
Avezzano 11
Changsha 11
Montreal 11
Denver 10
Florence 10
Jiaxing 10
Tokyo 10
Toronto 10
Brooklyn 9
Hanoi 9
Mexico City 9
Orange 9
Phoenix 9
Ankara 8
Chicago 8
Johannesburg 8
Perugia 8
Poplar 8
Tianjin 8
Vasto 8
Aosta 7
Augusta 7
Chennai 7
Hangzhou 7
Isernia 7
Norwalk 7
San Francisco 7
Amsterdam 6
Cambiago 6
Castelnuovo Berardenga 6
Montesilvano Marina 6
San Mateo 6
Stockholm 6
Trento 6
Atlanta 5
Brasília 5
Campobasso 5
Curitiba 5
Frankfurt am Main 5
Iesi 5
Manchester 5
Padova 5
Turin 5
West Jordan 5
Auburn Hills 4
Brno 4
Cavenago Di Brianza 4
Giussano 4
Jinan 4
Lanciano 4
Totale 3.525
Salva come PNG Salva come JPEG
Nome #
Jandom: JVM based Analyzer for Numerical DOMains 188
Descending chains and narrowing on template abstract domains 180
Sum of Abstract Domains 176
null 171
Efficiently intertwining widening and narrowing 165
Primitive abundant and weird numbers with many prime factors 164
SAI, a Sensible Artificial Intelligence that plays Go 141
Discovering invariants via simple component analysis 136
A general framework for variable aliasing: Towards optimal operators for sharing properties 135
Optimality in goal-dependent Analysis of Sharing (full version) 130
Inferring linear invariants with parallelotopes 124
A Taxonomy of Program Analyses 124
Primitive weird numbers having more than three distinct prime factors 123
A general framework for variable aliasing: Towards optimal operators for sharing properties 122
Optimality in goal-dependent Analysis of Sharing 120
Optimality in goal-dependent Analysis of Sharing 120
Observational Completeness on Abstract Interpretation 117
null 116
A tool which mines partial execution traces to improve static analysis 115
Abstract Compilation for Sharing Analysis 114
Correct Answers for First Order Logic 113
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 112
The abstract domain of parallelotopes 109
On the interaction between sharing and linearity 107
Correct Answers for First Order Logic 106
Deriving numerical abstract domains via Principal Component Analysis 106
Modeling Web Applications by the Multiple Levels of Integrity Policy 105
AI for Sustainability: Research at Ud’A Node 104
On abstract unification for variable aliasing 104
Efficient Constraint/Generator Removal from Double Description of Polyhedra 104
Optimality in goal-dependent analysis of Sharing 104
null 104
On the algebraic structure of declarative programming language 102
null 100
Experimental Evaluation of Numerical Domains for Inferring Ranges 99
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 98
Abstract Interpretation Based Semantics of Sequent Calculi 97
Numerical static analysis with Soot 94
Localizing Widening and Narrowing 93
Observational Completeness on Abstract Interpretation 90
Random: R-based Analyzer for Numerical DOMains 89
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 88
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 88
Indexed Categories and Bottom-Up Semantics of Logic Programs 88
On collecting semantics for program analysis 85
Optimal multibinding unification for sharing and linearity analysis 83
JGMP: Java bindings and wrappers for the GMP library 70
Universal Algebra in UniMath 70
null 66
Introducing Displayed Universal Algebra in UniMath 60
Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO. 54
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. 49
Random: R-based Analyzer for Numerical Domains 45
Universal algebra in UniMath 36
null 31
The role of linearity in sharing analysis 29
Increasing biases can be more efficient than increasing weights 26
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 23
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 18
Optimal Matching for Sharing and Linearity Analysis 17
The ScalaFix Equation Solver 17
Narrowing Operators on Template Abstract Domains 8
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 6
Displayed Universal Algebra in UniMath: Basic Definitions and Results 6
Improving Performance in Neural Networks by Dendrite-Activated Connection 4
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 3
Increasing biases can be more efficient than increasing weights 2
SAI: A Sensible Artificial Intelligence that plays Go 1
Totale 5.994
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.697
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 22.697
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021395 0 0 0 0 0 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/2025892 51 155 105 19 14 33 74 43 75 55 141 127
2025/20261.173 209 156 235 311 228 34 0 0 0 0 0 0
Totale 5.994