Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 1.030
EU - Europa 998
AS - Asia 428
SA - Sud America 105
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.573
Nazione #
US - Stati Uniti d'America 997
RU - Federazione Russa 531
SG - Singapore 142
DE - Germania 92
BR - Brasile 89
CN - Cina 89
IT - Italia 87
VN - Vietnam 65
UA - Ucraina 49
SE - Svezia 42
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 5
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
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.573
Città #
Chandler 117
San Jose 95
Ashburn 85
Jacksonville 80
Singapore 80
Ann Arbor 59
Los Angeles 42
Council Bluffs 36
The Dalles 34
Wilmington 32
Hong Kong 29
Moscow 29
Trento 29
Boardman 28
Beijing 23
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
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
Santa Clara 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.313
Nome #
Formal reliability analysis of redundant architectures 337
Model-based Safety Assessment of a Triple Modular Generator with XSAP 235
The xSAP Safety Analysis Platform 223
Efficient Anytime Techniques for Model-Based Safety Analysis 223
Safety Assessment of AltaRica Models via Symbolic Model Checking 221
Automated Analysis of Reliability Architectures 215
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 210
Model Checking and Safety Assessment of Altarica models 200
Supporting Requirements Validation: The EuRailCheck Tool 196
Comparing Different Functional Allocations in Automated Air Traffic Control Design 193
Efficient Analysis of Reliability Architectures via Predicate Abstraction 188
Formal Safety Assessment via Contract-Based Design. 170
Totale 2.611
Categoria #
all - tutte 9.762
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.762


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