IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.629
AS - Asia 620
EU - Europa 505
Continente sconosciuto - Info sul continente non disponibili 115
SA - Sud America 99
AF - Africa 14
Totale 2.982
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.610
SG - Singapore 279
CN - Cina 134
IT - Italia 124
UA - Ucraina 102
DE - Germania 94
BR - Brasile 80
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
PL - Polonia 11
BE - Belgio 10
AR - Argentina 7
CA - Canada 7
IQ - Iraq 7
MX - Messico 5
VE - Venezuela 5
BD - Bangladesh 4
JP - Giappone 4
NP - Nepal 4
PH - Filippine 4
ZA - Sudafrica 4
CO - Colombia 3
DO - Repubblica Dominicana 3
ES - Italia 3
ID - Indonesia 3
AT - Austria 2
BH - Bahrain 2
CL - Cile 2
HR - Croazia 2
KE - Kenya 2
NL - Olanda 2
QA - Qatar 2
TN - Tunisia 2
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
SA - Arabia Saudita 1
SN - Senegal 1
SV - El Salvador 1
TG - Togo 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 2.867
Salva come PNG Salva come JPEG
Città #
Fairfield 177
Chandler 158
Singapore 124
Woodbridge 121
Ann Arbor 100
Ashburn 94
Houston 91
Seattle 76
Beijing 71
Cambridge 59
Jacksonville 59
Wilmington 59
Hong Kong 56
San Jose 49
Dearborn 47
Udine 46
Council Bluffs 39
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
Helsinki 13
The Dalles 13
Los Angeles 12
Brussels 10
Phoenix 10
Buffalo 9
Redondo Beach 9
Trieste 9
Warsaw 9
Mumbai 8
Karlsruhe 6
New York 6
Norwalk 6
Santa Clara 6
Dallas 5
Rio de Janeiro 5
Serra Riccò 5
Cagliari 4
Caracas 4
Frankfurt am Main 4
Mcallen 4
Nanjing 4
Rome 4
Tokyo 4
Guangzhou 3
Hanoi 3
Johannesburg 3
Leipzig 3
Milwaukee 3
Santo Domingo 3
Treviso 3
Baghdad 2
Basiliano 2
Belo Horizonte 2
Biên Hòa 2
Boydton 2
Brasília 2
Brooklyn 2
Campinas 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
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
São Bernardo do Campo 2
São Paulo 2
Tappahannock 2
Tianjin 2
Vicenza 2
Vienna 2
Virginia Beach 2
Totale 1.918
Salva come PNG Salva come JPEG
Nome #
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 207
An in-depth investigation of interval temporal logic model checking with regular expressions 200
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 192
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 176
Interval temporal logic model checking: The border between good and bad HS fragments 172
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 162
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 160
Checking interval properties of computations 156
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 142
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 141
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 135
Model Checking: il Metodo Intervallare 130
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 125
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 122
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 115
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 113
Model Checking Interval Temporal Logics with Regular Expressions 106
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 102
Timeline-based planning over dense temporal domains 94
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 93
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 70
Model Checking Timeline-based Systems over Dense Temporal Domains 59
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 2.982
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.206
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.206
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/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/202735 35 0 0 0 0 0 0 0 0 0 0 0
Totale 2.982