Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 1.195
EU - Europa 1.009
AS - Asia 430
SA - Sud America 106
Continente sconosciuto - Info sul continente non disponibili 40
AF - Africa 10
Totale 2.790
Nazione #
US - Stati Uniti d'America 1.161
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 40
IN - India 37
FR - Francia 33
FI - Finlandia 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.752
Città #
Chandler 117
San Jose 108
Ashburn 89
Council Bluffs 82
Singapore 81
Jacksonville 80
Ann Arbor 59
Los Angeles 47
The Dalles 34
Wilmington 32
Hong Kong 29
Moscow 29
Trento 29
Boardman 28
Beijing 24
Brooklyn 21
Helsinki 21
New York 20
Dong Ket 17
Hanoi 16
Dallas 15
Hefei 15
Brussels 14
Dublin 14
Dearborn 12
Kronberg 12
Houston 11
Buffalo 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
Chicago 7
Fargo 7
Ottawa 7
Redwood City 7
Atlanta 6
Genova 6
Guangzhou 6
Haiphong 6
Laion 6
Phoenix 6
Rio de Janeiro 6
Amsterdam 5
Cambridge 5
Denver 5
Duncan 5
Garland 5
Hyderabad 5
Miami 5
Natick 5
Poplar 5
Sunnyvale 5
Boston 4
Frankfurt am Main 4
London 4
Loreggia 4
Mexico City 4
Orem 4
Paris 4
Pittsburgh 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
Lawrenceville 3
Longueuil 3
Mountain View 3
Mumbai 3
Nanjing 3
Norwalk 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
Totale 1.409
Nome #
Formal reliability analysis of redundant architectures 353
Model-based Safety Assessment of a Triple Modular Generator with XSAP 251
The xSAP Safety Analysis Platform 241
Safety Assessment of AltaRica Models via Symbolic Model Checking 237
Efficient Anytime Techniques for Model-Based Safety Analysis 237
Automated Analysis of Reliability Architectures 228
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 224
Model Checking and Safety Assessment of Altarica models 215
Supporting Requirements Validation: The EuRailCheck Tool 208
Comparing Different Functional Allocations in Automated Air Traffic Control Design 207
Efficient Analysis of Reliability Architectures via Predicate Abstraction 204
Formal Safety Assessment via Contract-Based Design. 185
Totale 2.790
Categoria #
all - tutte 10.548
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.548


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022105 0 0 0 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/2027179 39 36 68 36 0 0 0 0 0 0 0 0
Totale 2.790