MOLINARI, Alberto
 Distribuzione geografica
Continente #
EU - Europa 66
NA - Nord America 57
AS - Asia 24
AF - Africa 1
Totale 148
Nazione #
US - Stati Uniti d'America 57
CN - Cina 19
GB - Regno Unito 11
IE - Irlanda 11
IT - Italia 11
FR - Francia 10
DE - Germania 8
SE - Svezia 7
FI - Finlandia 4
KR - Corea 4
BE - Belgio 2
RU - Federazione Russa 2
SA - Arabia Saudita 1
SL - Sierra Leone 1
Totale 148
Città #
Chandler 20
Dublin 11
Southend 9
Ann Arbor 4
Helsinki 4
Lawrence 4
Princeton 4
Seoul 4
Beijing 3
Verona 3
Zhengzhou 3
Brussels 2
New York 2
Shenyang 2
Sindelfingen 2
Ashburn 1
Freetown 1
Haikou 1
Hangzhou 1
Hebei 1
Houston 1
Jiaxing 1
Jinan 1
Kemerovo 1
Mehlingen 1
Nanchang 1
Nanjing 1
Napoli 1
Newark 1
Riyadh 1
Seattle 1
Tomsk 1
Wilmington 1
Totale 95
Nome #
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 56
Which fragments of the interval temporal logic HS are tractable in model checking? 46
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 36
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 25
Totale 163
Categoria #
all - tutte 699
article - articoli 699
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.398


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202010 3 0 0 1 3 1 0 0 0 2 0 0
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/202429 0 4 4 7 1 3 2 3 1 4 0 0
Totale 163