Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 692
EU - Europa 518
AS - Asia 167
SA - Sud America 35
Continente sconosciuto - Info sul continente non disponibili 2
AF - Africa 1
Totale 1.415
Nazione #
US - Stati Uniti d'America 680
RU - Federazione Russa 141
IT - Italia 84
DE - Germania 83
UA - Ucraina 47
SG - Singapore 41
CN - Cina 35
SE - Svezia 34
BR - Brasile 33
FI - Finlandia 32
IN - India 27
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
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.415
Città #
Chandler 117
Jacksonville 80
Ann Arbor 59
Ashburn 46
Wilmington 32
Moscow 29
Trento 29
Boardman 27
Los Angeles 27
Hong Kong 25
Singapore 24
Helsinki 21
The Dalles 21
Brooklyn 17
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
Cambridge 5
Duncan 5
Guangzhou 5
Munich 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
Pittsburgh 3
São Paulo 3
Tokyo 3
Amman 2
Ansbach 2
Budapest 2
Fremont 2
Karlsruhe 2
Latina 2
Luxembourg 2
Norwalk 2
Phoenix 2
Prague 2
Rio de Janeiro 2
Santa Clara 2
Shanghai 2
Toronto 2
Vienna 2
Yaroslavl 2
Alfeld 1
Amsterdam 1
Anaheim 1
Ardabil 1
Asunción 1
Barcelona 1
Bitonto 1
Brasília 1
Braunschweig 1
Brescia 1
Brunico 1
Cachoeira do Sul 1
Campina Grande 1
Campinas 1
Centrale 1
Changsha 1
Contagem 1
Dhaka 1
Diadema 1
Dortmund 1
Duque de Caxias 1
Embu das Artes 1
Espoo 1
Falkenstein 1
Frankfurt am Main 1
Glasgow 1
Gravataí 1
Guapiara 1
Guarulhos 1
Handan 1
Harbin 1
Totale 868
Nome #
Formal reliability analysis of redundant architectures 251
Model-based Safety Assessment of a Triple Modular Generator with XSAP 137
The xSAP Safety Analysis Platform 122
Efficient Anytime Techniques for Model-Based Safety Analysis 121
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 121
Supporting Requirements Validation: The EuRailCheck Tool 111
Automated Analysis of Reliability Architectures 110
Safety Assessment of AltaRica Models via Symbolic Model Checking 105
Comparing Different Functional Allocations in Automated Air Traffic Control Design 102
Efficient Analysis of Reliability Architectures via Predicate Abstraction 97
Model Checking and Safety Assessment of Altarica models 96
Formal Safety Assessment via Contract-Based Design. 80
Totale 1.453
Categoria #
all - tutte 6.887
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.887


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/2025319 4 8 19 15 7 13 17 42 149 30 15 0
Totale 1.453