IRIS
RUBIN, SASHA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.186
NA - Nord America 1.032
EU - Europa 755
SA - Sud America 145
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.132
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 989
SG - Singapore 589
RU - Federazione Russa 444
VN - Vietnam 217
CN - Cina 178
IT - Italia 130
BR - Brasile 113
HK - Hong Kong 92
FR - Francia 50
DE - Germania 39
JP - Giappone 31
CA - Canada 22
AR - Argentina 16
GB - Regno Unito 15
FI - Finlandia 13
IE - Irlanda 13
MX - Messico 12
IN - India 11
BD - Bangladesh 10
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
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
CR - Costa Rica 2
JM - Giamaica 2
MY - Malesia 2
NP - Nepal 2
SA - Arabia Saudita 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
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
RE - Reunion 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 3.132
Salva come PNG Salva come JPEG
Città #
Singapore 277
San Jose 158
Moscow 124
Santa Clara 113
Hong Kong 91
Chandler 85
Ho Chi Minh City 66
Beijing 59
Ashburn 58
The Dalles 45
Hanoi 39
Tokyo 31
Millbury 26
Lauterbourg 22
Des Moines 20
Lawrence 20
Los Angeles 16
Nanjing 12
Redondo Beach 12
Boston 11
Buffalo 11
Falkenstein 11
Naples 11
São Paulo 11
Napoli 10
Princeton 10
Helsinki 9
Wilmington 9
Da Nang 8
Nuremberg 8
Frankfurt am Main 7
Amsterdam 6
Florence 6
Haiphong 6
Munich 6
Verdun 6
Wroclaw 6
Council Bluffs 5
Dallas 5
Mexico City 5
Montreal 5
Nanchang 5
New York 5
Seattle 5
Toronto 5
Biên Hòa 4
Brooklyn 4
Dhaka 4
Dong Ket 4
Drammen 4
Fairfield 4
Orem 4
Rio de Janeiro 4
San Francisco 4
Woodbridge 4
Amman 3
Benátky nad Jizerou 3
Changsha 3
Chicago 3
Denver 3
Goiânia 3
Guayaquil 3
Houston 3
Ninh Bình 3
Ottaviano 3
Padua 3
Roubaix 3
Shanghai 3
Tianjin 3
Warsaw 3
Ann Arbor 2
Atlanta 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
Jeddah 2
Kunming 2
Lappeenranta 2
London 2
Manaus 2
Phoenix 2
Queens 2
Querétaro 2
Salerno 2
San Giorgio a Cremano 2
San Vitaliano 2
Santiago 2
Seabra 2
Totale 1.611
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 205
Imperfect-Information Games and Generalized Planning 135
Strategy logic with imperfect information 130
Quantifying Bounds in Strategy Logic 127
Planning under LTL environment specifications 120
Alternating Tree Automata with Qualitative Semantics 119
Equilibria for games with combined qualitative and quantitative objectives 117
Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award) 114
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria 110
Probabilistic strategy logic 105
Graded CTL* over Finite Paths 104
The Measurement of the Anomalous Magnetic Moment of the Muon at Fermilab 103
Graded modalities in Strategy Logic 103
Nash equilibria in concurrent games with lexicographic preferences 102
Verification of multi-agent systems with public actions against strategy logic 101
Automatic verification of multi-agent systems in parameterised grid-environments 100
Changing Observations in Epistemic Temporal Logic 99
Reasoning about changes of observational power in logics of knowledge and time 98
Towards a tool for LTL synthesis with bounded-energy constraints 98
Preface 98
Public and Private Affairs in Strategic Reasoning 97
On CTL* With graded path modalities 97
CTL* with graded path modalities 91
Verification of broadcasting multi-agent systems against an epistemic strategy logic 87
Reasoning About Agents That May Know Other Agents' Strategies 86
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces 83
Alternating-time Temporal Logic on Finite Traces 82
Synthesis under Assumptions 69
Synthesizing Best-effort Strategies under Multiple Environment Specifications 68
Verification of multi-Agent systems with imperfect information and public actions 66
Verification of agent navigation in partially-known environments 63
Synthesizing strategies under expected and exceptional environment behaviors 49
Totale 3.226
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.089
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.089
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20216 0 0 0 0 0 0 0 0 0 0 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/20261.489 137 108 170 119 282 71 169 120 194 95 24 0
Totale 3.226