Catalogo dei prodotti della ricerca

PERELLI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 816
EU - Europa 415
AS - Asia 249
SA - Sud America 3
AF - Africa 1
Totale 1.484
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 802
IT - Italia 152
SG - Singapore 112
IN - India 87
UA - Ucraina 73
SE - Svezia 45
ID - Indonesia 27
GB - Regno Unito 25
FR - Francia 21
DE - Germania 19
NL - Olanda 12
NO - Norvegia 12
CA - Canada 11
CN - Cina 11
RO - Romania 11
BG - Bulgaria 9
BE - Belgio 8
DK - Danimarca 8
FI - Finlandia 5
KR - Corea 5
ES - Italia 4
IE - Irlanda 4
AR - Argentina 3
MX - Messico 3
RU - Federazione Russa 3
HK - Hong Kong 2
PH - Filippine 2
AT - Austria 1
CH - Svizzera 1
GR - Grecia 1
IL - Israele 1
IR - Iran 1
JP - Giappone 1
LU - Lussemburgo 1
ZA - Sudafrica 1
Totale 1.484
Salva come PNG Salva come JPEG
Città #
Fairfield 104
Singapore 75
San Paolo di Civitate 72
Ashburn 62
Santa Clara 52
Chandler 41
Houston 41
Rome 40
Princeton 39
Lawrence 36
Wilmington 36
Jacksonville 31
Seattle 31
Boston 30
Cambridge 29
Jakarta 27
Woodbridge 27
Millbury 19
Ann Arbor 18
San Diego 16
Norwalk 12
Pune 12
Andover 11
Sofia 9
Utrecht 8
Naples 7
Toronto 7
Edinburgh 5
Paris 5
Southend 5
Brussels 4
Cluj-Napoca 4
Des Moines 4
Dublin 4
Bordeaux 3
Bühl 3
Ellon 3
Federal 3
Gyeongsan-si 3
Helsinki 3
London 3
Lyon 3
Saarbrücken 3
Storrs 3
Aachen 2
Chuncheon 2
Falls Church 2
Hong Kong 2
Lappeenranta 2
Lormont 2
Madrid 2
Mannheim 2
Milan 2
Mons 2
Naaldwijk 2
Sacramento 2
Santa Rosa 2
St Petersburg 2
Arnesano 1
Baarlo 1
Bern 1
Boscotrecase 1
Bremen 1
Columbia 1
Dresden 1
Florence 1
Frankfurt am Main 1
Hamm 1
Hesperange 1
Iztapalapa 1
Jiangmen 1
Kaiserslautern 1
La Louvière 1
Laurel 1
Molina de Segura 1
Namur 1
Nola 1
Oxford 1
Pasadena 1
Pretoria 1
Riva 1
Sandston 1
Santiago de Compostela 1
Shenzhen 1
Southfield 1
Statesboro 1
Steinfeld 1
Tel Aviv 1
Turin 1
Umeda 1
Totale 1.013
Salva come PNG Salva come JPEG
Nome #
Strategy Repair in Reachability Games 80
Multi-player games with LDL goals over finite traces 58
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games 55
EVE: A Tool for Temporal Equilibrium Analysis 53
Equilibria for Games with Combined Qualitative and Quantitative Objects 52
Expressiveness and Nash Equilibrium in Iterated Boolean Games 52
HyperLDLf: a logic for checking properties of finite traces process logs 51
Hierarchical Cost-Parity Games 50
On computational tractability for rational verification 46
Solving parity games using an automata-based algorithm 44
Checking interval properties of computations 44
Timed trace alignment with metric temporal logic over finite traces 44
Multi-agent path planning in known dynamic environments 43
Reasoning about quality and fuzziness of strategic behaviours 42
Synthesis with rational environments 42
Cycle detection in computation tree logic 41
Nash equilibria in concurrent games with lexicographic preferences 41
Equilibrium design for concurrent games 39
What makes ATL* decidable? A decidable fragment of strategy logic 39
Synthesis with mandatory stop actions 39
Cycle detection in computation tree logic 38
Imperfect information in reactive modules games 36
Imperfect information in Reactive Modules games 36
Synthesis of controllable Nash equilibria in quantitative objective games 35
Synthesis with rational environments 35
Checking interval properties of computations 35
Expressiveness and nash equilibrium in iterated boolean games 33
Enforcing equilibria in multi-agent systems 33
Hierarchical cost-parity games 31
null 31
Automatic synthesis of dynamic norms for multi-agent systems 29
null 29
Binding forms in first-order logic 28
Nash equilibrium and bisimulation invariance 28
Reasoning about strategies: On the model-checking problem 28
Iterated games with LDL goals over finite traces 27
Reasoning about strategies: On the satisfiability problem 23
Pushdown multi-agent system verification 23
Nash equilibrium and bisimulation invariance 22
Rational verification: From model checking to equilibrium checking 20
Rational verification: Game-Theoretic Verification of Multi-Agent Systems 17
Optimal Alignment of Temporal Knowledge Bases 16
Playing Quantitative Games Against an Authority: On the Module Checking Problem 16
Giving Instructions in Linear Temporal Logic 14
Behavioral QLTL 10
Reasoning about Quality and Fuzziness of Strategic Behaviors 10
Pure-Past Action Masking 10
Reconfigurable Interaction for MAS Modelling 9
Strategies in Spatio-Temporal Logics for Multi-agent Systems 7
Reasoning about Quality and Fuzziness of Strategic Behaviour 7
On the complexity of rational verification 5
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents 2
Synthesis of Reward Machines for Multi-Agent Equilibrium Design 2
Totale 1.680
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.120
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 7.120
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020142 0 0 0 0 0 0 0 0 0 0 96 46
2020/2021298 35 20 2 35 8 0 40 85 9 16 33 15
2021/2022408 9 19 44 9 54 12 9 46 23 22 104 57
2022/2023312 73 133 1 11 28 14 1 18 17 1 12 3
2023/2024300 13 21 6 12 49 40 21 19 15 69 16 19
2024/2025220 9 11 67 46 73 14 0 0 0 0 0 0
Totale 1.680