Gario, Marco Elio Gustavo
 Distribuzione geografica
Continente #
NA - Nord America 321
AS - Asia 209
EU - Europa 98
SA - Sud America 20
AF - Africa 3
Totale 651
Nazione #
US - Stati Uniti d'America 317
SG - Singapore 144
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
VN - Vietnam 5
BG - Bulgaria 4
JP - Giappone 3
ZA - Sudafrica 3
CA - Canada 2
IN - India 2
NL - Olanda 2
TR - Turchia 2
AL - Albania 1
AR - Argentina 1
CL - Cile 1
DK - Danimarca 1
FR - Francia 1
IQ - Iraq 1
JO - Giordania 1
MX - Messico 1
PA - Panama 1
PL - Polonia 1
UZ - Uzbekistan 1
Totale 651
Città #
Singapore 98
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 Jose 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
Karbala 1
Lorena 1
Manchester 1
Mexico City 1
Montreal 1
Mykolayiv 1
Newark 1
Ninh Bình 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
Tirana 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 488
Nome #
A Formal Foundation of FDI Design via Temporal Epistemic Logic 165
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 127
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 102
Formal Specification and Synthesis of FDI through an Example 99
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 82
The xSAP Safety Analysis Platform 78
Totale 653
Categoria #
all - tutte 2.615
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.615


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/2026125 20 5 20 39 29 12 0 0 0 0 0 0
Totale 653