IRIS
FAELLA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.223
NA - Nord America 1.929
EU - Europa 1.641
SA - Sud America 381
AF - Africa 36
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.218
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.860
SG - Singapore 1.158
RU - Federazione Russa 672
IT - Italia 547
CN - Cina 381
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 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
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
JM - Giamaica 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.214
Salva come PNG Salva come JPEG
Città #
Singapore 505
San Jose 262
Santa Clara 200
Chandler 167
Beijing 159
Hong Kong 152
Moscow 147
Naples 136
Ashburn 91
Ho Chi Minh City 90
Napoli 90
Hanoi 79
The Dalles 67
Jacksonville 66
Lauterbourg 58
Millbury 56
Princeton 51
Los Angeles 47
Hefei 38
Nanjing 37
Boston 36
São Paulo 29
Wilmington 28
Tokyo 27
Houston 25
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
Chicago 9
Falkenstein 9
Mexico City 9
Toronto 9
Changsha 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.199
Salva come PNG Salva come JPEG
Nome #
Balanced Paths in Colored Graph 135
On the complexity of EL with defeasible inclusions 126
Exploring the Boundary of Half Positionality 123
Do All Tournaments Admit Irrelevant Matches? 123
Dense Real-time Games 122
From Quasi-Dominions to Progress Measures 117
Adding default attributes to EL++ 117
Quantitative Fairness Games 117
Defeasible inclusions in low-complexity DLs: preliminary notes 113
Code Aware Resource Management 111
Assigning trust to Wikipedia content 110
Quantitatively Fair Scheduling 109
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 105
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012) 104
Exploring the Boundary of Half Positionality 103
Decidability of Circumscribed Description Logics Revisited 103
Model Checking Discounted Temporal Properties 102
Quantitative Fairness Games 102
Automata-theoretic decision of timed games 102
null 102
On preferences and reward policies over rankings 99
Model Checking Linear Temporal Properties on Polyhedral Systems 98
Code aware resource management 98
Partial Preferences for Mediated Bargaining 98
Compositional Quantitative Reasoning 96
EL with Default Attributes and Overriding 96
Auctions for Partial Heterogeneous Preferences 96
Tracking differentiable trajectories across polyhedra boundaries 96
Revisiting synthesis of switching controllers for Linear Hybrid systems 96
Reachability games for linear hybrid systems. 95
Defeasible inclusions in low-complexity DLs 94
On interoperable trust negotiation strategies 92
Average Reward Timed Games 92
Automata-theoretic Decision of Timed Games 91
Qualitative Logics and Equivalences for Probabilistic Systems 90
Linear and Branching System Metrics 88
Preference theories on weak orders 87
TICC: A Tool for Interface Compatibility and Composition 85
Generalized Agent-mediated Procurement Auctions 85
The Element of Surprise in Timed Games 83
Linear and Branching Metrics for Quantitative Transition Systems 83
Model Checking Discounted Temporal Properties 83
Graded Alternating-Time Temporal Logic 83
Towards Efficient Exact Synthesis for Linear Hybrid Systems 83
A new semantics for overriding in description logics (Extended Abstract) 83
e-Auctions for Multi-Cloud Service Provisioning 82
Sociable Interfaces 80
Rapidly finding the best arm using variance 80
Model checking quantitative linear time logic 79
Irrelevant matches in round-robin tournaments 78
Towards a mechanism for incentivating privacy 77
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
Tracking smooth trajectories in linear hybrid systems 74
Admissible Strategies in Infinite Games over Graphs 73
Qualitative Logics and Equivalences for Probabilistic Systems 73
Average Controllability Measures for Solitaire Games. 69
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 68
Convex Optimization Yields Empirically Superior Best-Arm Identification 65
Universal Thompson Sampling 65
Hedging Bets in Markov Decision Processes 62
Reachability Games Modulo Theories with a Bounded Safety Player 62
CHC-Based Verification of Programs Through Graph Decompositions 58
Reasoning About Data Trees Using CHCs 58
A new semantics for overriding in description logics 32
null 18
Verifying Tree-Manipulating Programs via CHCs 15
Totale 6.332
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.320
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.320
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.774 297 338 324 255 486 77 235 194 313 154 71 30
2026/202727 27 0 0 0 0 0 0 0 0 0 0 0
Totale 6.332