CATALOGO DEI PRODOTTI DELLA RICERCA

MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 969
EU - Europa 855
AS - Asia 699
SA - Sud America 96
Continente sconosciuto - Info sul continente non disponibili 62
AF - Africa 26
OC - Oceania 4
Totale 2.711
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 942
RU - Federazione Russa 417
SG - Singapore 289
CN - Cina 167
IT - Italia 120
GB - Regno Unito 98
VN - Vietnam 79
BR - Brasile 72
HK - Hong Kong 53
FR - Francia 49
SE - Svezia 47
IE - Irlanda 46
KR - Corea 36
DE - Germania 35
BD - Bangladesh 22
FI - Finlandia 16
CA - Canada 15
AR - Argentina 10
TR - Turchia 7
IN - India 6
NL - Olanda 6
MX - Messico 5
AU - Australia 4
BE - Belgio 4
CO - Colombia 4
EC - Ecuador 4
ID - Indonesia 4
IQ - Iraq 4
NG - Nigeria 4
PL - Polonia 4
SA - Arabia Saudita 4
VE - Venezuela 4
ZA - Sudafrica 4
AM - Armenia 3
AZ - Azerbaigian 3
EG - Egitto 3
ES - Italia 3
ET - Etiopia 3
JM - Giamaica 3
KH - Cambogia 3
UZ - Uzbekistan 3
AT - Austria 2
BJ - Benin 2
JO - Giordania 2
KE - Kenya 2
KZ - Kazakistan 2
PH - Filippine 2
PK - Pakistan 2
PY - Paraguay 2
SN - Senegal 2
TG - Togo 2
UA - Ucraina 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
BN - Brunei Darussalam 1
CG - Congo 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GE - Georgia 1
HN - Honduras 1
HU - Ungheria 1
IL - Israele 1
KG - Kirghizistan 1
LT - Lituania 1
MD - Moldavia 1
MV - Maldive 1
NO - Norvegia 1
NP - Nepal 1
PR - Porto Rico 1
QA - Qatar 1
SL - Sierra Leone 1
SV - El Salvador 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.649
Salva come PNG Salva come JPEG
Città #
Singapore 158
San Jose 139
Moscow 128
Ashburn 125
Chandler 84
Southend 77
Dallas 63
Hong Kong 53
Woodbridge 52
Council Bluffs 51
Dublin 43
The Dalles 43
Verona 35
Houston 32
Ho Chi Minh City 25
Beijing 24
Staranzano 20
Lawrence 17
Princeton 17
Seoul 17
Helsinki 16
Los Angeles 16
Wilmington 13
Santa Clara 12
New York 11
Nanjing 10
Redondo Beach 10
Ann Arbor 9
Hanoi 9
São Paulo 9
Columbus 8
Buffalo 7
Montreal 7
Da Nang 6
Sindelfingen 6
Tianjin 6
Zhengzhou 6
Istanbul 5
Jinan 5
Rome 5
Seattle 5
Shenyang 5
Toronto 5
Abuja 4
Belo Horizonte 4
Bexley 4
Brussels 4
Chicago 4
Hangzhou 4
Hebei 4
Johannesburg 4
Milan 4
Redwood City 4
San Francisco 4
Stockholm 4
Biên Hòa 3
Brooklyn 3
Changsha 3
Des Moines 3
Dong Ket 3
Frankfurt am Main 3
Guarulhos 3
Haikou 3
Jakarta 3
Jiaxing 3
Kent 3
Ningbo 3
Ninh Bình 3
Orem 3
Phnom Penh 3
Quito 3
Rio de Janeiro 3
Tashkent 3
Wroclaw 3
Yerevan 3
Addis Ababa 2
Amman 2
Amsterdam 2
Baku 2
Basingstoke 2
Bogotá 2
Boston 2
Buenos Aires 2
Cairo 2
Caracas 2
Chandigarh 2
Charlotte 2
Columbia 2
Cotonou 2
Dakar 2
Denver 2
Fuzhou 2
Haiphong 2
Hải Dương 2
Kansas City 2
Lomé 2
London 2
Lucca 2
Mareno di Piave 2
McKinney 2
Totale 1.552
Salva come PNG Salva come JPEG
Nome #
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 174
Interval temporal logic model checking based on track bisimilarity and prefix sampling 162
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 155
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 150
Which fragments of the interval temporal logic HS are tractable in model checking? 150
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 149
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 146
Adding two equivalence relations to the interval temporal logic AB 143
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 143
A Novel Automata-Theoretic Approach to Timeline-Based Planning 142
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 139
Interval vs. point temporal logic model checking: An expressiveness comparison 136
Counter-queue automata with an application to a meaningful extension of ω-regular languages 134
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 126
On a Temporal Logic of Prefixes and Infixes 124
Reactive synthesis from interval temporal logic specifications 118
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 116
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 109
Pspace-completeness of the temporal logic of sub-intervals and suffixes 105
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 90
Totale 2.711
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.939
article - articoli 3.553
book - libri 0
conference - conferenze 6.386
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 19.878
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202289 0 0 0 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/20261.318 79 63 63 200 338 75 107 67 131 102 35 58
2026/2027165 6 30 63 66 0 0 0 0 0 0 0 0
Totale 2.711