RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 694
EU - Europa 334
AS - Asia 271
SA - Sud America 38
AF - Africa 14
Continente sconosciuto - Info sul continente non disponibili 13
OC - Oceania 3
Totale 1.367
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 668
RU - Federazione Russa 102
IT - Italia 86
SG - Singapore 78
CN - Cina 64
VN - Vietnam 53
BR - Brasile 31
DE - Germania 26
CA - Canada 20
AT - Austria 17
FI - Finlandia 17
ES - Italia 15
FR - Francia 15
KR - Corea 14
NL - Olanda 14
IR - Iran 10
GB - Regno Unito 9
HK - Hong Kong 6
ID - Indonesia 6
JP - Giappone 6
IN - India 5
JO - Giordania 5
SE - Svezia 5
ZA - Sudafrica 5
BE - Belgio 4
KW - Kuwait 4
MY - Malesia 4
PL - Polonia 4
AR - Argentina 3
CL - Cile 3
GR - Grecia 3
RO - Romania 3
SA - Arabia Saudita 3
TR - Turchia 3
UA - Ucraina 3
AU - Australia 2
BD - Bangladesh 2
CR - Costa Rica 2
ET - Etiopia 2
HN - Honduras 2
IE - Irlanda 2
NP - Nepal 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
TN - Tunisia 2
BA - Bosnia-Erzegovina 1
DK - Danimarca 1
DZ - Algeria 1
GH - Ghana 1
GT - Guatemala 1
HR - Croazia 1
IL - Israele 1
IQ - Iraq 1
KE - Kenya 1
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 1
NI - Nicaragua 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
RS - Serbia 1
SD - Sudan 1
TW - Taiwan 1
VE - Venezuela 1
Totale 1.354
Salva come PNG Salva come JPEG
Città #
Ashburn 116
Fairfield 63
San Jose 56
Singapore 50
Chandler 33
Santa Clara 30
Wilmington 30
Houston 28
Woodbridge 27
Seattle 26
Milan 24
Council Bluffs 18
Beijing 16
Hanoi 16
The Dalles 16
Ann Arbor 15
Cambridge 15
Vienna 15
Ho Chi Minh City 13
Dallas 11
Dearborn 10
Helsinki 10
Moscow 10
Seoul 9
Boardman 8
Los Angeles 8
Lawrence 7
Málaga 7
Ottawa 7
Amsterdam 6
Jakarta 6
Lauterbourg 6
New York 6
Amman 5
Buffalo 5
São Paulo 5
Tokyo 5
Turin 5
Dong Ket 4
Nuremberg 4
Paris 4
Princeton 4
Stockholm 4
Warsaw 4
A Coruña 3
Athens 3
Central 3
Des Moines 3
Dresden 3
Juiz de Fora 3
Kuala Lumpur 3
Medford 3
Memphis 3
Montreal 3
Phoenix 3
Rome 3
Santiago 3
Sevilla 3
Tabriz 3
Anzano del Parco 2
Ban Kho 2
Bergamo 2
Biên Hòa 2
Braunschweig 2
Brussels 2
Chicago 2
Da Nang 2
Daejeon 2
Dublin 2
Goleta 2
Guangzhou 2
Hong Kong 2
Huế 2
Johannesburg 2
Las Vegas 2
Mestre 2
Miami 2
Miano 2
Orem 2
Prince George 2
Québec 2
Rio de Janeiro 2
Rostov-on-don 2
Saint Augustine 2
San Diego 2
San José 2
Schaarbeek 2
Shanghai 2
Abaetetuba 1
Accra 1
Acton 1
Ajax 1
Algiers 1
Ankara 1
Annecy 1
Apex 1
Beeville 1
Belford Roxo 1
Belgrade 1
Biscucuy 1
Totale 882
Salva come PNG Salva come JPEG
Nome #
A logic-based approach for the verification of UML timed models 269
ST4RT – Semantic Transformations for Rail Transportation 264
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 244
Efficient Scalable Verification of LTL Specifications 242
Flexible Modular Formalization of UML Sequence Diagrams 188
Scalable Formal Verification of UML Models 160
Totale 1.367
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.574
article - articoli 1.424
book - libri 0
conference - conferenze 2.150
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 7.148
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202246 0 0 0 5 3 4 5 4 4 3 5 13
2022/2023106 9 5 9 8 11 18 1 3 16 14 7 5
2023/202459 8 5 4 7 2 8 6 5 0 2 0 12
2024/2025140 1 7 0 4 29 15 8 17 17 4 13 25
2025/2026547 88 74 30 33 27 37 104 22 39 57 12 24
2026/202792 16 12 34 30 0 0 0 0 0 0 0 0
Totale 1.367