Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 661
EU - Europa 355
AS - Asia 130
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.148
Nazione #
US - Stati Uniti d'America 650
DE - Germania 82
IT - Italia 75
UA - Ucraina 47
SE - Svezia 34
CN - Cina 29
FI - Finlandia 27
IN - India 27
GB - Regno Unito 24
HK - Hong Kong 24
VN - Vietnam 17
BE - Belgio 14
SG - Singapore 14
IE - Irlanda 13
RU - Federazione Russa 13
CA - Canada 11
FR - Francia 6
JP - Giappone 5
KR - Corea 4
CH - Svizzera 3
HU - Ungheria 3
AT - Austria 2
CZ - Repubblica Ceca 2
EU - Europa 2
IR - Iran 2
LB - Libano 2
LU - Lussemburgo 2
PK - Pakistan 2
SI - Slovenia 2
BD - Bangladesh 1
DK - Danimarca 1
ES - Italia 1
GR - Grecia 1
IL - Israele 1
JO - Giordania 1
LT - Lituania 1
PL - Polonia 1
RO - Romania 1
TJ - Tagikistan 1
Totale 1.148
Città #
Chandler 117
Jacksonville 80
Ann Arbor 59
Ashburn 45
Wilmington 32
Trento 29
Boardman 27
Los Angeles 27
Hong Kong 24
Brooklyn 17
Dong Ket 17
Helsinki 16
Brussels 14
Dublin 13
Singapore 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
Munich 5
Natick 5
Sunnyvale 5
Loreggia 4
Miami 4
Belmont 3
Dresden 3
Dubendorf 3
Hyderabad 3
Longueuil 3
Mountain View 3
Nanjing 3
Pittsburgh 3
Tokyo 3
Ansbach 2
Budapest 2
Council Bluffs 2
Fremont 2
Hefei 2
Karlsruhe 2
Latina 2
Luxembourg 2
Norwalk 2
Phoenix 2
Shanghai 2
Vienna 2
Yaroslavl 2
Alfeld 1
Amman 1
Anaheim 1
Ardabil 1
Barcelona 1
Braunschweig 1
Brunico 1
Centrale 1
Dortmund 1
Espoo 1
Frankfurt am Main 1
Glasgow 1
Handan 1
Harbin 1
Hull 1
Kista 1
Leawood 1
Ljubljana 1
London 1
Los Altos 1
Loughborough 1
Monmouth Junction 1
Oakland 1
Olomouc 1
Palestrina 1
Pleasant Hill 1
Portici 1
Prague 1
Radcliffe 1
Rochester 1
Saint Petersburg 1
Santa Clara 1
Secaucus 1
Tione Di Trento 1
Toronto 1
Verona 1
Vicenza 1
Yuncheng 1
Totale 782
Nome #
Formal reliability analysis of redundant architectures 229
Model-based Safety Assessment of a Triple Modular Generator with XSAP 110
Supporting Requirements Validation: The EuRailCheck Tool 95
Efficient Anytime Techniques for Model-Based Safety Analysis 94
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 92
The xSAP Safety Analysis Platform 91
Automated Analysis of Reliability Architectures 89
Safety Assessment of AltaRica Models via Symbolic Model Checking 84
Comparing Different Functional Allocations in Automated Air Traffic Control Design 83
Efficient Analysis of Reliability Architectures via Predicate Abstraction 80
Model Checking and Safety Assessment of Altarica models 78
Formal Safety Assessment via Contract-Based Design. 61
Totale 1.186
Categoria #
all - tutte 5.519
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.519


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020162 0 0 0 0 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
2024/202552 4 8 19 15 6 0 0 0 0 0 0 0
Totale 1.186