Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 629
EU - Europa 360
AS - Asia 78
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.069
Nazione #
US - Stati Uniti d'America 619
DE - Germania 78
IT - Italia 75
UA - Ucraina 47
SE - Svezia 34
BE - Belgio 30
IN - India 27
FI - Finlandia 25
GB - Regno Unito 22
CN - Cina 20
VN - Vietnam 17
IE - Irlanda 16
RU - Federazione Russa 13
CA - Canada 10
FR - Francia 5
KR - Corea 4
CH - Svizzera 3
HU - Ungheria 3
AT - Austria 2
EU - Europa 2
IR - Iran 2
JP - Giappone 2
LB - Libano 2
PK - Pakistan 2
SI - Slovenia 2
DK - Danimarca 1
ES - Italia 1
GR - Grecia 1
IL - Israele 1
PL - Polonia 1
RO - Romania 1
TJ - Tagikistan 1
Totale 1.069
Città #
Chandler 117
Jacksonville 80
Ann Arbor 59
Ashburn 45
Wilmington 32
Brussels 30
Trento 29
Los Angeles 22
Brooklyn 17
Dong Ket 17
Dublin 16
Helsinki 15
Boardman 12
Dearborn 12
Kronberg 12
New York 11
Houston 10
Woodbridge 9
Inglewood 8
Pune 8
Seattle 8
Beijing 7
Fargo 7
Ottawa 7
Redwood City 7
Genova 6
Laion 6
Cambridge 5
Duncan 5
Guangzhou 5
Milan 5
Natick 5
Sunnyvale 5
Loreggia 4
Shanghai 4
Belmont 3
Dresden 3
Dubendorf 3
Hyderabad 3
Longueuil 3
Mountain View 3
Pittsburgh 3
Ansbach 2
Budapest 2
Council Bluffs 2
Fremont 2
Hefei 2
Karlsruhe 2
Latina 2
Nanjing 2
Norwalk 2
Phoenix 2
Vienna 2
Yaroslavl 2
Alfeld 1
Anaheim 1
Ardabil 1
Barcelona 1
Braunschweig 1
Brunico 1
Centrale 1
Dortmund 1
Glasgow 1
Hanover 1
Hull 1
Kista 1
Leawood 1
Ljubljana 1
Los Altos 1
Loughborough 1
Monmouth Junction 1
Munich 1
Oakland 1
Palestrina 1
Pleasant Hill 1
Portici 1
Radcliffe 1
Rochester 1
Saint Petersburg 1
Secaucus 1
Tione Di Trento 1
Verona 1
Vicenza 1
Totale 721
Nome #
Formal reliability analysis of redundant architectures 225
Model-based Safety Assessment of a Triple Modular Generator with XSAP 99
Supporting Requirements Validation: The EuRailCheck Tool 92
Efficient Anytime Techniques for Model-Based Safety Analysis 89
The xSAP Safety Analysis Platform 84
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 84
Automated Analysis of Reliability Architectures 81
Efficient Analysis of Reliability Architectures via Predicate Abstraction 77
Safety Assessment of AltaRica Models via Symbolic Model Checking 75
Comparing Different Functional Allocations in Automated Air Traffic Control Design 73
Model Checking and Safety Assessment of Altarica models 71
Formal Safety Assessment via Contract-Based Design. 57
Totale 1.107
Categoria #
all - tutte 4.205
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 4.205


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201921 0 0 0 0 0 0 0 0 7 4 7 3
2019/2020199 15 14 4 4 24 14 21 6 27 35 16 19
2020/2021246 25 1 21 14 23 17 26 18 25 39 9 28
2021/2022123 9 5 4 15 1 3 8 10 7 5 35 21
2022/2023236 10 29 6 41 8 37 3 18 49 21 7 7
2023/2024132 11 8 17 20 15 32 8 21 0 0 0 0
Totale 1.107