IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.383
EU - Europa 445
AS - Asia 203
SA - Sud America 37
AF - Africa 3
Totale 2.071
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.378
IT - Italia 118
UA - Ucraina 100
DE - Germania 86
SG - Singapore 86
CN - Cina 58
RU - Federazione Russa 39
BR - Brasile 34
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
CA - Canada 4
FR - Francia 4
HR - Croazia 2
ZA - Sudafrica 2
AM - Armenia 1
AR - Argentina 1
AT - Austria 1
BH - Bahrain 1
DO - Repubblica Dominicana 1
HK - Hong Kong 1
IN - India 1
JP - Giappone 1
MA - Marocco 1
NP - Nepal 1
PE - Perù 1
RS - Serbia 1
TW - Taiwan 1
VE - Venezuela 1
Totale 2.071
Salva come PNG Salva come JPEG
Città #
Fairfield 177
Chandler 158
Woodbridge 121
Ann Arbor 100
Houston 90
Seattle 76
Ashburn 72
Cambridge 59
Wilmington 59
Jacksonville 58
Dearborn 47
Udine 46
Boardman 31
Dong Ket 30
Singapore 30
Beijing 28
Izmir 22
Princeton 22
San Mateo 21
Dublin 19
Council Bluffs 18
Des Moines 16
San Diego 16
Brussels 10
Helsinki 10
Trieste 8
Warsaw 8
Karlsruhe 6
Norwalk 6
Phoenix 6
Serra Riccò 5
Cagliari 4
Dallas 4
Mcallen 4
Nanjing 4
Guangzhou 3
Treviso 3
Basiliano 2
Belo Horizonte 2
Ferrara 2
Hefei 2
Jinan 2
Johannesburg 2
Joinville 2
Kunming 2
Redwood City 2
Rio de Janeiro 2
Rodgau 2
Rome 2
San Francisco 2
Santa Clara 2
Shanghai 2
Shenyang 2
Tappahannock 2
Tianjin 2
Vicenza 2
Agadir 1
Angra dos Reis 1
Araxá 1
Arezzo 1
Betim 1
Bielefeld 1
Bologna 1
Boston 1
Botucatu 1
Brasópolis 1
Brooklyn 1
Buffalo 1
Cachoeira do Sul 1
Camapuã 1
Campinas 1
Capim Grosso 1
Caracas 1
Cascina 1
Castelnuovo Rangone 1
Catanduva 1
Centro 1
Changsha 1
Chicago 1
Florence 1
Frankfurt am Main 1
Fuzhou 1
Gateshead 1
Grafing 1
Gyumri 1
Hong Kong 1
Indiana 1
Isa Town 1
Itajaí 1
Itararé 1
Jaú 1
Juiz de Fora 1
Kaiserslautern 1
Lanzhou 1
Ludwigshafen 1
Modesto 1
Nanchang 1
Napoli 1
New York 1
North Bergen 1
Totale 1.479
Salva come PNG Salva come JPEG
Nome #
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 160
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 148
Interval temporal logic model checking: The border between good and bad HS fragments 143
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 135
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 134
Checking interval properties of computations 129
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 124
An in-depth investigation of interval temporal logic model checking with regular expressions 123
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 119
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 114
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 90
Model Checking: il Metodo Intervallare 90
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 88
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 87
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 83
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 77
Model Checking Interval Temporal Logics with Regular Expressions 75
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 74
Timeline-based planning over dense temporal domains 60
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 53
Model Checking Timeline-based Systems over Dense Temporal Domains 36
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 34
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 2.186
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.034
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 8.034
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202038 0 0 0 0 0 0 0 0 0 0 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/2025237 5 35 7 14 0 11 32 43 31 11 48 0
Totale 2.186