IRIS
MAUBERT, BASTIEN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.128
NA - Nord America 860
EU - Europa 710
SA - Sud America 146
AF - Africa 18
OC - Oceania 2
Totale 2.864
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 829
SG - Singapore 579
RU - Federazione Russa 410
VN - Vietnam 206
CN - Cina 160
IT - Italia 126
BR - Brasile 119
HK - Hong Kong 76
FR - Francia 55
DE - Germania 33
JP - Giappone 28
CA - Canada 18
GB - Regno Unito 16
PL - Polonia 15
AT - Austria 13
FI - Finlandia 11
TH - Thailandia 11
IN - India 10
AR - Argentina 8
MX - Messico 8
BD - Bangladesh 7
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
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
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DJ - Gibuti 1
EG - Egitto 1
GE - Georgia 1
GH - Ghana 1
GR - Grecia 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
SE - Svezia 1
SK - Slovacchia (Repubblica Slovacca) 1
SO - Somalia 1
TR - Turchia 1
UY - Uruguay 1
Totale 2.864
Salva come PNG Salva come JPEG
Città #
Singapore 239
San Jose 163
Moscow 109
Santa Clara 91
Hong Kong 74
Chandler 61
Ho Chi Minh City 61
Ashburn 59
Beijing 49
Hanoi 46
Tokyo 26
Lauterbourg 22
Lawrence 19
The Dalles 16
Naples 15
Los Angeles 14
Nuremberg 13
Redondo Beach 12
Hefei 11
Buffalo 10
Da Nang 9
Frankfurt am Main 9
Orem 9
Warsaw 9
Fairfield 8
Falkenstein 8
Helsinki 8
Millbury 8
Napoli 8
Des Moines 7
New York 7
Florence 6
Mexico City 6
São Paulo 6
Verdun 6
Wroclaw 6
Brooklyn 5
Haiphong 5
Rio de Janeiro 5
Amsterdam 4
Biên Hòa 4
Council Bluffs 4
Denver 4
Dong Ket 4
Drammen 4
Milan 4
Ninh Bình 4
Ottaviano 4
Woodbridge 4
Boston 3
Brasília 3
Curitiba 3
Lappeenranta 3
Ottawa 3
Padova 3
Quận Bình Thạnh 3
Seoul 3
Sofia 3
Toronto 3
Vienna 3
Amman 2
Aversa 2
Bexley 2
Bloemfontein 2
Bắc Ninh 2
Campos dos Goytacazes 2
Cao Lanh 2
Cava de' Tirreni 2
Chicago 2
Dallas 2
Dhaka 2
Doha 2
Dublin 2
Goiânia 2
Guangzhou 2
Honolulu 2
Jeddah 2
João Pessoa 2
Las Vegas 2
Lấp Vò 2
Manchester 2
Miami 2
Montreal 2
Montrouge 2
Mumbai 2
Nanjing 2
Pattaya 2
Phoenix 2
Pittsburgh 2
Princeton 2
Queens 2
Rochdale 2
Roubaix 2
Salerno 2
Salt Lake City 2
San Vitaliano 2
Seabra 2
Shanghai 2
Sorocaba 2
Surakarta 2
Totale 1.398
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
Strategy logic with imperfect information 130
Quantifying Bounds in Strategy Logic 127
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 124
The complexity of model checking knowledge and time 121
Dynamic epistemic logic games with epistemic temporal goals 119
Alternating Tree Automata with Qualitative Semantics 119
Reasoning about quality and fuzziness of strategic behaviours 109
Assume-guarantee synthesis for prompt linear temporal logic 106
Probabilistic strategy logic 105
Synthesis of Mechanisms with Strategy Logic (Short Paper) 104
Changing Observations in Epistemic Temporal Logic 99
Nondeterministic strategies and their refinement in strategy logic 99
Automated Synthesis of Mechanisms 98
Reasoning about changes of observational power in logics of knowledge and time 98
Towards a tool for LTL synthesis with bounded-energy constraints 98
Public and Private Affairs in Strategic Reasoning 97
Decidability results for ATL∗ with imperfect information and perfect recall 94
Strategic Reasoning in Automated Mechanism Design 93
Verification of Bayesian Mechanisms with Strategy Logic 92
Reasoning about quality and fuzziness of strategic behaviours 89
Formal verification and synthesis of mechanisms for social choice 88
Reasoning About Agents That May Know Other Agents' Strategies 86
Reasoning about Knowledge and Strategies under Hierarchical Information 84
Strategy Logic with Imperfect Information 77
Reasoning about Quality and Fuzziness of Strategic Behaviors 77
Formal Verification of Bayesian Mechanisms 72
Preface 60
On the Complexity of Model Checking Knowledge and Time 56
Totale 2.926
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.696
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.696
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20214 0 0 0 0 0 0 0 0 0 0 0 4
2021/2022139 2 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.443 128 118 172 111 271 70 171 117 180 77 28 0
Totale 2.926