Gario, Marco Elio Gustavo
 Distribuzione geografica
Continente #
NA - Nord America 785
EU - Europa 371
AS - Asia 106
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 1.265
Nazione #
US - Stati Uniti d'America 780
DE - Germania 90
IT - Italia 52
UA - Ucraina 48
SE - Svezia 34
HK - Hong Kong 33
FI - Finlandia 31
IN - India 25
IE - Irlanda 24
VN - Vietnam 22
RU - Federazione Russa 21
GB - Regno Unito 20
CN - Cina 17
NL - Olanda 16
BE - Belgio 15
FR - Francia 9
CA - Canada 4
KR - Corea 4
CH - Svizzera 3
AT - Austria 2
ES - Italia 2
EU - Europa 2
PK - Pakistan 2
AU - Australia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
HU - Ungheria 1
IL - Israele 1
JP - Giappone 1
PL - Polonia 1
SG - Singapore 1
Totale 1.265
Città #
Chandler 174
Jacksonville 107
Ashburn 71
Wilmington 53
Ann Arbor 50
Hong Kong 32
Brooklyn 24
Dong Ket 22
Trento 19
Kronberg 17
Helsinki 16
Nijmegen 16
Boardman 15
Brussels 15
Dublin 15
New York 14
Dearborn 13
Woodbridge 12
Pune 10
Seattle 9
Ames 8
Fargo 7
Milan 7
Beijing 6
Genova 5
Inglewood 5
Munich 5
Natick 5
Phoenix 5
Redwood City 5
Sunnyvale 5
Duncan 4
Falls Church 4
Fulda 4
Belmont 3
Bolzano 3
Dubendorf 3
Guangzhou 3
Houston 3
Kildare 3
Longueuil 3
Mountain View 3
Norwalk 3
Shanghai 3
Stanford 3
Chengdu 2
Nanjing 2
Nuremberg 2
Ulm 2
Verona 2
Vienna 2
Volargne 2
Altoona 1
Anaheim 1
Bologna 1
Bristol 1
Brno 1
Bruchkoebel 1
Central 1
East Hartford 1
Eger 1
Falkenstein 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
Ottawa 1
Palestrina 1
Pleasant Hill 1
Portland 1
Redmond 1
San Mateo 1
Sesto San Giovanni 1
Sestri Levante 1
Shenzhen 1
Singapore 1
Vicenza 1
Totale 860
Nome #
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 126
Model-based Safety Assessment of a Triple Modular Generator with XSAP 101
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 94
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 85
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 85
The xSAP Safety Analysis Platform 82
A Lazy Approach to Temporal Epistemic Logic Model Checking 82
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 76
Comparing Different Functional Allocations in Automated Air Traffic Control Design 74
SMT-based Validation of Timed Failure Propagation Graphs 72
Formal Specification and Synthesis of FDI through an Example 68
FAME: A Model-Based Environment for FDIR Design in Aerospace 68
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 65
FAME Process: A Dedicated Development and V&V Process for FDIR 63
An Integrated Process for FDIR Design in Aerospace 63
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 59
Diagnosability of fair transition systems 32
Totale 1.295
Categoria #
all - tutte 5.647
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 5.647


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20193 0 0 0 0 0 0 0 0 0 0 1 2
2019/2020163 17 15 4 2 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/2024226 19 9 16 20 15 42 39 20 15 30 1 0
Totale 1.295