Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 646
EU - Europa 342
AS - Asia 106
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.096
Nazione #
US - Stati Uniti d'America 636
DE - Germania 77
IT - Italia 75
UA - Ucraina 47
SE - Svezia 34
IN - India 27
FI - Finlandia 25
GB - Regno Unito 22
HK - Hong Kong 22
CN - Cina 18
VN - Vietnam 17
BE - Belgio 14
IE - Irlanda 13
RU - Federazione Russa 13
CA - Canada 10
FR - Francia 6
JP - Giappone 5
SG - Singapore 5
KR - Corea 4
CH - Svizzera 3
HU - Ungheria 3
AT - Austria 2
EU - Europa 2
IR - Iran 2
LB - Libano 2
PK - Pakistan 2
SI - Slovenia 2
CZ - Repubblica Ceca 1
DK - Danimarca 1
ES - Italia 1
GR - Grecia 1
IL - Israele 1
PL - Polonia 1
RO - Romania 1
TJ - Tagikistan 1
Totale 1.096
Città #
Chandler 117
Jacksonville 80
Ann Arbor 59
Ashburn 45
Wilmington 32
Trento 29
Boardman 26
Los Angeles 25
Hong Kong 22
Brooklyn 17
Dong Ket 17
Helsinki 15
Brussels 14
Dublin 13
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
Singapore 4
Belmont 3
Dresden 3
Dubendorf 3
Hyderabad 3
Longueuil 3
Mountain View 3
Pittsburgh 3
Tokyo 3
Ansbach 2
Budapest 2
Council Bluffs 2
Fremont 2
Hefei 2
Karlsruhe 2
Latina 2
Nanjing 2
Norwalk 2
Phoenix 2
Shanghai 2
Vienna 2
Yaroslavl 2
Alfeld 1
Anaheim 1
Ardabil 1
Barcelona 1
Braunschweig 1
Brunico 1
Centrale 1
Dortmund 1
Glasgow 1
Hull 1
Kista 1
Leawood 1
Ljubljana 1
Los Altos 1
Loughborough 1
Monmouth Junction 1
Munich 1
Oakland 1
Olomouc 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 746
Nome #
Formal reliability analysis of redundant architectures 226
Model-based Safety Assessment of a Triple Modular Generator with XSAP 105
Supporting Requirements Validation: The EuRailCheck Tool 93
Efficient Anytime Techniques for Model-Based Safety Analysis 91
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 87
The xSAP Safety Analysis Platform 84
Automated Analysis of Reliability Architectures 83
Efficient Analysis of Reliability Architectures via Predicate Abstraction 79
Safety Assessment of AltaRica Models via Symbolic Model Checking 78
Comparing Different Functional Allocations in Automated Air Traffic Control Design 76
Model Checking and Safety Assessment of Altarica models 74
Formal Safety Assessment via Contract-Based Design. 58
Totale 1.134
Categoria #
all - tutte 4.757
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.757


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 0 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/2023226 10 29 6 41 8 37 3 18 44 18 7 5
2023/2024169 8 6 14 17 14 32 8 21 1 25 0 23
Totale 1.134