IRIS
MAUBERT, BASTIEN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 310
EU - Europa 126
AS - Asia 25
AF - Africa 1
Totale 462
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 307
IT - Italia 102
CN - Cina 12
FR - Francia 7
SG - Singapore 7
NO - Norvegia 4
VN - Vietnam 4
BG - Bulgaria 3
CA - Canada 3
IE - Irlanda 3
NL - Olanda 2
AZ - Azerbaigian 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
FI - Finlandia 1
GB - Regno Unito 1
IN - India 1
SE - Svezia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 462
Salva come PNG Salva come JPEG
Città #
Chandler 61
Lawrence 19
Ashburn 14
Fairfield 8
Millbury 8
Napoli 8
Des Moines 7
Naples 7
Florence 5
Dong Ket 4
Drammen 4
Singapore 4
Woodbridge 4
Sofia 3
Amsterdam 2
Aversa 2
Beijing 2
Cava de' Tirreni 2
Council Bluffs 2
Guangzhou 2
Nanjing 2
Princeton 2
Salerno 2
San Vitaliano 2
Verona 2
Wilmington 2
Acerra 1
Anacapri 1
Benevento 1
Boston 1
Bratislava 1
Brno 1
Camparada 1
Caravaggio 1
Changsha 1
Dublin 1
Giugliano in Campania 1
Gragnano 1
Hebei 1
Kunming 1
Lappeenranta 1
Mumbai 1
Noisy-le-sec 1
Ottaviano 1
Ottawa 1
Portici 1
Qualiano 1
Redmond 1
Redwood City 1
Rome 1
San Nicola la Strada 1
Shenzhen 1
Tianjin 1
Verdun 1
Totale 208
Salva come PNG Salva come JPEG
Nome #
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II 86
Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER) 34
Strategy logic with imperfect information 31
Alternating Tree Automata with Qualitative Semantics 30
Quantifying Bounds in Strategy Logic 27
The complexity of model checking knowledge and time 23
Changing Observations in Epistemic Temporal Logic 22
Dynamic epistemic logic games with epistemic temporal goals 22
Reasoning about quality and fuzziness of strategic behaviours 21
Probabilistic strategy logic 20
Nondeterministic strategies and their refinement in strategy logic 20
Reasoning about changes of observational power in logics of knowledge and time 17
Assume-guarantee synthesis for prompt linear temporal logic 17
Automated Synthesis of Mechanisms 16
Strategic Reasoning in Automated Mechanism Design 15
Towards a tool for LTL synthesis with bounded-energy constraints 14
Reasoning About Agents That May Know Other Agents' Strategies 14
Preface 13
Reasoning about quality and fuzziness of strategic behaviours 13
Public and Private Affairs in Strategic Reasoning 12
Synthesis of Mechanisms with Strategy Logic (Short Paper) 12
Reasoning about Knowledge and Strategies under Hierarchical Information 11
Decidability results for ATL∗ with imperfect information and perfect recall 10
Strategy Logic with Imperfect Information 9
Verification of Bayesian Mechanisms with Strategy Logic 5
On the Complexity of Model Checking Knowledge and Time 4
Totale 518
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.326
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 2.326
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20192 0 0 0 0 0 0 0 0 0 0 2 0
2019/202018 6 0 0 0 6 0 0 0 3 2 1 0
2020/202170 1 1 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/202495 7 37 4 10 8 0 6 9 2 3 9 0
Totale 518