CATALOGO DEI PRODOTTI DELLA RICERCA

MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 341
EU - Europa 338
AS - Asia 165
OC - Oceania 4
AF - Africa 3
SA - Sud America 1
Totale 852
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 339
CN - Cina 109
GB - Regno Unito 82
IT - Italia 48
IE - Irlanda 45
SE - Svezia 44
FR - Francia 39
RU - Federazione Russa 29
DE - Germania 27
SG - Singapore 27
KR - Corea 17
FI - Finlandia 16
VN - Vietnam 9
AU - Australia 4
BE - Belgio 4
CA - Canada 2
NL - Olanda 2
TG - Togo 2
BR - Brasile 1
CZ - Repubblica Ceca 1
HK - Hong Kong 1
IN - India 1
MD - Moldavia 1
SA - Arabia Saudita 1
SL - Sierra Leone 1
Totale 852
Salva come PNG Salva come JPEG
Città #
Chandler 84
Southend 77
Woodbridge 52
Dublin 42
Houston 32
Singapore 23
Lawrence 17
Princeton 17
Seoul 17
Helsinki 16
Verona 13
Beijing 12
Wilmington 12
Nanjing 10
Ann Arbor 9
Ashburn 7
Sindelfingen 6
Zhengzhou 6
Jinan 5
Santa Clara 5
Shenyang 5
Brussels 4
Hangzhou 4
Hebei 4
Redwood City 4
Seattle 4
Changsha 3
Dong Ket 3
Haikou 3
Jiaxing 3
Kent 3
New York 3
Ningbo 3
Dallas 2
Fuzhou 2
Lomé 2
Mareno di Piave 2
Nanchang 2
Rome 2
San Francisco 2
Sydney 2
Tianjin 2
Amsterdam 1
Canberra 1
Chisinau 1
Clearwater 1
Dongguan 1
Fairfield 1
Fano 1
Freetown 1
Groningen 1
Guangzhou 1
Hong Kong 1
Jacksonville 1
Kemerovo 1
Lanzhou 1
Leipzig 1
Markham 1
Mehlingen 1
Naples 1
Napoli 1
Newark 1
Norwalk 1
Puxian 1
Riyadh 1
Stockholm 1
São Paulo 1
Taizhou 1
Tomsk 1
Toronto 1
Trieste 1
Totale 555
Salva come PNG Salva come JPEG
Nome #
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 71
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 68
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 65
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 61
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 60
Counter-queue automata with an application to a meaningful extension of ω-regular languages 59
Adding two equivalence relations to the interval temporal logic AB 57
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 56
Interval temporal logic model checking based on track bisimilarity and prefix sampling 55
Interval vs. point temporal logic model checking: An expressiveness comparison 51
Which fragments of the interval temporal logic HS are tractable in model checking? 50
A Novel Automata-Theoretic Approach to Timeline-Based Planning 45
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 42
On a Temporal Logic of Prefixes and Infixes 41
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 40
Reactive synthesis from interval temporal logic specifications 40
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 30
Pspace-completeness of the temporal logic of sub-intervals and suffixes 9
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 8
Totale 908
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.041
article - articoli 1.406
book - libri 0
conference - conferenze 2.635
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 8.082
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202032 0 0 0 6 20 1 0 0 0 2 1 2
2020/2021114 9 8 3 27 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/202576 16 20 17 23 0 0 0 0 0 0 0 0
Totale 908