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 648
EU - Europa 324
AS - Asia 271
SA - Sud America 38
AF - Africa 14
Continente sconosciuto - Info sul continente non disponibili 13
OC - Oceania 3
Totale 1.311
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 626
RU - Federazione Russa 102
IT - Italia 78
SG - Singapore 78
CN - Cina 64
VN - Vietnam 53
BR - Brasile 31
DE - Germania 26
CA - Canada 19
AT - Austria 17
FI - Finlandia 17
ES - Italia 15
FR - Francia 14
KR - Corea 14
NL - Olanda 14
IR - Iran 10
GB - Regno Unito 8
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
ET - Etiopia 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
HN - Honduras 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.298
Salva come PNG Salva come JPEG
Città #
Ashburn 104
Fairfield 63
Singapore 50
San Jose 48
Chandler 33
Wilmington 30
Houston 28
Santa Clara 28
Woodbridge 27
Seattle 26
Milan 23
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
Mestre 2
Orem 2
Prince George 2
Québec 2
Rio de Janeiro 2
Rostov-on-don 2
San Diego 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
Bom Conselho 1
Brampton 1
Bratislava 1
Brescia 1
Brisbane 1
Totale 854
Salva come PNG Salva come JPEG
Nome #
A logic-based approach for the verification of UML timed models 263
ST4RT – Semantic Transformations for Rail Transportation 256
Efficient Scalable Verification of LTL Specifications 230
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 228
Flexible Modular Formalization of UML Sequence Diagrams 179
Scalable Formal Verification of UML Models 155
Totale 1.311
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.456
article - articoli 1.381
book - libri 0
conference - conferenze 2.075
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.912
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202257 0 0 11 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/202736 16 12 8 0 0 0 0 0 0 0 0 0
Totale 1.311