Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 489
AS - Asia 224
EU - Europa 124
SA - Sud America 22
Continente sconosciuto - Info sul continente non disponibili 10
AF - Africa 5
Totale 874
Nazione #
US - Stati Uniti d'America 478
SG - Singapore 76
VN - Vietnam 75
CN - Cina 36
IT - Italia 28
RU - Federazione Russa 25
BR - Brasile 16
DE - Germania 12
FR - Francia 12
GB - Regno Unito 10
KR - Corea 8
FI - Finlandia 7
IN - India 7
SE - Svezia 7
LV - Lettonia 6
BG - Bulgaria 5
CA - Canada 5
HK - Hong Kong 5
AR - Argentina 3
CR - Costa Rica 3
PL - Polonia 3
TR - Turchia 3
EG - Egitto 2
ES - Italia 2
ID - Indonesia 2
JO - Giordania 2
JP - Giappone 2
KE - Kenya 2
MX - Messico 2
NL - Olanda 2
AE - Emirati Arabi Uniti 1
BE - Belgio 1
CL - Cile 1
EC - Ecuador 1
IE - Irlanda 1
IL - Israele 1
IQ - Iraq 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LT - Lituania 1
MY - Malesia 1
PK - Pakistan 1
PY - Paraguay 1
RS - Serbia 1
SA - Arabia Saudita 1
SV - El Salvador 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 864
Città #
Ashburn 93
Chandler 47
Singapore 46
San Jose 27
Dallas 21
Santa Clara 20
Hanoi 19
Los Angeles 18
Council Bluffs 17
New York 16
Ho Chi Minh City 15
Columbus 13
Beijing 12
Fairfield 12
Washington 11
Princeton 10
Woodbridge 9
Seoul 8
Helsinki 7
Houston 7
Moscow 7
San Mateo 7
Haiphong 6
Lauterbourg 6
Riga 6
Wilmington 6
Como 5
Da Nang 5
Milan 5
Munich 5
Brooklyn 4
Cagliari 4
Paris 4
Sofia 4
Biên Hòa 3
Cambridge 3
Chengdu 3
Chicago 3
Frankfurt am Main 3
North Bergen 3
San Francisco 3
San José 3
The Dalles 3
Toronto 3
Warsaw 3
Boardman 2
Bologna 2
Bến Tre 2
Charlotte 2
Chennai 2
Coventry 2
Cumberland 2
Hong Kong 2
Hyderabad 2
London 2
Manchester 2
Montreal 2
Nairobi 2
Phoenix 2
Quảng Ninh 2
Redondo Beach 2
Rome 2
San Diego 2
Seattle 2
Stockholm 2
Thái Nguyên 2
Tokyo 2
Tân Bình 2
Abaetetuba 1
Agrolândia 1
Albany 1
Almaty 1
Amsterdam 1
Ankara 1
Ann Arbor 1
Antakya 1
Arnsberg 1
Asunción 1
Aurangabad 1
Barking 1
Beckley 1
Belo Horizonte 1
Bengaluru 1
Bilqās 1
Bishkek 1
Brussels 1
Buffalo 1
Buon Ma Thuot 1
Bắc Giang 1
Cairo 1
Can Tho 1
Carapicuíba 1
Charleston 1
Chongqing 1
Coroatá 1
Denver 1
Dobropol'ye 1
Drexel Hill 1
Dublin 1
El Colorado 1
Totale 613
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 207
Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications 173
The xSAP Safety Analysis Platform 150
Safety Assessment of AltaRica Models via Symbolic Model Checking 139
Model Checking and Safety Assessment of Altarica models 112
Efficient Anytime Techniques for Model-Based Safety Analysis 93
Totale 874
Categoria #
all - tutte 4.128
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 4.128


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202236 0 0 0 0 2 1 0 13 2 1 6 11
2022/202383 10 13 0 16 6 11 0 5 13 1 4 4
2023/202443 5 3 2 2 2 15 1 4 0 3 0 6
2024/2025121 2 0 6 25 7 19 1 6 10 26 10 9
2025/2026361 14 6 40 45 43 19 99 7 24 35 7 22
2026/2027170 10 15 37 104 4 0 0 0 0 0 0 0
Totale 874