CATALOGO DEI PRODOTTI DELLA RICERCA

MONTANARI, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 325
EU - Europa 310
AS - Asia 123
OC - Oceania 4
AF - Africa 1
SA - Sud America 1
Totale 764
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 323
CN - Cina 88
GB - Regno Unito 81
IT - Italia 48
IE - Irlanda 45
SE - Svezia 44
FR - Francia 39
DE - Germania 27
KR - Corea 17
FI - Finlandia 16
VN - Vietnam 9
SG - Singapore 7
AU - Australia 4
BE - Belgio 4
CA - Canada 2
NL - Olanda 2
RU - Federazione Russa 2
BR - Brasile 1
CZ - Repubblica Ceca 1
IN - India 1
MD - Moldavia 1
SA - Arabia Saudita 1
SL - Sierra Leone 1
Totale 764
Salva come PNG Salva come JPEG
Città #
Chandler 84
Southend 77
Woodbridge 52
Dublin 42
Houston 32
Lawrence 17
Princeton 17
Seoul 17
Helsinki 16
Verona 13
Beijing 12
Wilmington 12
Nanjing 10
Ann Arbor 9
Ashburn 7
Singapore 7
Sindelfingen 6
Zhengzhou 6
Jinan 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
Fuzhou 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
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 528
Salva come PNG Salva come JPEG
Nome #
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 67
Bounded Timed Propositional Temporal Logic with past captures timeline-based planning with bounded constraints 60
Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts 60
Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final Picture 57
Counter-queue automata with an application to a meaningful extension of ω-regular languages 56
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 56
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata 54
Adding two equivalence relations to the interval temporal logic AB 51
Interval temporal logic model checking based on track bisimilarity and prefix sampling 50
Interval vs. point temporal logic model checking: An expressiveness comparison 47
Which fragments of the interval temporal logic HS are tractable in model checking? 47
A Novel Automata-Theoretic Approach to Timeline-Based Planning 40
On a Temporal Logic of Prefixes and Infixes 37
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete 37
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 36
Reactive synthesis from interval temporal logic specifications 34
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 25
The Logic of Prefixes and Suffixes is Elementary under Homogeneity* 3
Pspace-completeness of the temporal logic of sub-intervals and suffixes 3
Totale 820
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.290
article - articoli 1.124
book - libri 0
conference - conferenze 2.166
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.580
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202044 12 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/2024119 1 16 10 23 14 7 10 6 5 17 10 0
Totale 820