Dorigatti, Michele
 Distribuzione geografica
Continente #
NA - Nord America 81
EU - Europa 47
AS - Asia 19
Continente sconosciuto - Info sul continente non disponibili 4
Totale 151
Nazione #
US - Stati Uniti d'America 78
DE - Germania 13
UA - Ucraina 10
CN - Cina 9
FI - Finlandia 6
EU - Europa 4
IE - Irlanda 4
IN - India 4
IT - Italia 4
RU - Federazione Russa 4
SE - Svezia 4
CA - Canada 3
VN - Vietnam 3
HK - Hong Kong 2
GB - Regno Unito 1
NL - Olanda 1
PK - Pakistan 1
Totale 151
Città #
Jacksonville 22
Chandler 19
Ashburn 4
Beijing 4
Wilmington 4
Dearborn 3
Dong Ket 3
Dublin 3
Helsinki 3
Kronberg 3
Ottawa 3
Ann Arbor 2
Collepasso 2
Hong Kong 2
San Francisco 2
Boardman 1
Borgo San Lorenzo 1
Comano 1
Duncan 1
Fuzhou 1
Guangzhou 1
Karlsruhe 1
New York 1
Phoenix 1
Saint Petersburg 1
Shanghai 1
Wuhan 1
Zhengzhou 1
Totale 92
Nome #
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 59
The nuXmv Symbolic Model Checker 57
OCRA: A tool for checking the refinement of temporal contracts 38
Totale 154
Categoria #
all - tutte 868
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 868


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191 0 0 0 0 0 0 0 0 0 0 1 0
2019/202040 4 3 0 2 5 1 6 0 3 7 5 4
2020/202125 3 0 3 0 3 1 5 1 0 6 0 3
2021/202211 0 0 1 4 0 0 0 2 1 0 1 2
2022/202339 1 2 2 4 4 9 0 1 13 2 1 0
2023/202419 5 1 2 1 0 4 1 3 2 0 0 0
Totale 154