IRIS
RUBIN, SASHA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 566
EU - Europa 163
AS - Asia 141
SA - Sud America 1
Totale 871
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 559
IT - Italia 113
SG - Singapore 97
CN - Cina 35
IE - Irlanda 13
DE - Germania 12
CA - Canada 7
FI - Finlandia 5
NO - Norvegia 4
SE - Svezia 4
VN - Vietnam 4
UA - Ucraina 3
AT - Austria 2
GB - Regno Unito 2
IL - Israele 2
IN - India 2
NL - Olanda 2
AZ - Azerbaigian 1
BR - Brasile 1
FR - Francia 1
RU - Federazione Russa 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 871
Salva come PNG Salva come JPEG
Città #
Santa Clara 106
Singapore 87
Chandler 85
Millbury 26
Des Moines 20
Lawrence 20
Ashburn 12
Nanjing 12
Napoli 10
Princeton 10
Wilmington 9
Boston 8
Naples 8
Beijing 6
Munich 6
Verdun 6
Florence 5
Nanchang 5
Dong Ket 4
Drammen 4
Fairfield 4
Woodbridge 4
Amsterdam 2
Ann Arbor 2
Cava de' Tirreni 2
Changsha 2
Cherkasy 2
Gurgaon 2
Helsinki 2
Kunming 2
Salerno 2
San Giorgio a Cremano 2
San Vitaliano 2
Seattle 2
Tianjin 2
Verona 2
Acerra 1
Arezzo 1
Bologna 1
Bratislava 1
Brescia 1
Camparada 1
Dublin 1
Forlimpopoli 1
Gragnano 1
Guangzhou 1
Hebei 1
Imperatriz 1
Jiaxing 1
Lanzhou 1
Lappeenranta 1
Marano di Napoli 1
Moscow 1
Noisy-le-sec 1
Nuremberg 1
Ottaviano 1
Ottawa 1
Portici 1
Pozzuoli 1
Qualiano 1
Redwood City 1
Scordia 1
Shenzhen 1
Yellow Springs 1
Totale 513
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 98
Imperfect-Information Games and Generalized Planning 51
Strategy logic with imperfect information 40
Automatic verification of multi-agent systems in parameterised grid-environments 38
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 36
Equilibria for games with combined qualitative and quantitative objectives 36
Alternating Tree Automata with Qualitative Semantics 36
Planning under LTL environment specifications 35
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 34
Quantifying Bounds in Strategy Logic 34
Alternating-time Temporal Logic on Finite Traces 34
Changing Observations in Epistemic Temporal Logic 32
On CTL* With graded path modalities 31
Nash equilibria in concurrent games with lexicographic preferences 30
The Measurement of the Anomalous Magnetic Moment of the Muon at Fermilab 30
Graded modalities in Strategy Logic 28
Graded CTL* over Finite Paths 27
Probabilistic strategy logic 27
Preface 26
Synthesizing Best-effort Strategies under Multiple Environment Specifications 26
CTL* with graded path modalities 25
Verification of broadcasting multi-agent systems against an epistemic strategy logic 24
Reasoning about changes of observational power in logics of knowledge and time 24
Synthesis under Assumptions 22
Towards a tool for LTL synthesis with bounded-energy constraints 21
Reasoning About Agents That May Know Other Agents' Strategies 20
Public and Private Affairs in Strategic Reasoning 19
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces 19
Verification of agent navigation in partially-known environments 19
Synthesizing strategies under expected and exceptional environment behaviors 16
Verification of multi-agent systems with public actions against strategy logic 13
Verification of multi-Agent systems with imperfect information and public actions 12
Totale 963
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.700
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 4.700
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202010 0 0 0 0 0 0 0 0 3 2 5 0
2020/202196 1 1 1 0 0 18 10 7 39 13 2 4
2021/2022203 2 0 0 6 3 4 0 2 37 31 64 54
2022/2023222 31 3 13 7 33 28 0 39 53 3 10 2
2023/2024127 10 49 7 9 6 0 4 1 1 0 33 7
2024/2025215 42 42 1 8 32 88 2 0 0 0 0 0
Totale 963