CATALOGO DEI PRODOTTI DELLA RICERCA

MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 817
NA - Nord America 776
AS - Asia 671
SA - Sud America 95
AF - Africa 26
OC - Oceania 4
Totale 2.389
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 761
RU - Federazione Russa 417
SG - Singapore 281
CN - Cina 166
GB - Regno Unito 98
IT - Italia 82
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
FI - Finlandia 16
AR - Argentina 10
CA - Canada 7
TR - Turchia 7
IN - India 6
NL - Olanda 6
MX - Messico 5
AU - Australia 4
BE - Belgio 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
BD - Bangladesh 3
CO - Colombia 3
EG - Egitto 3
ES - Italia 3
ET - Etiopia 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
HU - Ungheria 1
IL - Israele 1
JM - Giamaica 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
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.389
Salva come PNG Salva come JPEG
Città #
Singapore 158
Moscow 128
San Jose 119
Ashburn 90
Chandler 84
Southend 77
Hong Kong 53
Woodbridge 52
Dallas 48
Dublin 43
The Dalles 43
Verona 35
Houston 32
Ho Chi Minh City 25
Beijing 23
Lawrence 17
Princeton 17
Seoul 17
Helsinki 16
Los Angeles 15
Wilmington 12
New York 11
Nanjing 10
Redondo Beach 10
Ann Arbor 9
Hanoi 9
São Paulo 9
Columbus 8
Buffalo 7
Santa Clara 7
Da Nang 6
Sindelfingen 6
Tianjin 6
Zhengzhou 6
Istanbul 5
Jinan 5
Shenyang 5
Abuja 4
Belo Horizonte 4
Bexley 4
Brussels 4
Council Bluffs 4
Hangzhou 4
Hebei 4
Johannesburg 4
Milan 4
Redwood City 4
San Francisco 4
Seattle 4
Stockholm 4
Biên Hòa 3
Changsha 3
Chicago 3
Des Moines 3
Dong Ket 3
Frankfurt am Main 3
Guarulhos 3
Haikou 3
Jakarta 3
Jiaxing 3
Kent 3
Montreal 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
Boston 2
Buenos Aires 2
Cairo 2
Caracas 2
Chandigarh 2
Charlotte 2
Columbia 2
Cotonou 2
Dakar 2
Fuzhou 2
Haiphong 2
Hải Dương 2
Lomé 2
London 2
Mareno di Piave 2
Nairobi 2
Nanchang 2
Riyadh 2
Rome 2
Roubaix 2
Sydney 2
Vĩnh Tường 2
Algiers 1
Almaty 1
Totale 1.394
Salva come PNG Salva come JPEG
Nome #
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 157
Interval temporal logic model checking based on track bisimilarity and prefix sampling 153
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 146
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 141
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 135
Which fragments of the interval temporal logic HS are tractable in model checking? 135
A Novel Automata-Theoretic Approach to Timeline-Based Planning 134
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 133
Adding two equivalence relations to the interval temporal logic AB 131
Interval vs. point temporal logic model checking: An expressiveness comparison 127
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 127
Counter-queue automata with an application to a meaningful extension of ω-regular languages 121
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 119
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 118
On a Temporal Logic of Prefixes and Infixes 114
Reactive synthesis from interval temporal logic specifications 107
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 103
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 91
Pspace-completeness of the temporal logic of sub-intervals and suffixes 80
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 79
Totale 2.451
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.493
article - articoli 3.042
book - libri 0
conference - conferenze 5.451
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 16.986
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202111 0 0 0 0 0 0 0 0 0 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/20261.223 79 63 63 200 338 75 107 67 131 100 0 0
Totale 2.451