Trenti, Dylan
 Distribuzione geografica
Continente #
NA - Nord America 77
EU - Europa 62
AS - Asia 38
SA - Sud America 18
AF - Africa 3
Totale 198
Nazione #
US - Stati Uniti d'America 75
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
HU - Ungheria 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 198
Città #
Dallas 32
San Jose 10
Council Bluffs 7
Hong Kong 7
Ho Chi Minh City 5
Ashburn 4
Milan 4
Beijing 3
Los Angeles 3
Budapest 2
Curno 2
Ibagué 2
Montreal 2
Santa Clara 2
Singapore 2
Villaviciosa de Odón 2
Al Mansurah 1
Amman 1
Annapolis 1
Atlanta 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
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
Rosedale 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 137
Nome #
Automated Parameterized Verification of a Railway Protection System with Dafny 172
Formal Analysis of a Railway Signaling Block Designed in AIDA 32
Totale 204
Categoria #
all - tutte 412
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 412


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026204 6 40 16 21 10 6 13 46 21 12 8 5
Totale 204