IRIS
FAELLA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.217
NA - Nord America 1.884
EU - Europa 1.636
SA - Sud America 377
AF - Africa 36
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.158
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.819
SG - Singapore 1.158
RU - Federazione Russa 672
IT - Italia 542
CN - Cina 378
VN - Vietnam 328
BR - Brasile 304
HK - Hong Kong 156
FR - Francia 74
FI - Finlandia 68
DE - Germania 64
UA - Ucraina 61
IE - Irlanda 55
CA - Canada 38
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
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
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
MY - Malesia 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
GT - Guatemala 1
IR - Iran 1
IS - Islanda 1
JM - Giamaica 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
SY - Repubblica araba siriana 1
Totale 6.157
Salva come PNG Salva come JPEG
Città #
Singapore 505
San Jose 262
Santa Clara 196
Chandler 167
Beijing 159
Hong Kong 151
Moscow 147
Naples 134
Ho Chi Minh City 90
Napoli 90
Ashburn 80
Hanoi 79
The Dalles 67
Jacksonville 66
Lauterbourg 58
Millbury 56
Princeton 51
Los Angeles 46
Hefei 38
Nanjing 37
Boston 36
Wilmington 28
São Paulo 27
Tokyo 27
Houston 24
Buffalo 23
Rome 22
Des Moines 18
Ottawa 18
Council Bluffs 16
Dallas 14
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
Falkenstein 9
Mexico City 9
Toronto 9
Changsha 8
Chicago 8
Falcone 8
Lawrence 8
Catania 7
Guayaquil 7
Haiphong 7
Milan 7
Nairobi 7
Seoul 7
Shenyang 7
Tianjin 7
Warsaw 7
Baghdad 6
Falls Church 6
Levallois-perret 6
London 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
Brooklyn 3
Totale 3.176
Salva come PNG Salva come JPEG
Nome #
Balanced Paths in Colored Graph 135
On the complexity of EL with defeasible inclusions 126
Dense Real-time Games 122
Exploring the Boundary of Half Positionality 121
Do All Tournaments Admit Irrelevant Matches? 120
Quantitative Fairness Games 117
From Quasi-Dominions to Progress Measures 116
Adding default attributes to EL++ 116
Defeasible inclusions in low-complexity DLs: preliminary notes 113
Assigning trust to Wikipedia content 110
Code Aware Resource Management 109
Quantitatively Fair Scheduling 108
An Integrated Formal Approach to Usage Control 107
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games 106
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control 106
Automatic synthesis of switching controllers for linear hybrid systems: Safety control 104
Exploring the Boundary of Half Positionality 103
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012) 103
Decidability of Circumscribed Description Logics Revisited 103
Automata-theoretic decision of timed games 102
null 102
Model Checking Discounted Temporal Properties 101
On preferences and reward policies over rankings 99
Quantitative Fairness Games 99
Model Checking Linear Temporal Properties on Polyhedral Systems 97
Code aware resource management 97
Partial Preferences for Mediated Bargaining 97
EL with Default Attributes and Overriding 96
Auctions for Partial Heterogeneous Preferences 96
Revisiting synthesis of switching controllers for Linear Hybrid systems 96
Compositional Quantitative Reasoning 95
Defeasible inclusions in low-complexity DLs 94
Tracking differentiable trajectories across polyhedra boundaries 93
On interoperable trust negotiation strategies 92
Average Reward Timed Games 92
Reachability games for linear hybrid systems. 92
Qualitative Logics and Equivalences for Probabilistic Systems 90
Automata-theoretic Decision of Timed Games 90
Preference theories on weak orders 86
TICC: A Tool for Interface Compatibility and Composition 85
Linear and Branching System Metrics 85
Generalized Agent-mediated Procurement Auctions 84
Linear and Branching Metrics for Quantitative Transition Systems 83
Model Checking Discounted Temporal Properties 83
A new semantics for overriding in description logics (Extended Abstract) 83
The Element of Surprise in Timed Games 82
Graded Alternating-Time Temporal Logic 82
Towards Efficient Exact Synthesis for Linear Hybrid Systems 82
e-Auctions for Multi-Cloud Service Provisioning 82
Sociable Interfaces 80
Model checking quantitative linear time logic 79
Rapidly finding the best arm using variance 78
Towards a mechanism for incentivating privacy 77
Seriously Good Software 76
Preferences over rankings and how to control them using rewards 76
A practical query selection framework for real-time Bayesian preference elicitation 74
Admissible Strategies in Infinite Games over Graphs 73
Qualitative Logics and Equivalences for Probabilistic Systems 73
Tracking smooth trajectories in linear hybrid systems 73
Irrelevant matches in round-robin tournaments 72
Average Controllability Measures for Solitaire Games. 69
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 67
Universal Thompson Sampling 64
Convex Optimization Yields Empirically Superior Best-Arm Identification 63
Hedging Bets in Markov Decision Processes 61
Reachability Games Modulo Theories with a Bounded Safety Player 60
CHC-Based Verification of Programs Through Graph Decompositions 57
Reasoning About Data Trees Using CHCs 55
A new semantics for overriding in description logics 31
null 18
Verifying Tree-Manipulating Programs via CHCs 14
Totale 6.272
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.384
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.384
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202115 0 0 0 0 0 0 0 0 0 0 11 4
2021/2022386 7 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.741 297 338 324 255 486 77 235 194 313 154 68 0
Totale 6.272