IRIS
RUBIN, SASHA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.197
NA - Nord America 1.162
EU - Europa 758
SA - Sud America 148
Continente sconosciuto - Info sul continente non disponibili 95
AF - Africa 13
Totale 3.373
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.115
SG - Singapore 589
RU - Federazione Russa 444
VN - Vietnam 218
CN - Cina 185
IT - Italia 133
BR - Brasile 116
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.279
Salva come PNG Salva come JPEG
Città #
Singapore 277
San Jose 188
Moscow 124
Santa Clara 119
Hong Kong 91
Chandler 85
Ashburn 83
Ho Chi Minh City 66
Beijing 61
The Dalles 45
Hanoi 39
Council Bluffs 32
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
Phoenix 6
Toronto 6
Verdun 6
Wroclaw 6
Brooklyn 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
Charlotte 2
Cherkasy 2
Conselheiro Lafaiete 2
Contagem 2
Curitiba 2
Detroit 2
Fuzhou 2
Gurgaon 2
Hefei 2
Itapema 2
Jalandhar 2
Kunming 2
Lappeenranta 2
Las Vegas 2
London 2
Manaus 2
Milan 2
Querétaro 2
Totale 1.715
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 210
Imperfect-Information Games and Generalized Planning 137
Strategy logic with imperfect information 136
Quantifying Bounds in Strategy Logic 133
Planning under LTL environment specifications 129
Alternating Tree Automata with Qualitative Semantics 125
Equilibria for games with combined qualitative and quantitative objectives 121
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 116
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 114
Probabilistic strategy logic 112
Graded modalities in Strategy Logic 110
The Measurement of the Anomalous Magnetic Moment of the Muon at Fermilab 108
Graded CTL* over Finite Paths 108
Verification of multi-agent systems with public actions against strategy logic 106
Reasoning about changes of observational power in logics of knowledge and time 106
Nash equilibria in concurrent games with lexicographic preferences 105
Automatic verification of multi-agent systems in parameterised grid-environments 104
Changing Observations in Epistemic Temporal Logic 104
Public and Private Affairs in Strategic Reasoning 103
Preface 103
Towards a tool for LTL synthesis with bounded-energy constraints 101
On CTL* With graded path modalities 98
CTL* with graded path modalities 96
Verification of broadcasting multi-agent systems against an epistemic strategy logic 91
Reasoning About Agents That May Know Other Agents' Strategies 90
Alternating-time Temporal Logic on Finite Traces 86
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces 86
Synthesis under Assumptions 71
Verification of multi-Agent systems with imperfect information and public actions 71
Synthesizing Best-effort Strategies under Multiple Environment Specifications 71
Verification of agent navigation in partially-known environments 69
Synthesizing strategies under expected and exceptional environment behaviors 53
Totale 3.373
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.300
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 11.300
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/2027124 36 55 33 0 0 0 0 0 0 0 0 0
Totale 3.373