IRIS
MAUBERT, BASTIEN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 838
EU - Europa 667
NA - Nord America 610
SA - Sud America 135
AF - Africa 12
OC - Oceania 2
Totale 2.264
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 582
SG - Singapore 525
RU - Federazione Russa 409
CN - Cina 132
IT - Italia 121
BR - Brasile 111
VN - Vietnam 73
HK - Hong Kong 72
DE - Germania 30
FR - Francia 29
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.264
Salva come PNG Salva come JPEG
Città #
Singapore 191
Moscow 109
Santa Clara 90
Hong Kong 71
Chandler 61
Beijing 48
Ashburn 38
Ho Chi Minh City 29
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
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
San Jose 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
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
Anacapri 1
Aracati 1
Araraquara 1
Arima 1
Athens 1
Atlanta 1
Auburndale 1
Bandung 1
Barquisimeto 1
Totale 1.002
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 174
The complexity of model checking knowledge and time 101
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 98
Strategy logic with imperfect information 95
Alternating Tree Automata with Qualitative Semantics 94
Quantifying Bounds in Strategy Logic 93
Reasoning about quality and fuzziness of strategic behaviours 91
Dynamic epistemic logic games with epistemic temporal goals 87
Reasoning about changes of observational power in logics of knowledge and time 84
Automated Synthesis of Mechanisms 83
Probabilistic strategy logic 83
Assume-guarantee synthesis for prompt linear temporal logic 83
Changing Observations in Epistemic Temporal Logic 82
Public and Private Affairs in Strategic Reasoning 81
Synthesis of Mechanisms with Strategy Logic (Short Paper) 81
Nondeterministic strategies and their refinement in strategy logic 80
Towards a tool for LTL synthesis with bounded-energy constraints 78
Reasoning about quality and fuzziness of strategic behaviours 77
Decidability results for ATL∗ with imperfect information and perfect recall 74
Strategic Reasoning in Automated Mechanism Design 74
Reasoning About Agents That May Know Other Agents' Strategies 71
Verification of Bayesian Mechanisms with Strategy Logic 70
Reasoning about Knowledge and Strategies under Hierarchical Information 67
Formal verification and synthesis of mechanisms for social choice 66
Strategy Logic with Imperfect Information 60
Reasoning about Quality and Fuzziness of Strategic Behaviors 55
Formal Verification of Bayesian Mechanisms 54
Preface 45
On the Complexity of Model Checking Knowledge and Time 45
Totale 2.326
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.336
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.336
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202168 0 0 0 0 0 17 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/2026843 128 118 172 111 271 43 0 0 0 0 0 0
Totale 2.326