IRIS
RUBIN, SASHA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 420
EU - Europa 150
AS - Asia 45
SA - Sud America 1
Totale 616
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 419
IT - Italia 110
CN - Cina 35
IE - Irlanda 13
DE - Germania 5
NO - Norvegia 4
SE - Svezia 4
VN - Vietnam 4
FI - Finlandia 3
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
CA - Canada 1
FR - Francia 1
SG - Singapore 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 616
Salva come PNG Salva come JPEG
Città #
Chandler 85
Millbury 26
Des Moines 20
Lawrence 20
Nanjing 12
Ashburn 11
Napoli 10
Princeton 10
Wilmington 9
Boston 8
Naples 8
Beijing 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
Kunming 2
Salerno 2
San Giorgio a Cremano 2
San Vitaliano 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
Noisy-le-sec 1
Ottaviano 1
Ottawa 1
Portici 1
Pozzuoli 1
Qualiano 1
Redwood City 1
Shenzhen 1
Singapore 1
Yellow Springs 1
Totale 301
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 86
Imperfect-Information Games and Generalized Planning 39
Automatic verification of multi-agent systems in parameterised grid-environments 32
Strategy logic with imperfect information 31
Alternating Tree Automata with Qualitative Semantics 30
Quantifying Bounds in Strategy Logic 27
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 26
Equilibria for games with combined qualitative and quantitative objectives 26
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 25
Alternating-time Temporal Logic on Finite Traces 25
Planning under LTL environment specifications 25
Nash equilibria in concurrent games with lexicographic preferences 24
On CTL* With graded path modalities 23
Changing Observations in Epistemic Temporal Logic 21
Graded CTL* over Finite Paths 20
Probabilistic strategy logic 20
Verification of broadcasting multi-agent systems against an epistemic strategy logic 19
The Measurement of the Anomalous Magnetic Moment of the Muon at Fermilab 19
Graded modalities in Strategy Logic 18
Synthesizing Best-effort Strategies under Multiple Environment Specifications 18
Reasoning about changes of observational power in logics of knowledge and time 16
Preface 16
CTL* with graded path modalities 15
Synthesis under Assumptions 15
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces 14
Towards a tool for LTL synthesis with bounded-energy constraints 14
Reasoning About Agents That May Know Other Agents' Strategies 14
Public and Private Affairs in Strategic Reasoning 12
Synthesizing strategies under expected and exceptional environment behaviors 12
Verification of agent navigation in partially-known environments 12
Verification of multi-agent systems with public actions against strategy logic 7
Verification of multi-Agent systems with imperfect information and public actions 7
Totale 708
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.086
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 3.086
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20195 0 0 0 0 0 0 0 0 0 0 2 3
2019/202034 18 0 0 0 6 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/202487 10 49 7 9 6 0 4 1 1 0 0 0
Totale 708