IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.700
AS - Asia 627
EU - Europa 515
Continente sconosciuto - Info sul continente non disponibili 115
SA - Sud America 104
AF - Africa 14
Totale 3.075
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.675
SG - Singapore 281
CN - Cina 134
IT - Italia 133
UA - Ucraina 102
DE - Germania 94
BR - Brasile 83
VN - Vietnam 69
HK - Hong Kong 57
RU - Federazione Russa 41
FR - Francia 29
FI - Finlandia 26
SE - Svezia 23
TR - Turchia 22
IE - Irlanda 20
IN - India 19
GB - Regno Unito 15
CA - Canada 11
PL - Polonia 11
BE - Belgio 10
AR - Argentina 7
IQ - Iraq 7
MX - Messico 7
CO - Colombia 5
VE - Venezuela 5
BD - Bangladesh 4
ID - Indonesia 4
JP - Giappone 4
NP - Nepal 4
PH - Filippine 4
ZA - Sudafrica 4
DO - Repubblica Dominicana 3
ES - Italia 3
AT - Austria 2
BH - Bahrain 2
CL - Cile 2
HR - Croazia 2
KE - Kenya 2
NL - Olanda 2
QA - Qatar 2
SA - Arabia Saudita 2
TH - Thailandia 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
CG - Congo 1
DZ - Algeria 1
EC - Ecuador 1
IL - Israele 1
IR - Iran 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
KW - Kuwait 1
MA - Marocco 1
MU - Mauritius 1
PE - Perù 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RS - Serbia 1
SN - Senegal 1
SV - El Salvador 1
TG - Togo 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 2.960
Salva come PNG Salva come JPEG
Città #
Fairfield 177
Chandler 158
Singapore 126
Woodbridge 121
Ashburn 104
Ann Arbor 100
Houston 91
Seattle 76
Beijing 71
Cambridge 59
Jacksonville 59
Wilmington 59
San Jose 58
Hong Kong 56
Council Bluffs 53
Dearborn 47
Udine 46
Boardman 31
Dong Ket 30
Izmir 22
Princeton 22
Ho Chi Minh City 21
San Mateo 21
Lauterbourg 20
Dublin 19
Des Moines 16
San Diego 16
Los Angeles 14
Helsinki 13
The Dalles 13
Brussels 10
Phoenix 10
Buffalo 9
Redondo Beach 9
Trieste 9
Warsaw 9
Mumbai 8
New York 7
Karlsruhe 6
Norwalk 6
Santa Clara 6
Springfield 6
Dallas 5
Rio de Janeiro 5
Serra Riccò 5
Brooklyn 4
Cagliari 4
Caracas 4
Frankfurt am Main 4
Mcallen 4
Milwaukee 4
Nanjing 4
Rome 4
Tokyo 4
Brasília 3
Guangzhou 3
Hanoi 3
Johannesburg 3
Leipzig 3
Milan 3
Santo Domingo 3
Treviso 3
Baghdad 2
Basiliano 2
Belo Horizonte 2
Betim 2
Biên Hòa 2
Bogotá 2
Boydton 2
Campinas 2
Chicago 2
Doha 2
Ferrara 2
Ha Long 2
Haiphong 2
Hefei 2
Hyderabad 2
Isa Town 2
Jinan 2
Joinville 2
Kolkata 2
Kunming 2
Las Vegas 2
Louisville 2
Memphis 2
Mexico City 2
Miano 2
Minneapolis 2
Nairobi 2
Nuremberg 2
Philadelphia 2
Providence 2
Redwood City 2
Rodgau 2
San Francisco 2
Santa Maria 2
Santa Maria Madalena 2
Santiago 2
Shanghai 2
Shenyang 2
Totale 1.965
Salva come PNG Salva come JPEG
Nome #
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 210
An in-depth investigation of interval temporal logic model checking with regular expressions 207
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 198
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 181
Interval temporal logic model checking: The border between good and bad HS fragments 176
Checking interval properties of computations 163
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 163
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 163
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 146
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 145
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 144
Model Checking: il Metodo Intervallare 135
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 129
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 126
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 121
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 117
Model Checking Interval Temporal Logics with Regular Expressions 108
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 106
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 96
Timeline-based planning over dense temporal domains 94
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 76
Model Checking Timeline-based Systems over Dense Temporal Domains 61
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 3.075
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.618
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 11.618
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022153 0 0 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/2025334 5 35 7 14 0 11 32 43 31 11 62 83
2025/2026664 15 72 46 33 105 64 109 49 48 67 36 20
2026/2027128 35 66 27 0 0 0 0 0 0 0 0 0
Totale 3.075