IRIS Institutional Research Information System

Mattarei, Cristian
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 856
EU - Europa 576
AS - Asia 304
SA - Sud America 93
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.839
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 829
RU - Federazione Russa 143
SG - Singapore 103
DE - Germania 91
IT - Italia 84
BR - Brasile 81
CN - Cina 74
UA - Ucraina 49
SE - Svezia 38
GB - Regno Unito 36
FI - Finlandia 32
IN - India 32
HK - Hong Kong 27
VN - Vietnam 27
CA - Canada 18
FR - Francia 18
NL - Olanda 17
BE - Belgio 14
IE - Irlanda 14
PL - Polonia 12
JP - Giappone 10
MX - Messico 9
BD - Bangladesh 7
AR - Argentina 5
ES - Italia 4
KR - Corea 4
LT - Lituania 4
CH - Svizzera 3
CZ - Repubblica Ceca 3
HU - Ungheria 3
IQ - Iraq 3
JO - Giordania 3
ZA - Sudafrica 3
AT - Austria 2
EC - Ecuador 2
EU - Europa 2
IR - Iran 2
KE - Kenya 2
LB - Libano 2
LU - Lussemburgo 2
PK - Pakistan 2
PY - Paraguay 2
RO - Romania 2
SI - Slovenia 2
TR - Turchia 2
CO - Colombia 1
DK - Danimarca 1
GR - Grecia 1
ID - Indonesia 1
IL - Israele 1
MA - Marocco 1
MK - Macedonia 1
MY - Malesia 1
NP - Nepal 1
SN - Senegal 1
TJ - Tagikistan 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 1.839
Salva come PNG Salva come JPEG
Città #
Chandler 117
Jacksonville 80
Ashburn 77
Singapore 65
Ann Arbor 59
Los Angeles 38
Wilmington 32
Moscow 29
Trento 29
Boardman 28
Hong Kong 27
The Dalles 23
Beijing 22
Brooklyn 21
Helsinki 21
Dong Ket 17
New York 16
Dallas 15
Hefei 15
Brussels 14
Dublin 14
Dearborn 12
Kronberg 12
Houston 10
Milan 10
Munich 10
Seattle 9
São Paulo 9
Woodbridge 9
Inglewood 8
Pune 8
Tokyo 8
Warsaw 8
Fargo 7
Ottawa 7
Redwood City 7
Genova 6
Guangzhou 6
Laion 6
Amsterdam 5
Cambridge 5
Chicago 5
Duncan 5
Miami 5
Natick 5
Poplar 5
Rio de Janeiro 5
Sunnyvale 5
Atlanta 4
Boston 4
Council Bluffs 4
Denver 4
Frankfurt am Main 4
Ho Chi Minh City 4
London 4
Loreggia 4
Paris 4
Querétaro 4
Stockholm 4
Toronto 4
Amman 3
Belmont 3
Dresden 3
Dubendorf 3
Hyderabad 3
Johannesburg 3
Longueuil 3
Mexico City 3
Mountain View 3
Nanjing 3
Norwalk 3
Orem 3
Phoenix 3
Pittsburgh 3
Salvador 3
Santa Clara 3
Shanghai 3
Ansbach 2
Asunción 2
Belo Horizonte 2
Budapest 2
Campinas 2
Campo Grande 2
Chennai 2
Columbus 2
Dhaka 2
Fremont 2
Guarulhos 2
Haiphong 2
Hanoi 2
Karlsruhe 2
Latina 2
Luxembourg 2
Manchester 2
Montreal 2
Mumbai 2
Prague 2
Quito 2
São José dos Campos 2
São Leopoldo 2
Totale 1.101
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 287
Model-based Safety Assessment of a Triple Modular Generator with XSAP 165
The xSAP Safety Analysis Platform 159
Automated Analysis of Reliability Architectures 153
Safety Assessment of AltaRica Models via Symbolic Model Checking 153
Efficient Anytime Techniques for Model-Based Safety Analysis 152
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 148
Model Checking and Safety Assessment of Altarica models 140
Supporting Requirements Validation: The EuRailCheck Tool 139
Comparing Different Functional Allocations in Automated Air Traffic Control Design 135
Efficient Analysis of Reliability Architectures via Predicate Abstraction 130
Formal Safety Assessment via Contract-Based Design. 116
Totale 1.877
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.366
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 8.366
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021162 0 0 0 0 0 17 26 18 25 39 9 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/2026351 36 51 56 111 75 22 0 0 0 0 0 0
Totale 1.877