CATALOGO DEI PRODOTTI DELLA RICERCA

MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 846
EU - Europa 832
AS - Asia 696
SA - Sud America 96
Continente sconosciuto - Info sul continente non disponibili 62
AF - Africa 26
OC - Oceania 4
Totale 2.562
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 827
RU - Federazione Russa 417
SG - Singapore 287
CN - Cina 167
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 21
FI - Finlandia 16
AR - Argentina 10
CA - Canada 9
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
KH - Cambogia 3
UZ - Uzbekistan 3
AT - Austria 2
BJ - Benin 2
JM - Giamaica 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
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.500
Salva come PNG Salva come JPEG
Città #
Singapore 158
Moscow 128
San Jose 125
Ashburn 95
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 24
Lawrence 17
Princeton 17
Seoul 17
Helsinki 16
Los Angeles 16
Wilmington 13
New York 11
Nanjing 10
Redondo Beach 10
Ann Arbor 9
Hanoi 9
Santa Clara 9
São Paulo 9
Columbus 8
Buffalo 7
Da Nang 6
Sindelfingen 6
Tianjin 6
Zhengzhou 6
Istanbul 5
Jinan 5
Montreal 5
Rome 5
Seattle 5
Shenyang 5
Abuja 4
Belo Horizonte 4
Bexley 4
Brussels 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
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
Bogotá 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
Miami 2
Nairobi 2
Nanchang 2
Riyadh 2
Roubaix 2
Totale 1.449
Salva come PNG Salva come JPEG
Nome #
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 162
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
Which fragments of the interval temporal logic HS are tractable in model checking? 143
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 139
Adding two equivalence relations to the interval temporal logic AB 138
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 137
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 136
A Novel Automata-Theoretic Approach to Timeline-Based Planning 136
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
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 121
On a Temporal Logic of Prefixes and Infixes 120
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 111
Reactive synthesis from interval temporal logic specifications 111
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.562
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.385
article - articoli 3.357
book - libri 0
conference - conferenze 6.028
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 18.770
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022120 0 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
2026/202716 6 10 0 0 0 0 0 0 0 0 0 0
Totale 2.562