SMITH, ROBERT LAWRENCE
 Distribuzione geografica
Continente #
NA - Nord America 54
AS - Asia 29
EU - Europa 27
SA - Sud America 4
AF - Africa 1
Totale 115
Nazione #
US - Stati Uniti d'America 54
RU - Federazione Russa 16
SG - Singapore 11
CN - Cina 5
IT - Italia 5
BR - Brasile 4
JP - Giappone 3
FI - Finlandia 2
FR - Francia 2
HK - Hong Kong 2
KR - Corea 2
DE - Germania 1
EG - Egitto 1
ID - Indonesia 1
IE - Irlanda 1
JO - Giordania 1
KZ - Kazakistan 1
OM - Oman 1
UZ - Uzbekistan 1
VN - Vietnam 1
Totale 115
Città #
Ashburn 10
San Jose 8
Chandler 7
Moscow 4
Singapore 4
Santa Clara 3
Tokyo 3
Council Bluffs 2
Fairfield 2
Milan 2
New York 2
San Diego 2
Seoul 2
Aktobe 1
Amman 1
Arluno 1
Boardman 1
Buffalo 1
Cairo 1
Cambridge 1
Dublin 1
Franca 1
Hong Kong 1
Hải Dương 1
Jakarta 1
Lappeenranta 1
Laredo 1
Lauterbourg 1
Lawrence 1
Los Angeles 1
Manhuaçu 1
Medford 1
Ningbo 1
Norwalk 1
Paris 1
Pedro Leopoldo 1
Rho 1
Rio de Janeiro 1
Santa Fe 1
Seeb 1
Tashkent 1
The Dalles 1
Turku 1
Vaiano 1
Woodbridge 1
Totale 83
Nome #
Improved Bounded Model Checking of Timed Automata 117
Totale 117
Categoria #
all - tutte 451
article - articoli 0
book - libri 0
conference - conferenze 451
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 902


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/202517 0 0 0 1 4 2 1 3 1 0 3 2
2025/202664 7 12 4 3 4 3 11 5 4 6 5 0
Totale 117