PERELLI, GIUSEPPE
 Distribuzione geografica
Continente #
NA - Nord America 268
EU - Europa 85
AS - Asia 73
SA - Sud America 1
Totale 427
Nazione #
US - Stati Uniti d'America 261
SG - Singapore 49
IT - Italia 42
CN - Cina 23
DE - Germania 21
IE - Irlanda 10
CA - Canada 6
FI - Finlandia 6
FR - Francia 3
SE - Svezia 2
BR - Brasile 1
CR - Costa Rica 1
GB - Regno Unito 1
PH - Filippine 1
Totale 427
Città #
Chandler 49
Santa Clara 43
Singapore 43
Ashburn 18
Millbury 12
Munich 10
Napoli 10
Beijing 8
Princeton 7
Des Moines 6
Ottawa 6
Lawrence 5
Nanjing 5
Wilmington 5
Ansbach 4
Boston 4
Naples 4
Cercola 2
Fairfield 2
Falkenstein 2
Guangzhou 2
Helsinki 2
Mugnano di Napoli 2
Nanchang 2
Paris 2
Washington 2
Woodbridge 2
Anacapri 1
Catania 1
Changsha 1
Fucecchio 1
Hanover 1
Hebei 1
Imperatriz 1
Jiaxing 1
Kunming 1
Lanzhou 1
Mordano 1
Nuremberg 1
Pozzuoli 1
Reggio Calabria 1
Roccarainola 1
San José 1
Sarno 1
Shenyang 1
Stockholm 1
Yellow Springs 1
Totale 279
Nome #
Hierarchical cost-parity games 48
Cycle detection in computation tree logic 44
Solving parity games using an automata-based algorithm 40
Reasoning about strategies: On the satisfiability problem 38
Hierarchical cost-parity games 38
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic 37
Equilibria for games with combined qualitative and quantitative objectives 36
Reasoning About Strategies: On the Model-Checking Problem 35
Cycle Detection in Computation Tree Logic 35
Nash equilibria in concurrent games with lexicographic preferences 30
Reasoning about quality and fuzziness of strategic behaviours 27
Timed Trace Alignment with Metric Temporal Logic over Finite Traces 20
Playing Quantitative Games Against an Authority: On the Module Checking Problem 15
Totale 443
Categoria #
all - tutte 2.040
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 2.040


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202015 0 0 0 0 0 0 0 0 0 9 4 2
2020/202112 0 0 0 0 0 7 3 0 1 1 0 0
2021/202272 1 0 0 1 0 4 0 2 13 2 25 24
2022/2023104 12 2 3 3 21 14 0 18 21 1 8 1
2023/202459 2 10 3 13 3 10 0 0 2 0 13 3
2024/2025110 18 23 0 7 21 40 1 0 0 0 0 0
Totale 443