MONTANARI, Angelo
 Distribuzione geografica
Continente #
EU - Europa 737
NA - Nord America 539
AS - Asia 502
SA - Sud America 76
AF - Africa 9
OC - Oceania 4
Totale 1.867
Nazione #
US - Stati Uniti d'America 528
RU - Federazione Russa 376
SG - Singapore 201
CN - Cina 156
GB - Regno Unito 93
BR - Brasile 64
IT - Italia 59
HK - Hong Kong 52
FR - Francia 49
SE - Svezia 47
IE - Irlanda 45
VN - Vietnam 44
DE - Germania 33
KR - Corea 24
FI - Finlandia 16
AR - Argentina 8
CA - Canada 6
TR - Turchia 6
AU - Australia 4
BE - Belgio 4
ID - Indonesia 4
MX - Messico 4
NL - Olanda 4
PL - Polonia 4
ZA - Sudafrica 3
AM - Armenia 2
BJ - Benin 2
CO - Colombia 2
IN - India 2
IQ - Iraq 2
PY - Paraguay 2
SA - Arabia Saudita 2
TG - Togo 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
AZ - Azerbaigian 1
BN - Brunei Darussalam 1
CZ - Repubblica Ceca 1
ES - Italia 1
ET - Etiopia 1
JO - Giordania 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LT - Lituania 1
MD - Moldavia 1
NO - Norvegia 1
PR - Porto Rico 1
SL - Sierra Leone 1
UA - Ucraina 1
UZ - Uzbekistan 1
Totale 1.867
Città #
Moscow 119
Singapore 86
Chandler 84
Southend 77
Hong Kong 52
Woodbridge 52
Dallas 46
Dublin 42
Houston 32
Ashburn 28
Beijing 23
Lawrence 17
Princeton 17
Seoul 17
Helsinki 16
Ho Chi Minh City 14
Los Angeles 14
Verona 14
The Dalles 13
Wilmington 12
Nanjing 10
New York 10
Redondo Beach 10
Ann Arbor 9
Columbus 8
São Paulo 8
Buffalo 7
Santa Clara 7
Sindelfingen 6
Zhengzhou 6
Istanbul 5
Jinan 5
Shenyang 5
Tianjin 5
Belo Horizonte 4
Bexley 4
Brussels 4
Council Bluffs 4
Hangzhou 4
Hebei 4
Milan 4
Redwood City 4
San Francisco 4
Seattle 4
Stockholm 4
Changsha 3
Chicago 3
Des Moines 3
Dong Ket 3
Frankfurt am Main 3
Guarulhos 3
Haikou 3
Jakarta 3
Jiaxing 3
Johannesburg 3
Kent 3
Montreal 3
Ningbo 3
Ninh Bình 3
Rio de Janeiro 3
Wroclaw 3
Biên Hòa 2
Buenos Aires 2
Charlotte 2
Cotonou 2
Fuzhou 2
Haiphong 2
Hanoi 2
Lomé 2
London 2
Mareno di Piave 2
Nanchang 2
Riyadh 2
Rome 2
Roubaix 2
Sydney 2
Vĩnh Tường 2
Yerevan 2
Almaty Oblysy 1
Amman 1
Amparo 1
Amsterdam 1
Ankara 1
Aparecida de Goiânia 1
Araras 1
Asunción 1
Atlanta 1
Augusta 1
Baku 1
Bandar Seri Begawan 1
Barranquilla 1
Bay Shore 1
Bayamón 1
Betim 1
Bishkek 1
Boston 1
Brescia 1
Brooklyn 1
Bến Cầu 1
Camaquã 1
Totale 1.024
Nome #
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 129
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 124
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 117
Interval temporal logic model checking based on track bisimilarity and prefix sampling 116
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 115
Adding two equivalence relations to the interval temporal logic AB 110
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 107
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 103
A Novel Automata-Theoretic Approach to Timeline-Based Planning 100
Which fragments of the interval temporal logic HS are tractable in model checking? 100
Interval vs. point temporal logic model checking: An expressiveness comparison 99
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 96
Counter-queue automata with an application to a meaningful extension of ω-regular languages 95
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 92
On a Temporal Logic of Prefixes and Infixes 89
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 83
Reactive synthesis from interval temporal logic specifications 83
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 63
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 56
Pspace-completeness of the temporal logic of sub-intervals and suffixes 52
Totale 1.929
Categoria #
all - tutte 7.554
article - articoli 2.724
book - libri 0
conference - conferenze 4.830
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 15.108


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202167 0 0 0 0 14 3 19 0 20 1 1 9
2021/2022130 10 30 1 2 5 18 1 5 9 2 6 41
2022/2023259 19 15 28 30 25 70 9 18 32 6 6 1
2023/2024131 1 16 10 23 14 7 10 6 5 17 14 8
2024/2025396 16 20 17 57 19 20 24 29 57 25 41 71
2025/2026701 79 63 63 200 296 0 0 0 0 0 0 0
Totale 1.929