CATALOGO DEI PRODOTTI DELLA RICERCA

MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 835
EU - Europa 832
AS - Asia 692
SA - Sud America 95
AF - Africa 26
OC - Oceania 4
Totale 2.484
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 818
RU - Federazione Russa 417
SG - Singapore 285
CN - Cina 166
GB - Regno Unito 98
IT - Italia 97
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 20
FI - Finlandia 16
AR - Argentina 10
CA - Canada 8
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
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
SV - El Salvador 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.484
Salva come PNG Salva come JPEG
Città #
Singapore 158
Moscow 128
San Jose 125
Ashburn 93
Chandler 84
Southend 77
Hong Kong 53
Woodbridge 52
Dallas 48
Dublin 43
The Dalles 43
Verona 35
Council Bluffs 34
Houston 32
Ho Chi Minh City 25
Beijing 23
Lawrence 17
Princeton 17
Seoul 17
Helsinki 16
Los Angeles 16
Wilmington 12
New York 11
Nanjing 10
Redondo Beach 10
Ann Arbor 9
Hanoi 9
São Paulo 9
Columbus 8
Santa Clara 8
Buffalo 7
Da Nang 6
Sindelfingen 6
Tianjin 6
Zhengzhou 6
Istanbul 5
Jinan 5
Rome 5
Seattle 5
Shenyang 5
Abuja 4
Belo Horizonte 4
Bexley 4
Brussels 4
Hangzhou 4
Hebei 4
Johannesburg 4
Milan 4
Montreal 4
Redwood City 4
San Francisco 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
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
Lucca 2
Mareno di Piave 2
Nairobi 2
Nanchang 2
Riyadh 2
Roubaix 2
Sydney 2
Vĩnh Tường 2
Algiers 1
Totale 1.441
Salva come PNG Salva come JPEG
Nome #
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 160
Interval temporal logic model checking based on track bisimilarity and prefix sampling 156
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 148
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 144
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 139
Which fragments of the interval temporal logic HS are tractable in model checking? 138
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 137
Adding two equivalence relations to the interval temporal logic AB 136
A Novel Automata-Theoretic Approach to Timeline-Based Planning 136
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 135
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 130
Interval vs. point temporal logic model checking: An expressiveness comparison 129
Counter-queue automata with an application to a meaningful extension of ω-regular languages 124
On a Temporal Logic of Prefixes and Infixes 120
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 120
Reactive synthesis from interval temporal logic specifications 109
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 108
Pspace-completeness of the temporal logic of sub-intervals and suffixes 98
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 94
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 85
Totale 2.546
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.044
article - articoli 3.226
book - libri 0
conference - conferenze 5.818
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 18.088
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20219 0 0 0 0 0 0 0 0 0 0 0 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.318 79 63 63 200 338 75 107 67 131 102 35 58
Totale 2.546