IRIS
RUBIN, SASHA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.197
NA - Nord America 1.092
EU - Europa 758
SA - Sud America 147
Continente sconosciuto - Info sul continente non disponibili 95
AF - Africa 13
Totale 3.302
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.045
SG - Singapore 589
RU - Federazione Russa 444
VN - Vietnam 218
CN - Cina 185
IT - Italia 133
BR - Brasile 115
HK - Hong Kong 92
FR - Francia 50
DE - Germania 39
JP - Giappone 31
CA - Canada 24
AR - Argentina 16
GB - Regno Unito 15
FI - Finlandia 13
IE - Irlanda 13
BD - Bangladesh 12
MX - Messico 12
IN - India 11
PL - Polonia 9
AT - Austria 8
IQ - Iraq 7
NL - Olanda 7
TH - Thailandia 7
SE - Svezia 6
EC - Ecuador 5
ID - Indonesia 5
NO - Norvegia 5
PK - Pakistan 5
TW - Taiwan 5
UA - Ucraina 5
CL - Cile 4
KR - Corea 4
PH - Filippine 4
CZ - Repubblica Ceca 3
IL - Israele 3
JO - Giordania 3
PE - Perù 3
SA - Arabia Saudita 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
CR - Costa Rica 2
JM - Giamaica 2
MY - Malesia 2
NP - Nepal 2
AZ - Azerbaigian 1
BF - Burkina Faso 1
BS - Bahamas 1
BW - Botswana 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CO - Colombia 1
CV - Capo Verde 1
DJ - Gibuti 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ES - Italia 1
GH - Ghana 1
HN - Honduras 1
HT - Haiti 1
KH - Cambogia 1
KZ - Kazakistan 1
MD - Moldavia 1
MK - Macedonia 1
MV - Maldive 1
OM - Oman 1
PA - Panama 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
RE - Reunion 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TN - Tunisia 1
UY - Uruguay 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.208
Salva come PNG Salva come JPEG
Città #
Singapore 277
San Jose 158
Moscow 124
Santa Clara 118
Hong Kong 91
Chandler 85
Ashburn 83
Ho Chi Minh City 66
Beijing 61
The Dalles 45
Hanoi 39
Tokyo 31
Millbury 26
Lauterbourg 22
Des Moines 20
Lawrence 20
Los Angeles 16
Nanjing 12
Redondo Beach 12
São Paulo 12
Boston 11
Buffalo 11
Falkenstein 11
Naples 11
Napoli 10
Princeton 10
Helsinki 9
Wilmington 9
Da Nang 8
Nuremberg 8
Dallas 7
Frankfurt am Main 7
Amsterdam 6
Florence 6
Haiphong 6
Montreal 6
Munich 6
Toronto 6
Verdun 6
Wroclaw 6
Brooklyn 5
Council Bluffs 5
Mexico City 5
Nanchang 5
New York 5
Seattle 5
Biên Hòa 4
Dhaka 4
Dong Ket 4
Drammen 4
Fairfield 4
Houston 4
Orem 4
Rio de Janeiro 4
San Francisco 4
Woodbridge 4
Amman 3
Atlanta 3
Benátky nad Jizerou 3
Changsha 3
Chicago 3
Denver 3
Goiânia 3
Guayaquil 3
Jeddah 3
Ninh Bình 3
Ottaviano 3
Padua 3
Queens 3
Roubaix 3
Shanghai 3
Tianjin 3
Warsaw 3
Ann Arbor 2
Antioch 2
Baghdad 2
Bắc Ninh 2
Cao Lanh 2
Caruaru 2
Cava de' Tirreni 2
Caxias do Sul 2
Cherkasy 2
Conselheiro Lafaiete 2
Contagem 2
Curitiba 2
Fuzhou 2
Gurgaon 2
Hefei 2
Itapema 2
Jalandhar 2
Kunming 2
Lappeenranta 2
Las Vegas 2
London 2
Manaus 2
Milan 2
Phoenix 2
Querétaro 2
Rome 2
Salerno 2
Totale 1.653
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 206
Imperfect-Information Games and Generalized Planning 136
Strategy logic with imperfect information 134
Quantifying Bounds in Strategy Logic 131
Planning under LTL environment specifications 125
Alternating Tree Automata with Qualitative Semantics 123
Equilibria for games with combined qualitative and quantitative objectives 118
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 115
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 112
Probabilistic strategy logic 109
Graded modalities in Strategy Logic 108
The Measurement of the Anomalous Magnetic Moment of the Muon at Fermilab 105
Graded CTL* over Finite Paths 105
Verification of multi-agent systems with public actions against strategy logic 104
Nash equilibria in concurrent games with lexicographic preferences 103
Reasoning about changes of observational power in logics of knowledge and time 103
Changing Observations in Epistemic Temporal Logic 102
Automatic verification of multi-agent systems in parameterised grid-environments 101
Public and Private Affairs in Strategic Reasoning 100
Preface 100
Towards a tool for LTL synthesis with bounded-energy constraints 99
On CTL* With graded path modalities 97
CTL* with graded path modalities 93
Verification of broadcasting multi-agent systems against an epistemic strategy logic 88
Reasoning About Agents That May Know Other Agents' Strategies 88
Alternating-time Temporal Logic on Finite Traces 84
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces 83
Synthesis under Assumptions 71
Verification of multi-Agent systems with imperfect information and public actions 70
Synthesizing Best-effort Strategies under Multiple Environment Specifications 70
Verification of agent navigation in partially-known environments 67
Synthesizing strategies under expected and exceptional environment behaviors 52
Totale 3.302
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.989
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 10.989
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022201 0 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/20261.512 137 108 170 119 282 71 169 120 194 95 24 23
2026/202753 36 17 0 0 0 0 0 0 0 0 0 0
Totale 3.302