IRIS
RUBIN, SASHA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 884
NA - Nord America 763
EU - Europa 714
SA - Sud America 134
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.506
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 726
SG - Singapore 545
RU - Federazione Russa 443
CN - Cina 160
IT - Italia 128
BR - Brasile 109
HK - Hong Kong 90
VN - Vietnam 56
DE - Germania 38
FR - Francia 25
CA - Canada 20
AR - Argentina 13
IE - Irlanda 13
FI - Finlandia 12
GB - Regno Unito 12
MX - Messico 10
PL - Polonia 9
AT - Austria 8
BD - Bangladesh 7
NL - Olanda 6
SE - Svezia 6
EC - Ecuador 5
NO - Norvegia 5
ID - Indonesia 4
UA - Ucraina 4
IL - Israele 3
IN - India 3
IQ - Iraq 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
JM - Giamaica 2
JP - Giappone 2
PE - Perù 2
SA - Arabia Saudita 2
AZ - Azerbaigian 1
BF - Burkina Faso 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
CV - Capo Verde 1
DJ - Gibuti 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GH - Ghana 1
HN - Honduras 1
HT - Haiti 1
KH - Cambogia 1
KR - Corea 1
KZ - Kazakistan 1
MD - Moldavia 1
MK - Macedonia 1
MY - Malesia 1
PA - Panama 1
PK - Pakistan 1
PS - Palestinian Territory 1
PY - Paraguay 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
UY - Uruguay 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 2.506
Salva come PNG Salva come JPEG
Città #
Singapore 236
Moscow 124
Santa Clara 110
Hong Kong 90
Chandler 85
Beijing 57
Ashburn 32
Ho Chi Minh City 28
Millbury 26
Des Moines 20
Lawrence 20
The Dalles 19
Los Angeles 15
Nanjing 12
Redondo Beach 12
Boston 11
Buffalo 11
Falkenstein 11
Naples 11
São Paulo 11
Napoli 10
Princeton 10
Wilmington 9
Hanoi 8
Helsinki 8
Nuremberg 8
Frankfurt am Main 6
Munich 6
Verdun 6
Wroclaw 6
Amsterdam 5
Dallas 5
Florence 5
Mexico City 5
Montreal 5
Nanchang 5
Seattle 5
Brooklyn 4
Dong Ket 4
Drammen 4
Fairfield 4
Rio de Janeiro 4
San Francisco 4
Toronto 4
Woodbridge 4
Changsha 3
Chicago 3
Denver 3
Dhaka 3
Goiânia 3
Guayaquil 3
Houston 3
New York 3
Ottaviano 3
Padua 3
Roubaix 3
Tianjin 3
Warsaw 3
Ann Arbor 2
Biên Hòa 2
Caruaru 2
Cava de' Tirreni 2
Caxias do Sul 2
Cherkasy 2
Contagem 2
Curitiba 2
Fuzhou 2
Gurgaon 2
Hefei 2
Itapema 2
Jeddah 2
Kunming 2
Lappeenranta 2
London 2
Manaus 2
Orem 2
Phoenix 2
Querétaro 2
Salerno 2
San Giorgio a Cremano 2
San Vitaliano 2
Seabra 2
Shanghai 2
Stockholm 2
Tokyo 2
Uberlândia 2
Varginha 2
Verona 2
Vienna 2
Zhengzhou 2
Accra 1
Acerra 1
Ajman 1
Alegrete 1
Almaty 1
Altamonte Springs 1
Anta Gorda 1
Aparecida 1
Aparecida de Goiânia 1
Aracaju 1
Totale 1.198
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 173
Imperfect-Information Games and Generalized Planning 109
Equilibria for games with combined qualitative and quantitative objectives 97
Strategy logic with imperfect information 95
Alternating Tree Automata with Qualitative Semantics 94
Quantifying Bounds in Strategy Logic 93
Planning under LTL environment specifications 93
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 92
Graded modalities in Strategy Logic 88
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 87
The Measurement of the Anomalous Magnetic Moment of the Muon at Fermilab 84
Graded CTL* over Finite Paths 84
Reasoning about changes of observational power in logics of knowledge and time 84
Automatic verification of multi-agent systems in parameterised grid-environments 82
Changing Observations in Epistemic Temporal Logic 82
Probabilistic strategy logic 82
Public and Private Affairs in Strategic Reasoning 81
Nash equilibria in concurrent games with lexicographic preferences 81
On CTL* With graded path modalities 79
Preface 79
Towards a tool for LTL synthesis with bounded-energy constraints 78
Verification of multi-agent systems with public actions against strategy logic 77
CTL* with graded path modalities 74
Verification of broadcasting multi-agent systems against an epistemic strategy logic 73
Alternating-time Temporal Logic on Finite Traces 71
Reasoning About Agents That May Know Other Agents' Strategies 71
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces 67
Synthesis under Assumptions 59
Synthesizing Best-effort Strategies under Multiple Environment Specifications 54
Verification of multi-Agent systems with imperfect information and public actions 51
Verification of agent navigation in partially-known environments 47
Synthesizing strategies under expected and exceptional environment behaviors 39
Totale 2.600
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.740
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 8.740
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202193 0 0 0 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/2025989 42 42 1 8 32 88 95 71 41 73 426 70
2025/2026863 137 108 170 119 282 47 0 0 0 0 0 0
Totale 2.600