Mattarei, Cristian
 Distribuzione geografica
Continente #
EU - Europa 994
NA - Nord America 987
AS - Asia 420
SA - Sud America 105
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.518
Nazione #
US - Stati Uniti d'America 954
RU - Federazione Russa 531
SG - Singapore 142
DE - Germania 92
BR - Brasile 89
IT - Italia 87
CN - Cina 86
VN - Vietnam 65
UA - Ucraina 49
SE - Svezia 42
GB - Regno Unito 38
IN - India 37
FI - Finlandia 32
FR - Francia 31
HK - Hong Kong 28
CA - Canada 21
NL - Olanda 17
BE - Belgio 14
IE - Irlanda 14
PL - Polonia 14
JP - Giappone 11
MX - Messico 11
BD - Bangladesh 9
ES - Italia 6
AR - Argentina 5
IQ - Iraq 5
KR - Corea 4
LT - Lituania 4
MY - Malesia 4
NP - Nepal 4
ZA - Sudafrica 4
AT - Austria 3
CH - Svizzera 3
CO - Colombia 3
CZ - Repubblica Ceca 3
HU - Ungheria 3
ID - Indonesia 3
JO - Giordania 3
PY - Paraguay 3
TR - Turchia 3
EC - Ecuador 2
EU - Europa 2
IR - Iran 2
KE - Kenya 2
LB - Libano 2
LU - Lussemburgo 2
PK - Pakistan 2
RO - Romania 2
SA - Arabia Saudita 2
SI - Slovenia 2
TH - Thailandia 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
CG - Congo 1
CR - Costa Rica 1
DK - Danimarca 1
GR - Grecia 1
IL - Israele 1
MA - Marocco 1
MK - Macedonia 1
PH - Filippine 1
PT - Portogallo 1
SN - Senegal 1
TJ - Tagikistan 1
TN - Tunisia 1
UY - Uruguay 1
Totale 2.518
Città #
Chandler 117
San Jose 86
Ashburn 85
Jacksonville 80
Singapore 80
Ann Arbor 59
Los Angeles 42
The Dalles 34
Wilmington 32
Moscow 29
Trento 29
Boardman 28
Hong Kong 27
Beijing 22
Brooklyn 21
Helsinki 21
Dong Ket 17
Hanoi 16
New York 16
Dallas 15
Hefei 15
Brussels 14
Dublin 14
Dearborn 12
Kronberg 12
Houston 10
Milan 10
Munich 10
Ho Chi Minh City 9
Lauterbourg 9
Seattle 9
São Paulo 9
Tokyo 9
Woodbridge 9
Inglewood 8
Pune 8
Warsaw 8
Fargo 7
Ottawa 7
Redwood City 7
Genova 6
Guangzhou 6
Haiphong 6
Laion 6
Rio de Janeiro 6
Amsterdam 5
Atlanta 5
Cambridge 5
Chicago 5
Duncan 5
Hyderabad 5
Miami 5
Natick 5
Poplar 5
Sunnyvale 5
Boston 4
Council Bluffs 4
Denver 4
Frankfurt am Main 4
London 4
Loreggia 4
Mexico City 4
Orem 4
Paris 4
Querétaro 4
Stockholm 4
Toronto 4
Wroclaw 4
Amman 3
Asunción 3
Belmont 3
Dhaka 3
Dresden 3
Dubendorf 3
Guarulhos 3
Johannesburg 3
Longueuil 3
Mountain View 3
Mumbai 3
Nanjing 3
Norwalk 3
Phoenix 3
Pittsburgh 3
Salvador 3
Santa Clara 3
Shanghai 3
Vienna 3
Ansbach 2
Bangkok 2
Barcelona 2
Belo Horizonte 2
Bogotá 2
Budapest 2
Campinas 2
Campo Grande 2
Chennai 2
Columbus 2
Da Nang 2
Duque de Caxias 2
Fremont 2
Totale 1.267
Nome #
Formal reliability analysis of redundant architectures 336
Model-based Safety Assessment of a Triple Modular Generator with XSAP 229
The xSAP Safety Analysis Platform 218
Safety Assessment of AltaRica Models via Symbolic Model Checking 217
Efficient Anytime Techniques for Model-Based Safety Analysis 217
Automated Analysis of Reliability Architectures 211
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 201
Model Checking and Safety Assessment of Altarica models 196
Supporting Requirements Validation: The EuRailCheck Tool 192
Comparing Different Functional Allocations in Automated Air Traffic Control Design 188
Efficient Analysis of Reliability Architectures via Predicate Abstraction 185
Formal Safety Assessment via Contract-Based Design. 166
Totale 2.556
Categoria #
all - tutte 9.375
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 9.375


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202176 0 0 0 0 0 0 0 0 0 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/2025392 4 8 19 15 7 13 17 42 149 30 63 25
2025/20261.030 36 51 56 111 75 41 139 404 71 46 0 0
Totale 2.556