Gario, Marco Elio Gustavo
 Distribuzione geografica
Continente #
NA - Nord America 887
EU - Europa 622
AS - Asia 214
SA - Sud America 46
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 1.773
Nazione #
US - Stati Uniti d'America 879
RU - Federazione Russa 206
DE - Germania 99
SG - Singapore 74
IT - Italia 66
UA - Ucraina 48
HK - Hong Kong 46
BR - Brasile 44
FI - Finlandia 43
NL - Olanda 37
SE - Svezia 34
CN - Cina 28
IN - India 26
IE - Irlanda 24
VN - Vietnam 22
GB - Regno Unito 20
BE - Belgio 16
FR - Francia 9
CA - Canada 7
BD - Bangladesh 4
KR - Corea 4
CH - Svizzera 3
AT - Austria 2
AU - Australia 2
CZ - Repubblica Ceca 2
EE - Estonia 2
ES - Italia 2
EU - Europa 2
JP - Giappone 2
LU - Lussemburgo 2
PK - Pakistan 2
AZ - Azerbaigian 1
BY - Bielorussia 1
CR - Costa Rica 1
DK - Danimarca 1
EC - Ecuador 1
GR - Grecia 1
HU - Ungheria 1
IL - Israele 1
JO - Giordania 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
NP - Nepal 1
PL - Polonia 1
PY - Paraguay 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 1.773
Città #
Chandler 174
Jacksonville 107
Ashburn 74
Boardman 54
Wilmington 53
Ann Arbor 50
Moscow 48
Singapore 46
Hong Kong 45
Helsinki 27
Brooklyn 24
The Dalles 24
Dong Ket 22
Trento 22
Kronberg 17
Brussels 16
Nijmegen 16
Dublin 15
New York 14
Dearborn 13
Milan 12
Woodbridge 12
Pune 10
Seattle 9
Ames 8
Munich 8
Fargo 7
Beijing 6
Genova 5
Inglewood 5
Natick 5
Phoenix 5
Redwood City 5
Sunnyvale 5
Duncan 4
Falkenstein 4
Falls Church 4
Fulda 4
Guangzhou 4
São Paulo 4
Belmont 3
Bolzano 3
Dubendorf 3
Frankfurt am Main 3
Houston 3
Jundiaí 3
Kildare 3
Longueuil 3
Los Angeles 3
Miami 3
Mountain View 3
Nanjing 3
Norwalk 3
Shanghai 3
Stanford 3
Campina Grande 2
Campinas 2
Chengdu 2
Florence 2
Luxembourg 2
Nuremberg 2
Ottawa 2
Rio de Janeiro 2
San Jose 2
Santa Clara 2
São José do Rio Preto 2
Toronto 2
Ulm 2
Verona 2
Vienna 2
Volargne 2
Altoona 1
Amman 1
Amsterdam 1
Anaheim 1
Araras 1
Arcos 1
Asunción 1
Baku 1
Barra Mansa 1
Bitonto 1
Blumenau 1
Bologna 1
Brasília 1
Bratislava 1
Brescia 1
Bristol 1
Brno 1
Bruchkoebel 1
Cachoeira do Sul 1
Caruaru 1
Central 1
Charlotte 1
Contagem 1
Dhaka 1
Diadema 1
East Hartford 1
Eger 1
Espoo 1
Franco da Rocha 1
Totale 1.093
Nome #
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 164
Model-based Safety Assessment of a Triple Modular Generator with XSAP 137
A Lazy Approach to Temporal Epistemic Logic Model Checking 128
The xSAP Safety Analysis Platform 122
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 121
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 117
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 110
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 109
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 102
Comparing Different Functional Allocations in Automated Air Traffic Control Design 102
SMT-based Validation of Timed Failure Propagation Graphs 95
An Integrated Process for FDIR Design in Aerospace 93
Formal Specification and Synthesis of FDI through an Example 92
FAME: A Model-Based Environment for FDIR Design in Aerospace 91
FAME Process: A Dedicated Development and V&V Process for FDIR 84
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 80
Diagnosability of fair transition systems 56
Totale 1.803
Categoria #
all - tutte 8.897
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 8.897


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202025 0 0 0 0 0 0 0 0 0 0 16 9
2020/2021229 24 2 20 7 16 13 26 21 19 43 8 30
2021/2022161 5 2 3 23 5 16 6 22 8 5 37 29
2022/2023326 15 45 6 71 11 45 4 19 72 18 12 8
2023/2024267 19 9 16 20 15 42 39 20 15 30 4 38
2024/2025467 6 6 39 32 11 12 38 42 220 43 18 0
Totale 1.803