IRIS
FAELLA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.224
NA - Nord America 2.026
EU - Europa 1.649
SA - Sud America 381
Continente sconosciuto - Info sul continente non disponibili 117
AF - Africa 36
OC - Oceania 5
Totale 6.438
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.952
SG - Singapore 1.158
RU - Federazione Russa 672
IT - Italia 555
CN - Cina 382
VN - Vietnam 328
BR - Brasile 308
HK - Hong Kong 158
FR - Francia 74
FI - Finlandia 68
DE - Germania 64
UA - Ucraina 61
IE - Irlanda 55
CA - Canada 41
JP - Giappone 33
AR - Argentina 28
BD - Bangladesh 28
GB - Regno Unito 28
IN - India 28
SE - Svezia 22
MX - Messico 18
EC - Ecuador 14
AT - Austria 13
ID - Indonesia 12
KR - Corea 12
IQ - Iraq 10
PH - Filippine 9
PY - Paraguay 9
KE - Kenya 7
PK - Pakistan 7
PL - Polonia 7
ZA - Sudafrica 6
AE - Emirati Arabi Uniti 5
CO - Colombia 5
KZ - Kazakistan 5
MA - Marocco 5
TH - Thailandia 5
TR - Turchia 5
AZ - Azerbaigian 4
CL - Cile 4
JM - Giamaica 4
JO - Giordania 4
NL - Olanda 4
SA - Arabia Saudita 4
TW - Taiwan 4
UZ - Uzbekistan 4
VE - Venezuela 4
AL - Albania 3
AU - Australia 3
BO - Bolivia 3
CH - Svizzera 3
DO - Repubblica Dominicana 3
LB - Libano 3
MY - Malesia 3
PE - Perù 3
RO - Romania 3
TN - Tunisia 3
UY - Uruguay 3
AD - Andorra 2
BE - Belgio 2
BG - Bulgaria 2
BY - Bielorussia 2
CW - ???statistics.table.value.countryCode.CW??? 2
DZ - Algeria 2
ES - Italia 2
IL - Israele 2
LT - Lituania 2
NA - Namibia 2
NP - Nepal 2
OM - Oman 2
AF - Afghanistan, Repubblica islamica di 1
BB - Barbados 1
BF - Burkina Faso 1
BW - Botswana 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CU - Cuba 1
CV - Capo Verde 1
EG - Egitto 1
ET - Etiopia 1
EU - Europa 1
GA - Gabon 1
GD - Grenada 1
GT - Guatemala 1
IR - Iran 1
IS - Islanda 1
KW - Kuwait 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LY - Libia 1
MU - Mauritius 1
MW - Malawi 1
NC - Nuova Caledonia 1
NG - Nigeria 1
NO - Norvegia 1
PG - Papua Nuova Guinea 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PT - Portogallo 1
RS - Serbia 1
Totale 6.320
Salva come PNG Salva come JPEG
Città #
Singapore 505
San Jose 273
Santa Clara 204
Chandler 167
Beijing 159
Hong Kong 152
Moscow 147
Naples 137
Ashburn 95
Ho Chi Minh City 90
Napoli 90
Hanoi 79
The Dalles 69
Jacksonville 66
Lauterbourg 58
Millbury 56
Princeton 51
Los Angeles 48
Council Bluffs 41
Hefei 38
Nanjing 37
Boston 36
São Paulo 29
Wilmington 28
Tokyo 27
Houston 25
Buffalo 23
Phoenix 23
Rome 23
Des Moines 18
Ottawa 18
Dallas 15
New York 14
Helsinki 13
Nuremberg 13
Rio de Janeiro 13
Woodbridge 13
Da Nang 12
Nanchang 12
Ann Arbor 11
Kronberg 11
Orem 11
Redondo Beach 11
Brasília 9
Chicago 9
Falkenstein 9
Mexico City 9
Toronto 9
Changsha 8
Falcone 8
Lawrence 8
Catania 7
Guayaquil 7
Haiphong 7
London 7
Milan 7
Nairobi 7
Seoul 7
Shenyang 7
Tianjin 7
Warsaw 7
Baghdad 6
Falls Church 6
Levallois-perret 6
Montreal 6
Salerno 6
Seattle 6
Curitiba 5
Dhaka 5
Hải Dương 5
Nocera Inferiore 5
Orange 5
Porto Alegre 5
San Francisco 5
Amman 4
Belluno 4
Belo Horizonte 4
Biên Hòa 4
Boardman 4
Boydton 4
Bắc Giang 4
Can Tho 4
Caserta 4
Hebei 4
Kunming 4
Lahore 4
Lappeenranta 4
Long Xuyen 4
Manchester 4
Norwalk 4
Salvador 4
Tashkent 4
Verona 4
Vienna 4
Volla 4
Amsterdam 3
Aparecida de Goiânia 3
Asunción 3
Baku 3
Bogotá 3
Totale 3.270
Salva come PNG Salva come JPEG
Nome #
Balanced Paths in Colored Graph 137
Do All Tournaments Admit Irrelevant Matches? 128
On the complexity of EL with defeasible inclusions 127
Exploring the Boundary of Half Positionality 126
Dense Real-time Games 123
Quantitative Fairness Games 120
From Quasi-Dominions to Progress Measures 119
Adding default attributes to EL++ 119
Defeasible inclusions in low-complexity DLs: preliminary notes 115
Code Aware Resource Management 111
Assigning trust to Wikipedia content 111
Quantitatively Fair Scheduling 111
An Integrated Formal Approach to Usage Control 109
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games 107
Exploring the Boundary of Half Positionality 107
Automatic synthesis of switching controllers for linear hybrid systems: Safety control 107
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012) 107
Automata-theoretic decision of timed games 106
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control 106
Quantitative Fairness Games 105
Model Checking Discounted Temporal Properties 104
Decidability of Circumscribed Description Logics Revisited 103
null 102
On preferences and reward policies over rankings 100
Model Checking Linear Temporal Properties on Polyhedral Systems 99
Code aware resource management 99
EL with Default Attributes and Overriding 98
Partial Preferences for Mediated Bargaining 98
Revisiting synthesis of switching controllers for Linear Hybrid systems 98
Compositional Quantitative Reasoning 97
Reachability games for linear hybrid systems. 97
Auctions for Partial Heterogeneous Preferences 97
Defeasible inclusions in low-complexity DLs 96
Tracking differentiable trajectories across polyhedra boundaries 96
Average Reward Timed Games 94
Automata-theoretic Decision of Timed Games 93
On interoperable trust negotiation strategies 92
Qualitative Logics and Equivalences for Probabilistic Systems 91
Linear and Branching System Metrics 90
TICC: A Tool for Interface Compatibility and Composition 88
Preference theories on weak orders 88
Graded Alternating-Time Temporal Logic 87
Towards Efficient Exact Synthesis for Linear Hybrid Systems 86
Generalized Agent-mediated Procurement Auctions 86
Linear and Branching Metrics for Quantitative Transition Systems 85
The Element of Surprise in Timed Games 84
Model Checking Discounted Temporal Properties 84
e-Auctions for Multi-Cloud Service Provisioning 84
A new semantics for overriding in description logics (Extended Abstract) 83
Sociable Interfaces 81
Model checking quantitative linear time logic 81
Rapidly finding the best arm using variance 81
Irrelevant matches in round-robin tournaments 79
Towards a mechanism for incentivating privacy 78
Seriously Good Software 77
Preferences over rankings and how to control them using rewards 76
A practical query selection framework for real-time Bayesian preference elicitation 76
Admissible Strategies in Infinite Games over Graphs 75
Qualitative Logics and Equivalences for Probabilistic Systems 75
Tracking smooth trajectories in linear hybrid systems 75
Average Controllability Measures for Solitaire Games. 69
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 69
Convex Optimization Yields Empirically Superior Best-Arm Identification 67
Universal Thompson Sampling 65
Hedging Bets in Markov Decision Processes 63
Reachability Games Modulo Theories with a Bounded Safety Player 63
Reasoning About Data Trees Using CHCs 60
CHC-Based Verification of Programs Through Graph Decompositions 58
A new semantics for overriding in description logics 35
null 18
Verifying Tree-Manipulating Programs via CHCs 17
Totale 6.438
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.730
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 21.730
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022379 0 0 12 1 8 4 4 16 69 40 86 139
2022/2023382 68 42 21 39 40 38 1 40 61 2 25 5
2023/2024271 21 57 27 21 6 7 20 16 6 8 52 30
2024/20251.744 93 99 8 10 89 165 169 107 132 114 606 152
2025/20262.774 297 338 324 255 486 77 235 194 313 154 71 30
2026/2027133 47 57 29 0 0 0 0 0 0 0 0 0
Totale 6.438