IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.851
AS - Asia 628
EU - Europa 541
Continente sconosciuto - Info sul continente non disponibili 115
SA - Sud America 104
AF - Africa 14
Totale 3.253
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.819
SG - Singapore 281
IT - Italia 155
CN - Cina 134
UA - Ucraina 102
DE - Germania 94
BR - Brasile 83
VN - Vietnam 69
HK - Hong Kong 57
RU - Federazione Russa 43
FR - Francia 29
FI - Finlandia 26
SE - Svezia 23
TR - Turchia 22
IE - Irlanda 20
IN - India 19
GB - Regno Unito 16
CA - Canada 14
PL - Polonia 11
BE - Belgio 10
MX - Messico 8
AR - Argentina 7
IQ - Iraq 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
IL - Israele 2
KE - Kenya 2
NL - Olanda 2
QA - Qatar 2
SA - Arabia Saudita 2
SV - El Salvador 2
TH - Thailandia 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
CG - Congo 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
EC - Ecuador 1
HN - Honduras 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
TG - Togo 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 3.138
Salva come PNG Salva come JPEG
Città #
Ashburn 178
Fairfield 177
Chandler 158
Singapore 126
Woodbridge 121
Ann Arbor 100
Houston 91
San Jose 77
Seattle 76
Beijing 71
Council Bluffs 62
Jacksonville 60
Cambridge 59
Wilmington 59
Hong Kong 56
Dearborn 47
Udine 46
Boardman 32
Dong Ket 30
Izmir 22
Princeton 22
Ho Chi Minh City 21
San Mateo 21
Dublin 20
Lauterbourg 20
Staranzano 20
Des Moines 16
San Diego 16
Los Angeles 15
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
Saint Augustine 4
Tokyo 4
Brasília 3
Guangzhou 3
Hanoi 3
Johannesburg 3
Leipzig 3
Milan 3
Philadelphia 3
Santo Domingo 3
Treviso 3
Baghdad 2
Basiliano 2
Belo Horizonte 2
Betim 2
Biên Hòa 2
Bogotá 2
Boston 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
Providence 2
Redwood City 2
Rodgau 2
San Francisco 2
San Salvador 2
Santa Maria 2
Totale 2.092
Salva come PNG Salva come JPEG
Nome #
Model Checking: il Metodo Intervallare 215
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 215
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 209
An in-depth investigation of interval temporal logic model checking with regular expressions 209
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 187
Interval temporal logic model checking: The border between good and bad HS fragments 178
Checking interval properties of computations 169
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 166
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 166
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 154
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 148
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 148
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 134
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 127
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 127
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 121
Model Checking Interval Temporal Logics with Regular Expressions 112
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 110
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 104
Timeline-based planning over dense temporal domains 100
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 79
Model Checking Timeline-based Systems over Dense Temporal Domains 65
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 3.253
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.205
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 12.205
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022120 0 0 0 0 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/2027306 35 66 74 121 10 0 0 0 0 0 0 0
Totale 3.253