IRIS
MAUBERT, BASTIEN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 861
EU - Europa 669
NA - Nord America 615
SA - Sud America 137
AF - Africa 12
OC - Oceania 2
Totale 2.296
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 587
SG - Singapore 546
RU - Federazione Russa 409
CN - Cina 133
IT - Italia 121
BR - Brasile 113
VN - Vietnam 74
HK - Hong Kong 72
FR - Francia 31
DE - Germania 30
CA - Canada 17
PL - Polonia 15
AT - Austria 13
GB - Regno Unito 11
FI - Finlandia 10
MX - Messico 8
AR - Argentina 7
BD - Bangladesh 7
ID - Indonesia 7
NL - Olanda 6
EC - Ecuador 5
NO - Norvegia 5
ZA - Sudafrica 5
IE - Irlanda 4
IN - India 4
BG - Bulgaria 3
CO - Colombia 3
PE - Perù 3
UA - Ucraina 3
BH - Bahrain 2
KR - Corea 2
PK - Pakistan 2
PY - Paraguay 2
SA - Arabia Saudita 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
CI - Costa d'Avorio 1
CL - Cile 1
CZ - Repubblica Ceca 1
DJ - Gibuti 1
DZ - Algeria 1
ES - Italia 1
GH - Ghana 1
GR - Grecia 1
HN - Honduras 1
IL - Israele 1
IR - Iran 1
KE - Kenya 1
KZ - Kazakistan 1
MD - Moldavia 1
MK - Macedonia 1
MN - Mongolia 1
NC - Nuova Caledonia 1
QA - Qatar 1
SE - Svezia 1
SK - Slovacchia (Repubblica Slovacca) 1
SO - Somalia 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 2.296
Salva come PNG Salva come JPEG
Città #
Singapore 211
Moscow 109
Santa Clara 90
Hong Kong 71
Chandler 61
Beijing 48
Ashburn 38
Ho Chi Minh City 30
Lawrence 19
Hanoi 14
Los Angeles 14
Naples 14
Nuremberg 13
Redondo Beach 12
Hefei 11
Buffalo 10
Warsaw 9
Fairfield 8
Falkenstein 8
Millbury 8
Napoli 8
San Jose 8
Des Moines 7
Frankfurt am Main 7
Helsinki 7
Mexico City 6
Orem 6
São Paulo 6
Verdun 6
Wroclaw 6
Florence 5
New York 5
Rio de Janeiro 5
The Dalles 5
Amsterdam 4
Brooklyn 4
Denver 4
Dong Ket 4
Drammen 4
Milan 4
Ottaviano 4
Woodbridge 4
Biên Hòa 3
Boston 3
Brasília 3
Curitiba 3
Lappeenranta 3
Ottawa 3
Padova 3
Sofia 3
Toronto 3
Vienna 3
Aversa 2
Bexley 2
Campos dos Goytacazes 2
Cava de' Tirreni 2
Chicago 2
Council Bluffs 2
Da Nang 2
Dhaka 2
Dublin 2
Goiânia 2
Guangzhou 2
Haiphong 2
Honolulu 2
Jeddah 2
João Pessoa 2
Lấp Vò 2
Montreal 2
Montrouge 2
Mumbai 2
Nanjing 2
Ninh Bình 2
Princeton 2
Rochdale 2
Roubaix 2
Salerno 2
San Vitaliano 2
Seabra 2
Seoul 2
Sorocaba 2
Surakarta 2
Tianjin 2
Verona 2
Vĩnh Tường 2
Wilmington 2
Accra 1
Acerra 1
Alegrete 1
Almaty 1
Altamonte Springs 1
Alto Araguaia 1
Alvorada 1
Anacapri 1
Aracati 1
Araraquara 1
Arima 1
Athens 1
Atlanta 1
Auburndale 1
Totale 1.029
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 175
The complexity of model checking knowledge and time 103
Strategy logic with imperfect information 99
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 98
Alternating Tree Automata with Qualitative Semantics 96
Quantifying Bounds in Strategy Logic 93
Reasoning about quality and fuzziness of strategic behaviours 92
Dynamic epistemic logic games with epistemic temporal goals 88
Reasoning about changes of observational power in logics of knowledge and time 85
Automated Synthesis of Mechanisms 84
Assume-guarantee synthesis for prompt linear temporal logic 84
Changing Observations in Epistemic Temporal Logic 83
Probabilistic strategy logic 83
Public and Private Affairs in Strategic Reasoning 82
Synthesis of Mechanisms with Strategy Logic (Short Paper) 82
Nondeterministic strategies and their refinement in strategy logic 81
Towards a tool for LTL synthesis with bounded-energy constraints 79
Reasoning about quality and fuzziness of strategic behaviours 77
Decidability results for ATL∗ with imperfect information and perfect recall 75
Strategic Reasoning in Automated Mechanism Design 75
Reasoning About Agents That May Know Other Agents' Strategies 72
Verification of Bayesian Mechanisms with Strategy Logic 71
Formal verification and synthesis of mechanisms for social choice 68
Reasoning about Knowledge and Strategies under Hierarchical Information 68
Strategy Logic with Imperfect Information 61
Reasoning about Quality and Fuzziness of Strategic Behaviors 56
Formal Verification of Bayesian Mechanisms 55
On the Complexity of Model Checking Knowledge and Time 48
Preface 45
Totale 2.358
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.521
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 7.521
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202151 0 0 0 0 0 0 12 8 12 13 2 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/2026875 128 118 172 111 271 70 5 0 0 0 0 0
Totale 2.358