IRIS
AMATO, Gianluca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.829
NA - Nord America 1.777
AS - Asia 962
SA - Sud America 109
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 4
Totale 4.691
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.737
IT - Italia 672
CN - Cina 326
SG - Singapore 320
IE - Irlanda 220
UA - Ucraina 212
TR - Turchia 173
GB - Regno Unito 169
SE - Svezia 162
DE - Germania 110
FR - Francia 107
BR - Brasile 99
IN - India 78
FI - Finlandia 52
RU - Federazione Russa 49
CA - Canada 35
AT - Austria 23
VN - Vietnam 16
HK - Hong Kong 14
BE - Belgio 13
NL - Olanda 13
IQ - Iraq 9
PK - Pakistan 8
CZ - Repubblica Ceca 7
BD - Bangladesh 6
DZ - Algeria 4
EE - Estonia 4
JP - Giappone 4
AE - Emirati Arabi Uniti 3
ES - Italia 3
VE - Venezuela 3
AR - Argentina 2
CL - Cile 2
EC - Ecuador 2
EG - Egitto 2
EU - Europa 2
MD - Moldavia 2
MX - Messico 2
PL - Polonia 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
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.691
Salva come PNG Salva come JPEG
Città #
Chandler 295
Jacksonville 247
Singapore 241
Dublin 219
Dearborn 150
Southend 122
Princeton 97
Ann Arbor 86
Izmir 81
Nanjing 77
Ashburn 62
The Dalles 62
Beijing 60
Cambridge 60
Alba 51
Pescara 49
Wilmington 49
Francavilla Al Mare 46
Boardman 36
Nanchang 36
Altamura 35
Woodbridge 33
Kocaeli 30
Tongling 28
Santa Clara 27
Chieti 25
Ottawa 24
Milan 23
Kunming 19
Vienna 19
Rome 17
Loreto Aprutino 16
Los Angeles 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
Perugia 8
São Paulo 8
Tianjin 8
Toronto 8
Vasto 8
Aosta 7
Hangzhou 7
Hefei 7
Isernia 7
Norwalk 7
Augusta 6
Castelnuovo Berardenga 6
San Mateo 6
Trento 6
Brooklyn 5
Campobasso 5
Iesi 5
Montesilvano Marina 5
Padova 5
West Jordan 5
Ankara 4
Auburn Hills 4
Brasília 4
Brno 4
Cavenago Di Brianza 4
Giussano 4
Jinan 4
Lanciano 4
New York 4
Ningbo 4
Porto Alegre 4
Romola 4
San Francisco 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
Walnut 3
Washington 3
Amsterdam 2
Ancona 2
Totale 2.829
Salva come PNG Salva come JPEG
Nome #
Jandom: JVM based Analyzer for Numerical DOMains 166
Narrowing Operators on Template Abstract Domains 161
Descending chains and narrowing on template abstract domains 159
Sum of Abstract Domains 158
Primitive abundant and weird numbers with many prime factors 150
Efficiently intertwining widening and narrowing 141
SAI, a Sensible Artificial Intelligence that plays Go 130
Optimality in goal-dependent Analysis of Sharing (full version) 119
Primitive weird numbers having more than three distinct prime factors 115
Optimality in goal-dependent Analysis of Sharing 108
Discovering invariants via simple component analysis 108
SAI: A Sensible Artificial Intelligence that plays Go 107
A general framework for variable aliasing: Towards optimal operators for sharing properties 106
Observational Completeness on Abstract Interpretation 105
Optimality in goal-dependent Analysis of Sharing 104
A general framework for variable aliasing: Towards optimal operators for sharing properties 104
Inferring linear invariants with parallelotopes 102
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version) 101
null 100
A Taxonomy of Program Analyses 98
A tool which mines partial execution traces to improve static analysis 97
Modeling Web Applications by the Multiple Levels of Integrity Policy 94
On the algebraic structure of declarative programming language 92
Optimality in goal-dependent analysis of Sharing 91
Abstract Compilation for Sharing Analysis 90
On abstract unification for variable aliasing 90
On the interaction between sharing and linearity 89
Correct Answers for First Order Logic 89
SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9x9 Go 88
Deriving numerical abstract domains via Principal Component Analysis 87
The abstract domain of parallelotopes 86
Efficient Constraint/Generator Removal from Double Description of Polyhedra 85
Localizing Widening and Narrowing 83
Random: R-based Analyzer for Numerical DOMains 81
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 80
Indexed Categories and Bottom-Up Semantics of Logic Programs 80
Abstract Interpretation Based Semantics of Sequent Calculi 79
Correct Answers for First Order Logic 79
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 79
Observational Completeness on Abstract Interpretation 77
Numerical static analysis with Soot 76
On collecting semantics for program analysis 74
Optimal multibinding unification for sharing and linearity analysis 72
Experimental Evaluation of Numerical Domains for Inferring Ranges 69
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 67
Universal Algebra in UniMath 57
JGMP: Java bindings and wrappers for the GMP library 55
Increasing biases can be more efficient than increasing weights 44
AI for Sustainability: Research at Ud’A Node 36
Artificial Intelligence and Renegotiation of Commercial Lease Contracts Affected by Pandemic-Related Contingencies from Covid-19. The Project A.I.A.Co. 32
null 31
Random: R-based Analyzer for Numerical Domains 30
Artificial Intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from COVID-19. The Project A.I.A.CO. 26
The role of linearity in sharing analysis 24
On the Need for a Common API for Abstract Domains of Object-Oriented Programs 11
The ScalaFix Equation Solver 10
Optimal Matching for Sharing and Linearity Analysis 8
Universal algebra in UniMath 8
Introducing Displayed Universal Algebra in UniMath 6
Score vs. Winrate in Score-Based Games: Which Reward for Reinforcement Learning? 5
Increasing biases can be more efficient than increasing weights 1
Totale 4.900
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.566
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 19.566
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021535 45 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/202679 79 0 0 0 0 0 0 0 0 0 0 0
Totale 4.900