IRIS
MAUBERT, BASTIEN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.145
NA - Nord America 1.025
EU - Europa 716
SA - Sud America 147
Continente sconosciuto - Info sul continente non disponibili 62
AF - Africa 18
OC - Oceania 2
Totale 3.115
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 985
SG - Singapore 581
RU - Federazione Russa 410
VN - Vietnam 207
CN - Cina 167
IT - Italia 130
BR - Brasile 120
HK - Hong Kong 76
FR - Francia 57
DE - Germania 33
JP - Giappone 28
CA - Canada 24
GB - Regno Unito 16
PL - Polonia 15
AT - Austria 13
BD - Bangladesh 13
TH - Thailandia 12
FI - Finlandia 11
IN - India 10
AR - Argentina 8
MX - Messico 8
ID - Indonesia 7
ZA - Sudafrica 7
NL - Olanda 6
PH - Filippine 6
EC - Ecuador 5
NO - Norvegia 5
IE - Irlanda 4
IQ - Iraq 4
KR - Corea 4
BG - Bulgaria 3
CO - Colombia 3
PE - Perù 3
PK - Pakistan 3
TW - Taiwan 3
UA - Ucraina 3
UZ - Uzbekistan 3
VE - Venezuela 3
AL - Albania 2
BH - Bahrain 2
CR - Costa Rica 2
DZ - Algeria 2
ES - Italia 2
IR - Iran 2
JO - Giordania 2
KE - Kenya 2
PY - Paraguay 2
QA - Qatar 2
SA - Arabia Saudita 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
AZ - Azerbaigian 1
BS - Bahamas 1
CI - Costa d'Avorio 1
CL - Cile 1
CZ - Repubblica Ceca 1
DJ - Gibuti 1
EG - Egitto 1
GE - Georgia 1
GH - Ghana 1
GR - Grecia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
IL - Israele 1
KZ - Kazakistan 1
MD - Moldavia 1
MK - Macedonia 1
MN - Mongolia 1
MV - Maldive 1
MY - Malesia 1
NC - Nuova Caledonia 1
NP - Nepal 1
OM - Oman 1
PR - Porto Rico 1
SE - Svezia 1
SK - Slovacchia (Repubblica Slovacca) 1
SO - Somalia 1
TR - Turchia 1
UY - Uruguay 1
Totale 3.053
Salva come PNG Salva come JPEG
Città #
Singapore 241
San Jose 163
Moscow 109
Santa Clara 93
Ashburn 82
Hong Kong 74
Chandler 61
Ho Chi Minh City 61
Beijing 49
Hanoi 46
Tokyo 26
Lauterbourg 22
Lawrence 19
The Dalles 16
Los Angeles 15
Naples 15
Nuremberg 13
Redondo Beach 12
Buffalo 11
Hefei 11
Da Nang 9
Frankfurt am Main 9
Orem 9
Warsaw 9
Fairfield 8
Falkenstein 8
Helsinki 8
Millbury 8
Napoli 8
New York 8
Dallas 7
Des Moines 7
Florence 7
São Paulo 7
Brooklyn 6
Mexico City 6
Verdun 6
Wroclaw 6
Atlanta 5
Denver 5
Haiphong 5
Milan 5
Rio de Janeiro 5
Toronto 5
Amsterdam 4
Biên Hòa 4
Council Bluffs 4
Dong Ket 4
Drammen 4
Ninh Bình 4
Ottaviano 4
Rome 4
Woodbridge 4
Boston 3
Brasília 3
Curitiba 3
Houston 3
Lappeenranta 3
Las Vegas 3
Ottawa 3
Padova 3
Queens 3
Quận Bình Thạnh 3
San Francisco 3
Seoul 3
Sofia 3
Vienna 3
Alexandria 2
Amman 2
Antioch 2
Aversa 2
Bexley 2
Bloemfontein 2
Bắc Ninh 2
Campos dos Goytacazes 2
Cao Lanh 2
Cava de' Tirreni 2
Chicago 2
Dhaka 2
Doha 2
Dublin 2
Goiânia 2
Guangzhou 2
Honolulu 2
Jeddah 2
João Pessoa 2
Lafayette 2
Limours 2
Lấp Vò 2
Manchester 2
Miami 2
Montreal 2
Montrouge 2
Mumbai 2
Nanjing 2
New Orleans 2
Pattaya 2
Phoenix 2
Pittsburgh 2
Princeton 2
Totale 1.449
Salva come PNG Salva come JPEG
Nome #
The complexity of model checking knowledge and time 219
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 206
Strategy logic with imperfect information 134
Quantifying Bounds in Strategy Logic 131
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 126
Alternating Tree Automata with Qualitative Semantics 123
Dynamic epistemic logic games with epistemic temporal goals 122
Reasoning about quality and fuzziness of strategic behaviours 112
Probabilistic strategy logic 109
Assume-guarantee synthesis for prompt linear temporal logic 108
Synthesis of Mechanisms with Strategy Logic (Short Paper) 107
Automated Synthesis of Mechanisms 106
Reasoning about changes of observational power in logics of knowledge and time 103
Changing Observations in Epistemic Temporal Logic 102
Decidability results for ATL∗ with imperfect information and perfect recall 101
Nondeterministic strategies and their refinement in strategy logic 101
Public and Private Affairs in Strategic Reasoning 99
Towards a tool for LTL synthesis with bounded-energy constraints 99
Formal verification and synthesis of mechanisms for social choice 97
Strategic Reasoning in Automated Mechanism Design 95
Verification of Bayesian Mechanisms with Strategy Logic 95
Reasoning about quality and fuzziness of strategic behaviours 91
Reasoning About Agents That May Know Other Agents' Strategies 88
Reasoning about Knowledge and Strategies under Hierarchical Information 87
Strategy Logic with Imperfect Information 82
Reasoning about Quality and Fuzziness of Strategic Behaviors 78
Formal Verification of Bayesian Mechanisms 74
Preface 61
On the Complexity of Model Checking Knowledge and Time 59
Totale 3.115
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.646
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 9.646
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022137 0 0 1 4 1 7 0 2 36 11 58 17
2022/2023178 24 4 22 5 16 14 1 32 39 3 13 5
2023/2024123 7 37 4 10 8 0 6 9 2 3 30 7
2024/2025937 35 35 5 3 25 65 88 76 60 73 398 74
2025/20261.482 128 118 172 111 271 70 171 117 180 77 28 39
2026/2027150 136 14 0 0 0 0 0 0 0 0 0 0
Totale 3.115