Mattarei, Cristian
 Distribuzione geografica
Continente #
NA - Nord America 274
AS - Asia 118
EU - Europa 84
SA - Sud America 14
AF - Africa 2
Totale 492
Nazione #
US - Stati Uniti d'America 270
SG - Singapore 67
CN - Cina 31
RU - Federazione Russa 25
IT - Italia 13
BR - Brasile 12
DE - Germania 11
VN - Vietnam 9
LV - Lettonia 6
SE - Svezia 6
FI - Finlandia 5
GB - Regno Unito 5
BG - Bulgaria 4
FR - Francia 4
CA - Canada 3
HK - Hong Kong 2
IN - India 2
JO - Giordania 2
JP - Giappone 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BE - Belgio 1
EC - Ecuador 1
EG - Egitto 1
KE - Kenya 1
KG - Kirghizistan 1
LT - Lituania 1
MX - Messico 1
NL - Olanda 1
PL - Polonia 1
TR - Turchia 1
UA - Ucraina 1
Totale 492
Città #
Chandler 47
Singapore 43
Ashburn 22
Dallas 19
Santa Clara 14
Columbus 12
Fairfield 12
Beijing 11
Los Angeles 11
New York 11
Princeton 10
Woodbridge 9
Moscow 7
San Mateo 7
Houston 6
Riga 6
Wilmington 6
Como 5
Helsinki 5
Munich 5
Cagliari 4
Sofia 4
Brooklyn 3
Cambridge 3
Frankfurt am Main 3
Hanoi 3
Paris 3
Toronto 3
Ho Chi Minh City 2
Hong Kong 2
Redondo Beach 2
San Diego 2
Tokyo 2
Washington 2
Abaetetuba 1
Albany 1
Amsterdam 1
Ankara 1
Ann Arbor 1
Barking 1
Belo Horizonte 1
Bilqās 1
Bishkek 1
Biên Hòa 1
Boardman 1
Brussels 1
Bắc Giang 1
Carapicuíba 1
Charleston 1
Charlotte 1
Chongqing 1
Coroatá 1
Council Bluffs 1
Denver 1
Dobropol'ye 1
Extrema 1
Falkenstein 1
Falls Church 1
Fremont 1
Guangzhou 1
Ha Long 1
Hefei 1
Hyderabad 1
Irkutsk 1
Itanhaém 1
Jaú 1
Jinan 1
Jining 1
Kaneohe 1
Kota 1
London 1
Manchester 1
Miami 1
Milwaukee 1
Nairobi 1
Nanning 1
Newark 1
Newaygo 1
Norwalk 1
O'Fallon 1
Osasco 1
Parobé 1
Phoenix 1
Port Arthur 1
Raleigh 1
Rio de Janeiro 1
Rome 1
Sacramento 1
San Miguel de Tucumán 1
San Paolo di Civitate 1
Seattle 1
Sharjah 1
Shijiazhuang 1
Sorocaba 1
Stockholm 1
Tarifa 1
Toms River 1
Tuxtla Gutiérrez 1
Viana 1
Warsaw 1
Totale 372
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 137
Safety Assessment of AltaRica Models via Symbolic Model Checking 94
The xSAP Safety Analysis Platform 78
Model Checking and Safety Assessment of Altarica models 77
Efficient Anytime Techniques for Model-Based Safety Analysis 61
Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications 55
Totale 502
Categoria #
all - tutte 3.014
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 3.014


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202117 0 0 0 0 0 1 0 7 0 5 0 4
2021/202240 0 1 0 3 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/2026159 14 6 40 45 43 11 0 0 0 0 0 0
Totale 502