IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.317
EU - Europa 405
AS - Asia 106
SA - Sud America 1
Totale 1.829
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.314
IT - Italia 116
UA - Ucraina 100
DE - Germania 85
CN - Cina 53
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
RU - Federazione Russa 5
CA - Canada 3
FR - Francia 3
HR - Croazia 2
BR - Brasile 1
IN - India 1
Totale 1.829
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
Cagliari 4
Mcallen 4
Nanjing 4
Dallas 3
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
Wiesbaden 1
Totale 1.379
Salva come PNG Salva come JPEG
Nome #
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 141
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 140
Interval temporal logic model checking: The border between good and bad HS fragments 133
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 125
Checking interval properties of computations 116
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 111
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 81
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 75
Model Checking: il Metodo Intervallare 73
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 64
Timeline-based planning over dense temporal domains 50
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 29
Model Checking Timeline-based Systems over Dense Temporal Domains 26
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 1.944
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.639
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 5.639
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019125 0 0 0 0 0 0 0 0 0 0 80 45
2019/2020508 27 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/202470 21 5 1 2 13 5 4 9 5 5 0 0
Totale 1.944