MOLINARI, Alberto
 Distribuzione geografica
Continente #
EU - Europa 172
NA - Nord America 169
AS - Asia 136
SA - Sud America 15
AF - Africa 5
Totale 497
Nazione #
US - Stati Uniti d'America 166
RU - Federazione Russa 89
SG - Singapore 50
CN - Cina 36
IT - Italia 24
HK - Hong Kong 14
VN - Vietnam 14
GB - Regno Unito 13
BR - Brasile 12
FR - Francia 12
IE - Irlanda 11
DE - Germania 9
KR - Corea 8
SE - Svezia 7
FI - Finlandia 4
AM - Armenia 3
SA - Arabia Saudita 3
BD - Bangladesh 2
BE - Belgio 2
ZA - Sudafrica 2
AR - Argentina 1
CA - Canada 1
CO - Colombia 1
ET - Etiopia 1
GE - Georgia 1
JO - Giordania 1
MV - Maldive 1
MX - Messico 1
NG - Nigeria 1
PH - Filippine 1
PK - Pakistan 1
PR - Porto Rico 1
SL - Sierra Leone 1
UA - Ucraina 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 497
Città #
Ashburn 27
San Jose 26
Singapore 25
Moscow 22
Chandler 20
Hong Kong 14
Dublin 11
Dallas 10
Southend 9
The Dalles 8
Verona 8
Columbus 7
Ho Chi Minh City 7
Beijing 5
Ann Arbor 4
Helsinki 4
Lawrence 4
Milan 4
Princeton 4
Santa Clara 4
Seoul 4
New York 3
Redondo Beach 3
Yerevan 3
Zhengzhou 3
Brussels 2
Council Bluffs 2
Johannesburg 2
Riyadh 2
Shenyang 2
Sindelfingen 2
São Paulo 2
Abuja 1
Addis Ababa 1
Amman 1
Araras 1
Atlanta 1
Barranquilla 1
Bayamón 1
Belo Horizonte 1
Bexley 1
Biên Hòa 1
Buffalo 1
Capão da Canoa 1
Charlotte 1
Chicago 1
Denver 1
Frankfurt am Main 1
Freetown 1
Gaithersburg 1
General Escobedo 1
Gujranwala 1
Haikou 1
Haiphong 1
Hangzhou 1
Hanoi 1
Hebei 1
Helena 1
Honolulu 1
Houston 1
Jeddah 1
Jiaxing 1
Jinan 1
Kansas City 1
Kemerovo 1
Limeira 1
Los Angeles 1
Lviv 1
Lấp Vò 1
Macon 1
Malé 1
Manchester 1
Mandaluyong 1
Mar del Plata 1
Mehlingen 1
Modena 1
Montreal 1
Nal'chik 1
Nanchang 1
Nanjing 1
Nantong 1
Napoli 1
New Port Richey 1
Newark 1
Passos 1
Phủ Từ Sơn 1
Pitanga 1
Rio de Janeiro 1
San Marzano Oliveto 1
Seattle 1
São Vicente 1
Tashkent 1
Tbilisi 1
Tomsk 1
Venda Nova do Imigrante 1
Viçosa do Ceará 1
West Orange 1
Wilmington 1
Totale 319
Nome #
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 157
Which fragments of the interval temporal logic HS are tractable in model checking? 135
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 118
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 103
Totale 513
Categoria #
all - tutte 1.801
article - articoli 1.801
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.602


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202229 3 8 1 0 1 1 1 0 2 0 1 11
2022/202362 4 1 7 4 9 17 3 5 7 1 3 1
2023/202431 0 4 4 7 1 3 2 3 1 4 1 1
2024/202594 2 7 3 12 3 4 2 13 10 9 10 19
2025/2026254 16 16 14 43 66 13 20 14 30 22 0 0
Totale 513