Gario, Marco Elio Gustavo
 Distribuzione geografica
Continente #
NA - Nord America 902
EU - Europa 624
AS - Asia 221
SA - Sud America 57
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
AF - Africa 1
Totale 1.809
Nazione #
US - Stati Uniti d'America 893
RU - Federazione Russa 206
DE - Germania 99
SG - Singapore 78
IT - Italia 66
BR - Brasile 55
UA - Ucraina 48
HK - Hong Kong 46
FI - Finlandia 44
NL - Olanda 37
SE - Svezia 34
CN - Cina 28
IN - India 28
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
PK - Pakistan 3
AT - Austria 2
AU - Australia 2
CZ - Repubblica Ceca 2
EE - Estonia 2
ES - Italia 2
EU - Europa 2
JP - Giappone 2
LT - Lituania 2
LU - Lussemburgo 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
MX - Messico 1
NP - Nepal 1
PL - Polonia 1
PY - Paraguay 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
Totale 1.809
Città #
Chandler 174
Jacksonville 107
Ashburn 74
Boardman 54
Wilmington 53
Ann Arbor 50
Singapore 50
Moscow 48
Hong Kong 45
Helsinki 27
The Dalles 25
Brooklyn 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
Santa Clara 5
Sunnyvale 5
Duncan 4
Falkenstein 4
Falls Church 4
Fulda 4
Guangzhou 4
Los Angeles 4
São Paulo 4
Belmont 3
Bolzano 3
Dubendorf 3
Frankfurt am Main 3
Houston 3
Jundiaí 3
Kildare 3
Longueuil 3
Miami 3
Mountain View 3
Nanjing 3
Norwalk 3
Rio de Janeiro 3
Shanghai 3
Stanford 3
Campina Grande 2
Campinas 2
Charlotte 2
Chengdu 2
Florence 2
Luxembourg 2
Nuremberg 2
Ottawa 2
San Jose 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
Atlanta 1
Baku 1
Barra Mansa 1
Ben Arous 1
Bitonto 1
Blumenau 1
Bologna 1
Boston 1
Brasília 1
Bratislava 1
Brescia 1
Bristol 1
Brno 1
Bruchkoebel 1
Cachoeira do Sul 1
Caruaru 1
Central 1
Contagem 1
Dhaka 1
Diadema 1
East Hartford 1
Totale 1.104
Nome #
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 166
Model-based Safety Assessment of a Triple Modular Generator with XSAP 138
A Lazy Approach to Temporal Epistemic Logic Model Checking 130
The xSAP Safety Analysis Platform 125
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 122
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 120
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 113
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 112
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 105
Comparing Different Functional Allocations in Automated Air Traffic Control Design 103
SMT-based Validation of Timed Failure Propagation Graphs 96
An Integrated Process for FDIR Design in Aerospace 95
Formal Specification and Synthesis of FDI through an Example 94
FAME: A Model-Based Environment for FDIR Design in Aerospace 94
FAME Process: A Dedicated Development and V&V Process for FDIR 86
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 81
Diagnosability of fair transition systems 59
Totale 1.839
Categoria #
all - tutte 9.071
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 9.071


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/2025503 6 6 39 32 11 12 38 42 220 43 54 0
Totale 1.839