MOLINARI, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 101
EU - Europa 86
AS - Asia 75
SA - Sud America 12
AF - Africa 1
Totale 275
Nazione #
US - Stati Uniti d'America 99
SG - Singapore 27
CN - Cina 25
IT - Italia 19
HK - Hong Kong 14
FR - Francia 12
GB - Regno Unito 12
BR - Brasile 11
IE - Irlanda 11
RU - Federazione Russa 10
DE - Germania 9
SE - Svezia 7
KR - Corea 5
FI - Finlandia 4
AM - Armenia 2
BE - Belgio 2
CA - Canada 1
CO - Colombia 1
JO - Giordania 1
PR - Porto Rico 1
SA - Arabia Saudita 1
SL - Sierra Leone 1
Totale 275
Città #
Chandler 20
Hong Kong 14
Singapore 13
Dublin 11
Southend 9
Dallas 8
The Dalles 8
Columbus 7
Ann Arbor 4
Helsinki 4
Lawrence 4
Milan 4
Princeton 4
Santa Clara 4
Seoul 4
Beijing 3
Verona 3
Zhengzhou 3
Ashburn 2
Brussels 2
Council Bluffs 2
New York 2
Shenyang 2
Sindelfingen 2
São Paulo 2
Yerevan 2
Amman 1
Araras 1
Barranquilla 1
Bayamón 1
Belo Horizonte 1
Bexley 1
Charlotte 1
Chicago 1
Frankfurt am Main 1
Freetown 1
Haikou 1
Hangzhou 1
Hebei 1
Houston 1
Jiaxing 1
Jinan 1
Kansas City 1
Kemerovo 1
Limeira 1
Mehlingen 1
Modena 1
Montreal 1
Nanchang 1
Nanjing 1
Napoli 1
New Port Richey 1
Newark 1
Passos 1
Pitanga 1
Rio de Janeiro 1
Riyadh 1
San Marzano Oliveto 1
Seattle 1
São Vicente 1
Tomsk 1
Venda Nova do Imigrante 1
Viçosa do Ceará 1
West Orange 1
Wilmington 1
Totale 182
Nome #
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 99
Which fragments of the interval temporal logic HS are tractable in model checking? 73
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 62
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 57
Totale 291
Categoria #
all - tutte 1.330
article - articoli 1.330
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.660


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202118 0 0 0 5 3 0 3 0 7 0 0 0
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/202632 16 16 0 0 0 0 0 0 0 0 0 0
Totale 291