MOLINARI, Alberto
 Distribuzione geografica
Continente #
EU - Europa 68
NA - Nord America 57
AS - Asia 26
AF - Africa 1
Totale 152
Nazione #
US - Stati Uniti d'America 57
CN - Cina 20
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
RU - Federazione Russa 4
BE - Belgio 2
SA - Arabia Saudita 1
SG - Singapore 1
SL - Sierra Leone 1
Totale 152
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 57
Which fragments of the interval temporal logic HS are tractable in model checking? 47
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 37
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 26
Totale 167
Categoria #
all - tutte 766
article - articoli 766
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.532


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/202431 0 4 4 7 1 3 2 3 1 4 1 1
2024/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 167