IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.842
NA - Nord America 1.800
AS - Asia 1.097
SA - Sud America 115
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 4
Totale 4.868
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.757
IT - Italia 673
CN - Cina 440
SG - Singapore 333
IE - Irlanda 220
UA - Ucraina 212
TR - Turchia 174
GB - Regno Unito 172
SE - Svezia 164
DE - Germania 110
FR - Francia 107
BR - Brasile 104
IN - India 79
FI - Finlandia 52
RU - Federazione Russa 49
CA - Canada 38
AT - Austria 23
VN - Vietnam 20
HK - Hong Kong 14
NL - Olanda 14
BE - Belgio 13
IQ - Iraq 9
PK - Pakistan 8
BD - Bangladesh 7
CZ - Repubblica Ceca 7
PL - Polonia 5
DZ - Algeria 4
EE - Estonia 4
ES - Italia 4
JP - Giappone 4
AE - Emirati Arabi Uniti 3
EC - Ecuador 3
VE - Venezuela 3
AR - Argentina 2
CL - Cile 2
EG - Egitto 2
EU - Europa 2
LT - Lituania 2
MD - Moldavia 2
MX - Messico 2
RO - Romania 2
ZA - Sudafrica 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
BG - Bulgaria 1
CH - Svizzera 1
CO - Colombia 1
CR - Costa Rica 1
CY - Cipro 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GR - Grecia 1
HR - Croazia 1
IM - Isola di Man 1
JO - Giordania 1
KZ - Kazakistan 1
LU - Lussemburgo 1
PR - Porto Rico 1
QA - Qatar 1
SN - Senegal 1
SY - Repubblica araba siriana 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.868
Salva come PNG Salva come JPEG
Città #
Chandler 295
Jacksonville 247
Singapore 245
Dublin 219
Dearborn 150
Southend 122
Beijing 101
Princeton 97
Ann Arbor 86
Izmir 81
Nanjing 77
Ashburn 66
The Dalles 62
Cambridge 60
Hefei 59
Alba 51
Pescara 49
Wilmington 49
Francavilla Al Mare 46
Boardman 36
Nanchang 36
Altamura 35
Woodbridge 33
Kocaeli 30
Santa Clara 29
Tongling 28
Chieti 25
Ottawa 24
Milan 23
Kunming 19
Vienna 19
Los Angeles 18
Rome 17
Loreto Aprutino 16
Dong Ket 14
Hong Kong 14
Brussels 13
Grevenbroich 13
Hebei 12
Helsinki 12
Shenyang 12
Avezzano 11
Changsha 11
Houston 11
Jiaxing 10
Orange 9
São Paulo 9
Perugia 8
Tianjin 8
Toronto 8
Vasto 8
Aosta 7
Hangzhou 7
Isernia 7
Norwalk 7
Augusta 6
Castelnuovo Berardenga 6
San Mateo 6
Trento 6
Ankara 5
Brooklyn 5
Campobasso 5
Iesi 5
Montesilvano Marina 5
New York 5
Padova 5
San Francisco 5
Warsaw 5
West Jordan 5
Auburn Hills 4
Brasília 4
Brno 4
Cavenago Di Brianza 4
Chicago 4
Giussano 4
Jinan 4
Lanciano 4
Montreal 4
Ningbo 4
Porto Alegre 4
Romola 4
Teramo 4
Tokyo 4
Turin 4
Zhengzhou 4
Andover 3
Changchun 3
Frankfurt am Main 3
Karbala 3
Lanzhou 3
Lappeenranta 3
Nocera Superiore 3
Nuremberg 3
Olomouc 3
Philadelphia 3
Phoenix 3
Rocca Di Mezzo 3
San Miniato 3
Seattle 3
Secaucus 3
Totale 2.944
Salva come PNG Salva come JPEG
Nome #
Jandom: JVM based Analyzer for Numerical DOMains 170
Narrowing Operators on Template Abstract Domains 163
Sum of Abstract Domains 161
Descending chains and narrowing on template abstract domains 161
Primitive abundant and weird numbers with many prime factors 154
Efficiently intertwining widening and narrowing 144
SAI, a Sensible Artificial Intelligence that plays Go 132
Optimality in goal-dependent Analysis of Sharing (full version) 121
Primitive weird numbers having more than three distinct prime factors 117
Optimality in goal-dependent Analysis of Sharing 112
Discovering invariants via simple component analysis 112
Optimality in goal-dependent Analysis of Sharing 111
SAI: A Sensible Artificial Intelligence that plays Go 110
A general framework for variable aliasing: Towards optimal operators for sharing properties 109
Observational Completeness on Abstract Interpretation 107
A general framework for variable aliasing: Towards optimal operators for sharing properties 106
Inferring linear invariants with parallelotopes 105
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 105
A Taxonomy of Program Analyses 102
A tool which mines partial execution traces to improve static analysis 100
null 100
Modeling Web Applications by the Multiple Levels of Integrity Policy 97
Abstract Compilation for Sharing Analysis 95
On the algebraic structure of declarative programming language 94
On abstract unification for variable aliasing 94
Optimality in goal-dependent analysis of Sharing 94
Correct Answers for First Order Logic 93
On the interaction between sharing and linearity 92
Deriving numerical abstract domains via Principal Component Analysis 91
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 91
The abstract domain of parallelotopes 88
Efficient Constraint/Generator Removal from Double Description of Polyhedra 87
Correct Answers for First Order Logic 84
Localizing Widening and Narrowing 84
Abstract Interpretation Based Semantics of Sequent Calculi 83
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 82
Random: R-based Analyzer for Numerical DOMains 82
Indexed Categories and Bottom-Up Semantics of Logic Programs 82
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 81
Observational Completeness on Abstract Interpretation 81
Numerical static analysis with Soot 80
On collecting semantics for program analysis 75
Optimal multibinding unification for sharing and linearity analysis 74
Experimental Evaluation of Numerical Domains for Inferring Ranges 73
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 69
Universal Algebra in UniMath 61
JGMP: Java bindings and wrappers for the GMP library 59
Increasing biases can be more efficient than increasing weights 49
AI for Sustainability: Research at Ud’A Node 42
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. 35
Random: R-based Analyzer for Numerical Domains 34
null 31
Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO. 30
The role of linearity in sharing analysis 25
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 12
The ScalaFix Equation Solver 11
Introducing Displayed Universal Algebra in UniMath 10
Optimal Matching for Sharing and Linearity Analysis 10
Universal algebra in UniMath 9
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 8
Increasing biases can be more efficient than increasing weights 3
Totale 5.077
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.022
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 20.022
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021490 0 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/2025892 51 155 105 19 14 33 74 43 75 55 141 127
2025/2026256 209 47 0 0 0 0 0 0 0 0 0 0
Totale 5.077