Dorigatti, Michele
 Distribuzione geografica
Continente #
NA - Nord America 99
EU - Europa 86
AS - Asia 38
SA - Sud America 9
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 1
Totale 237
Nazione #
US - Stati Uniti d'America 96
RU - Federazione Russa 36
DE - Germania 15
CN - Cina 12
UA - Ucraina 10
HK - Hong Kong 9
BR - Brasile 8
SG - Singapore 8
FI - Finlandia 7
EU - Europa 4
IE - Irlanda 4
IN - India 4
IT - Italia 4
NL - Olanda 4
SE - Svezia 4
CA - Canada 3
VN - Vietnam 3
AR - Argentina 1
BF - Burkina Faso 1
ES - Italia 1
GB - Regno Unito 1
JP - Giappone 1
PK - Pakistan 1
Totale 237
Città #
Jacksonville 22
Chandler 19
Hong Kong 9
Moscow 9
Ashburn 4
Beijing 4
Helsinki 4
The Dalles 4
Wilmington 4
Boardman 3
Dearborn 3
Dong Ket 3
Dublin 3
Hefei 3
Kronberg 3
Ottawa 3
Singapore 3
Ann Arbor 2
Collepasso 2
Las Vegas 2
San Francisco 2
Alvorada 1
Arcoverde 1
Borgo San Lorenzo 1
Brasília 1
Ciudad Evita 1
Comano 1
Duncan 1
Fuzhou 1
Guangzhou 1
Itajaí 1
Karlsruhe 1
Los Angeles 1
Munich 1
New York 1
Ouagadougou 1
Palmas 1
Phoenix 1
Saint Petersburg 1
Santa Clara 1
Shanghai 1
São Paulo 1
Tokyo 1
Umari 1
Vitória de Santo Antão 1
Wuhan 1
Zhengzhou 1
Totale 137
Nome #
Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case 87
The nuXmv Symbolic Model Checker 85
OCRA: A tool for checking the refinement of temporal contracts 68
Totale 240
Categoria #
all - tutte 1.433
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 1.433


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20204 0 0 0 0 0 0 0 0 0 0 0 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/202422 5 1 2 1 0 4 1 3 2 0 0 3
2024/202583 0 1 5 2 3 0 3 7 35 12 15 0
Totale 240