IRIS
MOGAVERO, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 774
EU - Europa 537
AS - Asia 141
Totale 1.452
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 727
IT - Italia 385
CN - Cina 98
IE - Irlanda 60
CA - Canada 46
FI - Finlandia 39
VN - Vietnam 28
DE - Germania 16
GB - Regno Unito 13
SE - Svezia 11
FR - Francia 9
IN - India 8
TR - Turchia 5
RU - Federazione Russa 2
CR - Costa Rica 1
GR - Grecia 1
NL - Olanda 1
PH - Filippine 1
SG - Singapore 1
Totale 1.452
Salva come PNG Salva come JPEG
Città #
Chandler 170
Naples 74
Millbury 50
Ottawa 41
Princeton 40
Ashburn 37
Napoli 35
Nanjing 30
Boston 28
Dong Ket 28
Des Moines 21
Wilmington 21
Beijing 17
Dublin 14
Hebei 11
Marta 11
Houston 10
Jiaxing 10
Lawrence 10
Nanchang 10
Rome 9
Caserta 8
Jacksonville 8
Changsha 7
Potenza 7
San Vitaliano 7
Salerno 6
Lauria 5
Woodbridge 5
Ansbach 4
Falls Church 4
Kronberg 4
Nocera Inferiore 4
Redwood City 4
Shenyang 4
Torre Del Greco 4
Caivano 3
Council Bluffs 3
Fucecchio 3
Giugliano in Campania 3
Guangzhou 3
Helsinki 3
Nola 3
Redmond 3
Reggio Calabria 3
Trieste 3
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
Marcianise 2
Milan 2
Norwalk 2
Nuremberg 2
Parma 2
Portici 2
Pozzuoli 2
San Gennaro Vesuviano 2
Sant'Antonio Abate 2
Sarno 2
Tianjin 2
Torre Annunziata 2
Turin 2
Villa Literno 2
Viterbo 2
Yellow Springs 2
Afragola 1
Agropoli 1
Altavilla Irpina 1
Anacapri 1
Arzano 1
Avellino 1
Battipaglia 1
Boardman 1
Boscotrecase 1
Busto Arsizio 1
Casalnuovo Di Napoli 1
Casavatore 1
Catania 1
Cisterna 1
Coquitlam 1
Fuzhou 1
Hanover 1
Indiana 1
Istanbul 1
Kunming 1
Lachine 1
London 1
Los Angeles 1
Marigliano 1
Mercato San Severino 1
Montoro 1
Totale 870
Salva come PNG Salva come JPEG
Nome #
Solving parity games via priority promotion 74
Balanced Paths in Colored Graph 48
Comparing rule based policies 46
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 45
Reasoning about substructures and games 44
Attacking Diophantus: Solving a Special Case of Bag Containment 44
A Behavioral Hierarchy of Strategy Logic 43
Reasoning About Strategies 41
Strategy Games: A Renewed Framework 41
Improving Priority Promotion for Parity Games 41
A delayed promotion policy for parity games 41
Branching-Time Temporal Logics with Minimal Model Quantifiers 38
Exploring the Boundary of Half Positionality 37
Solving parity games via priority promotion 37
On the decidability of linear bounded periodic cyber-physical systems 37
Cycle detection in computation tree logic 34
Exploring the Boundary of Half Positionality 33
Satisfiability in Strategy Logic can be Easier than Model Checking 32
Solving Mean-Payoff Games via Quasi Dominions 32
On the Counting of Strategies 31
Graded Computation Tree Logic 29
Graded Computation Tree Logic 29
Quantitative Fairness Games 28
A Delayed Promotion Policy for Parity Games 28
Reasoning about strategies: On the satisfiability problem 28
Substructure Temporal Logic 27
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic 26
Practical verification of multi-agent systems against Slk specifications 26
Graded Computation Tree Logic with Binary Coding 25
Reasoning About Strategies: On the Model-Checking Problem 25
Cycle Detection in Computation Tree Logic 25
First International Workshop on Strategic Reasoning, SR 2013 24
Reasoning about graded strategy quantifiers 24
Robust worst cases for parity games algorithms 23
On the Boundary of Behavioral Strategies 22
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 22
Special issue on SR 2013 22
On promptness in parity games 21
Quantitatively Fair Scheduling 20
On Promptness in Parity Games 20
Synthesis of Hierarchical Systems 19
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications 19
Relentful Strategic Reasoning in Alternating-Time Temporal Logic 17
Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013 16
From Quasi-Dominions to Progress Measures 15
Second International Workshop on Strategic Reasoning, SR 2014 15
Taming Strategy Logic: Non-Recurrent Fragments 14
Quantitative Fairness Games 14
Quantifying Over Trees in Monadic Second-Order Logic 13
Synthesis of hierarchical systems 13
SHACL Satisfiability and Containment 13
Relentful strategic reasoning in alternating-Time temporal logic 11
Good-for-Game QPTL: An Alternating Hodges Semantics 10
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 10
Taming Strategy Logic: Non-Recurrent Fragments 9
Alternating (In)Dependence-Friendly Logic 7
Preface to the Special Issue on SR 2014 7
Reformulating queries: Theory and practice 6
On promptness in parity games 4
Satisfiability and Containment of Recursive SHACL 2
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games 1
Binding Forms in First-Order Logic 1
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries 1
Totale 1.550
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.082
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 6.082
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201923 0 0 0 0 0 0 0 0 0 0 18 5
2019/2020170 73 0 4 1 8 4 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/2024272 25 54 61 41 9 20 20 13 16 13 0 0
Totale 1.550