MOLINARI, ALBERTO
 Distribuzione geografica
Continente #
NA - Nord America 1.440
AS - Asia 484
EU - Europa 456
SA - Sud America 77
AF - Africa 7
Totale 2.464
Nazione #
US - Stati Uniti d'America 1.432
SG - Singapore 225
IT - Italia 118
CN - Cina 105
UA - Ucraina 100
DE - Germania 87
BR - Brasile 68
HK - Hong Kong 52
VN - Vietnam 45
RU - Federazione Russa 40
SE - Svezia 23
FI - Finlandia 22
TR - Turchia 22
IE - Irlanda 19
IN - India 15
GB - Regno Unito 14
BE - Belgio 10
PL - Polonia 10
FR - Francia 5
CA - Canada 4
AR - Argentina 3
JP - Giappone 3
ZA - Sudafrica 3
AT - Austria 2
BD - Bangladesh 2
BH - Bahrain 2
CO - Colombia 2
ES - Italia 2
HR - Croazia 2
ID - Indonesia 2
MX - Messico 2
NP - Nepal 2
QA - Qatar 2
VE - Venezuela 2
AM - Armenia 1
AZ - Azerbaigian 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
IL - Israele 1
IR - Iran 1
JO - Giordania 1
KE - Kenya 1
KG - Kirghizistan 1
MA - Marocco 1
MU - Mauritius 1
NL - Olanda 1
PE - Perù 1
RS - Serbia 1
SN - Senegal 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 2.464
Città #
Fairfield 177
Chandler 158
Woodbridge 121
Ann Arbor 100
Houston 90
Singapore 90
Ashburn 79
Seattle 76
Beijing 68
Cambridge 59
Jacksonville 59
Wilmington 59
Hong Kong 52
Dearborn 47
Udine 46
Boardman 31
Dong Ket 30
Izmir 22
Princeton 22
San Mateo 21
Council Bluffs 19
Dublin 19
Des Moines 16
San Diego 16
Brussels 10
Helsinki 10
Buffalo 9
Redondo Beach 9
Warsaw 9
Ho Chi Minh City 8
Mumbai 8
Trieste 8
Phoenix 7
Karlsruhe 6
Los Angeles 6
Norwalk 6
The Dalles 6
Dallas 5
Rio de Janeiro 5
Serra Riccò 5
Cagliari 4
Mcallen 4
Nanjing 4
Guangzhou 3
Johannesburg 3
Tokyo 3
Treviso 3
Basiliano 2
Belo Horizonte 2
Brasília 2
Brooklyn 2
Campinas 2
Caracas 2
Doha 2
Ferrara 2
Hefei 2
Hyderabad 2
Isa Town 2
Jinan 2
Joinville 2
Kolkata 2
Kunming 2
New York 2
Nuremberg 2
Redwood City 2
Rodgau 2
Rome 2
San Francisco 2
Santa Clara 2
Santa Maria Madalena 2
Shanghai 2
Shenyang 2
São Bernardo do Campo 2
São Paulo 2
Tappahannock 2
Tianjin 2
Vicenza 2
Vienna 2
Agadir 1
Amman 1
Amsterdam 1
Angra dos Reis 1
Araucária 1
Araxá 1
Arezzo 1
Baku 1
Bandung 1
Betim 1
Bielefeld 1
Biên Hòa 1
Bogotá 1
Bologna 1
Boston 1
Botucatu 1
Brasópolis 1
Cachoeira do Sul 1
Camapuã 1
Canoas 1
Capim Grosso 1
Cascina 1
Totale 1.702
Nome #
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 187
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 164
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 160
Interval temporal logic model checking: The border between good and bad HS fragments 156
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 149
An in-depth investigation of interval temporal logic model checking with regular expressions 145
Checking interval properties of computations 144
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 140
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 135
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 130
Model Checking: il Metodo Intervallare 108
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 105
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 103
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 102
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 102
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 95
Model Checking Interval Temporal Logics with Regular Expressions 92
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 90
Timeline-based planning over dense temporal domains 83
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 73
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 53
Model Checking Timeline-based Systems over Dense Temporal Domains 53
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 2.579
Categoria #
all - tutte 9.876
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 9.876


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021244 0 0 0 0 0 30 33 34 38 30 31 48
2021/2022199 13 33 28 5 4 6 11 13 1 27 28 30
2022/2023325 26 43 2 46 30 85 2 26 53 2 3 7
2023/202475 21 5 1 2 13 5 4 9 5 5 0 5
2024/2025334 5 35 7 14 0 11 32 43 31 11 62 83
2025/2026296 15 72 46 33 105 25 0 0 0 0 0 0
Totale 2.579