SMITH, ROBERT LAWRENCE
 Distribuzione geografica
Continente #
NA - Nord America 27
EU - Europa 7
AS - Asia 5
Totale 39
Nazione #
US - Stati Uniti d'America 27
IT - Italia 5
CN - Cina 2
DE - Germania 1
ID - Indonesia 1
IE - Irlanda 1
JO - Giordania 1
SG - Singapore 1
Totale 39
Città #
Chandler 7
Fairfield 2
Milan 2
San Diego 2
Santa Clara 2
Amman 1
Arluno 1
Ashburn 1
Boardman 1
Cambridge 1
Dublin 1
Jakarta 1
Lawrence 1
Medford 1
Ningbo 1
Norwalk 1
Rho 1
Vaiano 1
Woodbridge 1
Totale 29
Nome #
Improved Bounded Model Checking of Timed Automata 41
Totale 41
Categoria #
all - tutte 237
article - articoli 0
book - libri 0
conference - conferenze 237
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 474


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202213 0 0 2 2 0 2 2 1 0 3 0 1
2022/202316 2 2 0 3 2 1 0 1 5 0 0 0
2023/20247 0 1 0 2 0 2 0 1 0 0 0 1
2024/20255 0 0 0 1 4 0 0 0 0 0 0 0
Totale 41