IRIS
MOGAVERO, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.041
EU - Europa 1.566
NA - Nord America 1.352
SA - Sud America 322
AF - Africa 29
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 5.312
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.272
SG - Singapore 1.239
RU - Federazione Russa 747
IT - Italia 540
CN - Cina 386
BR - Brasile 259
HK - Hong Kong 158
VN - Vietnam 124
FI - Finlandia 61
DE - Germania 60
IE - Irlanda 60
CA - Canada 52
KR - Corea 27
GB - Regno Unito 25
IN - India 22
AR - Argentina 21
FR - Francia 18
EC - Ecuador 16
MX - Messico 16
SE - Svezia 15
NL - Olanda 14
ID - Indonesia 12
TR - Turchia 12
PK - Pakistan 8
VE - Venezuela 8
ES - Italia 7
UZ - Uzbekistan 7
BD - Bangladesh 6
ZA - Sudafrica 6
DZ - Algeria 5
IQ - Iraq 5
JP - Giappone 5
PL - Polonia 5
PY - Paraguay 5
SA - Arabia Saudita 5
UA - Ucraina 5
CO - Colombia 4
IL - Israele 4
CL - Cile 3
DO - Repubblica Dominicana 3
KE - Kenya 3
LB - Libano 3
TN - Tunisia 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BE - Belgio 2
BO - Bolivia 2
CU - Cuba 2
EG - Egitto 2
HN - Honduras 2
KZ - Kazakistan 2
PH - Filippine 2
SN - Senegal 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
AT - Austria 1
AU - Australia 1
BF - Burkina Faso 1
BG - Bulgaria 1
CD - Congo 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
ET - Etiopia 1
GA - Gabon 1
GR - Grecia 1
GT - Guatemala 1
HR - Croazia 1
IR - Iran 1
JO - Giordania 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LC - Santa Lucia 1
LT - Lituania 1
MA - Marocco 1
MD - Moldavia 1
MW - Malawi 1
MY - Malesia 1
NA - Namibia 1
PE - Perù 1
PR - Porto Rico 1
PS - Palestinian Territory 1
TL - Timor Orientale 1
TT - Trinidad e Tobago 1
Totale 5.312
Salva come PNG Salva come JPEG
Città #
Singapore 560
Moscow 186
Santa Clara 183
Chandler 170
Hong Kong 158
Naples 151
Hefei 137
Beijing 98
Ashburn 85
Millbury 50
Ottawa 42
Ho Chi Minh City 40
Princeton 40
Boston 38
Napoli 35
Los Angeles 32
Nanjing 30
Dong Ket 28
Seoul 26
São Paulo 25
Redondo Beach 24
The Dalles 23
Buffalo 22
Des Moines 21
Rome 21
Wilmington 21
Falkenstein 19
Munich 19
Hanoi 15
Helsinki 15
Rio de Janeiro 15
Dublin 14
Hebei 11
Houston 11
Marta 11
Jiaxing 10
Lawrence 10
Nanchang 10
Seattle 10
Lappeenranta 9
Mexico City 9
Caserta 8
Changsha 8
Guayaquil 8
Jacksonville 8
Pomigliano d'Arco 8
Chennai 7
New York 7
Potenza 7
San Vitaliano 7
Tashkent 7
Brasília 6
Chicago 6
Da Nang 6
Haiphong 6
Salerno 6
Bắc Ninh 5
Lauria 5
London 5
Nuremberg 5
Stockholm 5
Woodbridge 5
Afragola 4
Amsterdam 4
Ansbach 4
Baghdad 4
Curitiba 4
Dallas 4
Falls Church 4
Guangzhou 4
Kronberg 4
Nocera Inferiore 4
Paris 4
Quito 4
Redwood City 4
Salvador 4
Shenyang 4
Tianjin 4
Torre Del Greco 4
Warsaw 4
Anápolis 3
Caivano 3
Campinas 3
Casalnuovo di Napoli 3
Casoria 3
Council Bluffs 3
Fisciano 3
Florence 3
Fucecchio 3
Giugliano in Campania 3
Hiyoshi 3
Jeddah 3
Johannesburg 3
Kunming 3
Marcianise 3
Montevideo 3
Montreal 3
Nairobi 3
Nola 3
Orem 3
Totale 2.701
Salva come PNG Salva come JPEG
Nome #
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 127
Balanced Paths in Colored Graph 121
Solving parity games via priority promotion 120
Reasoning About Strategies 114
Exploring the Boundary of Half Positionality 108
Branching-Time Temporal Logics with Minimal Model Quantifiers 105
On the Counting of Strategies 105
From Quasi-Dominions to Progress Measures 102
Strategy Games: A Renewed Framework 102
Quantitative Fairness Games 99
Cycle detection in computation tree logic 99
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic 94
Reasoning About Strategies: On the Model-Checking Problem 94
On promptness in parity games 94
On Promptness in Parity Games 93
Reasoning about strategies: On the satisfiability problem 93
Synthesis of Hierarchical Systems 92
Substructure Temporal Logic 92
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 92
Reasoning about substructures and games 92
Graded Computation Tree Logic with Binary Coding 91
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications 91
Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013 90
Special issue on SR 2013 90
Cycle Detection in Computation Tree Logic 90
Quantitatively Fair Scheduling 88
A delayed promotion policy for parity games 88
Graded Computation Tree Logic 87
Exploring the Boundary of Half Positionality 87
Reasoning about graded strategy quantifiers 87
Comparing rule based policies 85
A Behavioral Hierarchy of Strategy Logic 85
Improving Priority Promotion for Parity Games 85
Quantifying Over Trees in Monadic Second-Order Logic 83
Quantitative Fairness Games 82
On the Boundary of Behavioral Strategies 82
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 81
Attacking Diophantus: Solving a Special Case of Bag Containment 81
Graded Computation Tree Logic 79
Solving parity games via priority promotion 78
Full Characterisation of Extended CTL 77
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games 76
Alternating (In)Dependence-Friendly Logic 76
Solving Mean-Payoff Games via Quasi Dominions 76
Robust worst cases for parity games algorithms 75
Good-for-Game QPTL: An Alternating Hodges Semantics 73
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 71
On the decidability of linear bounded periodic cyber-physical systems 70
Model Checking Linear Temporal Properties on Polyhedral Systems 69
Practical verification of multi-agent systems against Slk specifications 69
Taming Strategy Logic: Non-Recurrent Fragments 68
A Delayed Promotion Policy for Parity Games 66
Satisfiability and Containment of Recursive SHACL 65
Satisfiability in Strategy Logic can be Easier than Model Checking 63
On promptness in parity games 61
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries 59
First International Workshop on Strategic Reasoning, SR 2013 56
Priority Promotion with Parysian flair 54
Relentful Strategic Reasoning in Alternating-Time Temporal Logic 53
SHACL Satisfiability and Containment 51
Taming Strategy Logic: Non-Recurrent Fragments 50
Binding Forms in First-Order Logic 49
Relentful strategic reasoning in alternating-Time temporal logic 47
Solving mean-payoff games via quasi dominions 47
Synthesis of hierarchical systems 46
Reformulating queries: Theory and practice 44
Preface to the Special Issue on SR 2014 43
Second International Workshop on Strategic Reasoning, SR 2014 39
Totale 5.441
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.143
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 18.143
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202183 0 0 0 0 0 13 8 3 16 4 9 30
2021/2022318 2 1 3 11 15 8 4 9 58 12 76 119
2022/2023386 57 27 21 38 59 42 0 42 57 9 21 13
2023/2024372 25 54 61 41 9 20 20 13 16 13 60 40
2024/20252.009 99 122 14 19 95 148 235 117 137 137 739 147
2025/20261.782 313 247 364 285 509 64 0 0 0 0 0 0
Totale 5.441