Gario, Marco Elio Gustavo
 Distribuzione geografica
Continente #
EU - Europa 30
NA - Nord America 13
AS - Asia 8
OC - Oceania 2
Totale 53
Nazione #
IT - Italia 15
US - Stati Uniti d'America 13
IL - Israele 4
NL - Olanda 4
UA - Ucraina 3
AU - Australia 2
DE - Germania 2
RU - Federazione Russa 2
VN - Vietnam 2
CN - Cina 1
CZ - Repubblica Ceca 1
FR - Francia 1
IE - Irlanda 1
IR - Iran 1
LT - Lituania 1
Totale 53
Città #
Trento 7
Ashburn 3
Haifa 3
Dong Ket 2
New York 2
Udine 2
Amsterdam 1
Beijing 1
Boardman 1
Bolzano 1
Brugnera 1
Chiampo 1
Chicago 1
Ciampino 1
Dublin 1
Fleming Island 1
Frankfurt am Main 1
Houston 1
Naaldwijk 1
Nuremberg 1
Palaiseau 1
Tel Aviv 1
Treviso 1
University Park 1
Vilnius 1
Totale 38
Nome #
Diagnosability of fair transition systems, file 28afc4e6-7180-4b6c-947d-20b1aa1e909c 23
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic, file ddb241a5-2c8d-ba8a-e053-3a05fe0afd55 23
FAME: A Model-Based Environment for FDIR Design in Aerospace, file ddb241a5-1b3b-ba8a-e053-3a05fe0afd55 2
Model-based Safety Assessment of a Triple Modular Generator with XSAP, file ddb241a5-7dca-ba8a-e053-3a05fe0afd55 2
Comparing Different Functional Allocations in Automated Air Traffic Control Design, file ddb241a5-25cd-ba8a-e053-3a05fe0afd55 1
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration, file ddb241a5-32ac-ba8a-e053-3a05fe0afd55 1
A Lazy Approach to Temporal Epistemic Logic Model Checking, file ddb241a5-32b2-ba8a-e053-3a05fe0afd55 1
Totale 53
Categoria #
all - tutte 146
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 146


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201 0 0 0 0 0 0 0 0 0 0 1 0
2020/20214 1 0 1 0 0 0 0 0 0 0 1 1
2021/202211 0 0 1 0 1 0 0 0 0 0 4 5
2022/202323 3 5 3 0 3 1 2 0 4 0 2 0
2023/20248 4 0 1 3 0 0 0 0 0 0 0 0
Totale 53