Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 704
EU - Europa 519
AS - Asia 172
SA - Sud America 46
Continente sconosciuto - Info sul continente non disponibili 2
AF - Africa 1
Totale 1.444
Nazione #
US - Stati Uniti d'America 690
RU - Federazione Russa 141
DE - Germania 84
IT - Italia 84
UA - Ucraina 47
BR - Brasile 44
SG - Singapore 44
CN - Cina 35
SE - Svezia 34
FI - Finlandia 32
IN - India 29
GB - Regno Unito 26
HK - Hong Kong 25
VN - Vietnam 17
BE - Belgio 14
IE - Irlanda 14
NL - Olanda 13
CA - Canada 12
FR - Francia 6
JP - Giappone 5
KR - Corea 4
CH - Svizzera 3
CZ - Repubblica Ceca 3
HU - Ungheria 3
LT - Lituania 3
AT - Austria 2
BD - Bangladesh 2
EU - Europa 2
IR - Iran 2
JO - Giordania 2
LB - Libano 2
LU - Lussemburgo 2
MX - Messico 2
PK - Pakistan 2
SI - Slovenia 2
DK - Danimarca 1
ES - Italia 1
GR - Grecia 1
IL - Israele 1
MK - Macedonia 1
PL - Polonia 1
PY - Paraguay 1
RO - Romania 1
TJ - Tagikistan 1
TN - Tunisia 1
TR - Turchia 1
VE - Venezuela 1
Totale 1.444
Città #
Chandler 117
Jacksonville 80
Ann Arbor 59
Ashburn 47
Wilmington 32
Moscow 29
Trento 29
Boardman 27
Los Angeles 27
Hong Kong 25
Singapore 25
The Dalles 23
Helsinki 21
Brooklyn 18
Dong Ket 17
Brussels 14
Dublin 14
Dearborn 12
Kronberg 12
New York 11
Houston 10
Milan 10
Woodbridge 9
Inglewood 8
Pune 8
Seattle 8
Beijing 7
Fargo 7
Ottawa 7
Redwood City 7
Genova 6
Laion 6
Munich 6
Cambridge 5
Duncan 5
Guangzhou 5
Natick 5
Sunnyvale 5
Council Bluffs 4
Loreggia 4
Miami 4
Belmont 3
Dresden 3
Dubendorf 3
Hefei 3
Hyderabad 3
London 3
Longueuil 3
Mountain View 3
Nanjing 3
Phoenix 3
Pittsburgh 3
São Paulo 3
Tokyo 3
Amman 2
Ansbach 2
Budapest 2
Fremont 2
Karlsruhe 2
Latina 2
Luxembourg 2
Norwalk 2
Prague 2
Rio de Janeiro 2
Salvador 2
Santa Clara 2
Shanghai 2
Toronto 2
Vienna 2
Yaroslavl 2
Alfeld 1
Amsterdam 1
Anaheim 1
Anta Gorda 1
Ardabil 1
Arês 1
Asunción 1
Atlanta 1
Barcelona 1
Belo Horizonte 1
Bitonto 1
Boston 1
Brasília 1
Braunschweig 1
Brescia 1
Brunico 1
Cachoeira do Sul 1
Campina Grande 1
Campinas 1
Centrale 1
Changsha 1
Chicago 1
Contagem 1
Dhaka 1
Diadema 1
Dortmund 1
Dourados 1
Duque de Caxias 1
Embu das Artes 1
Espoo 1
Totale 876
Nome #
Formal reliability analysis of redundant architectures 254
Model-based Safety Assessment of a Triple Modular Generator with XSAP 138
The xSAP Safety Analysis Platform 124
Efficient Anytime Techniques for Model-Based Safety Analysis 124
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 122
Automated Analysis of Reliability Architectures 115
Supporting Requirements Validation: The EuRailCheck Tool 113
Safety Assessment of AltaRica Models via Symbolic Model Checking 110
Comparing Different Functional Allocations in Automated Air Traffic Control Design 103
Model Checking and Safety Assessment of Altarica models 99
Efficient Analysis of Reliability Architectures via Predicate Abstraction 98
Formal Safety Assessment via Contract-Based Design. 82
Totale 1.482
Categoria #
all - tutte 7.013
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 7.013


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202035 0 0 0 0 0 0 0 0 0 0 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/2025348 4 8 19 15 7 13 17 42 149 30 44 0
Totale 1.482