Gario, Marco Elio Gustavo
 Distribuzione geografica
Continente #
NA - Nord America 318
AS - Asia 203
EU - Europa 97
SA - Sud America 20
AF - Africa 3
Totale 641
Nazione #
US - Stati Uniti d'America 314
SG - Singapore 140
CN - Cina 26
HK - Hong Kong 24
RU - Federazione Russa 21
BR - Brasile 18
IT - Italia 13
DE - Germania 11
SE - Svezia 11
UA - Ucraina 11
FI - Finlandia 10
LV - Lettonia 6
GB - Regno Unito 5
BG - Bulgaria 4
VN - Vietnam 4
JP - Giappone 3
ZA - Sudafrica 3
CA - Canada 2
IN - India 2
NL - Olanda 2
TR - Turchia 2
AR - Argentina 1
CL - Cile 1
DK - Danimarca 1
FR - Francia 1
JO - Giordania 1
MX - Messico 1
PA - Panama 1
PL - Polonia 1
UZ - Uzbekistan 1
Totale 641
Città #
Singapore 94
Chandler 60
Ashburn 30
Hong Kong 22
Jacksonville 20
Fairfield 15
Santa Clara 14
Columbus 12
Seattle 12
Los Angeles 11
Dallas 10
Ann Arbor 9
Beijing 9
Moscow 9
Cambridge 7
New York 7
Helsinki 6
Princeton 6
Riga 6
Wilmington 6
Buffalo 4
Cagliari 4
Council Bluffs 4
Lawrence 4
Munich 4
Sofia 4
Trento 4
Boardman 3
Houston 3
Osaka 3
Stockholm 3
Washington 3
Woodbridge 3
Belo Horizonte 2
Brooklyn 2
Frankfurt am Main 2
Hanoi 2
Johannesburg 2
London 2
San Mateo 2
Abaetetuba 1
Ankara 1
Bonndorf 1
Boston 1
Brasília 1
Buenos Aires 1
Chaam 1
Charleston 1
Chengdu 1
Chennai 1
Copenhagen 1
Coroatá 1
Dracena 1
Düsseldorf 1
Falkenstein 1
Fayetteville 1
Guangzhou 1
Hefei 1
Istanbul 1
Jaraguá do Sul 1
Jardinópolis 1
Jaú 1
Lorena 1
Manchester 1
Mexico City 1
Montreal 1
Mykolayiv 1
Newark 1
Norwalk 1
Nuremberg 1
O'Fallon 1
Old Bridge 1
Papanduva 1
Paraibuna 1
Pergine Valsugana 1
Pretoria 1
Quảng Nam Province 1
Redondo Beach 1
Rio de Janeiro 1
Sacramento 1
Salvador 1
San Diego 1
Santiago Metropolitan 1
Tashkent 1
The Dalles 1
Toronto 1
Três Marias 1
Tupã 1
Vitória da Conquista 1
Volta Redonda 1
Warsaw 1
Wuhu 1
Xian 1
Zhengzhou 1
Totale 479
Nome #
A Formal Foundation of FDI Design via Temporal Epistemic Logic 164
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 126
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 100
Formal Specification and Synthesis of FDI through an Example 96
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 80
The xSAP Safety Analysis Platform 77
Totale 643
Categoria #
all - tutte 2.579
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.579


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202116 0 0 0 0 0 5 1 0 5 0 3 2
2021/202235 0 3 0 1 2 0 0 10 0 0 3 16
2022/202397 16 12 11 14 7 14 0 6 9 3 4 1
2023/202446 0 4 3 1 3 11 2 6 0 4 1 11
2024/2025242 6 5 17 54 22 39 24 17 10 27 10 11
2025/2026115 20 5 20 39 29 2 0 0 0 0 0 0
Totale 643