IRIS
MOGAVERO, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.056
EU - Europa 661
AS - Asia 493
AF - Africa 2
SA - Sud America 2
Totale 2.214
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.007
IT - Italia 459
SG - Singapore 217
HK - Hong Kong 135
CN - Cina 99
IE - Irlanda 60
FI - Finlandia 52
CA - Canada 46
DE - Germania 36
VN - Vietnam 28
GB - Regno Unito 14
RU - Federazione Russa 13
FR - Francia 12
SE - Svezia 11
IN - India 8
TR - Turchia 5
BR - Brasile 2
MX - Messico 2
NL - Olanda 2
TN - Tunisia 2
CR - Costa Rica 1
ES - Italia 1
GR - Grecia 1
PH - Filippine 1
Totale 2.214
Salva come PNG Salva come JPEG
Città #
Santa Clara 181
Singapore 171
Chandler 170
Hong Kong 135
Naples 116
Millbury 50
Ashburn 41
Ottawa 41
Princeton 40
Napoli 35
Nanjing 30
Boston 28
Dong Ket 28
Des Moines 21
Wilmington 21
Beijing 17
Munich 15
Dublin 14
Rome 14
Hebei 11
Helsinki 11
Marta 11
Houston 10
Jiaxing 10
Lawrence 10
Nanchang 10
Caserta 8
Jacksonville 8
Changsha 7
Potenza 7
San Vitaliano 7
Seattle 7
Salerno 6
Lappeenranta 5
Lauria 5
Woodbridge 5
Ansbach 4
Falls Church 4
Kronberg 4
Nocera Inferiore 4
Pomigliano d'Arco 4
Redwood City 4
Shenyang 4
Torre Del Greco 4
Caivano 3
Council Bluffs 3
Falkenstein 3
Fisciano 3
Fucecchio 3
Giugliano in Campania 3
Guangzhou 3
Marcianise 3
Nola 3
Nuremberg 3
Paris 3
Redmond 3
Reggio Calabria 3
Trieste 3
Afragola 2
Capodrise 2
Cardito 2
Casalnuovo di Napoli 2
Casoria 2
Cava de' Tirreni 2
Cercola 2
Eboli 2
Fairfield 2
Florence 2
Frattamaggiore 2
Gioia Del Colle 2
Maletto 2
Milan 2
Mugnano di Napoli 2
Norwalk 2
Parma 2
Portici 2
Pozzuoli 2
Roccarainola 2
San Gennaro Vesuviano 2
Sant'Antonio Abate 2
Sarno 2
Tianjin 2
Torre Annunziata 2
Turin 2
Villa Literno 2
Viterbo 2
Volla 2
Volturara Irpina 2
Yellow Springs 2
Agropoli 1
Altavilla Irpina 1
Anacapri 1
Arzano 1
Avellino 1
Battipaglia 1
Boardman 1
Boscotrecase 1
Busto Arsizio 1
Casagiove 1
Casalnuovo Di Napoli 1
Totale 1.453
Salva come PNG Salva come JPEG
Nome #
Solving parity games via priority promotion 86
Balanced Paths in Colored Graph 61
Comparing rule based policies 60
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 59
Reasoning about substructures and games 56
Attacking Diophantus: Solving a Special Case of Bag Containment 55
A Behavioral Hierarchy of Strategy Logic 54
A delayed promotion policy for parity games 54
Reasoning About Strategies 52
Strategy Games: A Renewed Framework 52
Improving Priority Promotion for Parity Games 50
Branching-Time Temporal Logics with Minimal Model Quantifiers 49
On the decidability of linear bounded periodic cyber-physical systems 49
Exploring the Boundary of Half Positionality 47
Cycle detection in computation tree logic 46
Solving parity games via priority promotion 45
On the Counting of Strategies 43
Satisfiability in Strategy Logic can be Easier than Model Checking 43
Graded Computation Tree Logic 42
Graded Computation Tree Logic 41
Graded Computation Tree Logic with Binary Coding 41
Exploring the Boundary of Half Positionality 40
Substructure Temporal Logic 40
Reasoning about strategies: On the satisfiability problem 40
Solving Mean-Payoff Games via Quasi Dominions 40
Quantitative Fairness Games 39
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic 39
Reasoning About Strategies: On the Model-Checking Problem 38
Cycle Detection in Computation Tree Logic 38
Quantifying Over Trees in Monadic Second-Order Logic 37
On the Boundary of Behavioral Strategies 37
Special issue on SR 2013 37
A Delayed Promotion Policy for Parity Games 37
Robust worst cases for parity games algorithms 36
From Quasi-Dominions to Progress Measures 35
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 34
Practical verification of multi-agent systems against Slk specifications 34
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications 33
First International Workshop on Strategic Reasoning, SR 2013 33
Reasoning about graded strategy quantifiers 33
Synthesis of Hierarchical Systems 32
Quantitatively Fair Scheduling 31
On promptness in parity games 31
On Promptness in Parity Games 30
Good-for-Game QPTL: An Alternating Hodges Semantics 27
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 27
Relentful Strategic Reasoning in Alternating-Time Temporal Logic 27
Synthesis of hierarchical systems 26
Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013 26
Quantitative Fairness Games 25
Second International Workshop on Strategic Reasoning, SR 2014 23
SHACL Satisfiability and Containment 22
Taming Strategy Logic: Non-Recurrent Fragments 21
Taming Strategy Logic: Non-Recurrent Fragments 20
Alternating (In)Dependence-Friendly Logic 19
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 17
Relentful strategic reasoning in alternating-Time temporal logic 17
Preface to the Special Issue on SR 2014 17
On promptness in parity games 15
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games 15
Satisfiability and Containment of Recursive SHACL 13
Full Characterisation of Extended CTL 12
Reformulating queries: Theory and practice 12
Binding Forms in First-Order Logic 11
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries 11
Priority Promotion with Parysian flair 10
Model Checking Linear Temporal Properties on Polyhedral Systems 9
Solving mean-payoff games via quasi dominions 9
Totale 2.340
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.470
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 10.470
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202080 0 0 0 0 0 0 3 2 3 30 24 18
2020/202199 7 0 1 6 2 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/2025690 99 122 14 19 95 148 193 0 0 0 0 0
Totale 2.340