Lidström, Christian
 Distribuzione geografica
Continente #
NA - Nord America 66
EU - Europa 60
AS - Asia 38
SA - Sud America 18
AF - Africa 3
Totale 185
Nazione #
US - Stati Uniti d'America 64
RU - Federazione Russa 37
VN - Vietnam 13
BR - Brasile 10
IT - Italia 10
SG - Singapore 8
HK - Hong Kong 7
CN - Cina 4
CO - Colombia 3
GB - Regno Unito 3
SE - Svezia 3
AR - Argentina 2
CA - Canada 2
DE - Germania 2
EC - Ecuador 2
ES - Italia 2
IL - Israele 2
AT - Austria 1
AZ - Azerbaigian 1
CL - Cile 1
EG - Egitto 1
FR - Francia 1
JO - Giordania 1
KW - Kuwait 1
PK - Pakistan 1
TN - Tunisia 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 185
Città #
Dallas 32
San Jose 10
Hong Kong 7
Ho Chi Minh City 5
Milan 4
Ashburn 3
Beijing 3
Los Angeles 3
Curno 2
Ibagué 2
Montreal 2
Singapore 2
Villaviciosa de Odón 2
Al Mansurah 1
Amman 1
Annapolis 1
Avşar 1
Belo Horizonte 1
Bexley 1
Brooklyn 1
Buffalo 1
Bắc Ninh 1
Cacequi 1
Cali 1
Cape Town 1
Capitão Poço 1
Council Bluffs 1
Da Lat 1
Da Nang 1
Denver 1
Exeter 1
Feira de Santana 1
Gujranwala 1
Hanoi 1
Hải Dương 1
Jerusalem 1
Joinville 1
Kaiserslautern 1
Kuwait City 1
Kyiv 1
Lauterbourg 1
Manaus 1
Miami 1
Orem 1
Pergine Valsugana 1
Phoenix 1
Poplar 1
Porto Alegre 1
Providence 1
Quito 1
Quận Bốn 1
Rondonópolis 1
Salvador 1
San Benito 1
San Miguel 1
Santa Maria da Vitória 1
Santiago 1
Sfax 1
Sidcup 1
St Petersburg 1
Totale 124
Nome #
Automated Parameterized Verification of a Railway Protection System with Dafny 166
Formal Analysis of a Railway Signaling Block Designed in AIDA 25
Totale 191
Categoria #
all - tutte 303
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 303


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026191 6 40 16 21 10 6 13 46 21 12 0 0
Totale 191