Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 1.094
EU - Europa 1.006
AS - Asia 430
SA - Sud America 106
Continente sconosciuto - Info sul continente non disponibili 40
AF - Africa 10
Totale 2.686
Nazione #
US - Stati Uniti d'America 1.060
RU - Federazione Russa 531
SG - Singapore 143
DE - Germania 92
CN - Cina 90
BR - Brasile 89
IT - Italia 87
VN - Vietnam 65
SE - Svezia 50
UA - Ucraina 49
GB - Regno Unito 38
IN - India 37
FI - Finlandia 32
FR - Francia 32
HK - Hong Kong 31
CA - Canada 21
NL - Olanda 17
BE - Belgio 14
IE - Irlanda 14
PL - Polonia 14
JP - Giappone 11
MX - Messico 11
BD - Bangladesh 10
ES - Italia 9
AR - Argentina 6
IQ - Iraq 5
NP - Nepal 5
KR - Corea 4
LT - Lituania 4
MY - Malesia 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
CR - Costa Rica 2
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
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.648
Città #
Chandler 117
San Jose 95
Ashburn 87
Council Bluffs 82
Singapore 81
Jacksonville 80
Ann Arbor 59
Los Angeles 42
The Dalles 34
Wilmington 32
Hong Kong 29
Moscow 29
Trento 29
Boardman 28
Beijing 24
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
Atlanta 6
Genova 6
Guangzhou 6
Haiphong 6
Laion 6
Rio de Janeiro 6
Amsterdam 5
Cambridge 5
Chicago 5
Duncan 5
Hyderabad 5
Miami 5
Natick 5
Poplar 5
Sunnyvale 5
Boston 4
Denver 4
Frankfurt am Main 4
London 4
Loreggia 4
Mexico City 4
Orem 4
Paris 4
Querétaro 4
Santa Clara 4
Shanghai 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
Vienna 3
Washington 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
Totale 1.365
Nome #
Formal reliability analysis of redundant architectures 344
Model-based Safety Assessment of a Triple Modular Generator with XSAP 244
The xSAP Safety Analysis Platform 230
Safety Assessment of AltaRica Models via Symbolic Model Checking 228
Efficient Anytime Techniques for Model-Based Safety Analysis 228
Automated Analysis of Reliability Architectures 221
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 216
Model Checking and Safety Assessment of Altarica models 206
Supporting Requirements Validation: The EuRailCheck Tool 200
Comparing Different Functional Allocations in Automated Air Traffic Control Design 197
Efficient Analysis of Reliability Architectures via Predicate Abstraction 195
Formal Safety Assessment via Contract-Based Design. 177
Totale 2.686
Categoria #
all - tutte 10.144
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 10.144


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022109 0 0 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.085 36 51 56 111 75 41 139 404 71 56 37 8
2026/202775 39 36 0 0 0 0 0 0 0 0 0 0
Totale 2.686