IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.322
EU - Europa 406
AS - Asia 115
SA - Sud America 1
Totale 1.844
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.319
IT - Italia 116
UA - Ucraina 100
DE - Germania 85
CN - Cina 55
VN - Vietnam 30
SE - Svezia 23
FI - Finlandia 22
TR - Turchia 22
IE - Irlanda 19
GB - Regno Unito 12
BE - Belgio 10
PL - Polonia 8
SG - Singapore 7
RU - Federazione Russa 5
CA - Canada 3
FR - Francia 3
HR - Croazia 2
AT - Austria 1
BR - Brasile 1
IN - India 1
Totale 1.844
Salva come PNG Salva come JPEG
Città #
Fairfield 177
Chandler 158
Woodbridge 121
Ann Arbor 100
Houston 90
Seattle 75
Ashburn 71
Cambridge 59
Wilmington 59
Jacksonville 58
Dearborn 47
Udine 46
Dong Ket 30
Beijing 28
Izmir 22
Princeton 22
San Mateo 21
Dublin 19
Des Moines 16
San Diego 16
Brussels 10
Helsinki 10
Boardman 9
Trieste 8
Warsaw 8
Karlsruhe 6
Norwalk 6
Phoenix 6
Serra Riccò 5
Singapore 5
Cagliari 4
Dallas 4
Mcallen 4
Nanjing 4
Guangzhou 3
Treviso 3
Basiliano 2
Ferrara 2
Hefei 2
Jinan 2
Kunming 2
Redwood City 2
Rodgau 2
Rome 2
Shanghai 2
Shenyang 2
Tappahannock 2
Vicenza 2
Arezzo 1
Bielefeld 1
Bologna 1
Cascina 1
Castelnuovo Rangone 1
Centro 1
Changsha 1
Frankfurt am Main 1
Fuzhou 1
Gateshead 1
Grafing 1
Indiana 1
Kaiserslautern 1
Lanzhou 1
Ludwigshafen 1
Modesto 1
Nanchang 1
Napoli 1
North Bergen 1
Ogden 1
Ottawa 1
Pignone 1
Quzhou 1
Recife 1
Redmond 1
Rosà 1
Saint James 1
Saint Petersburg 1
Toronto 1
Upland 1
Vienna 1
Wiesbaden 1
Totale 1.386
Salva come PNG Salva come JPEG
Nome #
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 143
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 141
Interval temporal logic model checking: The border between good and bad HS fragments 133
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 126
Checking interval properties of computations 119
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 116
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 115
An in-depth investigation of interval temporal logic model checking with regular expressions 112
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 110
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 107
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 82
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 76
Model Checking: il Metodo Intervallare 74
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 71
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 70
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 68
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 67
Model Checking Interval Temporal Logics with Regular Expressions 65
Timeline-based planning over dense temporal domains 51
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 46
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 30
Model Checking Timeline-based Systems over Dense Temporal Domains 27
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 1.959
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.220
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.220
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020481 0 19 35 61 35 87 67 54 45 40 13 25
2020/2021360 12 33 26 33 12 30 33 34 38 30 31 48
2021/2022199 13 33 28 5 4 6 11 13 1 27 28 30
2022/2023325 26 43 2 46 30 85 2 26 53 2 3 7
2023/202475 21 5 1 2 13 5 4 9 5 5 0 5
2024/202510 5 5 0 0 0 0 0 0 0 0 0 0
Totale 1.959