POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
 Distribuzione geografica
Continente #
NA - Nord America 371
EU - Europa 149
AS - Asia 76
AF - Africa 7
SA - Sud America 3
OC - Oceania 2
Totale 608
Nazione #
US - Stati Uniti d'America 362
IT - Italia 58
DE - Germania 18
CN - Cina 15
AT - Austria 14
ES - Italia 14
SG - Singapore 13
FI - Finlandia 12
IR - Iran 10
VN - Vietnam 10
CA - Canada 9
GB - Regno Unito 5
JO - Giordania 5
IN - India 4
KW - Kuwait 4
PL - Polonia 4
BR - Brasile 3
GR - Grecia 3
HK - Hong Kong 3
KR - Corea 3
MY - Malesia 3
RO - Romania 3
SE - Svezia 3
ZA - Sudafrica 3
BE - Belgio 2
ET - Etiopia 2
IE - Irlanda 2
JP - Giappone 2
RU - Federazione Russa 2
TH - Thailandia 2
AU - Australia 1
DK - Danimarca 1
FR - Francia 1
GH - Ghana 1
HR - Croazia 1
LT - Lituania 1
LU - Lussemburgo 1
NL - Olanda 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
TR - Turchia 1
TW - Taiwan 1
UA - Ucraina 1
Totale 608
Città #
Fairfield 63
Chandler 33
Wilmington 30
Houston 28
Ashburn 27
Woodbridge 27
Seattle 26
Ann Arbor 15
Cambridge 15
Santa Clara 14
Vienna 14
Milan 12
Dearborn 10
Helsinki 8
Boardman 7
Málaga 7
Ottawa 7
Lawrence 6
Singapore 6
Amman 5
Turin 5
Beijing 4
Dong Ket 4
Princeton 4
Warsaw 4
A Coruña 3
Athens 3
Central 3
Des Moines 3
Dresden 3
Juiz de Fora 3
Phoenix 3
Sevilla 3
Tabriz 3
Ban Kho 2
Bergamo 2
Brussels 2
Daejeon 2
Dublin 2
Goleta 2
Johannesburg 2
Kuala Lumpur 2
Medford 2
Mestre 2
New York 2
Prince George 2
Rome 2
Rostov-on-don 2
San Diego 2
Shanghai 2
Stockholm 2
Accra 1
Acton 1
Ankara 1
Annecy 1
Busto Arsizio 1
Busto Garolfo 1
Candia 1
College Park 1
Cologne 1
Cortenuova 1
Deventer 1
Duncan 1
Erba 1
Essen 1
Guangzhou 1
Hefei 1
Hesperange 1
Huilong 1
Jinhua 1
Jitra 1
Khorasan 1
Košice 1
Lecco 1
Manchester 1
Monza 1
Oleggio 1
Onate 1
Orange 1
Povo 1
Pretoria 1
Redwood City 1
Reseda 1
Secunderabad 1
Seoul 1
Sterling 1
Taipei 1
Tauranga 1
Tokyo 1
Vilnius 1
Washington 1
Totale 482
Nome #
ST4RT – Semantic Transformations for Rail Transportation 138
A logic-based approach for the verification of UML timed models 122
Efficient Scalable Verification of LTL Specifications 114
Scalable Formal Verification of UML Models 86
Flexible Modular Formalization of UML Sequence Diagrams 85
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 76
Totale 621
Categoria #
all - tutte 1.863
article - articoli 727
book - libri 0
conference - conferenze 1.136
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.726


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202092 0 0 0 0 14 15 15 8 17 3 13 7
2020/2021110 3 3 2 4 3 22 4 6 12 23 12 16
2021/202273 2 14 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/202533 1 7 0 4 21 0 0 0 0 0 0 0
Totale 621