Gario, Marco Elio Gustavo
 Distribuzione geografica
Continente #
NA - Nord America 819
EU - Europa 372
AS - Asia 112
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 1.306
Nazione #
US - Stati Uniti d'America 814
DE - Germania 90
IT - Italia 52
UA - Ucraina 48
SE - Svezia 34
HK - Hong Kong 33
FI - Finlandia 32
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
SG - Singapore 6
CA - Canada 4
KR - Corea 4
CH - Svizzera 3
AT - Austria 2
ES - Italia 2
EU - Europa 2
JP - Giappone 2
PK - Pakistan 2
AU - Australia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
HU - Ungheria 1
IL - Israele 1
PL - Polonia 1
Totale 1.306
Città #
Chandler 174
Jacksonville 107
Ashburn 71
Wilmington 53
Ann Arbor 50
Boardman 47
Hong Kong 32
Brooklyn 24
Dong Ket 22
Trento 19
Helsinki 17
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
Beijing 6
Genova 5
Inglewood 5
Munich 5
Natick 5
Phoenix 5
Redwood City 5
Singapore 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
San Jose 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
Tokyo 1
Vicenza 1
Totale 900
Nome #
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 130
Model-based Safety Assessment of a Triple Modular Generator with XSAP 105
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 96
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 87
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 87
A Lazy Approach to Temporal Epistemic Logic Model Checking 85
The xSAP Safety Analysis Platform 84
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 79
Comparing Different Functional Allocations in Automated Air Traffic Control Design 76
SMT-based Validation of Timed Failure Propagation Graphs 75
Formal Specification and Synthesis of FDI through an Example 71
FAME: A Model-Based Environment for FDIR Design in Aerospace 70
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 66
FAME Process: A Dedicated Development and V&V Process for FDIR 65
An Integrated Process for FDIR Design in Aerospace 65
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 61
Diagnosability of fair transition systems 34
Totale 1.336
Categoria #
all - tutte 6.180
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 6.180


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024267 19 9 16 20 15 42 39 20 15 30 4 38
Totale 1.336