Gario, Marco Elio Gustavo
 Distribuzione geografica
Continente #
NA - Nord America 850
EU - Europa 386
AS - Asia 159
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 1.399
Nazione #
US - Stati Uniti d'America 843
DE - Germania 93
IT - Italia 55
UA - Ucraina 48
HK - Hong Kong 37
SG - Singapore 36
FI - Finlandia 34
SE - Svezia 34
CN - Cina 28
IN - India 25
IE - Irlanda 24
VN - Vietnam 22
RU - Federazione Russa 21
GB - Regno Unito 20
NL - Olanda 18
BE - Belgio 15
FR - Francia 9
CA - Canada 6
KR - Corea 4
CH - Svizzera 3
AT - Austria 2
AU - Australia 2
ES - Italia 2
EU - Europa 2
JP - Giappone 2
LU - Lussemburgo 2
PK - Pakistan 2
AZ - Azerbaigian 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
HU - Ungheria 1
IL - Israele 1
JO - Giordania 1
LT - Lituania 1
PL - Polonia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 1.399
Città #
Chandler 174
Jacksonville 107
Ashburn 73
Boardman 54
Wilmington 53
Ann Arbor 50
Hong Kong 36
Singapore 30
Brooklyn 24
Dong Ket 22
Trento 22
Helsinki 18
Kronberg 17
Nijmegen 16
Brussels 15
Dublin 15
New York 14
Dearborn 13
Woodbridge 12
Pune 10
Seattle 9
Ames 8
Fargo 7
Milan 7
Munich 7
Beijing 6
Genova 5
Inglewood 5
Natick 5
Phoenix 5
Redwood City 5
Sunnyvale 5
Duncan 4
Falls Church 4
Fulda 4
Guangzhou 4
Belmont 3
Bolzano 3
Dubendorf 3
Houston 3
Kildare 3
Longueuil 3
Los Angeles 3
Miami 3
Mountain View 3
Nanjing 3
Norwalk 3
Shanghai 3
Stanford 3
Chengdu 2
Luxembourg 2
Nuremberg 2
Ottawa 2
San Jose 2
Santa Clara 2
Ulm 2
Verona 2
Vienna 2
Volargne 2
Altoona 1
Amman 1
Anaheim 1
Baku 1
Bologna 1
Bratislava 1
Bristol 1
Brno 1
Bruchkoebel 1
Central 1
Charlotte 1
East Hartford 1
Eger 1
Espoo 1
Falkenstein 1
Frankfurt am Main 1
Frattamaggiore 1
Glasgow 1
Hanover 1
Heredia 1
Ingolstadt 1
Izhevsk 1
Kensington 1
Kista 1
Le Chesnay 1
Lyngby 1
Melbourne 1
Monmouth Junction 1
Oakland 1
Palestrina 1
Pleasant Hill 1
Portland 1
Redmond 1
San Mateo 1
Sesto San Giovanni 1
Sestri Levante 1
Shenzhen 1
The Hague 1
Tokyo 1
Toronto 1
Vicenza 1
Totale 965
Nome #
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 137
Model-based Safety Assessment of a Triple Modular Generator with XSAP 110
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 102
A Lazy Approach to Temporal Epistemic Logic Model Checking 97
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 92
The xSAP Safety Analysis Platform 91
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 90
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 84
Comparing Different Functional Allocations in Automated Air Traffic Control Design 83
SMT-based Validation of Timed Failure Propagation Graphs 78
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 74
Formal Specification and Synthesis of FDI through an Example 73
FAME: A Model-Based Environment for FDIR Design in Aerospace 72
FAME Process: A Dedicated Development and V&V Process for FDIR 71
An Integrated Process for FDIR Design in Aerospace 71
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 65
Diagnosability of fair transition systems 39
Totale 1.429
Categoria #
all - tutte 7.132
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 7.132


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020125 0 0 0 0 22 10 21 1 24 22 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/202593 6 6 39 32 10 0 0 0 0 0 0 0
Totale 1.429